浮生之居士

1.SAT问题(SATISFIABILITY) [判断合取范式（有限个简单析取式的合取）是否可满足] 判断析取范式（有限个简单合取式的析取）是否为永真式 2. 0-1整数规划(0-1 INTEGERPROGRAMMING) 3. 最小点覆盖(NODE COVER) 4. 集合覆盖 (SET COVERING) 5. 图着色数(CHROMATICNUM...

文艺复兴以来，源远流长的科学精神和逐步形成的科学规范，使西方国家在自然科学的各个领域取得了垄断性的优势；也正是这样的优势，使美国在信息技术发展的六十多年间名家辈出、独领风骚。-----机械工业出版社目录一.双方通信复杂性二.单色矩形三.Communication Complexity and Rank四.The Lifting Theorem一.双方通信复杂性以确定性协议为例：A pro...