模型计数遇见 F0 估计

约束满足问题（CSP）和数据流模型是两种强大的抽象，用于刻画计算机科学不同领域中出现的各种各样的问题。两个社区的发展大多独立进行，彼此之间很少交互。在这项工作中，我们试图探究弥合两个社区之间看似存在的沟通鸿沟是否能为更丰富的基础性见解铺平道路。为此，我们聚焦于两个基础问题：CSP 的模型计数与数据流的零阶频率矩（$F_0$）计算。我们的研究使我们观察到，在分别演化用于模型计数和 $F_0$ 计算的算法框架中，所采用的核心技术存在惊人相似性。我们设计了一种将针对 $F_0$ 估计开发的算法翻译为模型计数算法的方案，从而产生了新的模型计数算法。接着我们观察到，分布式流式计算环境中的算法可转化为用于模型计数的分布式算法。我们随后将注意力转向从计数视角看待流式计算，并展示将 $F_0$ 估计框定为 #DNF 计数的特例，使我们能够获得针对一类丰富流式问题的通用方案，而此前工作对这些问题是逐一具体分析的。特别地，我们的视角产生了一种用于多维范围高效 $F_0$ 估计的先进算法，且分析更为简洁。