activity
20232026
collaborators

8 papers

cs.CC2026

Optimal PSPACE-hardness of Approximating -CSP Reconfiguration

Shuichi Hirahara, Naoto Ohsaka

In the Maxmin -CSP Reconfiguration problem, given a satisfiable -CSP instance and a pair of its satisfying assignments, we are asked to transform one assignment into the othe…

cs.CC2025

Reachability of Independent Sets and Vertex Covers Under Extended Reconfiguration Rules

Shuichi Hirahara, Naoto Ohsaka, Tatsuhiro Suga +3

In reconfiguration problems, we are given two feasible solutions to a graph problem and asked whether one can be transformed into the other via a sequence of feasible intermediate…

cs.CC2025

Asymptotically Optimal Inapproximability of E-SAT Reconfiguration

Shuichi Hirahara, Naoto Ohsaka

In the Maxmin E-SAT Reconfiguration problem, we are given a satisfiable -CNF formula where each clause contains exactly literals, along with a pair of its satisfying…

cs.CC2025

Communication Complexity is NP-hard

Shuichi Hirahara, Rahul Ilango, Bruno Loff

In the paper where he first defined Communication Complexity, Yao asks: \emph{Is computing (the 2-way communication complexity of a given function ) NP-complete?} The pr…

cs.CC2024

Asymptotically Optimal Inapproximability of Maxmin -Cut Reconfiguration

Shuichi Hirahara, Naoto Ohsaka

-Coloring Reconfiguration is one of the most well-studied reconfiguration problems, which asks to transform a given proper -coloring of a graph to another by repeatedly recol…

cs.CC2024

Optimal PSPACE-hardness of Approximating Set Cover Reconfiguration

Shuichi Hirahara, Naoto Ohsaka

In the Minmax Set Cover Reconfiguration problem, given a set system over a universe and its two covers and of…