Showing 1–35 of 35 results for author: Hemmecke, R

Quadratic diameter bounds for dual network flow polyhedra

Authors: Steffen Borgwardt, Elisabeth Finhold, Raymond Hemmecke

Abstract: Both the combinatorial and the circuit diameters of polyhedra are of interest to the theory of linear programming for their intimate connection to a best-case performance of linear programming algorithms. We study the diameters of dual network flow polyhedra associated to $b$-flows on directed graphs $G=(V,E)$ and prove quadratic upper bounds for both of them: the minimum of $(|V|-1)\cdot |E|$ a… ▽ More Both the combinatorial and the circuit diameters of polyhedra are of interest to the theory of linear programming for their intimate connection to a best-case performance of linear programming algorithms. We study the diameters of dual network flow polyhedra associated to $b$-flows on directed graphs $G=(V,E)$ and prove quadratic upper bounds for both of them: the minimum of $(|V|-1)\cdot |E|$ and $\frac{1}{6}|V|^3$ for the combinatorial diameter, and $\frac{|V|\cdot (|V|-1)}{2}$ for the circuit diameter. The latter strengthens the cubic bound implied by a result in [De Loera, Hemmecke, Lee; 2014]. Previously, bounds on these diameters have only been known for bipartite graphs. The situation is much more involved for general graphs. In particular, we construct a family of dual network flow polyhedra with members that violate the circuit diameter bound for bipartite graphs by an arbitrary additive constant. Further, it provides examples of circuit diameter $\frac{4}{3}|V| - 4$. △ Less

Submitted 18 August, 2014; originally announced August 2014.

MSC Class: 52B05; 90C05; 90C08; 90C10

On Augmentation Algorithms for Linear and Integer-Linear Programming: From Edmonds-Karp to Bland and Beyond

Authors: Jesus A. De Loera, Raymond Hemmecke, Jon Lee

Abstract: Motivated by Bland's linear-programming generalization of the renowned Edmonds-Karp efficient refinement of the Ford-Fulkerson maximum-flow algorithm, we discuss three closely-related natural augmentation rules for linear and integer-linear optimization. In several nice situations, we show that polynomially-many augmentation steps suffice to reach an optimum. In particular, when using "discrete st… ▽ More Motivated by Bland's linear-programming generalization of the renowned Edmonds-Karp efficient refinement of the Ford-Fulkerson maximum-flow algorithm, we discuss three closely-related natural augmentation rules for linear and integer-linear optimization. In several nice situations, we show that polynomially-many augmentation steps suffice to reach an optimum. In particular, when using "discrete steepest-descent augmentations" (i.e., directions with the best ratio of cost improvement per unit 1-norm length), we show that the number of augmentation steps is bounded by the number of elements in the Graver basis of the problem matrix, giving the first ever strongly polynomial-time algorithm for $N$-fold integer-linear optimization. Our results also improve on what is known for such algorithms in the context of linear optimization (e.g., generalizing the bounds of Kitahara and Mizuno for the number of steps in the simplex method) and are closely related to research on the diameters of polytopes and the search for a strongly polynomial-time simplex or augmentation algorithm. △ Less

Submitted 15 January, 2015; v1 submitted 15 August, 2014; originally announced August 2014.

MSC Class: 90C10 (Primary); 65K05 (Secondary); 90C05; 52B55

Journal ref: SIAM Journal on Optimization, volume 25, no. 4, 2494-2511, 2015

On the circuit diameter of dual transportation polyhedra

Authors: Steffen Borgwardt, Elisabeth Finhold, Raymond Hemmecke

Abstract: In this paper we introduce the circuit diameter of polyhedra, which is always bounded from above by the combinatorial diameter. We consider dual transportation polyhedra defined on general bipartite graphs. For complete $M{\times}N$ bipartite graphs the Hirsch bound $(M{-}1)(N{-}1)$ on the combinatorial diameter is a known tight bound (Balinski, 1984). For the circuit diameter we show the much str… ▽ More In this paper we introduce the circuit diameter of polyhedra, which is always bounded from above by the combinatorial diameter. We consider dual transportation polyhedra defined on general bipartite graphs. For complete $M{\times}N$ bipartite graphs the Hirsch bound $(M{-}1)(N{-}1)$ on the combinatorial diameter is a known tight bound (Balinski, 1984). For the circuit diameter we show the much stronger bound $M{+}N{-}2$ for all dual transportation polyhedra defined on arbitrary bipartite graphs with $M{+}N$ nodes. △ Less

Submitted 11 August, 2014; v1 submitted 13 May, 2014; originally announced May 2014.

MSC Class: 52B05; 52B55; 90C05; 90C08; 90C10

On the Connectivity of Fiber Graphs

Authors: Raymond Hemmecke, Tobias Windisch

Abstract: We consider the connectivity of fiber graphs with respect to Gröbner basis and Graver basis moves. First, we present a sequence of fiber graphs using moves from a Gröbner basis and prove that their edge-connectivity is lowest possible and can have an arbitrarily large distance from the minimal degree. We then show that graph-theoretic properties of fiber graphs do not depend on the size of the rig… ▽ More We consider the connectivity of fiber graphs with respect to Gröbner basis and Graver basis moves. First, we present a sequence of fiber graphs using moves from a Gröbner basis and prove that their edge-connectivity is lowest possible and can have an arbitrarily large distance from the minimal degree. We then show that graph-theoretic properties of fiber graphs do not depend on the size of the right-hand side. This provides a counterexample to a conjecture of Engström on the node-connectivity of fiber graphs. Our main result shows that the edge-connectivity in all fiber graphs of this counterexample is best possible if we use moves from Graver basis instead. △ Less

Submitted 19 January, 2015; v1 submitted 5 May, 2014; originally announced May 2014.

MSC Class: 13P25; 13P10; 62H17; 05C81; 05C40

Lower bounds on the Graver complexity of $M$-fold matrices

Authors: Elisabeth Finhold, Raymond Hemmecke

Abstract: In this paper, we present a construction that turns certain relations on Graver basis elements of an $M$-fold matrix $A^{(M)}$ into relations on Graver basis elements of an $(M+1)$-fold matrix $A^{(M+1)}$. In doing so, we strengthen the bound on the Graver complexity of the $M$-fold matrix $A_{3\times M}$ from $g(A_{3\times M})\geq 17\cdot 2^{M-3}-7$ (Berstein and Onn) to… ▽ More In this paper, we present a construction that turns certain relations on Graver basis elements of an $M$-fold matrix $A^{(M)}$ into relations on Graver basis elements of an $(M+1)$-fold matrix $A^{(M+1)}$. In doing so, we strengthen the bound on the Graver complexity of the $M$-fold matrix $A_{3\times M}$ from $g(A_{3\times M})\geq 17\cdot 2^{M-3}-7$ (Berstein and Onn) to $g(A_{3\times M})\geq 24\cdot 2^{M-3}-21$, for $M\geq 4$. Moreover, we give a lower bound on the Graver complexity $g(A^{(M)})$ of general $M$-fold matrices $A^{(M)}$ and we prove that the bound for $g(A_{3\times M})$ is not tight. △ Less

Submitted 15 November, 2013; originally announced November 2013.

MSC Class: 90C10; 90C27

Graver basis and proximity techniques for block-structured separable convex integer minimization problems

Authors: Raymond Hemmecke, Matthias Köppe, Robert Weismantel

Abstract: We consider N-fold 4-block decomposable integer programs, which simultaneously generalize N-fold integer programs and two-stage stochastic integer programs with N scenarios. In previous work [R. Hemmecke, M. Koeppe, R. Weismantel, A polynomial-time algorithm for optimizing over N-fold 4-block decomposable integer programs, Proc. IPCO 2010, Lecture Notes in Computer Science, vol. 6080, Springer, 20… ▽ More We consider N-fold 4-block decomposable integer programs, which simultaneously generalize N-fold integer programs and two-stage stochastic integer programs with N scenarios. In previous work [R. Hemmecke, M. Koeppe, R. Weismantel, A polynomial-time algorithm for optimizing over N-fold 4-block decomposable integer programs, Proc. IPCO 2010, Lecture Notes in Computer Science, vol. 6080, Springer, 2010, pp. 219--229], it was proved that for fixed blocks but variable N, these integer programs are polynomial-time solvable for any linear objective. We extend this result to the minimization of separable convex objective functions. Our algorithm combines Graver basis techniques with a proximity result [D.S. Hochbaum and J.G. Shanthikumar, Convex separable optimization is not much harder than linear optimization, J. ACM 37 (1990), 843--862], which allows us to use convex continuous optimization as a subroutine. △ Less

Submitted 4 July, 2012; originally announced July 2012.

Comments: 16 pages. arXiv admin note: substantial text overlap with arXiv:0911.4055

MSC Class: 90C10

N-fold integer programming in cubic time

Authors: Raymond Hemmecke, Shmuel Onn, Lyubov Romanchuk

Abstract: N-fold integer programming is a fundamental problem with a variety of natural applications in operations research and statistics. Moreover, it is universal and provides a new, variable-dimension, parametrization of all of integer programming. The fastest algorithm for $n$-fold integer programming predating the present article runs in time $O(n^{g(A)}L)$ with $L$ the binary length of the numerical… ▽ More N-fold integer programming is a fundamental problem with a variety of natural applications in operations research and statistics. Moreover, it is universal and provides a new, variable-dimension, parametrization of all of integer programming. The fastest algorithm for $n$-fold integer programming predating the present article runs in time $O(n^{g(A)}L)$ with $L$ the binary length of the numerical part of the input and $g(A)$ the so-called Graver complexity of the bimatrix $A$ defining the system. In this article we provide a drastic improvement and establish an algorithm which runs in time $O(n^3 L)$ having cubic dependency on $n$ regardless of the bimatrix $A$. Our algorithm can be extended to separable convex piecewise affine objectives as well, and also to systems defined by bimatrices with variable entries. Moreover, it can be used to define a hierarchy of approximations for any integer programming problem. △ Less

Submitted 17 January, 2011; originally announced January 2011.

MSC Class: 05A; 15A; 51M; 52A; 52B; 52C; 62H; 68Q; 68R; 68U; 68W; 90B; 90C

Journal ref: Mathematical Programming, 137:325--341, 2013

Learning restricted Bayesian network structures

Authors: Raymond Hemmecke, Silvia Lindner, Milan Studený

Abstract: Bayesian networks are basic graphical models, used widely both in statistics and artificial intelligence. These statistical models of conditional independence structure are described by acyclic directed graphs whose nodes correspond to (random) variables in consideration. A quite important topic is the learning of Bayesian network structures, which is determining the best fitting statistical model… ▽ More Bayesian networks are basic graphical models, used widely both in statistics and artificial intelligence. These statistical models of conditional independence structure are described by acyclic directed graphs whose nodes correspond to (random) variables in consideration. A quite important topic is the learning of Bayesian network structures, which is determining the best fitting statistical model on the basis of given data. Although there are learning methods based on statistical conditional independence tests, contemporary methods are mainly based on maximization of a suitable quality criterion that evaluates how good the graph explains the occurrence of the observed data. This leads to a nonlinear combinatorial optimization problem that is in general NP-hard to solve. In this paper we deal with the complexity of learning restricted Bayesian network structures, that is, we wish to find network structures of highest score within a given subset of all possible network structures. For this, we introduce a new unique algebraic representative for these structures, called the characteristic imset. We show that these imsets are always 0-1-vectors and that they have many nice properties that allow us to simplify long proofs for some known results and to easily establish new complexity results for learning restricted Bayes network structures. △ Less

Submitted 30 November, 2010; originally announced November 2010.

MSC Class: 62F15; 68T05; 90C05; 90C09; 90C10; 9090C27; 90C60;

Equality of Graver bases and universal Gröbner bases of colored partition identities

Authors: Tristram Bogart, Raymond Hemmecke, Sonja Petrović

Abstract: Associated to any vector configuration A is a toric ideal encoded by vectors in the kernel of A. Each toric ideal has two special generating sets: the universal Gröbner basis and the Graver basis. While the former is generally a proper subset of the latter, there are cases for which the two sets coincide. The most prominent examples among them are toric ideals of unimodular matrices. Equality of… ▽ More Associated to any vector configuration A is a toric ideal encoded by vectors in the kernel of A. Each toric ideal has two special generating sets: the universal Gröbner basis and the Graver basis. While the former is generally a proper subset of the latter, there are cases for which the two sets coincide. The most prominent examples among them are toric ideals of unimodular matrices. Equality of universal Gröbner basis and Graver basis is a combinatorial property of the toric ideal (or, of the defining matrix), providing interesting information about ideals of higher Lawrence liftings of a matrix. Nonetheless, a general classification of all matrices for which both sets agree is far from known. We contribute to this task by identifying all cases with equality within two families of matrices; namely, those defining rational normal scrolls and those encoding homogeneous primitive colored partition identities. △ Less

Submitted 13 April, 2010; v1 submitted 6 April, 2010; originally announced April 2010.

Comments: minor revision; references added; introduction expanded.

Journal ref: Experimental Mathematics 2012, Vol. 21 (4), 395-401

Challenging computations of Hilbert bases of cones associated with algebraic statistics

Authors: Winfried Bruns, Raymond Hemmecke, Bogdan Ichim, Matthias Koeppe, Christof Soeger

Abstract: In this paper we present two independent computational proofs that the monoid derived from $5\times 5\times 3$ contingency tables is normal, completing the classification by Hibi and Ohsugi. We show that Vlach's vector disproving normality for the monoid derived from $6\times 4\times 3$ contingency tables is the unique minimal such vector up to symmetry. Finally, we compute the full Hilbert basi… ▽ More In this paper we present two independent computational proofs that the monoid derived from $5\times 5\times 3$ contingency tables is normal, completing the classification by Hibi and Ohsugi. We show that Vlach's vector disproving normality for the monoid derived from $6\times 4\times 3$ contingency tables is the unique minimal such vector up to symmetry. Finally, we compute the full Hilbert basis of the cone associated with the non-normal monoid of the semi-graphoid for $|N|=5$. The computations are based on extensions of the packages LattE-4ti2 and Normaliz. △ Less

Submitted 23 January, 2010; originally announced January 2010.

Comments: 10 pages

MSC Class: 52B20; 13F20

A polynomial-time algorithm for optimizing over N-fold 4-block decomposable integer programs

Authors: Raymond Hemmecke, Matthias Köppe, Robert Weismantel

Abstract: In this paper we generalize N-fold integer programs and two-stage integer programs with N scenarios to N-fold 4-block decomposable integer programs. We show that for fixed blocks but variable N, these integer programs are polynomial-time solvable for any linear objective. Moreover, we present a polynomial-time computable optimality certificate for the case of fixed blocks, variable N and any con… ▽ More In this paper we generalize N-fold integer programs and two-stage integer programs with N scenarios to N-fold 4-block decomposable integer programs. We show that for fixed blocks but variable N, these integer programs are polynomial-time solvable for any linear objective. Moreover, we present a polynomial-time computable optimality certificate for the case of fixed blocks, variable N and any convex separable objective function. We conclude with two sample applications, stochastic integer programs with second-order dominance constraints and stochastic integer multi-commodity flows, which (for fixed blocks) can be solved in polynomial time in the number of scenarios and commodities and in the binary encoding length of the input data. In the proof of our main theorem we combine several non-trivial constructions from the theory of Graver bases. We are confident that our approach paves the way for further extensions. △ Less

Submitted 20 November, 2009; originally announced November 2009.

MSC Class: 90C10; 90C15; 90C27

Nonlinear Integer Programming

Authors: Raymond Hemmecke, Matthias Köppe, Jon Lee, Robert Weismantel

Abstract: Research efforts of the past fifty years have led to a development of linear integer programming as a mature discipline of mathematical optimization. Such a level of maturity has not been reached when one considers nonlinear systems subject to integrality requirements for the variables. This chapter is dedicated to this topic. The primary goal is a study of a simple version of general nonlinea… ▽ More Research efforts of the past fifty years have led to a development of linear integer programming as a mature discipline of mathematical optimization. Such a level of maturity has not been reached when one considers nonlinear systems subject to integrality requirements for the variables. This chapter is dedicated to this topic. The primary goal is a study of a simple version of general nonlinear integer problems, where all constraints are still linear. Our focus is on the computational complexity of the problem, which varies significantly with the type of nonlinear objective function in combination with the underlying combinatorial structure. Numerous boundary cases of complexity emerge, which sometimes surprisingly lead even to polynomial time algorithms. We also cover recent successful approaches for more general classes of problems. Though no positive theoretical efficiency results are available, nor are they likely to ever be available, these seem to be the currently most successful and interesting approaches for solving practical problems. It is our belief that the study of algorithms motivated by theoretical considerations and those motivated by our desire to solve practical instances should and do inform one another. So it is with this viewpoint that we present the subject, and it is in this direction that we hope to spark further research. △ Less

Submitted 28 June, 2009; originally announced June 2009.

Comments: 57 pages. To appear in: M. Jünger, T. Liebling, D. Naddef, G. Nemhauser, W. Pulleyblank, G. Reinelt, G. Rinaldi, and L. Wolsey (eds.), 50 Years of Integer Programming 1958--2008: The Early Years and State-of-the-Art Surveys, Springer-Verlag, 2009, ISBN 3540682740

MSC Class: 90C10; 90C30; 90C11

Multicommodity Flow in Polynomial Time

Authors: Raymond Hemmecke, Shmuel Onn, Robert Weismantel

Abstract: The multicommodity flow problem is NP-hard already for two commodities over bipartite graphs. Nonetheless, using our recent theory of n-fold integer programming and extensions developed herein, we are able to establish the surprising polynomial time solvability of the problem in two broad situations. The multicommodity flow problem is NP-hard already for two commodities over bipartite graphs. Nonetheless, using our recent theory of n-fold integer programming and extensions developed herein, we are able to establish the surprising polynomial time solvability of the problem in two broad situations. △ Less

Submitted 13 July, 2009; v1 submitted 28 June, 2009; originally announced June 2009.

MSC Class: 05A; 15A; 51M; 52A; 52B; 52C; 62H; 68Q; 68R; 68U; 68W; 90B; 90C

Journal ref: Optimization Letters, 5:13--25, 2011

Reconstructing biochemical cluster networks

Authors: Utz-Uwe Haus, Raymond Hemmecke, Sebastian Pokutta

Abstract: Motivated by fundamental problems in chemistry and biology we study cluster graphs arising from a set of initial states $S\subseteq\Z^n_+$ and a set of transitions/reactions $M\subseteq\Z^n_+\times\Z^n_+$. The clusters are formed out of states that can be mutually transformed into each other by a sequence of reversible transitions. We provide a solution method from computational commutative algebr… ▽ More Motivated by fundamental problems in chemistry and biology we study cluster graphs arising from a set of initial states $S\subseteq\Z^n_+$ and a set of transitions/reactions $M\subseteq\Z^n_+\times\Z^n_+$. The clusters are formed out of states that can be mutually transformed into each other by a sequence of reversible transitions. We provide a solution method from computational commutative algebra that allows for deciding whether two given states belong to the same cluster as well as for the reconstruction of the full cluster graph. Using the cluster graph approach we provide solutions to two fundamental questions: 1) Deciding whether two states are connected, e.g., if the initial state can be turned into the final state by a sequence of transition and 2) listing concisely all reactions processes that can accomplish that. As a computational example, we apply the framework to the permanganate/oxalic acid reaction. △ Less

Submitted 24 June, 2011; v1 submitted 7 June, 2009; originally announced June 2009.

Comments: Revised version, to appear in Journal of Mathematical Chemistry

MSC Class: 13P10; 05C20; 05C30; 05C40; 05C85; 92-08; 92C40; 92E10; 92E20

Journal ref: Journal of Mathematical Chemistry: Volume 49, Issue 10 (2011), Page 2441-2456

Nash-equilibria and N-fold integer programming

Authors: Raymond Hemmecke, Shmuel Onn, Robert Weismantel

Abstract: Inspired by a paper of R. W. Rosenthal, we investigate generalized Nash-equilibria of integer programming games. We show that generalized Nash-equilibria always exist and are related to an optimal solution of a so-called N-fold integer program. This link allows us to establish some polynomial time complexity results about solving this optimization problem and its inverse counter-part. Inspired by a paper of R. W. Rosenthal, we investigate generalized Nash-equilibria of integer programming games. We show that generalized Nash-equilibria always exist and are related to an optimal solution of a so-called N-fold integer program. This link allows us to establish some polynomial time complexity results about solving this optimization problem and its inverse counter-part. △ Less

Submitted 26 March, 2009; originally announced March 2009.

MSC Class: 52Bxx; 52Cxx; 68Qxx; 68Rxx; 68Uxx; 68Wxx; 90Bxx; 90Cxx; 91Axx

A polynomial oracle-time algorithm for convex integer minimization

Authors: Raymond Hemmecke, Shmuel Onn, Robert Weismantel

Abstract: In this paper we consider the solution of certain convex integer minimization problems via greedy augmentation procedures. We show that a greedy augmentation procedure that employs only directions from certain Graver bases needs only polynomially many augmentation steps to solve the given problem. We extend these results to convex $N$-fold integer minimization problems and to convex 2-stage stoc… ▽ More In this paper we consider the solution of certain convex integer minimization problems via greedy augmentation procedures. We show that a greedy augmentation procedure that employs only directions from certain Graver bases needs only polynomially many augmentation steps to solve the given problem. We extend these results to convex $N$-fold integer minimization problems and to convex 2-stage stochastic integer minimization problems. Finally, we present some applications of convex $N$-fold integer minimization problems for which our approach provides polynomial time solution algorithms. △ Less

Submitted 16 October, 2007; originally announced October 2007.

Comments: 19 pages, 1 figure

MSC Class: 90C05; 90C10; 90C15; 90C20; 90C25; 90C30

Journal ref: Mathematical Programming: Volume 126, Issue 1 (2011), Page 97-117

On the Gröbner complexity of matrices

Authors: Raymond Hemmecke, Kristen A. Nairn

Abstract: In this paper we show that if for an integer matrix A the universal Gröbner basis of the associated toric ideal \Ideal_A coincides with the Graver basis of A, then the Gröbner complexity u(A) and the Graver complexity g(A) of its higher Lawrence liftings agree, too. We conclude that for the matrices A_{3\times 3} and A_{3\times 4}, defining the 3\times 3 and 3\times 4 transportation problems, we… ▽ More In this paper we show that if for an integer matrix A the universal Gröbner basis of the associated toric ideal \Ideal_A coincides with the Graver basis of A, then the Gröbner complexity u(A) and the Graver complexity g(A) of its higher Lawrence liftings agree, too. We conclude that for the matrices A_{3\times 3} and A_{3\times 4}, defining the 3\times 3 and 3\times 4 transportation problems, we have u(A_{3\times 3})=g(A_{3\times 3})=9 and u(A_{3\times 4})=g(A_{3\times 4})\geq 27. Moreover, we prove u(A_{a,b})=g(A_{a,b})=2(a+b)/\gcd(a,b) for positive integers a,b and A_{a,b}=(\begin{smallmatrix} 1 & 1 & 1 & 1 0 & a & b & a+b \end{smallmatrix}). △ Less

Submitted 31 August, 2007; originally announced August 2007.

Comments: 9 pages

Pareto Optima of Multicriteria Integer Linear Programs

Authors: Jesús A. De Loera, Raymond Hemmecke, Matthias Köppe

Abstract: We settle the computational complexity of fundamental questions related to multicriteria integer linear programs, when the dimensions of the strategy space and of the outcome space are considered fixed constants. In particular we construct: 1. polynomial-time algorithms to exactly determine the number of Pareto optima and Pareto strategies; 2. a polynomial-space polynomial-delay prescribed-o… ▽ More We settle the computational complexity of fundamental questions related to multicriteria integer linear programs, when the dimensions of the strategy space and of the outcome space are considered fixed constants. In particular we construct: 1. polynomial-time algorithms to exactly determine the number of Pareto optima and Pareto strategies; 2. a polynomial-space polynomial-delay prescribed-order enumeration algorithm for arbitrary projections of the Pareto set; 3. an algorithm to minimize the distance of a Pareto optimum from a prescribed comparison point with respect to arbitrary polyhedral norms; 4. a fully polynomial-time approximation scheme for the problem of minimizing the distance of a Pareto optimum from a prescribed comparison point with respect to the Euclidean norm. △ Less

Submitted 9 July, 2007; originally announced July 2007.

Comments: 17 pages, 1 figure

MSC Class: 90C29; 90C10

Journal ref: INFORMS Journal on Computing 21 (2009), no. 1, 39-48

FPTAS for optimizing polynomials over the mixed-integer points of polytopes in fixed dimension

Authors: Jesús A. De Loera, Raymond Hemmecke, Matthias Köppe, Robert Weismantel

Abstract: We show the existence of a fully polynomial-time approximation scheme (FPTAS) for the problem of maximizing a non-negative polynomial over mixed-integer sets in convex polytopes, when the number of variables is fixed. Moreover, using a weaker notion of approximation, we show the existence of a fully polynomial-time approximation scheme for the problem of maximizing or minimizing an arbitrary pol… ▽ More We show the existence of a fully polynomial-time approximation scheme (FPTAS) for the problem of maximizing a non-negative polynomial over mixed-integer sets in convex polytopes, when the number of variables is fixed. Moreover, using a weaker notion of approximation, we show the existence of a fully polynomial-time approximation scheme for the problem of maximizing or minimizing an arbitrary polynomial over mixed-integer sets in convex polytopes, when the number of variables is fixed. △ Less

Submitted 15 June, 2007; originally announced June 2007.

Comments: 16 pages, 4 figures; to appear in Mathematical Programming

MSC Class: 90C11; 90C30; 90C60; 90C57

Journal ref: Mathematical Programming, Series A 118 (2008), 273-290

Computation of Atomic Fibers of Z-Linear Maps

Authors: Elke Eisenschmidt, Raymond Hemmecke, Matthias Köppe

Abstract: For given matrix $A\in\Z^{d\times n}$, the set $P_{b}=\{z:Az=b,z\in\Z^n_+\}$ describes the preimage or fiber of $b\in\Z^d$ under the $\Z$-linear map $f_A:\Z^n_+\to\Z^d$, $x\mapsto Ax$. The fiber $P_{b}$ is called atomic, if $P_{b}=P_{b_1}+P_{b_2}$ implies $b=b_1$ or $b=b_2$. In this paper we present a novel algorithm to compute such atomic fibers. An algorithmic solution to appearing subproblems… ▽ More For given matrix $A\in\Z^{d\times n}$, the set $P_{b}=\{z:Az=b,z\in\Z^n_+\}$ describes the preimage or fiber of $b\in\Z^d$ under the $\Z$-linear map $f_A:\Z^n_+\to\Z^d$, $x\mapsto Ax$. The fiber $P_{b}$ is called atomic, if $P_{b}=P_{b_1}+P_{b_2}$ implies $b=b_1$ or $b=b_2$. In this paper we present a novel algorithm to compute such atomic fibers. An algorithmic solution to appearing subproblems, computational examples and applications are included as well. △ Less

Submitted 20 April, 2007; originally announced April 2007.

Comments: 27 pages

MSC Class: 13P99; 68Q40; 52B20

Journal ref: Contributions to Discrete Mathematics 6 (2011), no. 2

Three Counterexamples on Semigraphoids

Authors: Raymond Hemmecke, Jason Morton, Anne Shiu, Bernd Sturmfels, Oliver Wienand

Abstract: Semigraphoids are combinatorial structures that arise in statistical learning theory. They are equivalent to convex rank tests and to polyhedral fans that coarsen the reflection arrangement of the symmetric group. We resolve two problems on semigraphoids posed in Studeny's book, and we answer a related question by Postnikov, Reiner, and Williams on generalized permutohedra. We also study the sem… ▽ More Semigraphoids are combinatorial structures that arise in statistical learning theory. They are equivalent to convex rank tests and to polyhedral fans that coarsen the reflection arrangement of the symmetric group. We resolve two problems on semigraphoids posed in Studeny's book, and we answer a related question by Postnikov, Reiner, and Williams on generalized permutohedra. We also study the semigroup and the toric ideal associated with semigraphoids. △ Less

Submitted 15 October, 2006; originally announced October 2006.

Convex Integer Maximization via Graver Bases

Authors: J. De Loera, R. Hemmecke, S. Onn, U. G. Rothblum, R. Weismantel

Abstract: We present a new algebraic algorithmic scheme to solve {\em convex integer maximization} problems of the following form, where $c$ is a convex function on $R^d$ and $w_1x,...,w_dx$ are linear forms on $R^n$, $$\max \{c(w_1 x,...,w_d x): Ax=b, x\in N^n\} .$$ This method works for arbitrary input data $A,b,d,w_1,...,w_d,c$. Moreover, for fixed $d$ and several important classes of programs in {\em… ▽ More We present a new algebraic algorithmic scheme to solve {\em convex integer maximization} problems of the following form, where $c$ is a convex function on $R^d$ and $w_1x,...,w_dx$ are linear forms on $R^n$, $$\max \{c(w_1 x,...,w_d x): Ax=b, x\in N^n\} .$$ This method works for arbitrary input data $A,b,d,w_1,...,w_d,c$. Moreover, for fixed $d$ and several important classes of programs in {\em variable dimension}, we prove that our algorithm runs in {\em polynomial time}. As a consequence, we obtain polynomial time algorithms for various types of multi-way transportation problems, packing problems, and partitioning problems in variable dimension. △ Less

Submitted 19 February, 2008; v1 submitted 1 September, 2006; originally announced September 2006.

MSC Class: 05A; 15A; 51M; 52A; 52B; 52C; 62H; 68Q; 68R; 68U; 68W; 90B; 90C

Journal ref: Journal of Pure and Applied Algebra, 213:1569--1577, 2009

Computing holes in semi-groups and its applications to transportation problems

Authors: Raymond Hemmecke, Akimichi Takemura, Ruriko Yoshida

Abstract: An integer feasibility problem is a fundamental problem in many areas, such as operations research, number theory, and statistics. To study a family of systems with no nonnegative integer solution, we focus on a commutative semigroup generated by a finite set of vectors in $\Z^d$ and its saturation. In this paper we present an algorithm to compute an explicit description for the set of holes whi… ▽ More An integer feasibility problem is a fundamental problem in many areas, such as operations research, number theory, and statistics. To study a family of systems with no nonnegative integer solution, we focus on a commutative semigroup generated by a finite set of vectors in $\Z^d$ and its saturation. In this paper we present an algorithm to compute an explicit description for the set of holes which is the difference of a semi-group $Q$ generated by the vectors and its saturation. We apply our procedure to compute an infinite family of holes for the semi-group of the $3\times 4\times 6$ transportation problem. Furthermore, we give an upper bound for the entries of the holes when the set of holes is finite. Finally, we present an algorithm to find all $Q$-minimal saturation points of $Q$. △ Less

Submitted 9 April, 2009; v1 submitted 24 July, 2006; originally announced July 2006.

Comments: Presentation has been improved according to comments by referees. This manuscript has been accepted to "Contributions to Discrete Mathematics"

N-Fold Integer Programming

Authors: Jesús A. De Loera, Raymond Hemmecke, Shmuel Onn, Robert Weismantel

Abstract: In this article we study a broad class of integer programming problems in variable dimension. We show that these so-termed {\em n-fold integer programming problems} are polynomial time solvable. Our proof involves two heavy ingredients discovered recently: the equivalence of linear optimization and so-called directed augmentation, and the stabilization of certain Graver bases. We discuss sever… ▽ More In this article we study a broad class of integer programming problems in variable dimension. We show that these so-termed {\em n-fold integer programming problems} are polynomial time solvable. Our proof involves two heavy ingredients discovered recently: the equivalence of linear optimization and so-called directed augmentation, and the stabilization of certain Graver bases. We discuss several applications of our algorithm to multiway transportation problems and to packing problems. One important consequence of our results is a polynomial time algorithm for the $d$-dimensional integer transportation problem for long multiway tables. Another interesting application is a new algorithm for the classical cutting stock problem. △ Less

Submitted 9 May, 2006; originally announced May 2006.

MSC Class: 05A; 15A; 51M; 52A; 52B; 52C; 68Q; 68R; 68U; 90B; 90C

Journal ref: Discrete Optimization, 5:231--241, 2008

Computing generating sets of lattice ideals

Authors: Raymond Hemmecke, Peter Malkin

Abstract: In this article, we present a new algorithm for computing a generating set of a lattice ideal. This algorithm is based on a project-and-lift approach and is implemented in 4ti2. We also include a computational comparison of several existing implementations to compute such generating sets. In this article, we present a new algorithm for computing a generating set of a lattice ideal. This algorithm is based on a project-and-lift approach and is implemented in 4ti2. We also include a computational comparison of several existing implementations to compute such generating sets. △ Less

Submitted 12 May, 2006; v1 submitted 19 August, 2005; originally announced August 2005.

Comments: The manuscript has been rearranged and modified to improve presentation and readability of the project-and-lift algorithm to compute generating sets of lattice ideals

FPTAS for mixed-integer polynomial optimization with a fixed number of variables

Authors: Jesús A. De Loera, Raymond Hemmecke, Matthias Köppe, Robert Weismantel

Abstract: We show the existence of an FPTAS for the problem of maximizing a non-negative polynomial over mixed-integer sets in convex polytopes, when the number of variables is fixed. We show the existence of an FPTAS for the problem of maximizing a non-negative polynomial over mixed-integer sets in convex polytopes, when the number of variables is fixed. △ Less

Submitted 31 May, 2005; originally announced May 2005.

Comments: 11 pages

MSC Class: 90C11; 90C30; 90C26; 68W25

Finiteness theorems in stochastic integer programming

Authors: Matthias Aschenbrenner, Raymond Hemmecke

Abstract: We study Graver test sets for families of linear multi-stage stochastic integer programs with varying number of scenarios. We show that these test sets can be decomposed into finitely many ``building blocks'', independent of the number of scenarios, and we give an effective procedure to compute these building blocks. The paper includes an introduction to Nash-Williams' theory of better-quasi-ord… ▽ More We study Graver test sets for families of linear multi-stage stochastic integer programs with varying number of scenarios. We show that these test sets can be decomposed into finitely many ``building blocks'', independent of the number of scenarios, and we give an effective procedure to compute these building blocks. The paper includes an introduction to Nash-Williams' theory of better-quasi-orderings, which is used to show termination of our algorithm. We also apply this theory to finiteness results for Hilbert functions. △ Less

Submitted 3 February, 2005; originally announced February 2005.

Comments: 36 pp

MSC Class: 90C15; 90C10; 06A06; 13P10

Exploiting Symmetries in the Computation of Graver Bases

Authors: Raymond Hemmecke

Abstract: Many challenging Graver bases computations, like for multi-way tables in statistics, have a highly symmetric problem structure that is not exploited so far computationally. In this paper we present a Graver basis algorithm for sublattices of $\Z^n$ that exploits existing symmetry. Many challenging Graver bases computations, like for multi-way tables in statistics, have a highly symmetric problem structure that is not exploited so far computationally. In this paper we present a Graver basis algorithm for sublattices of $\Z^n$ that exploits existing symmetry. △ Less

Submitted 14 October, 2004; originally announced October 2004.

Computation of Atomic Fibers of Z-Linear Maps

Authors: Raymond Hemmecke

Abstract: For given matrix $A\in\Z^{d\times n}$, the set $P^I_{A,b}=\{z:Az=b,z\in\Z^n_+\}$ describes the preimage or fiber of $b\in\Z^d$ under the $\Z$-linear map $f_A:\Z^n_+\to\Z^d$, $x\mapsto Ax$. The fiber $P^I_{A,b}$ is called atomic, if $P^I_{A,b}=P^I_{A,b_1}+P^I_{A,b_2}$ implies $b=b_1$ or $b=b_2$. In this paper we present a novel algorithm to compute such atomic fibers. An algorithmic solution to a… ▽ More For given matrix $A\in\Z^{d\times n}$, the set $P^I_{A,b}=\{z:Az=b,z\in\Z^n_+\}$ describes the preimage or fiber of $b\in\Z^d$ under the $\Z$-linear map $f_A:\Z^n_+\to\Z^d$, $x\mapsto Ax$. The fiber $P^I_{A,b}$ is called atomic, if $P^I_{A,b}=P^I_{A,b_1}+P^I_{A,b_2}$ implies $b=b_1$ or $b=b_2$. In this paper we present a novel algorithm to compute such atomic fibers. An algorithmic solution to appearing subproblems, application to integer programming, and computational examples are included as well. △ Less

Submitted 12 October, 2004; originally announced October 2004.

Integral Function Bases

Authors: Raymond Hemmecke, Robert Weismantel

Abstract: Integral bases, a minimal set of solutions to $Ax\leq b, x\in\Z^n$ that generate any other solution to $Ax\leq b, x\in\Z^n$, as a nonnegative integer linear combination, are always finite and are at the core of the Integral Basis Method introduced by Haus, K{ö}ppe and Weismantel. In this paper we present one generalization of the notion of integral bases to the nonlinear situation with the int… ▽ More Integral bases, a minimal set of solutions to $Ax\leq b, x\in\Z^n$ that generate any other solution to $Ax\leq b, x\in\Z^n$, as a nonnegative integer linear combination, are always finite and are at the core of the Integral Basis Method introduced by Haus, K{ö}ppe and Weismantel. In this paper we present one generalization of the notion of integral bases to the nonlinear situation with the intention of creating an integral basis method also for nonlinear integer programming. △ Less

Submitted 8 October, 2004; originally announced October 2004.

MSC Class: 90C10; 90C30

Integer Polynomial Optimization in Fixed Dimension

Authors: Jesús A. De Loera, Raymond Hemmecke, Matthias Köppe, Robert Weismantel

Abstract: We classify, according to their computational complexity, integer optimization problems whose constraints and objective functions are polynomials with integer coefficients and the number of variables is fixed. For the optimization of an integer polynomial over the lattice points of a convex polytope, we show an algorithm to compute lower and upper bounds for the optimal value. For polynomials th… ▽ More We classify, according to their computational complexity, integer optimization problems whose constraints and objective functions are polynomials with integer coefficients and the number of variables is fixed. For the optimization of an integer polynomial over the lattice points of a convex polytope, we show an algorithm to compute lower and upper bounds for the optimal value. For polynomials that are non-negative over the polytope, these sequences of bounds lead to a fully polynomial-time approximation scheme for the optimization problem. △ Less

Submitted 31 May, 2005; v1 submitted 5 October, 2004; originally announced October 2004.

Comments: In this revised version we include a stronger complexity bound on our algorithm. Our algorithm is in fact an FPTAS (fully polynomial-time approximation scheme) to maximize a non-negative integer polynomial over the lattice points of a polytope

MSC Class: 90C10; 90C30; 90C60; 90C57

Journal ref: Mathematics of Operations Research 31 (2006), no. 1, 147-153

Test Sets for Integer Programs with Z-Convex Objective

Authors: Raymond Hemmecke

Abstract: In this paper we extend test set based augmentation methods for integer linear programs to programs with more general convex objective functions. We show existence and computability of finite test sets for these wider problem classes by providing an explicit relationship to Graver bases. One candidate where this new approach may turn out fruitful is the Quadratic Assignment Problem. In this paper we extend test set based augmentation methods for integer linear programs to programs with more general convex objective functions. We show existence and computability of finite test sets for these wider problem classes by providing an explicit relationship to Graver bases. One candidate where this new approach may turn out fruitful is the Quadratic Assignment Problem. △ Less

Submitted 8 September, 2003; originally announced September 2003.

MSC Class: 90C

Short Rational Functions for Toric Algebra and Applications

Authors: Jesus De Loera, David Haws, Raymond Hemmecke, Peter Huggins, Bernd Sturmfels, Ruriko Yoshida

Abstract: We encode the binomials belonging to the toric ideal $I_A$ associated with an integral $d \times n$ matrix $A$ using a short sum of rational functions as introduced by Barvinok \cite{bar,newbar}. Under the assumption that $d,n$ are fixed, this representation allows us to compute the Graver basis and the reduced Gröbner basis of the ideal $I_A$, with respect to any term order, in time polynomial… ▽ More We encode the binomials belonging to the toric ideal $I_A$ associated with an integral $d \times n$ matrix $A$ using a short sum of rational functions as introduced by Barvinok \cite{bar,newbar}. Under the assumption that $d,n$ are fixed, this representation allows us to compute the Graver basis and the reduced Gröbner basis of the ideal $I_A$, with respect to any term order, in time polynomial in the size of the input. We also derive a polynomial time algorithm for normal form computation which replaces in this new encoding the usual reductions typical of the division algorithm. We describe other applications, such as the computation of Hilbert series of normal semigroup rings, and we indicate further connections to integer programming and statistics. △ Less

Submitted 26 July, 2003; originally announced July 2003.

Comments: 13 pages, using elsart.sty and elsart.cls

MSC Class: 05A15 (primary); 13P10 (secondary)

On the Computation of Hilbert Bases and Extreme Rays of Cones

Authors: Raymond Hemmecke

Abstract: In this paper we present a novel project-and-lift approach to compute the set of minimal generators of the semigroup $(Λ\cap\R^n_+,+)$ for lattices $Λ\subseteq\Z^n$. This problem class includes the computation of Hilbert bases of cones $\{z:Az=0,z\in\R^n_+\}$ for integer matrices $A$. A similar approach can be used to compute only the extreme rays of such cones. Finally, some combinatorial appli… ▽ More In this paper we present a novel project-and-lift approach to compute the set of minimal generators of the semigroup $(Λ\cap\R^n_+,+)$ for lattices $Λ\subseteq\Z^n$. This problem class includes the computation of Hilbert bases of cones $\{z:Az=0,z\in\R^n_+\}$ for integer matrices $A$. A similar approach can be used to compute only the extreme rays of such cones. Finally, some combinatorial applications and computational experience are presented. △ Less

Submitted 11 March, 2002; originally announced March 2002.

Polyhedral Cones of Magic Cubes and Squares

Authors: M. Ahmed, J. De Loera, R. Hemmecke

Abstract: 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. 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. △ Less

Submitted 11 April, 2002; v1 submitted 12 January, 2002; originally announced January 2002.

Comments: 14 pages