Information

Event Records

18th CoRe Seminar

Date and time:  2021.11.25 Thu. 10:00-12:00
Venue:  Online
Speaker:  UEHARA, Ryuhei (JAIST, invited talk)
Title:  History of puzzles from the viewpoint of combinatorial reconfiguration
Summary: 
In research on theoretical computer science, the research on games and puzzles have been playing important roles. Especially, in the research on computational complexity, giving simple and intuitive complete problems for some complexity classes will bring us new viewpoints and deep understanding of the classes since the characterizations by the Turing machine model are not necessarily easy to capture. 
 
From historical point of view, since there have been given tons of complete problems for the class NP, it is clarified that some common properties of puzzles characterize the class NP. Recently, it becomes to be possible to solve a fairly large-scape NP complete problems in a realistic time. The reasons are not only development of computers and algorithms; such understanding also plays a certain role. 
 
On the other hand, there had been a group of puzzles whose complexities  were unsolved in the last 5 decades. In recent years, it has gradually  become clear that such puzzles can be explained in the framework of combinatorial reconfiguration. Especially, it is interesting that representative puzzles are all PSPACE-complete. Elucidating simple PSPACE complete problems in the framework of combinatorial reconfiguration is expected to improve the understanding of the structure of class PSPACE, and in the future, it will be possible to solve some PSPACE complete problems in a realistic time.
 
I would like to share some interesting open problems that are interesting from the viewpoint of combinatorial reconfiguration.
 
Update:2021.11.12