arXiv++ Combinatorics

The size of a largest independent set of vertices in a given graph $G$ is denoted by $α(G)$ and is called its independence number (or stability number). Given a graph $G$ and an integer $K,$ it is NP-complete to decide whether $α(G) \geq K.$ An upper bound for the independence number $α(G)$ of a given graph $G$ with $n$ vertices and $m $ edges is given by $α(G) \leq p:=\lfloor\frac{1}{2} + \sqrt{\frac{1}{4} + n^2 - n - 2m}\rfloor.$ In this paper we will consider maximum independent sets near this upper bound. Our main result is the following: There exists an algorithm with time complexity $O(n^2)$ that, given as an input a graph $G$ with $n$ vertices, $m$ edges, $p:=\lfloor\frac{1}{2} + \sqrt{\frac{1}{4} + n^2 - n - 2m}\rfloor,$ and an integer $k \geq 0$ with $p \geq 2k+1,$ returns an induced subgraph $G_{p,k}$ of $G$ with $n_0 \leq p+2k+1$ vertices such that $α(G) \leq p-k$ if and only if $α(G_{p,k}) \leq p-k.$ Furthermore, we will show that we can decide in time $O(1.2738^{3k} + kn)$ whether $α(G_{p,k}) \leq p-k.$

A very nice result of Bárány and Lehel asserts that every finite subset $X$ or $\mathbb R^d$ can be covered by $f(d)$ $X$-boxes (i.e. each box has two antipodal points in $X$). As shown by Gyárfás and Pálvőlgyi this result would follow from the following conjecture : If a tournament admits a partition of its arc set into $k$ quasi orders, then its domination number is bounded in terms of $k$. This question is in turn implied by the Erdős-Sands-Sauer-Woodrow conjecture : If the arcs of a tournament $T$ are colored with $k$ colors, there is a set $X$ of at most $g(k)$ vertices such that for every vertex $v$ of $T$, there is a monochromatic path from $X$ to $v$. We give a short proof of this statement. We moreover show that the general Sands-Sauer-Woodrow conjecture (which as a special case implies the stable marriage theorem) is valid for directed graphs with bounded stability number. This conjecture remains however open.

In the special case of graphs G of independence number a(G)=3 without induced chordless cycles C7 it is shown that exists connected dominating set D of vertices with number of vertices n(D)<=4. Using the concept of connected dominating sets, we defined a new invariant h(G) that does not exceed the number of Hadwiger. For the considered graphs it is shown that h(G)>=n(G)/4.

The distinguishing number $D(G)$ of a graph $G$ is the least integer $d$ such that $G$ has a vertex labeling with $d$ labels that is preserved only by a trivial automorphism. The distinguishing stability, of a graph $G$ is denoted by $st_D(G)$ and is the minimum number of vertices whose removal changes the distinguishing number. We obtain a general upper bound $st_D(G) \leqslant \vert V(G)\vert -D(G)+1$, and a relationships between the distinguishing stabilities of graphs $G$ and $G-v$, i.e., $st_D(G)\leqslant st_D(G-v)+1$, where $v\in V(G)$. Also we study the edge distinguishing stability number (distinguishing bondage number) of $G$.

We investigate the asymptotic structure of a random perfect graph $P_n$ sampled uniformly from the perfect graphs on vertex set $\{1,\ldots,n\}$. Our approach is based on the result of Prömel and Steger that almost all perfect graphs are generalised split graphs, together with a method to generate such graphs almost uniformly. We show that the distribution of the maximum of the stability number $α(P_n)$ and clique number $ω(P_n)$ is close to a concentrated distribution $L(n)$ which plays an important role in our generation method. We also prove that the probability that $P_n$ contains any given graph $H$ as an induced subgraph is asymptotically $0$ or $\frac12$ or $1$. Further we show that almost all perfect graphs are $2$-clique-colourable, improving a result of Bacsó et al from 2004; they are almost all Hamiltonian; they almost all have connectivity $κ(P_n)$ equal to their minimum degree; they are almost all in class one (edge-colourable using $Δ$ colours, where $Δ$ is the maximum degree); and a sequence of independently and uniformly sampled perfect graphs of increasing size converges almost surely to the graphon $W_P(x, y) = \frac12(\mathbb{1}[x \le 1/2] + \mathbb{1}[y \le 1/2])$.

In this paper, we discuss the normality of the toric rings of stable set polytopes, and the set of generators and Gröbner bases of toric ideals of stable set polytopes by using the results on that of edge polytopes of finite nonsimple graphs. In particular, for a graph of stability number two, we give a graph theoretical characterization of the set of generators of the toric ideal of the stable set polytope, and a criterion to check whether the toric ring of the stable set polytope is normal or not. One of the application of the results is an infinite family of stable set polytopes whose toric ideal is generated by quadratic binomials and has no quadratic Gröbner bases.

We consider vertex partitions of the binomial random graph $G_{n,p}$. For $np\to\infty$, we observe the following phenomenon: in any partition into asymptotically fewer than $χ(G_{n,p})$ parts, i.e. $o(np/\log np)$ parts, one part must induce a connected component of order at least roughly the average part size. Stated another way, we consider the $t$-component chromatic number, the smallest number of colours needed in a colouring of the vertices for which no monochromatic component has more than $t$ vertices. As long as $np \to \infty$, there is a threshold for $t$ around $Θ(p^{-1}\log np)$: if $t$ is smaller then the $t$-component chromatic number is nearly as large as the chromatic number, while if $t$ is greater then it is around $n/t$. For $0 < p <1$ fixed, we obtain more precise information. We find something more subtle happens at the threshold $t = Θ(\log n)$, and we determine that the asymptotic first-order behaviour is characterised by a non-smooth function. Moreover, we consider the $t$-component stability number, the maximum order of a vertex subset that induces a subgraph with maximum component order at most $t$, and show that it is concentrated in a constant length interval about an explicitly given formula, so long as $t = O(\log \log n)$. We also consider a related Ramsey-type parameter and use bounds on the component stability number of $G_{n,1/2}$ to describe its basic asymptotic growth.

A CIS graph is a graph in which every maximal stable set and every maximal clique intersect. A graph is well-covered if all its maximal stable sets are of the same size, co-well-covered if its complement is well-covered, and vertex-transitive if, for every pair of vertices, there exists an automorphism of the graph mapping one to the other. We show that a vertex-transitive graph is CIS if and only if it is well-covered, co-well-covered, and the product of its clique and stability numbers equals its order. A graph is irreducible if no two distinct vertices have the same neighborhood. We classify irreducible well-covered CIS graphs with clique number at most 3 and vertex-transitive CIS graphs of valency at most 7, which include an infinite family. We also exhibit an infinite family of vertex-transitive CIS graphs which are not Cayley.

A b-coloring of a graph is a proper coloring such that every color class contains a vertex that is adjacent to all other color classes. The b-chromatic number of a graph G, denoted by χ_b(G), is the maximum number t such that G admits a b-coloring with t colors. A graph G is called b-continuous if it admits a b-coloring with t colors, for every t = χ(G),\ldots,χ_b(G), and b-monotonic if χ_b(H_1) \geq χ_b(H_2) for every induced subgraph H_1 of G, and every induced subgraph H_2 of H_1. We investigate the b-chromatic number of graphs with stability number two. These are exactly the complements of triangle-free graphs, thus including all complements of bipartite graphs. The main results of this work are the following: - We characterize the b-colorings of a graph with stability number two in terms of matchings with no augmenting paths of length one or three. We derive that graphs with stability number two are b-continuous and b-monotonic. - We prove that it is NP-complete to decide whether the b-chromatic number of co-bipartite graph is at most a given threshold. - We describe a polynomial time dynamic programming algorithm to compute the b-chromatic number of co-trees. - Extending several previous results, we show that there is a polynomial time dynamic programming algorithm for computing the b-chromatic number of tree-cographs. Moreover, we show that tree-cographs are b-continuous and b-monotonic.

In 1968, Erdös and Lovász conjectured that for every graph $G$ and all integers $s,t\geq 2$ such that $s+t-1=χ(G) > ω(G)$, there exists a partition $(S,T)$ of the vertex set of $G$ such that $χ(G|S)\geq s$ and $χ(G|T)\geq t$. For general graphs, the only settled cases of the conjecture are when $s$ and $t$ are small. Recently, the conjecture was proved for a few special classes of graphs: graphs with stability number 2 \cite{quasi-line}, line graphs \cite{line} and quasi-line graphs \cite{quasi-line}. In this paper, we consider the conjecture for claw-free graphs and present some progress on it.

The maximum stable set problem is a well-known NP-hard problem in combinatorial optimization, which can be formulated as the maximization of a quadratic square-free polynomial over the (Boolean) hypercube. We investigate a hierarchy of linear programming relaxations for this problem, based on a result of Handelman showing that a positive polynomial over a polytope with non-empty interior can be represented as conic combination of products of the linear constraints defining the polytope. We relate the rank of Handelman's hierarchy with structural properties of graphs. In particular we show a relation to fractional clique covers which we use to upper bound the Handelman rank for perfect graphs and determine its exact value in the vertex-transitive case. Moreover we show two upper bounds on the Handelman rank in terms of the (fractional) stability number of the graph and compute the Handelman rank for several classes of graphs including odd cycles and wheels and their complements. We also point out links to several other linear and semidefinite programming hierarchies.

Reed's well-known $ω$, $Δ$, $χ$ conjecture proposes that every graph satisfies $χ\leq \lceil \frac 12(Δ+1+ω)\rceil$. The second author formulated a {\em local strengthening} of this conjecture that considers a bound supplied by the neighbourhood of a single vertex. Following the idea that the chromatic number cannot be greatly affected by any particular stable set of vertices, we propose a further strengthening that considers a bound supplied by the neighbourhoods of two adjacent vertices. We provide some fundamental evidence in support, namely that the stronger bound holds in the fractional relaxation and holds for both quasi-line graphs and graphs with stability number two. We also conjecture that in the fractional version, we can push the locality even further.

In this paper, we introduce a new parameter of a code, referred to as the remoteness, which can be viewed as a dual to the covering radius. Indeed, the remoteness is the minimum radius needed for a single ball to cover all codewords. After giving some general results about the remoteness, we then focus on the remoteness of permutation codes. We first derive upper and lower bounds on the minimum cardinality of a code with a given remoteness. We then study the remoteness of permutation groups. We show that the remoteness of transitive groups can only take two values, and we determine the remoteness of transitive groups of odd order. We finally show that the problem of determining the remoteness of a given transitive group is equivalent to determining the stability number of a related graph.

We study the structure of trees minimizing their number of stable sets for given order $n$ and stability number $α$. Our main result is that the edges of a non-trivial extremal tree can be partitioned into $n-α$ stars, each of size $\lceil \frac{n-1}{n-α} \rceil$ or $\lfloor \frac{n-1}{n-α}\rfloor$, so that every vertex is included in at most two distinct stars, and the centers of these stars form a stable set of the tree.

The stability number of a graph G, denoted by alpha(G), is the cardinality of a maximum stable set, and mu(G) is the cardinality of a maximum matching in G. If alpha(G)+mu(G) equals its order, then G is a Konig-Egervary graph. In this paper we deal with square-stable graphs, i.e., the graphs G enjoying the equality alpha(G)=alpha(G^{2}), where G^{2} denotes the second power of G. In particular, we show that a Konig-Egervary graph is square-stable if and only if it has a perfect matching consisting of pendant edges, and in consequence, we deduce that well-covered trees are exactly the square-stable trees.

The Gallai-Milgram theorem says that the vertex set of any digraph with stability number k can be partitioned into k directed paths. In 1990, Hahn and Jackson conjectured that this theorem is best possible in the following strong sense. For each positive integer k, there is a digraph D with stability number k such that deleting the vertices of any k-1 directed paths in D leaves a digraph with stability number k. In this note, we prove this conjecture.

A graph is alpha-critical if its stability number increases whenever an edge is removed from its edge set. The class of alpha-critical graphs has several nice structural properties, most of them related to their defect which is the number of vertices minus two times the stability number. In particular, a remarkable result of Lovász (1978) is the finite basis theorem for alpha-critical graphs of a fixed defect. The class of alpha-critical graphs is also of interest for at least two topics of polyhedral studies. First, Chvátal (1975) shows that each alpha-critical graph induces a rank inequality which is facet-defining for its stable set polytope. Investigating a weighted generalization, Lipták and Lovász (2000, 2001) introduce critical facet-graphs (which again produce facet-defining inequalities for their stable set polytopes) and they establish a finite basis theorem. Second, Koppen (1995) describes a construction that delivers from any alpha-critical graph a facet-defining inequality for the linear ordering polytope. Doignon, Fiorini and Joret (2006) handle the weighted case and thus define facet-defining graphs. Here we investigate relationships between the two weighted generalizations of alpha-critical graphs. We show that facet-defining graphs (for the linear ordering polytope) are obtainable from 1-critical facet-graphs (linked with stable set polytopes). We then use this connection to derive various results on facet-defining graphs, the most prominent one being derived from Lipták and Lovász's finite basis theorem for critical facet-graphs. At the end of the paper we offer an alternative proof of Lovász's finite basis theorem for alpha-critical graphs.

Given two graphs G and H its 1-{\it join} is the graph obtained by taking the disjoint union of G and H and adding all the edges between a nonempty subset of vertices of G and a nonempty subset of vertices of H. In general, composition operations of graphs has played a fundamental role in some structural results of graph theory and in particular the 1-join composition has played an important role in decomposition theorems of several class of graphs such as the claw-free graphs, the bull-free graphs, the perfect graphs, etc. A graph G is called {\it $α$-critical} if $α(G\setminus e)> α(G)$ for all the edges e of G, where $α(G)$, the {\it stability number} of G, is equal to the maximum cardinality of a stable set of G, and a set of vertices M of G is {\it stable} if no two vertices in M are adjacent. The study $α$-critical graphs is important, for instance a complete description of $α$-critical graphs would yield a good characterization of the stability number of G. In this paper we give necessary and sufficient conditions that G and H must satisfy in order to its 1-join will be an $α$-critical graph. Therefore we get a very useful way to construct basic $α$-critical graphs using the 1-join of graphs.

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.

Let $G$ be a graph without isolated vertices and let $α(G)$ be its stability number and $τ(G)$ its covering number. The {\it $α_{v}$-cover} number of a graph, denoted by $α_{v}(G)$, is the maximum natural number $m$ such that every vertex of $G$ belongs to a maximal independent set with at least $m$ vertices. In the first part of this paper we prove that $α(G)\leq τ(G)[1+α(G)-α_{v}(G)]$. We also discuss some conjectures analogous to this theorem. In the second part we give a lower bound for the number of edges of a graph $G$ as a function of the stability number $α(G)$, the covering number $τ(G)$ and the number of connected components $c(G)$ of $G$. Namely, let $α$ and $τ$ be two natural numbers and let $$ Γ(α,τ)= \min{\sum_{i=1}^α\bin{z_i}{2} | z_1+...+z_α= α+τ{and} z_i \geq 0 \forall i=1,..., α}. $$ Then if $G$ is any graph, we have: $$ |E(G)| \geq α(G)-c(G)+ Γ(α(G), τ(G)). $$