一致与非一致复杂类的模型论性质 |
| |
引用本文: | 吕义忠,孙慧澄.一致与非一致复杂类的模型论性质[J].自然杂志,1995,17(5):300-300. |
| |
作者姓名: | 吕义忠 孙慧澄 |
| |
作者单位: | 南京航空航天大学计算机系!南京210016(吕义忠),南京大学数学系!南京210093(孙慧澄) |
| |
基金项目: | 863高科技(863-306-05-07-5),南航大基金(S9498-802)资助项目 |
| |
摘 要: | 自从1965年J.Edmonds和A.Cobham提出P-NP问题以来已有30年的研究历史。目前环绕这个问题的大量学术论文和研究专著已使它发展成为计算机科学中最新和最活跃的研究领域之一,近年来,人们除了对由各种类型的图灵机确定的复杂类(如P,NP,PSPACE等)进行研究外,对一些用其他方法定义的非一致复杂类(如P/poly,P/log,NP/poly等)也越来越有兴趣,而且许
|
关 键 词: | 结构复杂性 一致与非一致复杂类 布尔线路 P—NP问题 |
本文献已被 CNKI 维普 等数据库收录! |
|