- 博客(1)
- 收藏
- 关注
原创 NPC问题实例
1.SAT问题(SATISFIABILITY) [判断合取范式(有限个简单析取式的合取)是否可满足] 判断析取范式(有限个简单合取式的析取)是否为永真式 2. 0-1整数规划(0-1 INTEGERPROGRAMMING) 3. 最小点覆盖(NODE COVER) 4. 集合覆盖 (SET COVERING) 5. 图着色数(CHROMATICNUM...
2018-03-11 22:23:05 6952 1
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人