arXiv++ Combinatorics

Following the seminal work of Padberg on the Boolean quadric polytope $BQP$ and its LP relaxation $BQP_{LP}$, we consider a natural extension: $SATP$ and $SATP_{LP}$ polytopes, with $BQP_{LP}$ being projection of the $SATP_{LP}$ face (and $BQP$ -- projection of the $SATP$ face). We consider a problem of integer recognition: determine whether a maximum of a linear objective function is achieved at an integral vertex of a polytope. Various special instances of 3-SAT problem like NAE-3-SAT, 1-in-3-SAT, weighted MAX-3-SAT, and others can be solved by integer recognition over $SATP_{LP}$. We describe all integral vertices of $SATP_{LP}$. Like $BQP_{LP}$, polytope $SATP_{LP}$ has the Trubin-property being quasi-integral (1-skeleton of $SATP$ is a subset of 1-skeleton of $SATP_{LP}$). However, unlike $BQP$, not all vertices of $SATP$ are pairwise adjacent, the diameter of $SATP$ equals 2, and the clique number of 1-skeleton is superpolynomial in dimension. It is known that the fractional vertices of $BQP_{LP}$ are half-integer (0, 1 or 1/2 valued). We show that the denominators of $SATP_{LP}$ fractional vertices can take any integral value. Finally, we describe polynomially solvable subproblems of integer recognition over $SATP_{LP}$ with constrained objective functions. Based on that, we solve some cases of edge constrained bipartite graph coloring.

We propose two strategies for Presenter in the on-line interval graph coloring games. Specifically, we consider a setting in which each interval is associated with a $d$-dimensional vector of weights and the coloring needs to satisfy the $d$-dimensional bandwidth constraint, and the $k$-cardinality constraint. Such a variant was first introduced by Epstein and Levy and it is a natural model for resource-aware task scheduling with $d$ different shared resources where at most $k$ tasks can be scheduled simultaneously on a single machine. The first strategy forces any on-line interval coloring algorithm to use at least $(5m-3)\frac{d}{\log d + 3}$ different colors on an $m(\frac{d}{k} + \log{d} + 3)$-colorable set of intervals. The second strategy forces any on-line interval coloring algorithm to use at least $\lfloor\frac{5m}{2}\rfloor\frac{d}{\log d + 3}$ different colors on an $m(\frac{d}{k} + \log{d} + 3)$-colorable set of unit intervals.

An equitable graph coloring is a proper vertex coloring of a graph G where the sizes of the color classes differ by at most one. The equitable chromatic number is the smallest number k such that G admits such equitable k-coloring. We focus on enumerative algorithms for the computation of the equitable coloring number and propose a general scheme to derive pruning rules for them: We show how the extendability of a partial coloring into an equitable coloring can be modeled via network flows. Thus, we obtain pruning rules which can be checked via flow algorithms. Computational experiments show that the search tree of enumerative algorithms can be significantly reduced in size by these rules and, in most instances, such naive approach even yields a faster algorithm. Moreover, the stability, i.e., the number of solved instances within a given time limit, is greatly improved. Since the execution of flow algorithms at each node of a search tree is time consuming, we derive arithmetic pruning rules (generalized Hall-conditions) from the network model. Adding these rules to an enumerative algorithm yields an even larger runtime improvement.

Zero forcing is an iterative graph coloring process whereby a colored vertex with a single uncolored neighbor forces that neighbor to be colored. It is NP-hard to find a minimum zero forcing set - a smallest set of initially colored vertices which forces the entire graph to be colored. We show that the problem remains NP-hard when the initially colored set induces a connected subgraph. We also give structural results about the connected zero forcing sets of a graph related to the graph's density, separating sets, and certain induced subgraphs, and we characterize the cardinality of the minimum connected zero forcing sets of unicyclic graphs and variants of cactus and block graphs. Finally, we identify several families of graphs whose connected zero forcing sets define greedoids and matroids.

A sequence $S$ is called anagram-free if it contains no consecutive symbols $r_1 r_2\dots r_k r_{k+1} \dots r_{2k}$ such that $r_{k+1} \dots r_{2k}$ is a permutation of the block $r_1 r_2\dots r_k$. Answering a question of Erdős and Brown, Keränen constructed an infinite anagram-free sequence on four symbols. Motivated by the work of Alon, Grytczuk, Hałuszczak and Riordan, we consider a natural generalisation of anagram-free sequences for graph colorings. A coloring of the vertices of a given graph $G$ is called anagram-free if the sequence of colors on any path in $G$ is anagram-free. We call the minimal number of colors needed for such a coloring the anagram-chromatic number of $G$. In this paper we study the anagram-chromatic number of several classes of graphs like trees, minor-free graphs and bounded-degree graphs. Surprisingly, we show that there are bounded-degree graphs (such as random regular graphs) in which anagrams cannot be avoided unless we basically give each vertex a separate color.

We introduce a model structure on the category of graphs, which is Quillen equivalent to the category of $\mathbb{Z}_2$-spaces. A weak equivalence is a graph homomorphism which induces a $\mathbb{Z}_2$-homotopy equivalence between their box complexes. The box complex is a $\mathbb{Z}_2$-space associated to a graph, considered in the context of the graph coloring problem. In the proof, we discuss the universality problem of the Hom complex.

In this paper we investigate the extent to which the Lovász Local Lemma (an important tool in probabilistic combinatorics) can be adapted for the measurable setting. In most applications, the Lovász Local Lemma is used to produce a function $f \colon X \to Y$ with certain properties, where $X$ is some underlying combinatorial structure and $Y$ is a (typically finite) set. Can this function $f$ be chosen to be Borel or $μ$-measurable for some probability Borel measure $μ$ on $X$ (assuming that $X$ is a standard Borel space)? In the positive direction, we prove that if the set of constraints put on $f$ is, in a certain sense, "locally finite," then there is always a Borel choice for $f$ that is "$\varepsilon$-close" to satisfying these constraints, for any $\varepsilon > 0$. Moreover, if the combinatorial structure on $X$ is "induced" by the $[0;1]$-shift action of a countable group $Γ$, then, even without any local finiteness assumptions, there is a Borel choice for $f$ which satisfies the constraints on an invariant conull set (i.e., with $\varepsilon = 0$). A direct corollary of our results is an upper bound on the measurable chromatic number of the graph $G_n$ generated by the shift action of the free group $\mathbb{F}_n$ that is asymptotically tight up to a factor of at most $2$ (which answers a question of Lyons and Nazarov). On the other hand, our result for structures induced by measure-preserving group actions is, at least for amenable groups, sharp in the following sense: a probability measure-preserving action of a countably infinite amenable group satisfies the measurable version of the Lovász Local Lemma if and only if it admits a factor map to the $[0;1]$-shift action. To prove this, we combine the tools of the Ornstein--Weiss theory of entropy for actions of amenable groups with concepts from computability theory, specifically, Kolmogorov complexity.

In the online graph coloring problem, vertices from a graph G, known in advance, arrive in an online fashion and an algorithm must immediately assign a color to each incoming vertex v so that the revealed graph is properly colored. The exact location of v in the graph G is not known to the algorithm. The online chromatic number of G is the smallest number of colors such that some online algorithm is able to properly color G for any incoming order. We prove that computing the online chromatic number of a graph is PSPACE-complete.

Zero forcing is a dynamic graph coloring process whereby a colored vertex with a single uncolored neighbor forces that neighbor to be colored. This forcing process has been used to approximate certain linear algebraic parameters, as well as to model the spread of diseases and information in social networks. In this paper, we introduce and study the connected forcing process -- a restriction of zero forcing in which the initially colored set of vertices induces a connected subgraph. We show that the connected forcing number -- the cardinality of the smallest initially colored vertex set which forces the entire graph to be colored -- is a sharp upper bound to the maximum nullity, path cover number, and leaf number of the graph. We also give closed formulas and bounds for the connected forcing numbers of several families of graphs including trees, hypercubes, and flower snarks, and characterize graphs with extremal connected forcing numbers.

We introduce and explore a family of vertex-coloring problems which, surprisingly enough, have not been considered before despite stemming from the problem of Wi-Fi channel assignment. Given a spectrum of colors, endowed with a matrix of interferences between each pair of colors, the Threshold Spectrum Coloring problem fixes the number of colors available and aims to minimize the interference threshold, i.e., the maximum of the interferences at the vertices. Conversely, the Chromatic Spectrum Coloring problem fixes a threshold and aims to minimize the number of colors for which respecting that threshold is possible. As main theoretical results, we prove tight upper bounds for the solutions to each problem. Since both problems turn out to be NP-hard, we complete the scene with experimental results. We propose a DSATUR-based heuristic and study its performance to minimize the maximum vertex interference in Wi-Fi channel assignment, both for randomly generated graphs and for a real-world scenario. Further, for all these graphs we experimentally check the goodness of the theoretical bounds.

A word $\bar{w} = \bar{u}\bar{u}$ is a $long$ $square$ if $\bar{u}$ is of length at least 3; a word $\bar{w}$ is $long$-$square$-$free$ if $\bar{w}$ contains no sub-word that is a long square. We can use words to generate graph colorings; a graph coloring is called $long$-$repetition$-$free$ if the word formed by the coloring of each path in the graph is long-square-free. Our results show that every rooted tree of radius less than or equal to seven is long-repetition-free two-colorable. We also prove there exists a class of trees which are not long-repetition-free two-colorable.

Graph colorings are becoming an increasingly useful family of mathematical models for a broad range of applications, such as time tabling and scheduling, frequency assignment, register allocation, computer security and so on. Graph proper total colorings with additional constrained conditions have been investigated intensively in the last decade year. In this article some new graph proper total colorings with additional constrained conditions are defined, and approximations to the chromatic numbers of these colorings are researched, as well as some graphs having these colorings have been verified.

List coloring generalizes graph coloring by requiring the color of a vertex to be selected from a list of colors specific to that vertex. One refinement of list coloring, called choosability with separation, requires that the intersection of adjacent lists is sufficiently small. We introduce a new refinement, called choosability with union separation, where we require that the union of adjacent lists is sufficiently large. For $t \geq k$, a $(k,t)$-list assignment is a list assignment $L$ where $|L(v)| \geq k$ for all vertices $v$ and $|L(u)\cup L(v)| \geq t$ for all edges $uv$. A graph is $(k,t)$-choosable if there is a proper coloring for every $(k,t)$-list assignment. We explore this concept through examples of graphs that are not $(k,t)$-choosable, demonstrating sparsity conditions that imply a graph is $(k,t)$-choosable, and proving that all planar graphs are $(3,11)$-choosable and $(4,9)$-choosable.

We extend the work of Hanlon on the chromatic polynomial of an unlabeled graph to define the unlabeled chromatic polynomial of an unlabeled signed graph. Explicit formulas are presented for labeled and unlabeled signed chromatic polynomials as summations over distinguished order-ideals of the signed partition lattice. We also define the quotient of a signed graph by a signed permutation, and show that its signed graphic arrangement is closely related to an induced arrangement on a distinguished subspace. Lastly, a formula for the number of unlabeled acyclic orientations of a signed graph is presented which recalls classical reciprocity theorems of Stanley and Zaslavsky.

This paper discusses reformulations of the problem of coloring plane maps with four colors. We give a number of alternate ways to formulate the coloring problem including a tautological expansion similar to the Penrose Bracket, and an extension of the Penrose Bracket that counts colorings of arbitrary cubic graphs presented as immersions in the plane.

The game domination number is a graph invariant that arises from a game, which is related to graph domination in a similar way as the game chromatic number is related to graph coloring. In this paper we show that verifying whether the game domination number of a graph is bounded by a given integer is PSPACE-complete. This contrasts the situation of the game coloring problem whose complexity is still unknown.

The Hom complex ${\rm Hom}(T,G)$ of graphs is a CW-complex associated to a pair of graphs $T$ and $G$, considered in the graph coloring problem. It is known that certain homotopy invariants of ${\rm Hom}(T,G)$ give lower bounds for the chromatic number of $G$. For a fixed finite graph $T$, we show that there is no homotopy invariant of ${\rm Hom}(T,G)$ which gives an upper bound for the chromatic number of $G$. More precisely, for a non-bipartite graph $G$, we construct a graph $H$ such that ${\rm Hom}(T,G)$ and ${\rm Hom}(T,H)$ are homotopy equivalent but $χ(H)$ is much larger than $χ(G)$. The equivariant homotopy type of ${\rm Hom}(T,G)$ is also considered.

We study time scheduling problems with allowed absences as a new kind of graph coloring problem. One may think of a sport tournament where each player (each team) is permitted a certain number $t$ of absences. We then examine how many rounds are needed to schedule the whole tournament in the worst case. This upper limit depends on $t$ and on the structure of the graph $G$ whose edges represent the games that have to be played, but also on whether or not the absences are announced before the tournament starts. Therefore, we actually have two upper limits for the number of required rounds. We have $χ^t(G)$ for pre-scheduling if all absences are pre-fixed, and we have $χ_{\textit{OL}}^t(G)$ for on-line scheduling if we have to stay flexible and deal with absences when they occur. We conjecture that $χ^t(G)=Δ(G)+2t$ and that $χ_{\textit{OL}}^t(G)=χ'(G)+2t.$ The first conjecture is stronger than the Total Coloring Conjecture while the second is weaker than the On-Line List Edge Coloring Conjecture. Our conjectures hold for all bipartite graphs. For complete graphs, we prove them partially. Lower and upper bounds to $χ^t(G)$ and $χ_{\textit{OL}}^t(G)$ for general multigraphs $G$ are established, too.

We introduce a new variant of graph coloring called correspondence coloring which generalizes list coloring and allows for reductions previously only possible for ordinary coloring. Using this tool, we prove that excluding cycles of lengths 4 to 8 is sufficient to guarantee 3-choosability of a planar graph, thus answering a question of Borodin.

Many graph coloring proofs proceed by showing that a minimal counterexample to the theorem being proved cannot contain certain configurations, and then showing that each graph under consideration contains at least one such configuration; these configurations are called \emph{reducible} for that theorem. (A \emph{configuration} is a subgraph $H$, along with specified degrees $d_G(v)$ in the original graph $G$ for each vertex of $H$.) We give a general framework for showing that configurations are reducible for edge-coloring. A particular form of reducibility, called \emph{fixability}, can be considered without reference to a containing graph. This has two key benefits: (i) we can now formulate necessary conditions for fixability, and (ii) the problem of fixability is easy for a computer to solve. The necessary condition of \emph{superabundance} is sufficient for multistars and we conjecture that it is sufficient for trees as well, which would generalize the powerful technique of Tashkinov trees. Via computer, we can generate thousands of reducible configurations, but we have short proofs for only a small fraction of these. The computer can write \LaTeX\ code for its proofs, but they are only marginally enlightening and can run thousands of pages long. We give examples of how to use some of these reducible configurations to prove conjectures on edge-coloring for small maximum degree. Our aims in writing this paper are (i) to provide a common context for a variety of reducible configurations for edge-coloring and (ii) to spur development of methods for humans to understand what the computer already knows.