37,172 research outputs found
Random Sampling in Computational Algebra: Helly Numbers and Violator Spaces
This paper transfers a randomized algorithm, originally used in geometric
optimization, to computational problems in commutative algebra. We show that
Clarkson's sampling algorithm can be applied to two problems in computational
algebra: solving large-scale polynomial systems and finding small generating
sets of graded ideals. The cornerstone of our work is showing that the theory
of violator spaces of G\"artner et al.\ applies to polynomial ideal problems.
To show this, one utilizes a Helly-type result for algebraic varieties. The
resulting algorithms have expected runtime linear in the number of input
polynomials, making the ideas interesting for handling systems with very large
numbers of polynomials, but whose rank in the vector space of polynomials is
small (e.g., when the number of variables and degree is constant).Comment: Minor edits, added two references; results unchange
Lower bounds on the number of realizations of rigid graphs
Computing the number of realizations of a minimally rigid graph is a
notoriously difficult problem. Towards this goal, for graphs that are minimally
rigid in the plane, we take advantage of a recently published algorithm, which
is the fastest available method, although its complexity is still exponential.
Combining computational results with the theory of constructing new rigid
graphs by gluing, we give a new lower bound on the maximal possible number of
(complex) realizations for graphs with a given number of vertices. We extend
these ideas to rigid graphs in three dimensions and we derive similar lower
bounds, by exploiting data from extensive Gr\"obner basis computations
Geometric Reasoning with polymake
The mathematical software system polymake provides a wide range of functions
for convex polytopes, simplicial complexes, and other objects. A large part of
this paper is dedicated to a tutorial which exemplifies the usage. Later
sections include a survey of research results obtained with the help of
polymake so far and a short description of the technical background
Parameterized complexity of machine scheduling: 15 open problems
Machine scheduling problems are a long-time key domain of algorithms and
complexity research. A novel approach to machine scheduling problems are
fixed-parameter algorithms. To stimulate this thriving research direction, we
propose 15 open questions in this area whose resolution we expect to lead to
the discovery of new approaches and techniques both in scheduling and
parameterized complexity theory.Comment: Version accepted to Computers & Operations Researc
- …