Showing 1–43 of 43 results for author: Onn, S

Circuit and Graver Walks and Linear and Integer Programming

Authors: Shmuel Onn

Abstract: We show that a circuit walk from a given feasible point of a given linear program to an optimal point can be computed in polynomial time using only linear algebra operations and the solution of the single given linear program. We also show that a Graver walk from a given feasible point of a given integer program to an optimal point is polynomial time computable using an integer programming oracl… ▽ More We show that a circuit walk from a given feasible point of a given linear program to an optimal point can be computed in polynomial time using only linear algebra operations and the solution of the single given linear program. We also show that a Graver walk from a given feasible point of a given integer program to an optimal point is polynomial time computable using an integer programming oracle, but without such an oracle, it is hard to compute such a walk even if an optimal solution to the given program is given as well. Combining our oracle algorithm with recent results on sparse integer programming, we also show that Graver walks from any point are polynomial time computable over matrices of bounded tree-depth and subdeterminants. △ Less

Submitted 1 October, 2024; originally announced October 2024.

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

Journal ref: Discrete Optimization, 54:100862 (7 pages), 2024

Degree Sequence Optimization and Extremal Degree Enumerators

Authors: Shmuel Onn

Abstract: The degree sequence optimization problem is to find a subgraph of a given graph which maximizes the sum of given functions evaluated at the subgraph degrees. Here we study this problem by replacing degree sequences, via suitable nonlinear transformations, by suitable degree enumerators, and we introduce suitable degree enumerator polytopes. We characterize their vertices, that is, the extremal d… ▽ More The degree sequence optimization problem is to find a subgraph of a given graph which maximizes the sum of given functions evaluated at the subgraph degrees. Here we study this problem by replacing degree sequences, via suitable nonlinear transformations, by suitable degree enumerators, and we introduce suitable degree enumerator polytopes. We characterize their vertices, that is, the extremal degree enumerators, for complete graphs and some complete bipartite graphs, and use these characterizations to obtain simpler and faster algorithms for optimization over degree sequences for such graphs. △ Less

Submitted 3 April, 2024; originally announced April 2024.

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

On Supmodular Matrices

Authors: Shmuel Onn

Abstract: We consider the problem of determining which matrices are permutable to be supmodular. We show that for small dimensions any matrix is permutable by a universal permutation or by a pair of permutations, while for higher dimensions no universal permutation exists. We raise several questions including to determine the dimensions in which every matrix is permutable. We consider the problem of determining which matrices are permutable to be supmodular. We show that for small dimensions any matrix is permutable by a universal permutation or by a pair of permutations, while for higher dimensions no universal permutation exists. We raise several questions including to determine the dimensions in which every matrix is permutable. △ Less

Submitted 14 September, 2023; originally announced September 2023.

MSC Class: 15A39; 90B06; 05A05; 68R05; 90C05

Journal ref: Linear and Multilinear Algebra, 72:2341--2346, 2024

Degree Sequence Optimization in Bounded Treewidth

Authors: Shmuel Onn

Abstract: We consider the problem of finding a subgraph of a given graph which minimizes the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already when all functions are the same, we show that it can be solved for arbitrary functions in polynomial time over graphs of bounded treewidth. Its complexity remains widely open, in particular over complete grap… ▽ More We consider the problem of finding a subgraph of a given graph which minimizes the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already when all functions are the same, we show that it can be solved for arbitrary functions in polynomial time over graphs of bounded treewidth. Its complexity remains widely open, in particular over complete graphs and complete bipartite graphs. △ Less

Submitted 22 March, 2023; originally announced March 2023.

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

Journal ref: Optimization Letters 17:1127-1132, 2023

Matching Orderable and Separable Hypergraphs

Authors: Shmuel Onn

Abstract: A perfect matching in a hypergraph is a set of edges that partition the set of vertices. We study the complexity of deciding the existence of a perfect matching in orderable and separable hypergraphs. We show that the class of orderable hypergraphs is strictly contained in the class of separable hypergraphs. Accordingly, we show that for each fixed $k$, deciding perfect matching for orderable $k$-… ▽ More A perfect matching in a hypergraph is a set of edges that partition the set of vertices. We study the complexity of deciding the existence of a perfect matching in orderable and separable hypergraphs. We show that the class of orderable hypergraphs is strictly contained in the class of separable hypergraphs. Accordingly, we show that for each fixed $k$, deciding perfect matching for orderable $k$-hypergraphs is polynomial time doable, but for each fixed $k\geq 3$, it is NP-complete for separable hypergraphs. △ Less

Submitted 2 February, 2022; originally announced February 2022.

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

Journal ref: Optimization Letters, 2022

The Complexity of Vector Partition

Authors: Shmuel Onn

Abstract: We consider the {\em vector partition problem}, where $n$ agents, each with a $d$-dimensional attribute vector, are to be partitioned into $p$ parts so as to minimize cost which is a given function on the sums of attribute vectors in each part. The problem has applications in a variety of areas including clustering, logistics and health care. We consider the complexity and parameterized complexity… ▽ More We consider the {\em vector partition problem}, where $n$ agents, each with a $d$-dimensional attribute vector, are to be partitioned into $p$ parts so as to minimize cost which is a given function on the sums of attribute vectors in each part. The problem has applications in a variety of areas including clustering, logistics and health care. We consider the complexity and parameterized complexity of the problem under various assumptions on the natural parameters $p,d,a,t$ of the problem where $a$ is the maximum absolute value of any attribute and $t$ is the number of agent types, and raise some of the many remaining open problems. △ Less

Submitted 14 September, 2021; originally announced September 2021.

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

Journal ref: Vietnam Journal of Mathematics, 2021

On Line Sum Optimization

Authors: Shmuel Onn

Abstract: We show that the {\em column sum optimization problem}, of finding a $(0,1)$-matrix with prescribed row sums which minimizes the sum of evaluations of given functions at its column sums, can be solved in polynomial time, either when all functions are the same or when all row sums are bounded by any constant. We conjecture that the more general {\em line sum optimization problem}, of finding a matr… ▽ More We show that the {\em column sum optimization problem}, of finding a $(0,1)$-matrix with prescribed row sums which minimizes the sum of evaluations of given functions at its column sums, can be solved in polynomial time, either when all functions are the same or when all row sums are bounded by any constant. We conjecture that the more general {\em line sum optimization problem}, of finding a matrix minimizing the sum of given functions evaluated at its row sums and column sums, can also be solved in polynomial time. △ Less

Submitted 4 December, 2020; originally announced December 2020.

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

Journal ref: Linear Algebra and its Applications, 610:474--479, 2021

Uniform and Monotone Line Sum Optimization

Authors: Martin Koutecky, Shmuel Onn

Abstract: The {\em line sum optimization problem} asks for a $(0,1)$-matrix minimizing the sum of given functions evaluated at its row and column sums. We show that the {\em uniform} problem, with identical row functions and identical column functions, and the {\em monotone} problem, over matrices with nonincreasing row and column sums, are polynomial time solvable. The {\em line sum optimization problem} asks for a $(0,1)$-matrix minimizing the sum of given functions evaluated at its row and column sums. We show that the {\em uniform} problem, with identical row functions and identical column functions, and the {\em monotone} problem, over matrices with nonincreasing row and column sums, are polynomial time solvable. △ Less

Submitted 24 February, 2021; v1 submitted 19 November, 2020; originally announced November 2020.

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

Journal ref: Discrete Applied Mathematics, 298:165--170, 2021

Optimization over Young Diagrams

Authors: Shmuel Onn

Abstract: We consider the problem of finding a Young diagram minimizing the sum of evaluations of a given pair of functions on the parts of the associated pair of conjugate partitions. While there are exponentially many diagrams, we show it is polynomial time solvable. We consider the problem of finding a Young diagram minimizing the sum of evaluations of a given pair of functions on the parts of the associated pair of conjugate partitions. While there are exponentially many diagrams, we show it is polynomial time solvable. △ Less

Submitted 13 September, 2020; originally announced September 2020.

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

Journal ref: Journal of Algebraic Combinatorics, 54:689--692, 2021

On Degree Sequence Optimization

Authors: Shmuel Onn

Abstract: We consider the problem of finding a subgraph of a given graph which maximizes a given function evaluated at its degree sequence. While the problem is intractable already for convex functions, we show that it can be solved in polynomial time for convex multi-criteria objectives. We next consider the problem with separable objectives, which is NP-hard already when all vertex functions are the squar… ▽ More We consider the problem of finding a subgraph of a given graph which maximizes a given function evaluated at its degree sequence. While the problem is intractable already for convex functions, we show that it can be solved in polynomial time for convex multi-criteria objectives. We next consider the problem with separable objectives, which is NP-hard already when all vertex functions are the square. We consider a colored extension of the separable problem, which includes the notorious exact matching problem as a special case, and show that it can be solved in polynomial time on graphs of bounded tree-depth for any vertex functions. We mention some of the many remaining open problems. △ Less

Submitted 20 March, 2020; v1 submitted 11 March, 2020; originally announced March 2020.

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

Journal ref: Operations Research Letters, 48:840--843, 2020

Multitype Integer Monoid Optimization and Applications

Authors: Dušan Knop, Martin Koutecký, Asaf Levin, Matthias Mnich, Shmuel Onn

Abstract: Configuration integer programs (IP) have been key in the design of algorithms for NP-hard high-multiplicity problems since the pioneering work of Gilmore and Gomory [Oper. Res., 1961]. Configuration IPs have a variable for each possible configuration, which describes a placement of items into a location, and whose value corresponds to the number of locations with that placement. In high multiplici… ▽ More Configuration integer programs (IP) have been key in the design of algorithms for NP-hard high-multiplicity problems since the pioneering work of Gilmore and Gomory [Oper. Res., 1961]. Configuration IPs have a variable for each possible configuration, which describes a placement of items into a location, and whose value corresponds to the number of locations with that placement. In high multiplicity problems items come in types, and are represented succinctly by a vector of multiplicities; solving the configuration IP then amounts to deciding whether the input vector of multiplicities of items of each type can be decomposed into a given number of configurations. We make this implicit notion explicit by observing that the set of all input vectors decomposable into configurations forms a monoid, and solving the configuration IP is the Monoid Decomposition problem. Motivated by applications, we enrich this problem in two ways. First, sometimes each configuration additionally has an objective value, yielding an optimization problem of finding a "best" decomposition under the given objective. Second, there are often different types of configurations for different types of locations. The resulting problem is to optimize over decompositions of the input multiplicity vector into configurations of several types, and we call it Multitype Integer Monoid Optimization, or MIMO. We develop fast exact algorithms for various MIMO with few or many location types and with various objectives. Our algorithms build on a novel proximity theorem connecting the solutions of a certain configuration IP to those of its continuous relaxation. We then cast several fundamental scheduling and bin packing problems as MIMOs, and thereby obtain new or substantially faster algorithms for them. We complement our positive algorithmic results by hardness results. △ Less

Submitted 16 September, 2019; originally announced September 2019.

Optimization over Degree Sequences of Graphs

Authors: Gabriel Deza, Shmuel Onn

Abstract: We consider the problem of finding a subgraph of a given graph minimizing the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already for bipartite graphs when the functions are convex on one side and concave on the other, we show that when all functions are convex, the problem can be solved in polynomial time for any graph. We also provide poly… ▽ More We consider the problem of finding a subgraph of a given graph minimizing the sum of given functions at vertices evaluated at their subgraph degrees. While the problem is NP-hard already for bipartite graphs when the functions are convex on one side and concave on the other, we show that when all functions are convex, the problem can be solved in polynomial time for any graph. We also provide polynomial time solutions for bipartite graphs with one side fixed for arbitrary functions, and for arbitrary graphs when all but a fixed number of functions are either nondecreasing or nonincreasing. We note that the general factor problem and the (l,u)-factor problem over a graph are special cases of our problem, as well as the intriguing exact matching problem. The complexity of the problem remains widely open, particularly for arbitrary functions over complete graphs. △ Less

Submitted 25 August, 2019; originally announced August 2019.

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

Journal ref: Discrete Applied Mathematics, 296:2--8, 2021

An Algorithmic Theory of Integer Programming

Authors: Friedrich Eisenbrand, Christoph Hunkenschröder, Kim-Manuel Klein, Martin Koutecký, Asaf Levin, Shmuel Onn

Abstract: We study the general integer programming problem where the number of variables $n$ is a variable part of the input. We consider two natural parameters of the constraint matrix $A$: its numeric measure $a$ and its sparsity measure $d$. We show that integer programming can be solved in time $g(a,d)\textrm{poly}(n,L)$, where $g$ is some computable function of the parameters $a$ and $d$, and $L$ is th… ▽ More We study the general integer programming problem where the number of variables $n$ is a variable part of the input. We consider two natural parameters of the constraint matrix $A$: its numeric measure $a$ and its sparsity measure $d$. We show that integer programming can be solved in time $g(a,d)\textrm{poly}(n,L)$, where $g$ is some computable function of the parameters $a$ and $d$, and $L$ is the binary encoding length of the input. In particular, integer programming is fixed-parameter tractable parameterized by $a$ and $d$, and is solvable in polynomial time for every fixed $a$ and $d$. Our results also extend to nonlinear separable convex objective functions. Moreover, for linear objectives, we derive a strongly-polynomial algorithm, that is, with running time $g(a,d)\textrm{poly}(n)$, independent of the rest of the input data. We obtain these results by developing an algorithmic framework based on the idea of iterative augmentation: starting from an initial feasible solution, we show how to quickly find augmenting steps which rapidly converge to an optimum. A central notion in this framework is the Graver basis of the matrix $A$, which constitutes a set of fundamental augmenting steps. The iterative augmentation idea is then enhanced via the use of other techniques such as new and improved bounds on the Graver basis, rapid solution of integer programs with bounded variables, proximity theorems and a new proximity-scaling algorithm, the notion of a reduced objective function, and others. As a consequence of our work, we advance the state of the art of solving block-structured integer programs. In particular, we develop near-linear time algorithms for $n$-fold, tree-fold, and $2$-stage stochastic integer programs. We also discuss some of the many applications of these classes. △ Less

Submitted 29 July, 2022; v1 submitted 2 April, 2019; originally announced April 2019.

Comments: Revision 3: - corrections to specified complexities (infinite bounds, feasibility, etc.)

MSC Class: 15A; 52B; 52C; 68Q; 68R; 68W; 90B; 90C ACM Class: F.2.2; G.1.6

On the Complexity of Toric Ideals

Authors: Diego Cifuentes, Shmuel Onn

Abstract: We investigate the computational complexity of problems on toric ideals such as normal forms, Gröbner bases, and Graver bases. We show that all these problems are strongly NP-hard in the general case. Nonetheless, we can derive efficient algorithms by taking advantage of the sparsity pattern of the matrix. We describe this sparsity pattern with a graph, and study the parameterized complexity of to… ▽ More We investigate the computational complexity of problems on toric ideals such as normal forms, Gröbner bases, and Graver bases. We show that all these problems are strongly NP-hard in the general case. Nonetheless, we can derive efficient algorithms by taking advantage of the sparsity pattern of the matrix. We describe this sparsity pattern with a graph, and study the parameterized complexity of toric ideals in terms of graph parameters such as treewidth and treedepth. In particular, we show that the normal form problem can be solved in parameter-tractable time in terms of the treedepth. An important application of this result is in multiway ideals arising in algebraic statistics. We also give a parameter-tractable membership test to the reduced Gröbner basis. This test leads to an efficient procedure for computing the reduced Gröbner basis. Similar results hold for Graver bases computation. △ Less

Submitted 4 February, 2019; originally announced February 2019.

Comments: 15 pages

MSC Class: 68W30 (primary); 13P10; 90C10 (secondary)

Hypergraphic Degree Sequences are Hard

Authors: Antoine Deza, Asaf Levin, Syed M. Meesum, Shmuel Onn

Abstract: We show that deciding if a given vector is the degree sequence of a 3-hypergraph is NP-complete. We show that deciding if a given vector is the degree sequence of a 3-hypergraph is NP-complete. △ Less

Submitted 8 January, 2019; originally announced January 2019.

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

Journal ref: Bulletin of the European Association for Theoretical Computer Science, 127:63-64, 2019

A Parameterized Strongly Polynomial Algorithm for Block Structured Integer Programs

Authors: Martin Koutecký, Asaf Levin, Shmuel Onn

Abstract: The theory of $n$-fold integer programming has been recently emerging as an important tool in parameterized complexity. The input to an $n$-fold integer program (IP) consists of parameter $A$, dimension $n$, and numerical data of binary encoding length $L$. It was known for some time that such programs can be solved in polynomial time using $O(n^{g(A)}L)$ arithmetic operations where $g$ is an expo… ▽ More The theory of $n$-fold integer programming has been recently emerging as an important tool in parameterized complexity. The input to an $n$-fold integer program (IP) consists of parameter $A$, dimension $n$, and numerical data of binary encoding length $L$. It was known for some time that such programs can be solved in polynomial time using $O(n^{g(A)}L)$ arithmetic operations where $g$ is an exponential function of the parameter. In 2013 it was shown that it can be solved in fixed-parameter tractable (FPT) time using $O(f(A)n^3L)$ arithmetic operations for a single-exponential function $f$. This, and a faster algorithm for a special case of combinatorial $n$-fold IP, have led to several very recent breakthroughs in the parameterized complexity of scheduling, stringology, and computational social choice. In 2015 it was shown that it can be solved in strongly polynomial time using $O(n^{g(A)})$ arithmetic operations. Here we establish a result which subsumes all three of the above results by showing that $n$-fold IP can be solved in strongly polynomial FPT time using $O(f(A)n^3)$ arithmetic operations. In fact, our results are much more general, briefly outlined as follows. - There is a strongly polynomial algorithm for ILP whenever a so-called Graver-best oracle is realizable for it. - Graver-best oracles for the large classes of multi-stage stochastic and tree-fold ILPs can be realized in FPT time. Together with the previous oracle algorithm, this newly shows two large classes of ILP to be strongly polynomial; in contrast, only few classes of ILP were previously known to be strongly polynomial. - We show that ILP is FPT parameterized by the largest coefficient $\|A\|_\infty$ and the primal or dual treedepth of $A$, and that this parameterization cannot be relaxed, signifying substantial progress in understanding the parameterized complexity of ILP. △ Less

Submitted 16 February, 2018; originally announced February 2018.

ACM Class: F.2.2; G.1.6

Optimization over Degree Sequences

Authors: Antoine Deza, Asaf Levin, Syed M. Meesum, Shmuel Onn

Abstract: We introduce and study the problem of optimizing arbitrary functions over degree sequences of hypergraphs and multihypergraphs. We show that over multihypergraphs the problem can be solved in polynomial time. For hypergraphs, we show that deciding if a given sequence is the degree sequence of a 3-hypergraph is NP-complete, thereby solving a 30 year long open problem. This implies that optimization… ▽ More We introduce and study the problem of optimizing arbitrary functions over degree sequences of hypergraphs and multihypergraphs. We show that over multihypergraphs the problem can be solved in polynomial time. For hypergraphs, we show that deciding if a given sequence is the degree sequence of a 3-hypergraph is NP-complete, thereby solving a 30 year long open problem. This implies that optimization over hypergraphs is hard already for simple concave functions. In contrast, we show that for graphs, if the functions at vertices are the same, then the problem is polynomial time solvable. We also provide positive results for convex optimization over multihypergraphs and graphs and exploit connections to degree sequence polytopes and threshold graphs. We then elaborate on connections to the emerging theory of shifted combinatorial optimization. △ Less

Submitted 15 August, 2018; v1 submitted 13 June, 2017; originally announced June 2017.

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

Journal ref: SIAM Journal on Discrete Mathematics, 32:2067--2079, 2018

Approximate Shifted Combinatorial Optimization

Authors: Martin Koutecky, Asaf Levin, Syed M. Meesum, Shmuel Onn

Abstract: Shifted combinatorial optimization is a new nonlinear optimization framework, which is a broad extension of standard combinatorial optimization, involving the choice of several feasible solutions at a time. It captures well studied and diverse problems ranging from congestive to partitioning problems. In particular, every standard combinatorial optimization problem has its shifted counterpart, whi… ▽ More Shifted combinatorial optimization is a new nonlinear optimization framework, which is a broad extension of standard combinatorial optimization, involving the choice of several feasible solutions at a time. It captures well studied and diverse problems ranging from congestive to partitioning problems. In particular, every standard combinatorial optimization problem has its shifted counterpart, which is typically much harder. Here we initiate a study of approximation algorithms for this broad optimization framework. △ Less

Submitted 7 June, 2017; originally announced June 2017.

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

Parameterized Shifted Combinatorial Optimization

Authors: Jakub Gajarský, Petr Hliněný, Martin Koutecký, Shmuel Onn

Abstract: Shifted combinatorial optimization is a new nonlinear optimization framework which is a broad extension of standard combinatorial optimization, involving the choice of several feasible solutions at a time. This framework captures well studied and diverse problems ranging from so-called vulnerability problems to sharing and partitioning problems. In particular, every standard combinatorial optimiza… ▽ More Shifted combinatorial optimization is a new nonlinear optimization framework which is a broad extension of standard combinatorial optimization, involving the choice of several feasible solutions at a time. This framework captures well studied and diverse problems ranging from so-called vulnerability problems to sharing and partitioning problems. In particular, every standard combinatorial optimization problem has its shifted counterpart, which is typically much harder. Already with explicitly given input set the shifted problem may be NP-hard. In this article we initiate a study of the parameterized complexity of this framework. First we show that shifting over an explicitly given set with its cardinality as the parameter may be in XP, FPT or P, depending on the objective function. Second, we study the shifted problem over sets definable in MSO logic (which includes, e.g., the well known MSO partitioning problems). Our main results here are that shifted combinatorial optimization over MSO definable sets is in XP with respect to the MSO formula and the treewidth (or more generally clique-width) of the input graph, and is W[1]-hard even under further severe restrictions. △ Less

Submitted 22 February, 2017; originally announced February 2017.

Huge tables and multicommodity flows are fixed parameter tractable via unimodular integer Caratheodory

Authors: Shmuel Onn

Abstract: The three-way table problem is to decide if there exists an l x m x n table satisfying given line sums, and find a table if there is one. It is NP-complete already for l=3 and every bounded integer program can be isomorphically represented in polynomial time for some m and n as some 3 x m x n table problem. Recently, the problem was shown to be fixed-parameter tractable with parameters l,m. Here w… ▽ More The three-way table problem is to decide if there exists an l x m x n table satisfying given line sums, and find a table if there is one. It is NP-complete already for l=3 and every bounded integer program can be isomorphically represented in polynomial time for some m and n as some 3 x m x n table problem. Recently, the problem was shown to be fixed-parameter tractable with parameters l,m. Here we extend this and show that the huge version of the problem, where the variable side n is a huge number encoded in binary, is also fixed-parameter tractable with parameters l,m. We also conclude that the huge multicommodity flow problem with m suppliers and a huge number n of consumers is fixed-parameter tractable parameterized by the numbers of commodities and consumer types. One of our tools is a theorem about unimodular monoids which is of interest on its own right. The monoid problem is to decide if a given integer vector is a finite nonnegative integer combination of a given set of integer vectors, and find such a decomposition if one exists. We consider sets given implicitly by an inequality system. For such sets, it was recently shown that in fixed dimension the problem is solvable in polynomial time with degree which is exponential in the dimension. Here we show that when the inequality system which defines the set is defined by a totally unimodular matrix, the monoid problem can be solved in polynomial time even in variable dimension. △ Less

Submitted 27 June, 2016; v1 submitted 11 November, 2015; originally announced November 2015.

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

Journal ref: Journal of Computer and System Sciences, 83: 207-214 (2017)

Shifted Matroid Optimization

Authors: Asaf Levin, Shmuel Onn

Abstract: We show that finding lexicographically minimal $n$ bases in a matroid can be done in polynomial time in the oracle model. This follows from a more general result that the shifted problem over a matroid can be solved in polynomial time as well. We show that finding lexicographically minimal $n$ bases in a matroid can be done in polynomial time in the oracle model. This follows from a more general result that the shifted problem over a matroid can be solved in polynomial time as well. △ Less

Submitted 2 October, 2015; v1 submitted 2 July, 2015; originally announced July 2015.

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

Journal ref: Operations Research Letters, 44:535-539, 2016

The Unimodular Intersection Problem

Authors: Volker Kaibel, Shmuel Onn, Pauline Sarrabezolles

Abstract: We show that finding minimally intersecting $n$ paths from $s$ to $t$ in a directed graph or $n$ perfect matchings in a bipartite graph can be done in polynomial time. This holds more generally for unimodular set systems. We show that finding minimally intersecting $n$ paths from $s$ to $t$ in a directed graph or $n$ perfect matchings in a bipartite graph can be done in polynomial time. This holds more generally for unimodular set systems. △ Less

Submitted 15 March, 2015; v1 submitted 15 February, 2015; originally announced February 2015.

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

Journal ref: Operations Research Letters, 43:592-594, 2015

Huge Unimodular N-Fold Programs

Authors: Shmuel Onn, Pauline Sarrabezolles

Abstract: Optimization over $l\times m\times n$ integer $3$-way tables with given line-sums is NP-hard already for fixed $l=3$, but is polynomial time solvable with both $l,m$ fixed. In the {\em huge} version of the problem, the variable dimension $n$ is encoded in {\em binary}, with $t$ {\em layer types}. It was recently shown that the huge problem can be solved in polynomial time for fixed $t$, and the co… ▽ More Optimization over $l\times m\times n$ integer $3$-way tables with given line-sums is NP-hard already for fixed $l=3$, but is polynomial time solvable with both $l,m$ fixed. In the {\em huge} version of the problem, the variable dimension $n$ is encoded in {\em binary}, with $t$ {\em layer types}. It was recently shown that the huge problem can be solved in polynomial time for fixed $t$, and the complexity of the problem for variable $t$ was raised as an open problem. Here we solve this problem and show that the huge table problem can be solved in polynomial time even when the number $t$ of types is {\em variable}. The complexity of the problem over $4$-way tables with variable $t$ remains open. Our treatment goes through the more general class of {\em huge $n$-fold integer programming problems}. We show that huge integer programs over $n$-fold products of totally unimodular matrices can be solved in polynomial time even when the number $t$ of brick types is variable. △ Less

Submitted 4 January, 2015; originally announced January 2015.

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

Journal ref: SIAM Journal on Discrete Mathematics, 29:2277-2283, 2015

The Huge Multiway Table Problem

Authors: Shmuel Onn

Abstract: Deciding the existence of an $l\times m\times n$ integer threeway table with given line-sums is NP-complete already for fixed $l=3$, but is in P with both $l,m$ fixed. Here we consider {\em huge} tables, where the variable dimension $n$ is encoded in {\em binary}. Combining recent results on integer cones and Graver bases, we show that if the number of {\em layer types} is fixed, then the problem… ▽ More Deciding the existence of an $l\times m\times n$ integer threeway table with given line-sums is NP-complete already for fixed $l=3$, but is in P with both $l,m$ fixed. Here we consider {\em huge} tables, where the variable dimension $n$ is encoded in {\em binary}. Combining recent results on integer cones and Graver bases, we show that if the number of {\em layer types} is fixed, then the problem is in P, whereas if it is variable, then the problem is in NP intersect coNP. Our treatment goes through the more general class of $n$-fold integer programming problems. △ Less

Submitted 21 August, 2014; v1 submitted 6 May, 2014; originally announced May 2014.

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

Journal ref: Discrete Optimization, 14:72-77, 2014

Robust Integer Programming

Authors: Shmuel Onn

Abstract: We provide a complexity classification of four variants of robust integer programming when the underlying Graver basis is given. We discuss applications to robust multicommodity flows and multidimensional transportation, and describe an effective parametrization of robust integer programming. We provide a complexity classification of four variants of robust integer programming when the underlying Graver basis is given. We discuss applications to robust multicommodity flows and multidimensional transportation, and describe an effective parametrization of robust integer programming. △ Less

Submitted 13 February, 2014; v1 submitted 12 February, 2014; originally announced February 2014.

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

Journal ref: Operations Research Letters, 42:558-560, 2014

Convex Integer Optimization by Constantly Many Linear Counterparts

Authors: Shmuel Onn, Michal Rozenblit

Abstract: In this article we study convex integer maximization problems with composite objective functions of the form $f(Wx)$, where $f$ is a convex function on $\R^d$ and $W$ is a $d\times n$ matrix with small or binary entries, over finite sets $S\subset \Z^n$ of integer points presented by an oracle or by linear inequalities. Continuing the line of research advanced by Uri Rothblum and his colleagues… ▽ More In this article we study convex integer maximization problems with composite objective functions of the form $f(Wx)$, where $f$ is a convex function on $\R^d$ and $W$ is a $d\times n$ matrix with small or binary entries, over finite sets $S\subset \Z^n$ of integer points presented by an oracle or by linear inequalities. Continuing the line of research advanced by Uri Rothblum and his colleagues on edge-directions, we introduce here the notion of {\em edge complexity} of $S$, and use it to establish polynomial and constant upper bounds on the number of vertices of the projection $\conv(WS)$ and on the number of linear optimization counterparts needed to solve the above convex problem. Two typical consequences are the following. First, for any $d$, there is a constant $m(d)$ such that the maximum number of vertices of the projection of any matroid $S\subset\{0,1\}^n$ by any binary $d\times n$ matrix $W$ is $m(d)$ regardless of $n$ and $S$; and the convex matroid problem reduces to $m(d)$ greedily solvable linear counterparts. In particular, $m(2)=8$. Second, for any $d,l,m$, there is a constant $t(d;l,m)$ such that the maximum number of vertices of the projection of any three-index $l\times m\times n$ transportation polytope for any $n$ by any binary $d\times(l\times m\times n)$ matrix $W$ is $t(d;l,m)$; and the convex three-index transportation problem reduces to $t(d;l,m)$ linear counterparts solvable in polynomial time. △ Less

Submitted 28 August, 2012; originally announced August 2012.

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

Journal ref: Linear Algebra and its Applications 447 (2014) 88-109

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

The Quadratic Graver Cone, Quadratic Integer Minimization, and Extensions

Authors: Jon Lee, Shmuel Onn, Lyubov Romanchuk, Robert Weismantel

Abstract: We consider the nonlinear integer programming problem of minimizing a quadratic function over the integer points in variable dimension satisfying a system of linear inequalities. We show that when the Graver basis of the matrix defining the system is given, and the quadratic function lies in a suitable {\em dual Graver cone}, the problem can be solved in polynomial time. We discuss the relation be… ▽ More We consider the nonlinear integer programming problem of minimizing a quadratic function over the integer points in variable dimension satisfying a system of linear inequalities. We show that when the Graver basis of the matrix defining the system is given, and the quadratic function lies in a suitable {\em dual Graver cone}, the problem can be solved in polynomial time. We discuss the relation between this cone and the cone of positive semidefinite matrices, and show that none contains the other. So we can minimize in polynomial time some non-convex and some (including all separable) convex quadrics. We conclude by extending our results to efficient integer minimization of multivariate polynomial functions of arbitrary degree lying in suitable cones. △ Less

Submitted 3 June, 2010; originally announced June 2010.

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

Journal ref: Mathematical Programming, 136:301--323, 2012

Intractability of approximate multi-dimensional nonlinear optimization on independence systems

Authors: Jon Lee, Shmuel Onn, Robert Weismantel

Abstract: We consider optimization of nonlinear objective functions that balance $d$ linear criteria over $n$-element independence systems presented by linear-optimization oracles. For $d=1$, we have previously shown that an $r$-best approximate solution can be found in polynomial time. Here, using an extended Erdős-Ko-Rado theorem of Frankl, we show that for $d=2$, finding a $ρn$-best solution requires e… ▽ More We consider optimization of nonlinear objective functions that balance $d$ linear criteria over $n$-element independence systems presented by linear-optimization oracles. For $d=1$, we have previously shown that an $r$-best approximate solution can be found in polynomial time. Here, using an extended Erdős-Ko-Rado theorem of Frankl, we show that for $d=2$, finding a $ρn$-best solution requires exponential time. △ Less

Submitted 28 January, 2010; originally announced January 2010.

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

Journal ref: Discrete Mathematics, 311:780--783, 2011

Theory and Applications of N-Fold Integer Programming

Authors: Shmuel Onn

Abstract: We overview our recently introduced theory of n-fold integer programming which enables the polynomial time solution of fundamental linear and nonlinear integer programming problems in variable dimension. We demonstrate its power by obtaining the first polynomial time algorithms in several application areas including multicommodity flows and privacy in statistical databases. We overview our recently introduced theory of n-fold integer programming which enables the polynomial time solution of fundamental linear and nonlinear integer programming problems in variable dimension. We demonstrate its power by obtaining the first polynomial time algorithms in several application areas including multicommodity flows and privacy in statistical databases. △ Less

Submitted 3 December, 2009; v1 submitted 21 November, 2009; originally announced November 2009.

Comments: IMA Volume on Mixed Integer Nonlinear Programming, Frontier Series, Springer, to appear

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

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

Nonlinear Optimization over a Weighted Independence System

Authors: Jon Lee, Shmuel Onn, Robert Weismantel

Abstract: We consider the problem of optimizing a nonlinear objective function over a weighted independence system presented by a linear-optimization oracle. We provide a polynomial-time algorithm that determines an r-best solution for nonlinear functions of the total weight of an independent set, where r is a constant that depends on certain Frobenius numbers of the individual weights and is independent… ▽ More We consider the problem of optimizing a nonlinear objective function over a weighted independence system presented by a linear-optimization oracle. We provide a polynomial-time algorithm that determines an r-best solution for nonlinear functions of the total weight of an independent set, where r is a constant that depends on certain Frobenius numbers of the individual weights and is independent of the size of the ground set. In contrast, we show that finding an optimal (0-best) solution requires exponential time even in a very special case of the problem. △ Less

Submitted 7 May, 2008; originally announced May 2008.

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

Journal ref: SIAM Journal on Discrete Mathematics, 23:1667--1681, 2009

Two graph isomorphism polytopes

Authors: Shmuel Onn

Abstract: The convex hull $ψ_{n,n}$ of certain $(n!)^2$ tensors was considered recently in connection with graph isomorphism. We consider the convex hull $ψ_n$ of the $n!$ diagonals among these tensors. We show: 1. The polytope $ψ_n$ is a face of $ψ_{n,n}$. 2. Deciding if a graph $G$ has a subgraph isomorphic to $H$ reduces to optimization over $ψ_n$. 3. Optimization over $ψ_n$ reduces to optimization ove… ▽ More The convex hull $ψ_{n,n}$ of certain $(n!)^2$ tensors was considered recently in connection with graph isomorphism. We consider the convex hull $ψ_n$ of the $n!$ diagonals among these tensors. We show: 1. The polytope $ψ_n$ is a face of $ψ_{n,n}$. 2. Deciding if a graph $G$ has a subgraph isomorphic to $H$ reduces to optimization over $ψ_n$. 3. Optimization over $ψ_n$ reduces to optimization over $ψ_{n,n}$. In particular, this implies that the subgraph isomorphism problem reduces to optimization over $ψ_{n,n}$. △ Less

Submitted 12 January, 2008; v1 submitted 9 January, 2008; originally announced January 2008.

Journal ref: Discrete Mathematics, 309:2934--2936, 2009

The Graver Complexity of Integer Programming

Authors: Yael Berstein, Shmuel Onn

Abstract: In this article we establish an exponential lower bound on the Graver complexity of integer programs. This provides new type of evidence supporting the presumable intractability of integer programming. Specifically, we show that the Graver complexity of the incidence matrix of the complete bipartite graph $K_{3,m}$ satisfies $g(m)=Ω(2^m)$, with $g(m)\geq 17\cdot 2^{m-3}-7$ for every $m>3$ . In this article we establish an exponential lower bound on the Graver complexity of integer programs. This provides new type of evidence supporting the presumable intractability of integer programming. Specifically, we show that the Graver complexity of the incidence matrix of the complete bipartite graph $K_{3,m}$ satisfies $g(m)=Ω(2^m)$, with $g(m)\geq 17\cdot 2^{m-3}-7$ for every $m>3$ . △ Less

Submitted 22 November, 2007; v1 submitted 10 September, 2007; originally announced September 2007.

Comments: Improved Bound $Ω(2^m)$

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

Journal ref: Annals of Combinatorics, 13:289--296, 2009

Nonlinear Matroid Optimization and Experimental Design

Authors: Yael Berstein, Jon Lee, Hugo Maruri-Aguilar, Shmuel Onn, Eva Riccomagno, Robert Weismantel, Henry Wynn

Abstract: We study the problem of optimizing nonlinear objective functions over matroids presented by oracles or explicitly. Such functions can be interpreted as the balancing of multi-criteria optimization. We provide a combinatorial polynomial time algorithm for arbitrary oracle-presented matroids, that makes repeated use of matroid intersection, and an algebraic algorithm for vectorial matroids. Our… ▽ More We study the problem of optimizing nonlinear objective functions over matroids presented by oracles or explicitly. Such functions can be interpreted as the balancing of multi-criteria optimization. We provide a combinatorial polynomial time algorithm for arbitrary oracle-presented matroids, that makes repeated use of matroid intersection, and an algebraic algorithm for vectorial matroids. Our work is partly motivated by applications to minimum-aberration model-fitting in experimental design in statistics, which we discuss and demonstrate in detail. △ Less

Submitted 31 July, 2007; originally announced July 2007.

MSC Class: 90C11; 52B55; 90B06; 68R05; 15A39; 62H17

Journal ref: SIAM Journal on Discrete Mathematics, 22:901--919, 2008

Convex Discrete Optimization

Authors: Shmuel Onn

Abstract: We develop an algorithmic theory of convex optimization over discrete sets. Using a combination of algebraic and geometric tools we are able to provide polynomial time algorithms for solving broad classes of convex combinatorial optimization problems and convex integer programming problems in variable dimension. We discuss some of the many applications of this theory including to quadratic progr… ▽ More We develop an algorithmic theory of convex optimization over discrete sets. Using a combination of algebraic and geometric tools we are able to provide polynomial time algorithms for solving broad classes of convex combinatorial optimization problems and convex integer programming problems in variable dimension. We discuss some of the many applications of this theory including to quadratic programming, matroids, bin packing and cutting-stock problems, vector partitioning and clustering, multiway transportation problems, and privacy and confidential statistical data disclosure. Highlights of our work include a strongly polynomial time algorithm for convex and linear combinatorial optimization over any family presented by a membership oracle when the underlying polytope has few edge-directions; a new theory of so-termed n-fold integer programming, yielding polynomial time solution of important and natural classes of convex and linear integer programming problems in variable dimension; and a complete complexity classification of high dimensional transportation problems, with practical applications to fundamental problems in privacy and confidential statistical data disclosure. △ Less

Submitted 20 March, 2007; originally announced March 2007.

Journal ref: Encyclopedia of Optimization 2009: 513-550

Nonlinear Bipartite Matching

Authors: Yael Berstein, Shmuel Onn

Abstract: We study the problem of optimizing nonlinear objective functions over bipartite matchings. While the problem is generally intractable, we provide several efficient algorithms for it, including a deterministic algorithm for maximizing convex objectives, approximative algorithms for norm minimization and maximization, and a randomized algorithm for optimizing arbitrary objectives. We study the problem of optimizing nonlinear objective functions over bipartite matchings. While the problem is generally intractable, we provide several efficient algorithms for it, including a deterministic algorithm for maximizing convex objectives, approximative algorithms for norm minimization and maximization, and a randomized algorithm for optimizing arbitrary objectives. △ Less

Submitted 23 May, 2006; originally announced May 2006.

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

Journal ref: Discrete Optimization, 5:53--65, 2008

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

Nowhere-Zero Flow Polynomials

Authors: Shmuel Onn

Abstract: In this article we introduce the flow polynomial of a digraph and use it to study nowhere-zero flows from a commutative algebraic perspective. Using Hilbert's Nullstellensatz, we establish a relation between nowhere-zero flows and dual flows. For planar graphs this gives a relation between nowhere-zero flows and flows of their planar duals. It also yields an appealing proof that every bridgeless… ▽ More In this article we introduce the flow polynomial of a digraph and use it to study nowhere-zero flows from a commutative algebraic perspective. Using Hilbert's Nullstellensatz, we establish a relation between nowhere-zero flows and dual flows. For planar graphs this gives a relation between nowhere-zero flows and flows of their planar duals. It also yields an appealing proof that every bridgeless triangulated graph has a nowhere-zero four-flow. △ Less

Submitted 21 September, 2003; originally announced September 2003.

MSC Class: 05C; 05E; 13C; 13P; 68R; 68W; 90C; 94C

Journal ref: Journal of Combinatorial Theory Series A, 108:205--215, 2004

Convex Combinatorial Optimization

Authors: Shmuel Onn, Uriel G. Rothblum

Abstract: We introduce the convex combinatorial optimization problem, a far reaching generalization of the standard linear combinatorial optimization problem. We show that it is strongly polynomial time solvable over any edge-guaranteed family, and discuss several applications. We introduce the convex combinatorial optimization problem, a far reaching generalization of the standard linear combinatorial optimization problem. We show that it is strongly polynomial time solvable over any edge-guaranteed family, and discuss several applications. △ Less

Submitted 5 September, 2003; originally announced September 2003.

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

Journal ref: Discrete and Computational Geometry, 32:549--566, 2004

The Complexity of Three-Way Statistical Tables

Authors: Jesus De Loera, Shmuel Onn

Abstract: Multi-way tables with specified marginals arise in a variety of applications in statistics and operations research. We provide a comprehensive complexity classification of three fundamental computational problems on tables: existence, counting and entry-security. One major outcome of our work is that each of the following problems is intractable already for "slim" 3-tables, with constant and s… ▽ More Multi-way tables with specified marginals arise in a variety of applications in statistics and operations research. We provide a comprehensive complexity classification of three fundamental computational problems on tables: existence, counting and entry-security. One major outcome of our work is that each of the following problems is intractable already for "slim" 3-tables, with constant and smallest possible number 3 of rows: (1) deciding existence of 3-tables with given consistent 2-marginals; (2) counting all 3-tables with given 2-marginals; (3) finding whether an integer value is attained in entry (i,j,k) by at least one of the 3-tables satisfying given (feasible) 2-marginals. This implies that a characterization of feasible marginals for such slim tables, sought by much recent research, is unlikely to exist. Another important consequence of our study is a systematic efficient way of embedding the set of 3-tables satisfying any given 1-marginals and entry upper bounds in a set of slim 3-tables satisfying suitable 2-marginals with no entry bounds. This provides a valuable tool for studying multi-index transportation problems and multi-index transportation polytopes. △ Less

Submitted 22 July, 2002; originally announced July 2002.

Journal ref: SIAM Journal on Computing, 33:819--836, 2004

Convex Matroid Optimization

Authors: Shmuel Onn

Abstract: We consider a problem of optimizing convex functionals over matroid bases. It is richly expressive and captures certain quadratic assignment and clustering problems. While generally NP-hard, we show it is polynomial time solvable when a suitable parameter is restricted. We consider a problem of optimizing convex functionals over matroid bases. It is richly expressive and captures certain quadratic assignment and clustering problems. While generally NP-hard, we show it is polynomial time solvable when a suitable parameter is restricted. △ Less

Submitted 16 July, 2002; originally announced July 2002.

Journal ref: SIAM Journal on Discrete Mathematics, 17:249--253, 2003

The Hilbert Zonotope and a Polynomial Time Algorithm for Universal Grobner Bases

Authors: Eric Babson, Shmuel Onn, Rekha Thomas

Abstract: We provide a polynomial time algorithm for computing the universal Gröbner basis of any polynomial ideal having a finite set of common zeros in fixed number of variables. One ingredient of our algorithm is an effective construction of the state polyhedron of any member of the Hilbert scheme Hilb^d_n of n-long d-variate ideals, enabled by introducing the Hilbert zonotope H^d_n and showing that it… ▽ More We provide a polynomial time algorithm for computing the universal Gröbner basis of any polynomial ideal having a finite set of common zeros in fixed number of variables. One ingredient of our algorithm is an effective construction of the state polyhedron of any member of the Hilbert scheme Hilb^d_n of n-long d-variate ideals, enabled by introducing the Hilbert zonotope H^d_n and showing that it simultaneously refines all state polyhedra of ideals on Hilb^d_n. △ Less

Submitted 16 July, 2002; originally announced July 2002.

Journal ref: Advances in Applied Mathematics, 30:529--544, 2003