[论文解读] Unary Subset-Sum is in Logspace

Daniel M. Kane|arXiv (Cornell University)|Dec 6, 2010

Rough Sets and Fuzzy Logic参考文献 2被引用 7

一句话总结

本文提出了一种针对一元子集和问题的对数空间算法，利用生成函数和大素数上的模算术来判断子集是否存在。该文证明了一元子集和问题属于L（对数空间），解决了小空间计算领域长期悬而未决的开放问题，并进一步扩展至向量值输入以及通过中国剩余定理解决近似计数问题。

ABSTRACT

We present a simple Logspace algorithm that solves the Unary Subset-Sum problem.

研究动机与目标

• 解决关于一元子集和问题是否属于L（对数空间）这一基本问题，这是小空间复杂度领域的一个核心开放问题。
• 提供一种简单、可实现的TC⁰算法，利用模算术和生成函数解决一元子集和问题。
• 将该算法扩展至计算解的数量的同余信息，并支持向量值输入。
• 通过对数空间技术实现近似计数和随机采样解。

提出的方法

• 该算法使用生成函数∏(1 + x^{m_i})来编码子集和，并在模大于C的素数p下进行求值，以检测非零解的数量。
• 通过测试是否存在某个素数p > C，使得∑_{x=1}^{p-1} x^{-B} ∏(1 + x^{m_i}) ≢ 0 mod p来检查是否存在解。
• 其正确性依赖于恒等式：该和 ≡ -A mod p，其中A为和等于B的子集数量，且A ≢ 0当且仅当存在解。
• 素性测试和NextPrime计算通过试除法在对数空间内完成，确保整个算法在对数空间内运行。
• 对于向量值输入，通过将向量以C为基编码为整数，将问题约化为一元子集和问题。
• 通过使用中国剩余定理将多个素数下的结果组合，实现A mod N的对数精度近似计数。

实验结果

研究问题

• RQ1 一元子集和问题是否属于L，即是否可在对数空间内求解？
• RQ2 能否利用模算术和生成函数构造一个简单高效的算法来求解一元子集和问题？
• RQ3 能否将该算法扩展至模m下计算解的数量，或在对数空间内实现解的近似计数？
• RQ4 该方法能否推广至向量值子集和问题及相关问题（如0-1背包问题）？

主要发现

• 一元子集和问题属于L，解决了计算复杂性理论中长期悬而未决的开放问题。
• 该算法在对数空间内运行，且属于TC⁰，表明其具有极低的均匀电路复杂度。
• 对于任意素数p > C，可在对数空间内计算解的数量A模p，使用恒等式∑_{x=1}^{p-1} x^{-B} ∏(1 + x^{m_i}) ≡ -A mod p。
• 通过组合多个素数下的结果，该算法可计算A mod N的对数精度，实现近似计数。
• 该方法可推广至k维向量值输入，该类问题可在O(k log C)空间和C^{O(k)}时间内求解。
• 该算法可通过动态估算解的比例，实现对解空间的随机对数空间采样。