在 RB 模型中隐藏解：强制实例与未强制实例几乎同样难解
计算复杂性
2021-03-16 v2 组合数学
摘要
本文研究了 RB 模型的强制实例空间，其中已强加了一个或两个任意满足赋值。我们严格证明了强制 RB 实例的解的期望数量在渐近意义上与未强制实例相同。此外，强制 RB 实例在相应强制实例空间中的分布，在渐近意义上与未强制 RB 实例在未强制实例空间中的分布相同。这些结果表明，隐藏赋值不会导致易解的布尔公式，且求解强制 RB 实例的难度与未强制 RB 实例相同。
引用
@article{arxiv.2103.06649,
title = {Hiding solutions in model RB: Forced instances are almost as hard as unforced ones},
author = {Guangyan Zhou},
journal= {arXiv preprint arXiv:2103.06649},
year = {2021}
}
备注
27 pages