图性质的Karp猜想 |
| |
作者姓名: | 李德英 堵丁柱 |
| |
作者单位: | 1. 华中师范大学数学系,武汉,430070 2. 中国科学院数学与系统科学研究院,北京,100080 |
| |
摘 要: | 所有非平凡、单调的图性质的判定树复杂性等于(2^n),其中n是图的顶点数,这就是关于图性质的Karp猜想,综述关于Karp猜想的研究进展。
|
关 键 词: | Karp猜想 判定树 诡函数 图论 逻辑问题 |
收稿时间: | 2000-07-11 |
修稿时间: | 2000-08-16 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
| 点击此处可从《科学通报》浏览原始摘要信息 |
|
点击此处可从《科学通报》下载全文 |
|