...
机译:(2 + epsilon)-sat是np-hard
KTH Royal Inst Technol Sch Comp Sci &
Commun Stockholm Sweden;
Carnegie Mellon Univ Comp Sci Dept Pittsburgh PA 15213 USA;
KTH Royal Inst Technol Sch Comp Sci &
Commun Stockholm Sweden;
constraint satisfaction; complexity dichotomy; discrepancy; hypergraph coloring; polymorphisms; probabilistically checkable proofs;
机译:(2 + epsilon)-sat是np-hard
机译:证明NP-Hard假设的多项式算法意味着NP-hard的结论
机译:在温度298.15 K下对饱和五元体系{水加氯化钠(sat)加甘氨酸(sat)加山梨糖醇加蔗糖)和{水加氯化钠(sat)加氯化钡(sat)加山梨糖醇加蔗糖}的同构研究:
机译:(2 + epsilon)-Sat是NP-硬
机译:增量SAT和MAX-SAT近似技术的研究。
机译:具有多重性的De Bruijn Superwalk问题是NP难题
机译:如果精确区间计算问题是Np难,则近似问题也是Np难的:元结果
机译:探究Np-硬假设的多项式算法意味着Np-Hard结论。