使用NPO问题进行规约应注意的几个细节
来源:互联网 发布:你见过最美的女生知乎 编辑:程序博客网 时间:2024/05/16 15:46
首先介绍三个经典的NPO问题:3SAT、3DM以及independent dominating set。
1. 3SAT问题在规约时需要保证两个方面,首先是解的可行性,即满足真值指派的即为可行解;再者是需要满足最优性,即:真值最少的赋值。
2. 3DM问题在规约时同样需要保证问题的两个方面,首先是解的可行性,即三维不能有交集;再者是满足最优性,即:满足的解的集合最小。
3. independent dominating set需要保证,首先解的可行性,即满足dominating的vertex必须是independent的,再者满足最优性,即:independent vertex数目最小。
综上,可以观察出,我们在规约时,必须保证可行解的出现,还必须要保证最优解的对应关系。
除此之外,另一个细节是,npo问题(即3SAT、3DM、independent dominating set)具有一个共同点,它们的可行解和最优解之间没有必然的联系,拿3SAT来讲,可行解需要满足真值指派,最优解需要保证真值最少。
所以在证明问题是不是NPO之前,可以先有线考虑上述几个方面,可能会少走很多弯路。
- 使用NPO问题进行规约应注意的几个细节
- JavaScript应注意的几个细节
- 使用SPSS进行Logistic Regression时应注意的问题
- 提升java代码可读性应注意的几个细节
- 设计应注意的细节
- 设计应注意的细节
- 网页设计中应注意的细节问题
- 关于指针应注意的几个小问题
- 使用fopen时应注意的问题
- 使用Sql时应注意的问题
- 使用dll应注意的问题
- 使用bitset应注意的问题
- 使用指针应注意的问题
- 使用缓存应注意的问题
- 使用JDBC应注意的问题
- 使用宏定义应注意的问题
- 应注意的问题
- 游标操作时进行Update应注意的一个问题
- DataTable.Select 方法
- 查看串口,向串口发送数据
- EXPDP和IMPDP使用说明
- C++数据类型
- Linux那些事儿之我是Sysfs
- 使用NPO问题进行规约应注意的几个细节
- 如何在Linux/Windows 下方便使用Weka小记
- web测试的一些经验分享2
- 这个软件真好
- linux设备模型深探
- SPOOL用法小结
- QT项目加载vfw.h编译出错
- 什么是DMZ?
- Delphi、C/C++、Visual Basic数据类型的对照