Holant 克隆与保守 Holant 问题的可近似性

我们构建了 holant 克隆理论以刻画 holant 框架中可表达性这一概念。其作用类似于函数克隆在加权计数约束满足问题研究中所扮演的角色。我们探索了保守 holant 克隆的格局，并确定了函数集 $\mathcal{F}$ 在“保守情形下普适”的情形，即所有函数都包含于由 $\mathcal{F}$ 与所有一元函数共同生成的 holant 克隆中。当 $\mathcal{F}$ 在保守情形下非普适时，我们给出该克隆的简明生成集。我们展示了 holant 克隆理论的效用，用它给出了保守 holant 问题求解近似的复杂性理论完整分类。我们表明，当且仅当 $\mathcal{F}$ 在保守情形下普适时，近似是难解的。