Showing 1–3 of 3 results for author: Nagao, A

Meta Theorem for Hardness on FCP-Problem

Authors: Atsuki Nagao, Mei Sekiguchi

Abstract: The Fewest Clues Problem (FCP) framework has been introduced to study the complexity of determining whether a solution to an \NP~problem can be uniquely identified by specifying a subset of the certificate. For a given problem $P \in \NP$, its FCP variant is denoted by FCP-$P$. While several \NP-complete problems have been shown to have $Σ_2^\p$-complete FCP variants, it remains open whether this… ▽ More The Fewest Clues Problem (FCP) framework has been introduced to study the complexity of determining whether a solution to an \NP~problem can be uniquely identified by specifying a subset of the certificate. For a given problem $P \in \NP$, its FCP variant is denoted by FCP-$P$. While several \NP-complete problems have been shown to have $Σ_2^\p$-complete FCP variants, it remains open whether this holds for all \NP-complete problems. In this work, we propose a meta-theorem that establishes the $Σ_2^\p$-completeness of FCP-$P$ under the condition that the \NP-hardness of $P$ is proven via a polynomial-time reduction satisfying certain structural properties. Furthermore, we apply the meta-theorem to demonstrate the $Σ_2^\p$-completeness of the FCP variants of several \NP-complete problems. △ Less

Submitted 16 April, 2025; originally announced April 2025.

MSC Class: 68Q15 ACM Class: F.1.3

On the complexity of finding a spanning even tree in a graph

Authors: Tesshu Hanaka, Yasuaki Kobayashi, Kazuhiro Kurita, Yasuko Matsui, Atsuki Nagao, Hirotaka Ono, Kazuhisa Seto

Abstract: A tree is said to be even if for every pair of distinct leaves, the length of the unique path between them is even. In this paper we discuss the problem of determining whether an input graph has a spanning even tree. Hofmann and Walsh [Australas. J Comb. 35, 2006] proved that this problem can be solved in polynomial time on bipartite graphs. In contrast to this, we show that this problem is NP-com… ▽ More A tree is said to be even if for every pair of distinct leaves, the length of the unique path between them is even. In this paper we discuss the problem of determining whether an input graph has a spanning even tree. Hofmann and Walsh [Australas. J Comb. 35, 2006] proved that this problem can be solved in polynomial time on bipartite graphs. In contrast to this, we show that this problem is NP-complete even on planar graphs. We also give polynomial-time algorithms for several restricted classes of graphs, such as split graphs, cographs, cobipartite graphs, unit interval graphs, and block graphs. △ Less

Submitted 23 December, 2024; originally announced December 2024.

Comments: 12 pages

Feedback game on Eulerian graphs

Authors: Naoki Matsumoto, Atsuki Nagao

Abstract: In this paper, we introduce a two-player impartial game on graphs, called a {\em feedback game}, which is a variant of the generalized geography. We study the feedback game on Eulerian graphs. In particular, we show that the PSPACE-completeness of the game and determine the winner of the game on several classes of Eulerian graphs. In this paper, we introduce a two-player impartial game on graphs, called a {\em feedback game}, which is a variant of the generalized geography. We study the feedback game on Eulerian graphs. In particular, we show that the PSPACE-completeness of the game and determine the winner of the game on several classes of Eulerian graphs. △ Less

Submitted 21 February, 2020; originally announced February 2020.

Comments: 16 pages, 12 figures

MSC Class: 05C57; 05C45; 91A43; 91A46