这是有限域上证明 CSP 问题复杂度二分的初步思路。从满足性 CSP 到计数 CSP 没有本质的难度,但难度在于具体如何为任意问题的约束语言找到与 3-SAT 问题的对应(如果存在)。Bulatov 的论文中包含了更多实在难以理解的技术细节。
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。