Showing 1–6 of 6 results for author: Malkin, P

Sherali-Adams Relaxations of Graph Isomorphism Polytopes

Authors: Peter N. Malkin

Abstract: We investigate the Sherali-Adams lift & project hierarchy applied to a graph isomorphism polytope whose integer points encode the isomorphisms between two graphs. In particular, the Sherali-Adams relaxations characterize a new vertex classification algorithm for graph isomorphism, which we call the generalized vertex classification algorithm. This algorithm generalizes the classic vertex classific… ▽ More We investigate the Sherali-Adams lift & project hierarchy applied to a graph isomorphism polytope whose integer points encode the isomorphisms between two graphs. In particular, the Sherali-Adams relaxations characterize a new vertex classification algorithm for graph isomorphism, which we call the generalized vertex classification algorithm. This algorithm generalizes the classic vertex classification algorithm and generalizes the work of Tinhofer on polyhedral methods for graph automorphism testing. We establish that the Sherali-Adams lift & project hierarchy when applied to a graph isomorphism polytope needs Omega(n) iterations in the worst case before converging to the convex hull of integer points. We also show that this generalized vertex classification algorithm is also strongly related to the well-known Weisfeiler-Lehman algorithm, which we show can also be characterized in terms of the Sherali-Adams relaxations of a semi-algebraic set whose integer points encode graph isomorphisms. △ Less

Submitted 20 July, 2011; v1 submitted 4 July, 2011; originally announced July 2011.

Recognizing Graph Theoretic Properties with Polynomial Ideals

Authors: J. A. De Loera, C. Hillar, P. N. Malkin, M. Omar

Abstract: Many hard combinatorial problems can be modeled by a system of polynomial equations. N. Alon coined the term polynomial method to describe the use of nonlinear polynomials when solving combinatorial problems. We continue the exploration of the polynomial method and show how the algorithmic theory of polynomial ideals can be used to detect k-colorability, unique Hamiltonicity, and automorphism rigi… ▽ More Many hard combinatorial problems can be modeled by a system of polynomial equations. N. Alon coined the term polynomial method to describe the use of nonlinear polynomials when solving combinatorial problems. We continue the exploration of the polynomial method and show how the algorithmic theory of polynomial ideals can be used to detect k-colorability, unique Hamiltonicity, and automorphism rigidity of graphs. Our techniques are diverse and involve Nullstellensatz certificates, linear algebra over finite fields, Groebner bases, toric algebra, convex programming, and real algebraic geometry. △ Less

Submitted 4 June, 2010; v1 submitted 23 February, 2010; originally announced February 2010.

Comments: 20 pages, 3 figures

MSC Class: 05C15; 05C45; 05C60; 14P05; 13P10

Computation with Polynomial Equations and Inequalities arising in Combinatorial Optimization

Authors: Jesus A. De Loera, Peter N. Malkin, Pablo A. Parrilo

Abstract: The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear algebra or semidefinite programming relaxations of many kinds of feasibility or optimization questions. We are particularly interested in problems arising in… ▽ More The purpose of this note is to survey a methodology to solve systems of polynomial equations and inequalities. The techniques we discuss use the algebra of multivariate polynomials with coefficients over a field to create large-scale linear algebra or semidefinite programming relaxations of many kinds of feasibility or optimization questions. We are particularly interested in problems arising in combinatorial optimization. △ Less

Submitted 4 September, 2009; originally announced September 2009.

Comments: 28 pages, survey paper

MSC Class: 90-02; 90C22; 90C27; 13P10

Journal ref: IMA Volumes in Mathematics and its Applications, 2012, Volume 154, Part 7, 447-481

Hilbert's Nullstellensatz and an Algorithm for Proving Combinatorial Infeasibility

Authors: J. A. De Loera, J. Lee, P. Malkin, S. Margulies

Abstract: Systems of polynomial equations over an algebraically-closed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3-colorable, hamiltonian, etc.) if and only if a related system of polynomial equations has a solution over K. In this paper, we investigate an algorithm aimed at proving combinatorial infeasibility bas… ▽ More Systems of polynomial equations over an algebraically-closed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3-colorable, hamiltonian, etc.) if and only if a related system of polynomial equations has a solution over K. In this paper, we investigate an algorithm aimed at proving combinatorial infeasibility based on the observed low degree of Hilbert's Nullstellensatz certificates for polynomial systems arising in combinatorics and on large-scale linear-algebra computations over K. We report on experiments based on the problem of proving the non-3-colorability of graphs. We successfully solved graph problem instances having thousands of nodes and tens of thousands of edges. △ Less

Submitted 24 January, 2008; originally announced January 2008.

Truncated Markov bases and Gröbner bases for Integer Programming

Authors: Peter N. Malkin

Abstract: We present a new algorithm for computing a truncated Markov basis of a lattice. In general, this new algorithm is faster than existing methods. We then extend this new algorithm so that it solves the linear integer feasibility problem with promising results for equality knapsack problems. We also present a novel Groebner basis approach to solve a particular integer linear program as opposed to p… ▽ More We present a new algorithm for computing a truncated Markov basis of a lattice. In general, this new algorithm is faster than existing methods. We then extend this new algorithm so that it solves the linear integer feasibility problem with promising results for equality knapsack problems. We also present a novel Groebner basis approach to solve a particular integer linear program as opposed to previous Groebner basis methods that effectively solved many different integer linear programs simultaneously. Initial results indicate that this optimisation algorithm performs better than previous Groebner basis methods. △ Less

Submitted 20 December, 2006; originally announced December 2006.

Comments: 27 pages

MSC Class: 90C10

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