๐ฎ
๐ฎ
The Ethereal
Reducibility among NP-Hard graph problems and boundary classes
November 21, 2024 ยท The Ethereal ยท ๐ arXiv.org
"No code URL or promise found in abstract"
Evidence collected by the PWNC Scanner
Authors
Syed Mujtaba Hassan, Shahid Hussain, Abdul Samad
arXiv ID
2411.14553
Category
cs.CC: Computational Complexity
Cross-listed
cs.CL,
cs.DM
Citations
0
Venue
arXiv.org
Last Checked
3 months ago
Abstract
Many NP-hard graph problems become easy for some classes of graphs. For example, 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 ฮ and ฮ are two NP-hard graph problems where ฮ is reducible to ฮ, we transform a boundary class of ฮ into a boundary class of ฮ. More formally if ฮ is reducible to ฮ, where the reduction satisfies certain conditions, then X is a boundary class of ฮ if and only if the image of X under the reduction is a boundary class of ฮ. 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.
Community Contributions
Found the code? Know the venue? Think something is wrong? Let us know!
๐ Similar Papers
In the same crypt โ Computational Complexity
๐ฎ
๐ฎ
The Ethereal
An Exponential Separation Between Randomized and Deterministic Complexity in the LOCAL Model
๐ฎ
๐ฎ
The Ethereal
The Parallelism Tradeoff: Limitations of Log-Precision Transformers
๐ฎ
๐ฎ
The Ethereal
The Hardness of Approximation of Euclidean k-means
๐ฎ
๐ฎ
The Ethereal
Slightly Superexponential Parameterized Problems
๐ฎ
๐ฎ
The Ethereal