arXiv++ Combinatorics

In this paper I study a variant of the general vertex coloring problem called precoloring. Specifically, I study graph precolorings, by developing new theory, for characterizing the minimal non-extensible precolorings. It is interesting per se that, for graphs of arbitrarily large chromatic number, the minimal number of colored vertices, in a non-extensible precoloring, remains constant; only two vertices $u,v$ suffice. Here, the relation between such $u,v$ is called an implicit-relation, distinguishing two cases: (i) implicit-edges where $u,v$ are precolored with the same color and (ii) implicit-identities where $u,v$ are precolored distinct.

In this paper, an algorithm for determining 3-colorability, i.e. the decision problem (YES/NO), in planar graphs is presented. The algorithm, although not exact (it could produce false positives) has two very important features: (i) it has polynomial complexity and (ii) for every "NO" answer, a "short" proof is generated, which is of much interest since 3-colorability is a NP-complete problem and thus its complementary problem is in Co-NP. Hence the algorithm is exact when it determines that a given planar graph is not 3-colorable since this is verifiable via an automatic generation of short formal proofs (also human-readable).

This work introduces the concept of \emph{upper-critical graphs}, in a complementary way of the conventional (lower)critical graphs: an element $x$ of a graph $G$ is called \emph{critical} if $χ(G-x)<χ(G)$. It is said that $G$ is a \emph{critical graph} if every element (vertex or edge) of $G$ is critical. Analogously, a graph $G$ is called \emph{upper-critical} if there is no edge that can be added to $G$ such that $G$ preserves its chromatic number, i.e. \{$e \in E(\bar{G}) \; | \; χ(G+e) = χ(G)$ \} $=$ $\emptyset$. We show that the class of upper-critical graphs is the same as the class of complete $k$-partite graphs. A characterization in terms of hereditary properties under some transformations, e.g. subgraphs and minors and in terms of construction and counting is given.

A theory about the implication structure in graph coloring is presented. Discovering hidden relations is a crucial activity in every scientific discipline. The development of mathematical models to study and discover such hidden relations is of the most highest interest. The main contribution presented in this work is a model of hidden relations materialized as implicit-edges and implicit-identities in the graph coloring problem, these relations can be interpreted in physical and chemical models as hidden forces, hidden interactions, hidden reactions or hidden variables. Also this theory can be extended to the complete class of NP-complete problems.