-
On the Boxicity of Line Graphs and of Their Complements
Authors:
Marco Caoduro,
András Sebő
Abstract:
The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph based on studying its ``interval-order subgraphs.''
The power of the method is first tested on the boxicity of some popular graphs that have resisted previous at…
▽ More
The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph based on studying its ``interval-order subgraphs.''
The power of the method is first tested on the boxicity of some popular graphs that have resisted previous attempts: the boxicity of the Petersen graph is $3$, and more generally, that of the Kneser-graphs $K(n,2)$ is $n-2$ if $n\ge 5$, confirming a conjecture of Caoduro and Lichev [Discrete Mathematics, Vol. 346, 5, 2023].
As every line graph is an induced subgraph of the complement of $K(n,2)$, the developed tools show furthermore that line graphs have only a polynomial number of edge-maximal interval-order subgraphs. This opens the way to polynomial-time algorithms for problems that are in general $NP$-hard: for the existence and optimization of interval-order subgraphs of line graphs, or of interval completions and the boxicity of their complement, if the boxicity is bounded.
We finally extend our approach to upper and lower bounding the boxicity of line graphs.
△ Less
Submitted 9 January, 2025;
originally announced January 2025.
-
Boxicity and Interval-Orders: Petersen and the Complements of Line Graphs
Authors:
Marco Caoduro,
András Sebő
Abstract:
The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph based on studying its ``interval-order subgraphs''.
The power of the method is first tested on the boxicity of some popular graphs that have resisted previous at…
▽ More
The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph based on studying its ``interval-order subgraphs''.
The power of the method is first tested on the boxicity of some popular graphs that have resisted previous attempts: the boxicity of the Petersen graph is $3$, and more generally, that of the Kneser-graphs $K(n,2)$ is $n-2$ if $n\ge 5$, confirming a conjecture of Caoduro and Lichev [Discrete Mathematics, Vol. 346, 5, 2023].
Since every line graph is an induced subgraph of the complement of $K(n,2)$, the developed tools show furthermore that line graphs have only a polynomial number of edge-maximal interval-order subgraphs. This opens the way to polynomial-time algorithms for problems that are in general $\mathcal{NP}$-hard: for the existence and optimization of interval-order subgraphs of line-graphs, or of interval-completions of their complement.
△ Less
Submitted 5 September, 2023;
originally announced September 2023.
-
Jump-systems of $T$-paths
Authors:
Mouna Sadli,
András Sebő
Abstract:
Jump systems are sets of integer vectors satisfying a simple axiom, generalizing matroids, also delta-matroids, and well-kown combinatorial examples such as degree sequences of subgraphs of a graph. It is useful to know if a set of vectors defined from combinatorial structures is a jump system: this has consequences for optimizing on the set, or on some derived sets of vectors. In this note we are…
▽ More
Jump systems are sets of integer vectors satisfying a simple axiom, generalizing matroids, also delta-matroids, and well-kown combinatorial examples such as degree sequences of subgraphs of a graph. It is useful to know if a set of vectors defined from combinatorial structures is a jump system: this has consequences for optimizing on the set, or on some derived sets of vectors. In this note we are mainly concerned in telling our proof of the following more than two decades old fact and its original, elementary proof for an example different from degree sequences:
{\em Given an udirected graph $G=(V,E)$ and $T\subseteq V$, the vectors $m$ indexed by $T$ for which there exist a set of openly disjoint $T$-paths so that each $t\in T$ is the endpoint of exactly $m(t)$ paths forms a jump system. The same holds for edge-disjoint $T$-paths.}
We are also exhibiting the context and some consequences of this fact, with some pointers to recent developments, among them ro another proof by Iwata and Yokoi, to some related jump system intersection theorems and to some open problems.
△ Less
Submitted 26 February, 2023;
originally announced February 2023.
-
Odd Paths, Cycles and $T$-joins: Connections and Algorithms
Authors:
Ildikó Schlotter,
András Sebő
Abstract:
Minimizing the weight of an edge set satisfying parity constraints is a challenging branch of combinatorial optimization as witnessed by the binary hypergraph chapter of Alexander Schrijver's book ``Combinatorial Optimization" (Chapter 80). This area contains relevant graph theory problems including open cases of the Max Cut problem and some multiflow problems. We clarify the interconnections betw…
▽ More
Minimizing the weight of an edge set satisfying parity constraints is a challenging branch of combinatorial optimization as witnessed by the binary hypergraph chapter of Alexander Schrijver's book ``Combinatorial Optimization" (Chapter 80). This area contains relevant graph theory problems including open cases of the Max Cut problem and some multiflow problems. We clarify the interconnections between some of these problems and establish three levels of difficulties. On the one hand, we prove that the Shortest Odd Path problem in undirected graphs without cycles of negative total weight and several related problems are NP-hard, settling a long-standing open question asked by Lovász (Open Problem 27 in Schrijver's book ``Combinatorial Optimization''). On the other hand, we provide an efficient algorithm to the closely related and well-studied Minimum-weight Odd $T$-Join problem for non-negative weights: our algorithm runs in FPT time parameterized by $c$, where $c$ is the number of connected components in some efficiently computed minimum-weight $T$-join. If negative weights are also allowed, then finding a minimum-weight odd $\{s,t\}$-join is equivalent to the Minimum-weight Odd $T$-Join problem for arbitrary weights, whose complexity is still only conjectured to be polynomial-time solvable. The analogous problems for digraphs are also considered.
△ Less
Submitted 19 June, 2023; v1 submitted 23 November, 2022;
originally announced November 2022.
-
Packing, Hitting, and Colouring Squares
Authors:
Marco Caoduro,
András Sebő
Abstract:
Given a finite family of squares in the plane, the packing problem asks for the maximum number $ν$ of pairwise disjoint squares among them, while the hitting problem for the minimum number $τ$ of points hitting all of them. Clearly, $τ\ge ν$. Both problems are known to be NP-hard, even for families of axis-parallel unit squares.
The main results of this work provide the first non-trivial bounds…
▽ More
Given a finite family of squares in the plane, the packing problem asks for the maximum number $ν$ of pairwise disjoint squares among them, while the hitting problem for the minimum number $τ$ of points hitting all of them. Clearly, $τ\ge ν$. Both problems are known to be NP-hard, even for families of axis-parallel unit squares.
The main results of this work provide the first non-trivial bounds for the $τ/ ν$ ratio for not necessarily axis-parallel squares. We establish an upper bound of $6$ for unit squares and $10$ for squares of varying sizes. The worst ratios we can provide with examples are $3$ and $4$, respectively. For comparison, in the axis-parallel case, the supremum of the considered ratio is in the interval $[\frac{3}{2},2]$ for unit squares and $[\frac{3}{2},4]$ for squares of varying sizes. The methods we introduced for the $τ/ν$ ratio can also be used to relate the chromatic number $χ$ and clique number $ω$ of squares by bounding the $χ/ω$ ratio by $6$ for unit squares and $9$ for squares of varying sizes.
The $τ/ ν$ and $χ/ω$ ratios have already been bounded before by a constant for "fat" objects, the fattest and simplest of which are disks and squares. However, while disks have received significant attention, specific bounds for squares have remained essentially unexplored. This work intends to fill this gap.
△ Less
Submitted 3 June, 2024; v1 submitted 5 June, 2022;
originally announced June 2022.
-
Integer Plane Multiflow Maximisation : Flow-Cut Gap and One-Quarter-Approximation
Authors:
Naveen Garg,
Nikhil Kumar,
András Sebő
Abstract:
In this paper, we bound the integrality gap and the approximation ratio for maximum plane multiflow problems and deduce bounds on the flow-cut-gap. Planarity means here that the union of the supply and demand graph is planar. We first prove that there exists a multiflow of value at least half of the capacity of a minimum multicut. We then show how to convert any multiflow into a half-integer one o…
▽ More
In this paper, we bound the integrality gap and the approximation ratio for maximum plane multiflow problems and deduce bounds on the flow-cut-gap. Planarity means here that the union of the supply and demand graph is planar. We first prove that there exists a multiflow of value at least half of the capacity of a minimum multicut. We then show how to convert any multiflow into a half-integer one of value at least half of the original multiflow. Finally, we round any half-integer multiflow into an integer multiflow, losing again at most half of the value, in polynomial time, achieving a $1/4$-approximation algorithm for maximum integer multiflows in the plane, and an integer-flow-cut gap of $8$.
△ Less
Submitted 18 March, 2020; v1 submitted 25 February, 2020;
originally announced February 2020.
-
Ear-Slicing for Matchings in Hypergraphs
Authors:
András Sebő
Abstract:
We study when a given edge of a factor-critical graph is contained in a matching avoiding exactly one, pregiven vertex of the graph. We then apply the results to always partition the vertex-set of a $3$-regular, $3$-uniform hypergraph into at most one triangle (hyperedge of size $3$) and edges (subsets of size $2$ of hyperedges), corresponding to the intuition, and providing new insight to triangl…
▽ More
We study when a given edge of a factor-critical graph is contained in a matching avoiding exactly one, pregiven vertex of the graph. We then apply the results to always partition the vertex-set of a $3$-regular, $3$-uniform hypergraph into at most one triangle (hyperedge of size $3$) and edges (subsets of size $2$ of hyperedges), corresponding to the intuition, and providing new insight to triangle and edge packings of Cornuéjols' and Pulleyblank's. The existence of such a packing can be considered to be a hypergraph variant of Petersen's theorem on perfect matchings, and leads to a simple proof for a sharpening of Lu's theorem on antifactors of graphs.
△ Less
Submitted 11 December, 2019;
originally announced December 2019.
-
Color-critical Graphs and Hereditary Hypergraphs
Authors:
András Sebő
Abstract:
A quick proof of Gallai's celebrated theorem on color-critical graphs is given from Gallai's simple, ingenious lemma on factor-critical graphs, in terms of partitioning the vertex-set into a minimum number of hyperedges of a hereditary hypergraph, generalizing the chromatic number. We then show examples of applying the results to new problems and indicate the way to algorithms and refined complexi…
▽ More
A quick proof of Gallai's celebrated theorem on color-critical graphs is given from Gallai's simple, ingenious lemma on factor-critical graphs, in terms of partitioning the vertex-set into a minimum number of hyperedges of a hereditary hypergraph, generalizing the chromatic number. We then show examples of applying the results to new problems and indicate the way to algorithms and refined complexity results for all these examples at the same time.
△ Less
Submitted 24 October, 2019;
originally announced October 2019.
-
How many matchings cover the nodes of a graph?
Authors:
Dehia Ait Ferhat,
Zoltán Király,
András Sebő,
Gautier Stauffer
Abstract:
Given an undirected graph, are there $k$ matchings whose union covers all of its nodes, that is, a matching-$k$-cover? A first, easy polynomial solution from matroid union is possible, as already observed by Wang, Song and Yuan (Mathematical Programming, 2014). However, it was not satisfactory neither from the algorithmic viewpoint nor for proving graphic theorems, since the corresponding matroid…
▽ More
Given an undirected graph, are there $k$ matchings whose union covers all of its nodes, that is, a matching-$k$-cover? A first, easy polynomial solution from matroid union is possible, as already observed by Wang, Song and Yuan (Mathematical Programming, 2014). However, it was not satisfactory neither from the algorithmic viewpoint nor for proving graphic theorems, since the corresponding matroid ignores the edges of the graph.
We prove here, simply and algorithmically: all nodes of a graph can be covered with $k\ge 2$ matchings if and only if for every stable set $S$ we have $|S|\le k\cdot|N(S)|$. When $k=1$, an exception occurs: this condition is not enough to guarantee the existence of a matching-$1$-cover, that is, the existence of a perfect matching, in this case Tutte's famous matching theorem (J. London Math. Soc., 1947) provides the right `good' characterization. The condition above then guarantees only that a perfect $2$-matching exists, as known from another theorem of Tutte (Proc. Amer. Math. Soc., 1953).
Some results are then deduced as consequences with surprisingly simple proofs, using only the level of difficulty of bipartite matchings. We give some generalizations, as well as a solution for minimization if the edge-weights are non-negative, while the edge-cardinality maximization of matching-$2$-covers turns out to be already NP-hard.
We have arrived at this problem as the line graph special case of a model arising for manufacturing integrated circuits with the technology called `Directed Self Assembly'.
△ Less
Submitted 3 February, 2021; v1 submitted 18 November, 2018;
originally announced November 2018.
-
The Salesman's Improved Tours for Fundamental Classes
Authors:
Sylvia Boyd,
András Sebö
Abstract:
Finding the exact integrality gap $α$ for the LP relaxation of the metric Travelling Salesman Problem (TSP) has been an open problem for over thirty years, with little progress made. It is known that $4/3 \leq α\leq 3/2$, and a famous conjecture states $α= 4/3$. For this problem, essentially two "fundamental" classes of instances have been proposed. This fundamental property means that in order to…
▽ More
Finding the exact integrality gap $α$ for the LP relaxation of the metric Travelling Salesman Problem (TSP) has been an open problem for over thirty years, with little progress made. It is known that $4/3 \leq α\leq 3/2$, and a famous conjecture states $α= 4/3$. For this problem, essentially two "fundamental" classes of instances have been proposed. This fundamental property means that in order to show that the integrality gap is at most $ρ$ for all instances of metric TSP, it is sufficient to show it only for the instances in the fundamental class. However, despite the importance and the simplicity of such classes, no apparent effort has been deployed for improving the integrality gap bounds for them. In this paper we take a natural first step in this endeavour, and consider the $1/2$-integer points of one such class. We successfully improve the upper bound for the integrality gap from $3/2$ to $10/7$ for a superclass of these points, as well as prove a lower bound of $4/3$ for the superclass. Our methods involve innovative applications of tools from combinatorial optimization which have the potential to be more broadly applied.
△ Less
Submitted 29 October, 2018; v1 submitted 5 May, 2017;
originally announced May 2017.
-
Layers and Matroids for the Traveling Salesman's Paths
Authors:
Frans Schalekamp,
András Sebő,
Vera Traub,
Anke van Zuylen
Abstract:
Gottschalk and Vygen proved that every solution of the subtour elimination linear program for traveling salesman paths is a convex combination of more and more restrictive "generalized Gao-trees". We give a short proof of this fact, as a layered convex combination of bases of a sequence of increasingly restrictive matroids. A strongly polynomial, combinatorial algorithm follows for finding this co…
▽ More
Gottschalk and Vygen proved that every solution of the subtour elimination linear program for traveling salesman paths is a convex combination of more and more restrictive "generalized Gao-trees". We give a short proof of this fact, as a layered convex combination of bases of a sequence of increasingly restrictive matroids. A strongly polynomial, combinatorial algorithm follows for finding this convex combination, which is a new tool offering polyhedral insight, already instrumental in recent results for the $s-t$ path TSP.
△ Less
Submitted 30 October, 2017; v1 submitted 21 March, 2017;
originally announced March 2017.
-
The Salesman's Improved Paths: 3/2+1/34 Integrality Gap and Approximation Ratio
Authors:
András Sebő,
Anke van Zuylen
Abstract:
We give a new, strongly polynomial-time algorithm and improved analysis for the metric $s-t$ path TSP. It finds a tour of cost less than 1.53 times the optimum of the subtour elimination LP, while known examples show that 1.5 is a lower bound for the integrality gap.
A key new idea is the deletion of some edges of Christofides' trees, which is then accompanied by novel arguments of the analysis:…
▽ More
We give a new, strongly polynomial-time algorithm and improved analysis for the metric $s-t$ path TSP. It finds a tour of cost less than 1.53 times the optimum of the subtour elimination LP, while known examples show that 1.5 is a lower bound for the integrality gap.
A key new idea is the deletion of some edges of Christofides' trees, which is then accompanied by novel arguments of the analysis: edge-deletion disconnects the trees, which are then partly reconnected by `parity correction'. We show that the arising `connectivity correction' can be achieved for a minor extra cost.
On the one hand this algorithm and analysis extend previous tools such as the best-of-many Christofides algorithm. On the other hand, powerful new tools are solicited, such as a flow problem for analyzing the reconnection cost, and the construction of a set of more and more restrictive spanning trees, each of which can still be found by the greedy algorithm. We show that these trees can replace the convex combination of spanning trees in the best-of-may Christofides algorithm.
These new methods lead to improving the integrality ratio and approximation guarantee below 1.53, as it is already sketched in the preliminary shortened version of this article that appeared in FOCS 2016. The algorithm and analysis have been significantly simplified in the current article, and details of proofs and explanations have been added.
△ Less
Submitted 28 August, 2018; v1 submitted 8 April, 2016;
originally announced April 2016.
-
Ear-decompositions and the complexity of the matching polytope
Authors:
Yohann Benchetrit,
András Sebő
Abstract:
The complexity of the matching polytope of graphs may be measured with the maximum length $β$ of a starting sequence of odd ears in an ear-decomposition. Indeed, a theorem of Edmonds and Pulleyblank shows that its facets are defined by 2-connected factor-critical graphs, which have an odd ear-decomposition (according to a theorem of Lovász). In particular, $β(G) \leq 1$ if and only if the matching…
▽ More
The complexity of the matching polytope of graphs may be measured with the maximum length $β$ of a starting sequence of odd ears in an ear-decomposition. Indeed, a theorem of Edmonds and Pulleyblank shows that its facets are defined by 2-connected factor-critical graphs, which have an odd ear-decomposition (according to a theorem of Lovász). In particular, $β(G) \leq 1$ if and only if the matching polytope of the graph $G$ is completely described by non-negativity, star and odd-circuit inequalities. This is essentially equivalent to the h-perfection of the line-graph of $G$, as observed by Cao and Nemhauser.
The complexity of computing $β$ is apparently not known. We show that deciding whether $β(G)\leq 1$ can be executed efficiently by looking at any ear-decomposition starting with an odd circuit and performing basic modulo-2 computations. Such a greedy-approach is surprising in view of the complexity of the problem in more special cases by Bruhn and Schaudt, and it is simpler than using the Parity Minor Algorithm.
Our results imply a simple polynomial-time algorithm testing h-perfection in line-graphs (deciding h-perfection is open in general). We also generalize our approach to binary matroids and show that computing $β$ is a Fixed-Parameter-Tractable problem (FPT).
△ Less
Submitted 18 September, 2015;
originally announced September 2015.
-
Complements of nearly perfect graphs
Authors:
András Gyárfás,
Zhentao Li,
Raphael Machado,
András Sebo,
Stéphan Thomassé,
Nicolas Trotignon
Abstract:
A class of graphs closed under taking induced subgraphs is $χ$-bounded if there exists a function $f$ such that for all graphs $G$ in the class, $χ(G) \leq f(ω(G))$. We consider the following question initially studied in [A. Gy{á}rf{á}s, Problems from the world surrounding perfect graphs, {\em Zastowania Matematyki Applicationes Mathematicae}, 19:413--441, 1987]. For a $χ$-bounded class $\cal C$,…
▽ More
A class of graphs closed under taking induced subgraphs is $χ$-bounded if there exists a function $f$ such that for all graphs $G$ in the class, $χ(G) \leq f(ω(G))$. We consider the following question initially studied in [A. Gy{á}rf{á}s, Problems from the world surrounding perfect graphs, {\em Zastowania Matematyki Applicationes Mathematicae}, 19:413--441, 1987]. For a $χ$-bounded class $\cal C$, is the class $\bar{C}$ $χ$-bounded (where $\bar{\cal C}$ is the class of graphs formed by the complements of graphs from $\cal C$)? We show that if $\cal C$ is $χ$-bounded by the constant function $f(x)=3$, then $\bar{\cal C}$ is $χ$-bounded by $g(x)=\lfloor\frac{8}{5}x\rfloor$ and this is best possible. We show that for every constant $c>0$, if $\cal C$ is $χ$-bounded by a function $f$ such that $f(x)=x$ for $x \geq c$, then $\bar{\cal C}$ is $χ$-bounded. For every $j$, we construct a class of graphs $χ$-bounded by $f(x)=x+x/\log^j(x)$ whose complement is not $χ$-bounded.
△ Less
Submitted 10 April, 2013;
originally announced April 2013.
-
Eight-Fifth Approximation for TSP Paths
Authors:
András Sebö
Abstract:
We prove the approximation ratio 8/5 for the metric $\{s,t\}$-path-TSP problem, and more generally for shortest connected $T$-joins.
The algorithm that achieves this ratio is the simple "Best of Many" version of Christofides' algorithm (1976), suggested by An, Kleinberg and Shmoys (2012), which consists in determining the best Christofides $\{s,t\}$-tour out of those constructed from a family…
▽ More
We prove the approximation ratio 8/5 for the metric $\{s,t\}$-path-TSP problem, and more generally for shortest connected $T$-joins.
The algorithm that achieves this ratio is the simple "Best of Many" version of Christofides' algorithm (1976), suggested by An, Kleinberg and Shmoys (2012), which consists in determining the best Christofides $\{s,t\}$-tour out of those constructed from a family $\Fscr_{>0}$ of trees having a convex combination dominated by an optimal solution $x^*$ of the fractional relaxation. They give the approximation guarantee $\frac{\sqrt{5}+1}{2}$ for such an $\{s,t\}$-tour, which is the first improvement after the 5/3 guarantee of Hoogeveen's Christofides type algorithm (1991). Cheriyan, Friggstad and Gao (2012) extended this result to a 13/8-approximation of shortest connected $T$-joins, for $|T|\ge 4$.
The ratio 8/5 is proved by simplifying and improving the approach of An, Kleinberg and Shmoys that consists in completing $x^*/2$ in order to dominate the cost of "parity correction" for spanning trees. We partition the edge-set of each spanning tree in $\Fscr_{>0}$ into an $\{s,t\}$-path (or more generally, into a $T$-join) and its complement, which induces a decomposition of $x^*$. This decomposition can be refined and then efficiently used to complete $x^*/2$ without using linear programming or particular properties of $T$, but by adding to each cut deficient for $x^*/2$ an individually tailored explicitly given vector, inherent in $x^*$.
A simple example shows that the Best of Many Christofides algorithm may not find a shorter $\{s,t\}$-tour than 3/2 times the incidentally common optima of the problem and of its fractional relaxation.
△ Less
Submitted 29 October, 2012; v1 submitted 16 September, 2012;
originally announced September 2012.
-
Shorter Tours by Nicer Ears: 7/5-approximation for graphic TSP, 3/2 for the path version, and 4/3 for two-edge-connected subgraphs
Authors:
András Sebő,
Jens Vygen
Abstract:
We prove new results for approximating the graphic TSP and some related problems. We obtain polynomial-time algorithms with improved approximation guarantees.
For the graphic TSP itself, we improve the approximation ratio to 7/5. For a generalization, the connected-$T$-join problem, we obtain the first nontrivial approximation algorithm, with ratio 3/2. This contains the graphic $s$-$t$-path-TSP…
▽ More
We prove new results for approximating the graphic TSP and some related problems. We obtain polynomial-time algorithms with improved approximation guarantees.
For the graphic TSP itself, we improve the approximation ratio to 7/5. For a generalization, the connected-$T$-join problem, we obtain the first nontrivial approximation algorithm, with ratio 3/2. This contains the graphic $s$-$t$-path-TSP as a special case. Our improved approximation guarantee for finding a smallest 2-edge-connected spanning subgraph is 4/3.
The key new ingredient of all our algorithms is a special kind of ear-decomposition optimized using forest representations of hypergraphs. The same methods also provide the lower bounds (arising from LP relaxations) that we use to deduce the approximation ratios.
△ Less
Submitted 30 March, 2012; v1 submitted 9 January, 2012;
originally announced January 2012.
-
The chromatic gap and its extremes
Authors:
András Gyárfás,
András Sebõ,
Nicolas Trotignon
Abstract:
The {\em chromatic gap} is the difference between the chromatic number and the clique number of a graph. Here we investigate $\gap(n)$, the maximum chromatic gap over graphs on $n$ vertices. Can the extremal graphs be explored? While computational problems related to the chromatic gap are hopeless, an interplay between Ramsey theory and matching theory leads to a simple and (almost) exact formula…
▽ More
The {\em chromatic gap} is the difference between the chromatic number and the clique number of a graph. Here we investigate $\gap(n)$, the maximum chromatic gap over graphs on $n$ vertices. Can the extremal graphs be explored? While computational problems related to the chromatic gap are hopeless, an interplay between Ramsey theory and matching theory leads to a simple and (almost) exact formula for $\gap(n)$ in terms of Ramsey numbers.
△ Less
Submitted 17 August, 2011;
originally announced August 2011.
-
Alternatives for Testing Total Dual Integrality
Authors:
Edwin O'Shea,
Andras Sebo
Abstract:
In this paper we provide characterizing properties of TDI systems, among others the following: a system of linear inequalities is TDI if and only if its coefficient vectors form a Hilbert basis, and there exists a test-set for the system's dual integer programs where all test vectors have positive entries equal to 1. Reformulations of this provide relations between computational algebra and inte…
▽ More
In this paper we provide characterizing properties of TDI systems, among others the following: a system of linear inequalities is TDI if and only if its coefficient vectors form a Hilbert basis, and there exists a test-set for the system's dual integer programs where all test vectors have positive entries equal to 1. Reformulations of this provide relations between computational algebra and integer programming and they contain Applegate, Cook and McCormick's sufficient condition for the TDI property and Sturmfels' theorem relating toric initial ideals generated by square-free monomials to unimodular triangulations. We also study the theoretical and practical efficiency and limits of the characterizations of the TDI property presented here.
In the particular case of set packing polyhedra our results correspond to endowing the weak perfect graph theorem with an additional, computationally interesting, geometric feature: the normal fan of the stable set polytope of a perfect graph can be refined into a regular triangulation consisting only of unimodular cones.
△ Less
Submitted 13 March, 2008;
originally announced March 2008.
-
Optimizing diversity
Authors:
Yannick Frein,
Benjamin Lévêque,
Andras Sebo
Abstract:
We consider the problem of minimizing the size of a family of sets G such that every subset of 1,...,n can be written as a disjoint union of at most k members of G, where k and n are given numbers. This problem originates in a real-world application aiming at the diversity of industrial production. At the same time, the minimum of G so that every subset of 1,...,n is the union of two sets in G h…
▽ More
We consider the problem of minimizing the size of a family of sets G such that every subset of 1,...,n can be written as a disjoint union of at most k members of G, where k and n are given numbers. This problem originates in a real-world application aiming at the diversity of industrial production. At the same time, the minimum of G so that every subset of 1,...,n is the union of two sets in G has been asked by Erdos and studied recently by Furedi and Katona without requiring the disjointness of the sets. A simple construction providing a feasible solution is conjectured to be optimal for this problem for all values of n and k and regardless of the disjointness requirement; we prove this conjecture in special cases including all (n,k) for which n <= 3k holds, and some individual values of n and k.
△ Less
Submitted 19 November, 2007;
originally announced November 2007.
-
Optimal Cooperation and Submodularity for Computing Potts' Partition Functions with a Large Number of State
Authors:
J-Ch. Angles d'Auriac,
F. Igloi,
M. Preissmann,
A. Sebo
Abstract:
The partition function of the q-state Potts model with random ferromagnetic couplings in the large-q limit is generally dominated by the contribution of a single diagram of the high temperature expansion. Computing this dominant diagram amounts to minimizing a particular submodular function. We provide a combinatorial optimization algorithm, the optimal cooperation algorithm, which works in poly…
▽ More
The partition function of the q-state Potts model with random ferromagnetic couplings in the large-q limit is generally dominated by the contribution of a single diagram of the high temperature expansion. Computing this dominant diagram amounts to minimizing a particular submodular function. We provide a combinatorial optimization algorithm, the optimal cooperation algorithm, which works in polynomial time for any lattice. Practical implementation and the speed of the method is also discussed.
△ Less
Submitted 2 April, 2002;
originally announced April 2002.
