Coloring bridge-free antiprismatic graphs

Cléophée Robin,Eileen Robinson
2024-08-02
Abstract:The coloring problem is a well-research topic and its complexity is known for several classes of graphs. However, the question of its complexity remains open for the class of antiprismatic graphs, which are the complement of prismatic graphs and one of the four remaining cases highlighted by Lozin and Malishev. In this article we focus on the equivalent question of the complexity of the clique cover problem in prismatic graphs. A graph $G$ is prismatic if for every triangle $T$ of $G$, every vertex of $G$ not in $T$ has a unique neighbor in $T$. A graph is co-bridge-free if it has no $C_4+2K_1$ as induced subgraph. We give a polynomial time algorithm that solves the clique cover problem in co-bridge-free prismatic graphs. It relies on the structural description given by Chudnovsky and Seymour, and on later work of Preissmann, Robin and Trotignon. We show that co-bridge-free prismatic graphs have a bounded number of disjoint triangles and that implies that the algorithm presented by Preissmann et al. applies.
Discrete Mathematics,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the coloring problem of specific types of graphs and its complexity. Specifically, the author focuses on the **coloring problem of bridge - free antiprismatic graphs**. ### Problem Background 1. **Coloring Problem**: - The coloring problem is a classic problem in graph theory. Its goal is to assign a color to each vertex of a graph so that adjacent vertices have different colors and the number of colors used is minimized. - For some types of graphs, the complexity of the coloring problem has been widely studied, but for antiprismatic graphs, its complexity is still an open problem. 2. **Antiprismatic Graphs and Prismatic Graphs**: - An antiprismatic graph is the complement of a prismatic graph. A prismatic graph is defined as follows: for each triangle \(T\) in the graph, every vertex not in \(T\) has exactly one neighbor in \(T\). - A bridge - free antiprismatic graph is an antiprismatic graph that does not contain the specific subgraph \(C4 + 2K1\). ### Main Contributions of the Paper The main contributions of the paper are: - **Studied the coloring problem of bridge - free antiprismatic graphs** and transformed it into the clique cover problem of prismatic graphs. These two problems are equivalent because the coloring problem of a graph is equivalent to the clique cover problem of its complement graph. - **Proposed a polynomial - time algorithm** to solve the clique cover problem of bridge - free prismatic graphs. This algorithm is based on the structural description given by Chudnovsky and Seymour and the subsequent work of Preissmann et al. - **Proved that the number of disjoint triangles in bridge - free prismatic graphs is bounded**, which means that the algorithm proposed by Preissmann et al. is applicable to these graphs. ### Main Results The main results of the paper are: - **Theorem 1.1**: If \(G\) is a bridge - free prismatic graph, then \(G\) either contains a hitting set of size no more than 5 or is a Schläfli prismatic graph. - **Algorithm Complexity**: Using the same method as Preissmann et al., it is proved that bridge - free prismatic graphs can be clique - covered in \(O(n^{7.5})\) time. ### Structural Description To prove the above results, the paper describes in detail the structure of prismatic graphs, especially the structure of orientable prismatic graphs. By decomposing these graphs into path and cycle of triangles graphs, the author shows that they have hitting sets of size no more than 5. ### Summary In general, this paper solves the coloring problem of bridge - free antiprismatic graphs and provides an effective polynomial - time algorithm to solve this problem. This not only fills a gap in this field but also provides a valuable reference for further research on other types of graphs. If you have more specific questions or need further explanation, please feel free to let me know!