@techreport{oai:ipsj.ixsq.nii.ac.jp:00222784, author = {福永, 智渉 and 大久保, 誠也}, issue = {2}, month = {Dec}, note = {本研究では,組み合わせパズルの 1 つである,キンコンカンについて,解の存在判定が NP 完全問題であることを証明する.具体的には,NP 完全問題である平面 3SAT からの多項式時間帰着を用いて,証明を行う., In this study, we prove that the existence determination of a solution is an NP-complete problem for one of the combinatiorial puzzles, Kin-Kon-Kan. Specifically, the proof is based on a polynomial-time reduction from planar 3SAT, which is an NP-complete problem.}, title = {キンコンカンのNP完全性の証明について}, year = {2022} }