Constraint satisfaction problems (CSPs) and data stream models are two powerful abstractions to capture a wide variety of problems arising in different domains of computer science. Developments in the two communities have mostly occurred independently and with little interaction between them. In this work, we seek to investigate whether bridging the seeming communication gap between the two communities may pave the way to richer fundamental insights. To this end, we focus on two foundational problems: model counting for CSPs and computation of zeroth frequency moments (F0) for data streams.

中文翻译：

---

模型计数遇到数据流中的不同元素

约束满足问题 (CSP) 和数据流模型是两个强大的抽象，用于捕获计算机科学不同领域中出现的各种问题。这两个社区的发展大多是独立发生的，它们之间几乎没有互动。在这项工作中，我们试图调查弥合两个社区之间看似沟通的差距是否可以为更丰富的基本见解铺平道路。为此，我们关注两个基本问题：CSP 的模型计数和数据流的零频矩 (F0) 的计算。