Results 1  10
of
56
On the fixed parameter complexity of graph enumeration problems definable in monadic secondorder logic
, 2001
"... ..."
Grouptheoretic algorithms for matrix multiplication
 In Foundations of Computer Science. 46th Annual IEEE Symposium on 23–25 Oct 2005
, 2005
"... We further develop the grouptheoretic approach to fast matrix multiplication introduced by Cohn and Umans, and for the first time use it to derive algorithms asymptotically faster than the standard algorithm. We describe several families of wreath product groups that achieve matrix multiplication e ..."
Abstract

Cited by 47 (4 self)
 Add to MetaCart
We further develop the grouptheoretic approach to fast matrix multiplication introduced by Cohn and Umans, and for the first time use it to derive algorithms asymptotically faster than the standard algorithm. We describe several families of wreath product groups that achieve matrix multiplication exponent less than 3, the asymptotically fastest of which achieves exponent 2.41. We present two conjectures regarding specific improvements, one combinatorial and the other algebraic. Either one would imply that the exponent of matrix multiplication is 2. 1.
On the complexity of polynomial matrix computations
 Proceedings of the 2003 International Symposium on Symbolic and Algebraic Computation
, 2003
"... ..."
A Grouptheoretic Approach to Fast Matrix Multiplication
 Proceedings of the 44th Annual IEEE Symposium on Foundations of Computer Science 2003, IEEE Computer Society
"... We develop a new, grouptheoretic approach to bounding the exponent of matrix multiplication. There are two components to this approach: (1) identifying groups G that admit a certain type of embedding of matrix multiplication into the group algebra C[G], and (2) controlling the dimensions of the irr ..."
Abstract

Cited by 32 (4 self)
 Add to MetaCart
We develop a new, grouptheoretic approach to bounding the exponent of matrix multiplication. There are two components to this approach: (1) identifying groups G that admit a certain type of embedding of matrix multiplication into the group algebra C[G], and (2) controlling the dimensions of the irreducible representations of such groups. We present machinery and examples to support (1), including a proof that certain families of groups of order n 2+o(1) support n × n matrix multiplication, a necessary condition for the approach to yield exponent 2. Although we cannot yet completely achieve both (1) and (2), we hope that it may be possible, and we suggest potential routes to that result using the constructions in this paper. 1.
On the TimeSpace Complexity of Geometric Elimination Procedures
, 1999
"... In [25] and [22] a new algorithmic concept was introduced for the symbolic solution of a zero dimensional complete intersection polynomial equation system satisfying a certain generic smoothness condition. The main innovative point of this algorithmic concept consists in the introduction of a new ge ..."
Abstract

Cited by 24 (17 self)
 Add to MetaCart
In [25] and [22] a new algorithmic concept was introduced for the symbolic solution of a zero dimensional complete intersection polynomial equation system satisfying a certain generic smoothness condition. The main innovative point of this algorithmic concept consists in the introduction of a new geometric invariant, called the degree of the input system, and the proof that the most common elimination problems have time complexity which is polynomial in this degree and the length of the input.
Computing Roots Of Polynomials Over Function Fields Of Curves
, 1998
"... . We design algorithms for finding roots of polynomials over function fields of curves. Such algorithms are useful for list decoding of ReedSolomon and algebraicgeometric codes. In the first half of the paper we will focus on bivariate polynomials, i.e., polynomials over the coordinate ring of the ..."
Abstract

Cited by 21 (3 self)
 Add to MetaCart
. We design algorithms for finding roots of polynomials over function fields of curves. Such algorithms are useful for list decoding of ReedSolomon and algebraicgeometric codes. In the first half of the paper we will focus on bivariate polynomials, i.e., polynomials over the coordinate ring of the affine line. In the second half we will design algorithms for computing roots of polynomials over the function field of a nonsingular absolutely irreducible plane algebraic curve. Several examples are included. 1. Introduction In this paper we will study the following problem: given a nonsingular absolutely irreducible plane curve X over the finite field F q , a divisor G on X , and a polynomial H defined over the function field of X , compute all zeros of H that belong to L(G). Our interest in this problem stems mainly from recent list decoding algorithms [5, 9, 11] for ReedSolomon and algebraic geometric codes. Originally, those algorithms found the roots of H by completely factoring i...
The Hardness of Polynomial Equation Solving
, 2003
"... Elimination theory is at the origin of algebraic geometry in the 19th century and deals with algorithmic solving of multivariate polynomial equation systems over the complex numbers, or, more generally, over an arbitrary algebraically closed field. In this paper we investigate the intrinsic seq ..."
Abstract

Cited by 18 (10 self)
 Add to MetaCart
Elimination theory is at the origin of algebraic geometry in the 19th century and deals with algorithmic solving of multivariate polynomial equation systems over the complex numbers, or, more generally, over an arbitrary algebraically closed field. In this paper we investigate the intrinsic sequential time complexity of universal elimination procedures for arbitrary continuous data structures encoding input and output objects of elimination theory (i.e. polynomial equation systems) and admitting the representation of certain limit objects.
Counting complexity classes for numeric computations II: Algebraic and semialgebraic sets (Extended Abstract)
 J. COMPL
, 2004
"... We define counting #P classes #P ¡ and in the BlumShubSmale setting of computations over the real or complex numbers, respectively. The problems of counting the number of solutions of systems of polynomial inequalities over ¢ , or of systems of polynomial equalities over £ , respectively, turn ou ..."
Abstract

Cited by 18 (11 self)
 Add to MetaCart
We define counting #P classes #P ¡ and in the BlumShubSmale setting of computations over the real or complex numbers, respectively. The problems of counting the number of solutions of systems of polynomial inequalities over ¢ , or of systems of polynomial equalities over £ , respectively, turn out to be natural complete problems in these classes. We investigate to what extent the new counting classes capture the complexity of computing basic topological invariants of semialgebraic sets (over ¢ ) and algebraic sets (over £). We prove that the problem to compute the (modified) Euler characteristic of semialgebraic sets is FP #P¤complete, and that the problem to compute the geometric degree of complex algebraic sets is FP #P¥complete. We also define new counting complexity classes GCR and GCC in the classical Turing model via taking Boolean parts of the classes above, and show that the problems to compute the Euler characteristic and the geometric degree of (semi)algebraic sets given by integer polynomials are complete in these classes. We complement the results in the Turing model by proving, for all k ¦ ∈ , the FPSPACEhardness of the problem of computing the kth Betti number of the set of real zeros of a given integer polynomial. This holds with respect to the singular homology as well as for the BorelMoore homology.
Change of ordering for regular chains in positive dimension
 IN ILIAS S. KOTSIREAS, EDITOR, MAPLE CONFERENCE 2006
, 2006
"... We discuss changing the variable ordering for a regular chain in positive dimension. This quite general question has applications going from implicitization problems to the symbolic resolution of some systems of differential algebraic equations. We propose a modular method, reducing the problem to d ..."
Abstract

Cited by 16 (7 self)
 Add to MetaCart
We discuss changing the variable ordering for a regular chain in positive dimension. This quite general question has applications going from implicitization problems to the symbolic resolution of some systems of differential algebraic equations. We propose a modular method, reducing the problem to dimension zero and using NewtonHensel lifting techniques. The problems raised by the choice of the specialization points, the lack of the (crucial) information of what are the free and algebraic variables for the new ordering, and the efficiency regarding the other methods are discussed. Strong hypotheses (but not unusual) for the initial regular chain are required. Change of ordering in dimension zero is taken as a subroutine.