29 research outputs found
How tough is toughness?
The concept of toughness was introduced by Chvátal [34] more than forty years ago. Toughness resembles vertex connectivity, but is different in the sense that it takes into account what the effect of deleting a vertex cut is on the number of resulting components. As we will see, this difference has major consequences in terms of computational complexity and on the implications with respect to cycle structure, in particular the existence of Hamilton cycles and k-factors
Some local--global phenomena in locally finite graphs
In this paper we present some results for a connected infinite graph with
finite degrees where the properties of balls of small radii guarantee the
existence of some Hamiltonian and connectivity properties of . (For a vertex
of a graph the ball of radius centered at is the subgraph of
induced by the set of vertices whose distance from does not
exceed ). In particular, we prove that if every ball of radius 2 in is
2-connected and satisfies the condition for
each path in , where and are non-adjacent vertices, then
has a Hamiltonian curve, introduced by K\"undgen, Li and Thomassen (2017).
Furthermore, we prove that if every ball of radius 1 in satisfies Ore's
condition (1960) then all balls of any radius in are Hamiltonian.Comment: 18 pages, 6 figures; journal accepted versio
A look at cycles containing specified elements of a graph
AbstractThis article is intended as a brief survey of problems and results dealing with cycles containing specified elements of a graph. It is hoped that this will help researchers in the area to identify problems and areas of concentration
Scale-Free Random SAT Instances
We focus on the random generation of SAT instances that have properties similar to
real-world instances. It is known that many industrial instances, even with a great number of
variables, can be solved by a clever solver in a reasonable amount of time. This is not possible,
in general, with classical randomly generated instances. We provide a different generation model
of SAT instances, called scale-free random SAT instances. This is based on the use of a non-uniform
probability distribution P(i) ∼ i
−β
to select variable i, where β is a parameter of the model. This
results in formulas where the number of occurrences k of variables follows a power-law distribution
P(k) ∼ k
−δ
, where δ = 1 + 1/β. This property has been observed in most real-world SAT instances.
For β = 0, our model extends classical random SAT instances. We prove the existence of a SAT–
UNSAT phase transition phenomenon for scale-free random 2-SAT instances with β < 1/2 when
the clause/variable ratio is m/n =
1−2β
(1−β)
2
. We also prove that scale-free random k-SAT instances are
unsatisfiable with a high probability when the number of clauses exceeds ω(n
(1−β)k
). The proof of
this result suggests that, when β > 1 − 1/k, the unsatisfiability of most formulas may be due to small
cores of clauses. Finally, we show how this model will allow us to generate random instances similar
to industrial instances, of interest for testing purposes.This research was supported by the project PROOFS, Grant PID2019-109137GB-C21 funded by MCIN/AEI/10.13039/501100011033
Convex Algebraic Geometry Approaches to Graph Coloring and Stable Set Problems
The objective of a combinatorial optimization problem is to find an element that maximizes a given function defined over a large and possibly high-dimensional finite set. It is often the case that the set is so large that solving the problem by inspecting all the elements is intractable. One approach to circumvent this issue is by exploiting the combinatorial structure of the set (and possibly the function) and reformulate the problem into a familiar set-up where known techniques can be used to attack the problem.
Some common solution methods for combinatorial optimization problems involve formulations that make use of Systems of Linear Equations, Linear Programs (LPs), Semidefinite Programs (SDPs), and more generally, Conic and Semi-algebraic Programs. Although, generality often implies flexibility and power in the formulations, in practice, an increase in sophistication usually implies a higher running time of the algorithms used to solve the problem. Despite this, for some combinatorial problems, it is hard to rule out the applicability of one formulation over the other.
One example of this is the Stable Set Problem. A celebrated result of Lovász's states that it is possible to solve (to arbitrary accuracy) in polynomial time the Stable Set Problem for perfect graphs. This is achieved by showing that the Stable Set Polytope of a perfect graph is the projection of a slice of a Positive Semidefinite Cone of not too large dimension. Thus, the Stable Set Problem can be solved with the use of a reasonably sized SDP. However, it is unknown whether one can solve the same problem using a reasonably sized LP. In fact, even for simple classes of perfect graphs, such as Bipartite Graphs, we do not know the right order of magnitude of the minimum size LP formulation of the problem.
Another example is Graph Coloring. In 2008 Jesús De Loera, Jon Lee, Susan Margulies and Peter Malkin proposed a technique to solve several combinatorial problems, including Graph Coloring Problems, using Systems of Linear Equations. These systems are obtained by reformulating the decision version of the combinatorial problem with a system of polynomial equations. By a theorem of Hilbert, known as Hilbert's Nullstellensatz, the infeasibility of this polynomial system can be determined by solving a (usually large) system of linear equations. The size of this system is an exponential function of a parameter that we call the degree of the Nullstellensatz Certificate.
Computational experiments of De Loera et al. showed that the Nullstellensatz method had potential applications for detecting non--colorability of graphs. Even for known hard instances of graph coloring with up to two thousand vertices and tens of thousands of edges the method was useful. Moreover, all of these graphs had very small Nullstellensatz Certificates. Although, the existence of hard non--colorable graph examples for the Nullstellensatz approach are known, determining what combinatorial properties makes the Nullstellensatz approach effective (or ineffective) is wide open.
The objective of this thesis is to amplify our understanding on the power and limitations of these methods, all of these falling into the umbrella of Convex Algebraic Geometry approaches, for combinatorial problems. We do this by studying the behavior of these approaches for Graph Coloring and Stable Set Problems.
First, we study the Nullstellensatz approach for graphs having large girth and chromatic number. We show that that every non--colorable graph with girth needs a Nullstellensatz Certificate of degree to detect its non--colorability. It is our general belief that the power of the Nullstellensatz method is tied with the interplay between local and global features of the encoding polynomial system. If a graph is locally -colorable, but globally non--colorable, we suspect that it will be hard for the Nullstellensatz to detect the non--colorability of the graph. Our results point towards that direction.
Finally, we study the Stable Set Problem for -regular Bipartite Graphs having no , i.e., having no cycle of length four. In 2017 Manuel Aprile \textit{et al.} showed that the Stable Set Polytope of the incidence graph of a Finite Projective Plane of order (hence, -regular) does not admit an LP formulation with fewer than facets. Although, we did not manage to improve this lower bound for general -regular graphs, we show that any -regular bipartite graph having no does not admit an LP formulation with fewer than facets. In addition, we obtain computational results showing the lower bound also holds for the Finite Projective Plane , a -regular graph. It is our belief that Aprile et al. bounds can be improved considerably