发表机构
Technical University of Denmark(丹麦技术大学)
机构由 AI 辅助整理,请以论文原文为准。AI 中文总结
该研究将量子 n-着色问题的不可判定性从 n=3 推广到所有 n≥3,通过构造图 G'=(G□K_3)∨K_{n-3} 并证明其与量子 3-可着色性的等价性,实现了初等归约。
AI 中文摘要
量子 n-着色问题,给定图 G,询问是否存在 G 的 n-着色博弈的完美量子策略。此前已知仅对 n=3 时量子 n-着色是不可判定的。我们通过一个初等归约将其推广到所有 n≥3。令 G'=(G□K_3)∨K_{n-3},我们证明 G 是量子 3-可着色的当且仅当 G' 是量子 n-可着色的。
英文摘要
The quantum $n$-coloring problem, given graph $G$, asks whether there exists a perfect quantum strategy for the $n$-coloring game of $G$. Previously it was known that quantum $n$-coloring is undecidable only for $n=3$. We extend this to all $n\geq 3$ with one elementary reduction. Letting $G'=(G\square K_3)\lor K_{n-3}$, we show that $G$ is quantum $3$-colorable if and only if $G'$ is quantum $n$-colorable.