Arc Kayles 是 PSPACE 完全的
Arc Kayles is PSPACE-complete
- CNRS, ENS de Lyon, Université Claude Bernard Lyon 1, LIP UMR 5668(法国国家科学研究中心,里昂高等师范学院,克莱德·贝尔纳·里昂第一大学,LIP联合研究实验室)
机构由 AI 辅助整理,请以论文原文为准。
AI总结:
本文证明了 Arc Kayles 问题是 PSPACE 完全的,解决了 Schaefer 于 1978 年提出的开放问题。
AI中文摘要:
我们证明了 Arc Kayles 问题是 PSPACE 完全的。这解决了 Schaefer 在 1978 年提出的一个问题。
英文摘要:
We show that Arc Kayles is PSPACE-complete. This solves a question raised by Schaefer in 1978.