大会名称 |
---|
2019年 総合大会 |
大会コ-ド |
2019G |
開催年 |
2019 |
発行日 |
2019-03-05 |
セッション番号 |
DS-1 |
セッション名 |
COMP 学生シンポジウム |
講演日 |
2019/03/19 |
講演場所(会議室等) |
54号館 102教室 |
講演番号 |
DS-1-5 |
タイトル |
Reconfiguration of Satisfying Assignments for CSP |
著者名 |
◎Tatsuhiko Hatanaka, |
キーワード |
constraint satisfaction problem, graph algorithm, parameterized completity |
抄録 |
Constraint satisfaction problem (CSP) is a well-studied combinatorial problem, in which we are asked to find an assignment of values to given variables so as to satisfy all of given constraints. We study a reconfiguration variant of CSP, in which we are given an instance of CSP and two satisfying assignments, and asked to determine whether one assignment can be transformed into the other by changing a single variable assignment at a time, while always remaining satisfying assignment. This problem generalizes several well-studied reconfiguration problems such as Boolean satisfiability reconfiguration, vertex coloring reconfiguration, homomorphism reconfiguration. In this report, we study the problem from the viewpoints of polynomial-time solvability and parameterized complexity. |
本文pdf |
PDF download
|