k-satisfiability | BriefGPT

关键词k-satisfiability

搜索结果 - 1

随机子立方体作为约束满足问题的玩具模型
本文报告了一种可精确求解的随机子立方模型，该模型以硬约束满足和优化问题的结构为灵感，复现了随机 k - 可满足和 k - 着色问题的解决方案空间结构，并经历了与这些问题相同的相变。
PDF17 years ago