# On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System

@inproceedings{Hermann1999OnTC,
title={On the Complexity of Counting the Hilbert Basis of a Linear Diophnatine System},
author={Miki Hermann and Laurent Juban and Phokion G. Kolaitis},
booktitle={LPAR},
year={1999}
}
• Published in LPAR 6 September 1999
• Mathematics
We investigate the computational complexity of counting the Hilbert basis of a homogeneous system of linear Diophantine equations. We establish lower and upper bounds on the complexity of this problem by showing that counting the Hilbert basis is #P-hard and belongs to the class #NP. Moreover, we investigate the complexity of variants obtained by restricting the number of occurrences of the variables in the system.
Challenging Computations of Hilbert Bases of Cones Associated with Algebraic Statistics
• Mathematics
Exp. Math.
• 2011
Two independent computational proofs that the monoid derived from 5×5×3 contingency tables is normal are presented, completing the classification by Hibi and Ohsugi.
Introduction to Normaliz 2.5
• Mathematics
ICMS
• 2010
The version 2.5 of Normaliz is introduced, a program for the computation of Hilbert bases of rational cones and the normalizations of affine monoids and it may also be used for solving diophantine linear systems of inequalities, equations and congruences.
Algorithms of Solution of Systems of Linear Diophantine Constraints over the Set {0,1}
The paper considers two algorithms for solving systems of linear Diophantine constraints over the set {0,1}. Some properties of these algorithms and estimates of their complexity are investigated.
Algorithms for solving systems of linear diophantine equations in integer domains
Algorithms are described that solve homogeneous systems of linear Diophantine equations over natural numbers and over the set {0, 1}. Properties of the algorithms and their time estimates are given.
Basis of Solutions for a System of Linear Inequalities in Integers: Computation and Applications
• Mathematics, Computer Science
MFCS
• 2005
The algorithm relies on an algorithm for finding a Hilbert basis for the set of nonnegative solutions of a system of linear inequalities and can be used in conjunction with any such algorithm.
On the Identity Problem for the Special Linear Group and the Heisenberg Group
• Mathematics
ICALP
• 2018
The identity problem for matrices is studied to show that there is no embedding from pairs of words into $3\times3$ integer matrices with determinant one, and the identity problem is decidable in polynomial time for an important subgroup of ${\rm SL}(3,\mathbb{Z})$, the Heisenberg group.
Solving Numerical Constraints
• Computer Science
Handbook of Automated Reasoning
• 2001

## References

SHOWING 1-10 OF 37 REFERENCES
The Complexity of Enumeration and Reliability Problems
• L. Valiant
• Mathematics, Computer Science
SIAM J. Comput.
• 1979
For a large number of natural counting problems for which there was no previous indication of intractability, that they belong to the class of computationally eqivalent counting problems that are at least as difficult as the NP-complete problems.
The Complexity of Computing the Permanent
• L. Valiant
• Mathematics, Computer Science
Theor. Comput. Sci.
• 1979
Solving Systems of Linear Diophantine Equations: An Algebraic Approach
A new method for solving systems of linear diophantine equations with intrinsically parallel results and a geometrical interpretation of the satisfiability of an homogeneous system, as well as upper bounds on height and length of all minimal solutions of such a system.
An Efficient Incremental Algorithm for Solving Systems of Linear Diophantine Equations
• Mathematics, Computer Science
Inf. Comput.
• 1994
An algorithms for solving systems of linear Diophantine equations based on a generalization of an algorithm for solving one equation due to Fortenbacher, which can solve a system as a whole, or be used incrementally when the system is a sequential accumulation of several subsystems.
Minimal Solutions of Linear Diophantine Systems: Bounds and Algorithms
We give new bounds and algorithms for minimal solutions of linear diophantine systems. These bounds are simply exponential, while previous known bounds were, at least until recently, doubly
Efficient Solution of Linear Diophantine Equations
• Mathematics, Computer Science
J. Symb. Comput.
• 1989
On the computational power of PP and (+)P
• Seinosuke Toda
• Computer Science
30th Annual Symposium on Foundations of Computer Science
• 1989
It follows that neither PP nor (+)P is a subset of or equivalent to PH unless PH collapses to a finite level, strong evidence that both classes are strictly harder than PH.
A new AC unification algorithm with an algorithm for solving systems of diophantine equations
• Mathematics
[1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science
• 1990
A novel AC-unification algorithm is presented. A combination technique for regular collapse-free theories is provided along the line developed by A. Boudet et al. (1989). The number of calls to the
Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix
• Mathematics
SIAM J. Comput.
• 1979
Recently, Frumkin [9] pointed out that none of the well-known algorithms that transform an integer matrix into Smith [16] or Hermite [12] normal form is known to be polynomially bounded in its runn...
A Catalog of Complexity Classes
• David S. Johnson
• Computer Science
Handbook of Theoretical Computer Science, Volume A: Algorithms and Complexity
• 1990