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.
翻译:我们证明了对于具有有界计数序列的结构,其幂集可以在不计算生成函数的情况下进行高效采样。本文提供了一种算法,并进行了实现与测试。其运行时间与文献中报道的现有玻尔兹曼采样器相当。