119 research outputs found
Enumeration of the Monomials of a Polynomial and Related Complexity Classes
We study the problem of generating monomials of a polynomial in the context
of enumeration complexity. In this setting, the complexity measure is the delay
between two solutions and the total time. We present two new algorithms for
restricted classes of polynomials, which have a good delay and the same global
running time as the classical ones. Moreover they are simple to describe, use
little evaluation points and one of them is parallelizable. We introduce three
new complexity classes, TotalPP, IncPP and DelayPP, which are probabilistic
counterparts of the most common classes for enumeration problems, hoping that
randomization will be a tool as strong for enumeration as it is for decision.
Our interpolation algorithms proves that a lot of interesting problems are in
these classes like the enumeration of the spanning hypertrees of a 3-uniform
hypergraph.
Finally we give a method to interpolate a degree 2 polynomials with an
acceptable (incremental) delay. We also prove that finding a specified monomial
in a degree 2 polynomial is hard unless RP = NP. It suggests that there is no
algorithm with a delay as good (polynomial) as the one we achieve for
multilinear polynomials
A Hybrid of Darboux's Method and Singularity Analysis in Combinatorial Asymptotics
A ``hybrid method'', dedicated to asymptotic coefficient extraction in
combinatorial generating functions, is presented, which combines Darboux's
method and singularity analysis theory. This hybrid method applies to functions
that remain of moderate growth near the unit circle and satisfy suitable
smoothness assumptions--this, even in the case when the unit circle is a
natural boundary. A prime application is to coefficients of several types of
infinite product generating functions, for which full asymptotic expansions
(involving periodic fluctuations at higher orders) can be derived. Examples
relative to permutations, trees, and polynomials over finite fields are treated
in this way.Comment: 31 page
An Output-sensitive Algorithm for Computing Projections of Resultant Polytopes
We develop an incremental algorithm to compute the Newton polytope
of the resultant, aka resultant polytope, or its
projection along a given direction.
The resultant is fundamental in algebraic elimination and
in implicitization of parametric hypersurfaces.
Our algorithm exactly computes vertex- and halfspace-representations
of the desired polytope using an oracle producing resultant vertices in a
given direction.
It is output-sensitive as it uses one oracle call per vertex.
We overcome the bottleneck of determinantal predicates
by hashing, thus accelerating execution from to times.
We implement our algorithm using the experimental CGAL package {\tt
triangulation}.
A variant of the algorithm computes successively tighter inner and outer
approximations: when these polytopes have, respectively,
90\% and 105\% of the true volume, runtime is reduced up to times.
Our method computes instances of -, - or -dimensional polytopes
with K, K or vertices, resp., within hr.
Compared to tropical geometry software, ours is faster up to
dimension or , and competitive in higher dimensions
A Survey of Alternating Permutations
This survey of alternating permutations and Euler numbers includes
refinements of Euler numbers, other occurrences of Euler numbers, longest
alternating subsequences, umbral enumeration of classes of alternating
permutations, and the cd-index of the symmetric group.Comment: 32 pages, 7 figure
Polyhedral Cones of Magic Cubes and Squares
Using computational algebraic geometry techniques and Hilbert bases of
polyhedral cones we derive explicit formulas and generating functions for the
number of magic squares and magic cubes.Comment: 14 page
- …