编者寄语
计数问题是理论计算机科学中的一类基本问题,广泛出现在组合问题,约束满足问题和物理模型等场景中,核心目标是计算满足特定条件的对象数量或权重总和等。区别于判定问题关注是否有解,计数问题重点关注解的数量,解的权重总和,以及是否可以被高效计算;当精确计数困难时,是否可以通过近似计数和采样方法获取有效信息。
本专题将围绕计数问题的主要研究脉络展开:首先介绍精确计数与计数复杂性中的二分理论,理解哪些问题可以高效计算、哪些问题具有本质困难;随后进一步讨论近似计数与采样方法,说明在精确计算不可行时如何获得有效估计;最后结合物理模型中的配分函数,介绍近似计数、采样算法与物理相变之间的深刻联系,展示计数问题在理论计算机科学、组合数学和统计物理之间的交叉价值。
编委主任:
苏金树 CCF会士 军事科学院教授
本期主编:
邵 帅 CCF理论计算机科学专委执行委员 中国科学技术大学特任教授
点击底部阅读原文,有兴趣的都可以免费学习
目录
点击“阅读原文”浏览《CCF数图焦点》第 期详细内容。
