Invitation to Combinatorial Reconfiguration (Invited Talk)
Combinatorial reconfiguration studies reachability and related questions over the solution space formed by feasible solutions of an instance of a combinatorial search problem. For example, as the solution space for the satisfiability problem, we may consider the subgraph of the hypercube induced by the satisfying truth assignments of a given CNF formula. Then, the reachability problem for satisfiability is the problem of asking whether two given satisfying truth assignments are contained in the same connected component of the solution space. The study of reconfiguration problems has motivation from a variety of fields such as puzzles, statistical physics, and industry. In this decade, reconfiguration problems have been studied intensively for many central combinatorial search problems, such as satisfiability, independent set and coloring, from the algorithmic viewpoints. Many reconfiguration problems are PSPACE-complete in general, although several efficiently solvable cases have been obtained. In this talk, I will give a broad introduction of combinatorial reconfiguration.
Combinatorial reconfiguration
graph algorithm
Mathematics of computing~Combinatorial algorithms
1:1-1:1
Invited Talk
Partially supported by JSPS KAKENHI Grant Numbers JP18H04091, JP19K11814 and JP20H05793, Japan.
Takehiro
Ito
Takehiro Ito
Graduate School of Information Sciences, Tohoku University, Sendai, Japan
http://www.dais.is.tohoku.ac.jp/take/
https://orcid.org/0000-0002-9912-6898
10.4230/LIPIcs.CPM.2022.1
Takehiro Ito
Creative Commons Attribution 4.0 International license
https://creativecommons.org/licenses/by/4.0/legalcode