2-Colorable Perfect Matching is NP-complete in 2-Connected 3-Regular Planar Graphs

Abstract The 2-colorable perfect matching problem asks whether a graph can be colored with two colors so that each node has exactly one neighbor with the same color as itself. We prove that this problem is NP-complete, even when restricted to 2-connected 3-regular planar graphs. In 1978, Schaefer proved that this problem is NP-complete in general graphs, and claimed without proof that the same result holds when restricted to 3-regular planar graphs. Thus we fill in the missing proof of this claim, while simultaneously strengthening to 2-connected graphs (which implies existence of a perfect matching). We also prove NP-completeness of k -colorable perfect matching, for any fixed $$k \ge 2$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>2</mml:mn> </mml:mrow> </mml:math> .

Authors

Institutions

Publication Details

Journal
Theory of Computing Systems
Published
2025-04-26
DOI
https://doi.org/10.1007/s00224-025-10221-2
Primary Topic
Advanced Graph Theory Research
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

2-Colorable Perfect Matching is NP-complete in 2-Connected 3-Regular Planar Graphs

Kritkorn Karntikoon, Erik D. Demaine, Nipun Pitimanaaree
Theory of Computing Systems
Advanced Graph Theory Research
article

2-Colorable Perfect Matching is NP-complete in 2-Connected 3-Regular Planar Graphs

Kritkorn Karntikoon, Erik D. Demaine, Nipun Pitimanaaree
article en

Abstract

Abstract The 2-colorable perfect matching problem asks whether a graph can be colored with two colors so that each node has exactly one neighbor with the same color as itself. We prove that this problem is NP-complete, even when restricted to 2-connected 3-regular planar graphs. In 1978, Schaefer proved that this problem is NP-complete in general graphs, and claimed without proof that the same result holds when restricted to 3-regular planar graphs. Thus we fill in the missing proof of this claim, while simultaneously strengthening to 2-connected graphs (which implies existence of a perfect matching). We also prove NP-completeness of k -colorable perfect matching, for any fixed $$k \ge 2$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>2</mml:mn> </mml:mrow> </mml:math> .

Theory of Computing SystemsVol. 69(2)
Princeton University (US), Alpha-1 Foundation (US), Massachusetts Institute of Technology (US)
Massachusetts Institute of Technology
Openalex Percentile: Top 90%
Advanced Graph Theory Research
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.