We show that powersets over structures with a bounded counting sequence can be sampled efficiently without evaluating the generating function. An algorithm is provided, implemented, and tested. Runtimes are comparable to existing Boltzmann samplers reported in the literature.
翻译:本文证明,对于具有有界计数序列的结构,无需计算生成函数即可高效采样其幂集。我们提供了一种算法,并进行了实现与测试。其运行时间与文献中报道的现有玻尔兹曼采样器相当。