Reconfiguration of satisfying assignments and subset sums: Easy to find, hard to connect

Theoretical Computer Science(2020)

引用 5|浏览83
暂无评分
摘要
We consider the computational complexity of reconfiguration problems, in which one is given two combinatorial configurations satisfying some constraints, and is asked to transform one into the other using elementary operations, while satisfying the constraints at all times. Such problems appear naturally in many contexts, such as model checking, motion planning, enumeration, sampling, and recreational mathematics. We provide hardness results for problems in this family, in which the constraints and operations are particularly simple.
更多
查看译文
关键词
Computational complexity,Reconfiguration,Boolean satisfiability,Subset sum problem
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要