Abstract:Many NP-hard graph problems become easy for some classes of graphs, such as coloring is easy for bipartite graphs, but NP-hard in general. So we can ask question like when does a hard problem become easy? What is the minimum substructure for which the problem remains hard? We use the notion of boundary classes to study such questions. In this paper, we introduce a method for transforming the boundary class of one NP-hard graph problem into a boundary class for another problem. If $\Pi$ and $\Gamma$ are two NP-hard graph problems where $\Pi$ is reducible to $\Gamma$, we transform a boundary class of $\Pi$ into a boundary class of $\Gamma$. More formally if $\Pi$ is reducible to $\Gamma$, where the reduction is bijective and it maps hereditary classes of graphs to hereditary classes of graphs, then $X$ is a boundary class of $\Pi$ if and only if the image of $X$ under the reduction is a boundary class of $\Gamma$. This gives us a relationship between boundary classes and reducibility among several NP-hard problems. To show the strength of our main result, we apply our theorem to obtain some previously unknown boundary classes for a few graph problems namely; vertex-cover, clique, traveling-salesperson, bounded-degree-spanning-tree, subgraph-isomorphism and clique-cover.

What problem does this paper attempt to address?

### What problems does this paper attempt to solve? This paper mainly explores the reducibility between NP - hard graph problems and the relationships between boundary classes. Specifically, the authors attempt to answer the following questions: 1. **When does a difficult problem become easy?** - Many NP - hard graph problems become simple on certain types of graphs. For example, the coloring problem on bipartite graphs is simple, but it is NP - hard on general graphs. Therefore, researchers are concerned about which sub - structures or graph classes make these difficult problems become simple. 2. **What is the smallest sub - structure such that the problem remains difficult?** - This involves defining and identifying "boundary classes", that is, the smallest graph classes that make the problem change from NP - hard to polynomial - time solvable. 3. **How to convert the boundary class of one NP - hard graph problem into the boundary class of another NP - hard graph problem?** - The author introduced a method to convert the boundary class of one NP - hard graph problem into the boundary class of another NP - hard graph problem through reduction. If there is a bijective reduction $f$ between two NP - hard graph problems $\Pi$ and $\Gamma$, and $f$ maps hereditary graph classes to hereditary graph classes, then $X$ is a boundary class of $\Pi$ if and only if $f(X)$ is a boundary class of $\Gamma$. 4. **What new boundary classes can be discovered by applying this method?** - The authors applied their method and discovered several previously unknown boundary classes, including new boundary classes for problems such as vertex - cover, clique, traveling - salesperson, bounded - degree - spanning - tree, clique - cover, and subgraph - isomorphism. ### Representation of formulas To express the formulas in the above content more clearly, the following are some key formulas presented in Markdown format: - If $\Pi$ is reducible to $\Gamma$, and the reduction function $f$ is bijective and its inverse function is also polynomial - time computable, and $f$ maps hereditary graph classes to hereditary graph classes, then $X$ is a boundary class of $\Pi$ if and only if $f(X)$ is a boundary class of $\Gamma$. \[ X \text{ is a boundary class of } \Pi \iff f(X) \text{ is a boundary class of } \Gamma \] - For the independent - set problem, if $T$ is its boundary class, then for any graph $G=(V, E)$, we have: \[ \alpha(G)+\beta(G) = |V| \] where $\alpha(G)$ represents the size of the maximum independent set, and $\beta(G)$ represents the size of the minimum vertex cover. - For the clique problem, if $T$ is the boundary class of the independent - set problem, then: \[ \alpha(G)=\omega(\overline{G}) \] where $\omega(\overline{G})$ represents the size of the maximum clique in the complement graph $\overline{G}$. ### Summary By introducing this method of conversion between boundary classes, the authors not only revealed the relationships between boundary classes of different NP - hard graph problems, but also provided a systematic method to discover new boundary classes. This is of great significance for further research on the computational complexity and classification of NP - hard graph problems.

Reducibility among NP-Hard graph problems and boundary classes

Finding Optimal Solutions with Neighborly Help

The RED-BLUE SEPARATION problem on graphs

On Reducible Partition of Graphs

Recoloring some hereditary graph classes

Complexity Framework for Forbidden Subgraphs II: Edge Subdivision and the "H"-graphs

Partition Independent Set and Reduction-Based Approach for Partition Coloring Problem

New reducible configurations for graph multicoloring with application to the experimental resolution of McDiarmid-Reed's Conjecture (extended version)

Complexity Framework for Forbidden Subgraphs III: When Problems are Tractable on Subcubic Graphs

Optimality-based domain reduction for inequality-constrained NLP and MINLP problems

Iterated Clique Reductions in Vertex Weighted Coloring for Large Sparse Graphs

Holographic Reduction for Some Counting Problems

Reconfiguring homomorphisms to reflexive graphs via a simple reduction

Graph Homomorphism, Monotone Classes and Bounded Pathwidth

Minimal separators in graph classes defined by small forbidden induced subgraphs

A note on VNP-completeness and border complexity

Edge deletion to tree-like graph classes

Reduction of Maximum Flow Network Interdiction Problem from The Clique Problem

Bounds on the Clique and the Independence Number for Certain Classes of Graphs

Cardinality Maximum Flow Network Interdiction Problem Vs. The Clique Problem

Decomposition horizons and a characterization of stable hereditary classes of graphs