@techreport{oai:ipsj.ixsq.nii.ac.jp:00238530,
 author = {梅林, 果琳 and 長尾, 篤樹 and Karin, Umebayashi and Atsuki, Nagao},
 issue = {3},
 month = {Aug},
 note = {一般的な判定問題に対し，その解が含む情報を固定することで解を唯一にすることができるかを問う Fewest Clues Problem という枠組みがある．NP 完全問題の FCP バージョンは Σ2P という計算クラスに属すことが知られ，またいくつかの NP 完全問題の FCP バージョンが Σ2P 完全であることが知られている．本研究ではハミルトン閉路問題の FCP バージョンについての計算複雑性を解析し，FCP 1-in-3 SAT からの特殊な多項式時間帰着を用いることで Σ2P 完全であることを示した．またこの結果は入力グラフを二部平面グラフや 3-正則グラフ，split グラフ等に制限しても同様であることを示した．, In the framework known as the Fewest Clues Problem (FCP), the task is to determine whether the solution to a decision problem can be made having unique solution by fixing certain pieces of information. It is known that the FCP versions of NP-complete problems belong to the complexity class Σ2P, and some FCP versions of NP-complete problems are known to be Σ2P-complete. In this study, we analyze the computational complexity of the FCP version of the Hamiltonian Cycle Problem. And we show that it is Σ2P-complete by utilizing a special polynomial-time reduction from the FCP 1-in-3 SAT problem. Furthermore, we show that this result holds even when the input graph is restricted to bipartite graphs, 3-regular graphs, or split graphs.},
 title = {FCPハミルトン閉路問題の計算困難性},
 year = {2024}
}