Index of /research/sparse/mat/JGD_Margulies

 Name                    Last modified       Size  Description

 Parent Directory        02-Nov-2009 14:42      -  
 cat_ears_2_1.mat        20-Oct-2009 14:15     2k  
 cat_ears_2_4.mat        20-Oct-2009 14:15    19k  
 cat_ears_3_1.mat        20-Oct-2009 14:15     3k  
 cat_ears_3_4.mat        20-Oct-2009 14:16    83k  
 cat_ears_4_1.mat        20-Oct-2009 14:15     4k  
 cat_ears_4_4.mat        20-Oct-2009 14:19   276k  
 flower_4_1.mat          20-Oct-2009 14:15     3k  
 flower_4_4.mat          20-Oct-2009 14:16    38k  
 flower_5_1.mat          20-Oct-2009 14:15     3k  
 flower_5_4.mat          20-Oct-2009 14:17    94k  
 flower_7_1.mat          20-Oct-2009 14:15     4k  
 flower_7_4.mat          20-Oct-2009 14:21   442k  
 flower_8_1.mat          20-Oct-2009 14:15     5k  
 flower_8_4.mat          20-Oct-2009 14:25   835k  
 kneser_10_4_1.mat       20-Oct-2009 14:37   2.5M  
 kneser_6_2_1.mat        20-Oct-2009 14:15     6k  
 kneser_8_3_1.mat        20-Oct-2009 14:17   107k  
 wheel_3_1.mat           20-Oct-2009 14:14     2k  
 wheel_4_1.mat           20-Oct-2009 14:15     2k  
 wheel_5_1.mat           20-Oct-2009 14:15     2k  
 wheel_601.mat           25-Sep-2008 16:42   6.1M  
 wheel_6_1.mat           20-Oct-2009 14:15     2k  
 wheel_7_1.mat           20-Oct-2009 14:15     3k  

Combinatorial optimization as polynomial eqns, Susan Margulies, UC Davis
From Jean-Guillaume Dumas' Sparse Integer Matrix Collection,
http://ljk.imag.fr/membres/Jean-Guillaume.Dumas/simc.html

http://arxiv.org/abs/0706.0578

Expressing Combinatorial Optimization Problems by Systems of Polynomial
Equations and the Nullstellensatz

Authors: J.A. De Loera, J. Lee, Susan Margulies, S. Onn

(Submitted on 5 Jun 2007)

Abstract: Systems of polynomial equations over the complex or real
numbers can be used to model 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. In the first part of this paper, we construct
new polynomial encodings for the problems of finding in a graph its
longest cycle, the largest planar subgraph, the edge-chromatic number,
or the largest k-colorable subgraph.  For an infeasible polynomial
system, the (complex) Hilbert Nullstellensatz gives a certificate that
the associated combinatorial problem is infeasible. Thus, unless P =
NP, there must exist an infinite sequence of infeasible instances of
each hard combinatorial problem for which the minimum degree of a
Hilbert Nullstellensatz certificate of the associated polynomial system
grows.  We show that the minimum-degree of a Nullstellensatz
certificate for the non-existence of a stable set of size greater than
the stability number of the graph is the stability number of the graph.
Moreover, such a certificate contains at least one term per stable set
of G. In contrast, for non-3- colorability, we found only graphs with
Nullstellensatz certificates of degree four.