加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
强健的简化 Jin-Yi Cai, Lane A. Hemaspaandra, Gerd Wechsung cs/9906033 cs.CC 2007-05-23
明确计算:布尔层级和稀疏图灵完备集 Lane A. Hemaspaandra and Joerg Rothe cs/9907033 cs.CC 2007-05-23
多项式时间多选择性 Lane A. Hemaspaandra, Zhigen Jiang, Joerg Rothe and Osamu Watanabe cs/9907034 cs.CC 2007-05-23
简单集合和困难证明方案 Lane A. Hemaspaandra, Joerg Rothe and Gerd Wechsung cs/9907035 cs.CC 2007-05-23
多数决选举的精确分析:刘易斯·卡罗尔于1876年的投票系统在NP并行访问中是完备的 Edith Hemaspaandra, Lane A. Hemaspaandra and Joerg Rothe cs/9907036 cs.CC 2007-05-23
布尔运算、连接和扩展低层次结构 Lane A. Hemaspaandra, Zhigen Jiang, Joerg Rothe and Osamu Watanabe cs/9907037 cs.CC 2007-05-23
朝着复杂理论化解Rice定理的第二步 Lane A. Hemaspaandra and Joerg Rothe cs/9907038 cs.CC 2007-05-23
将NP下界提高到并行NP下界 Edith Hemaspaandra, Lane A. Hemaspaandra and Joerg Rothe cs/9907039 cs.CC 2007-05-23
限制性接受足以解决等价问题 Bernd Borchert, Lane A. Hemaspaandra and Joerg Rothe cs/9907041 cs.CC 2007-05-23
正规语言的构建与多项式的可识别性 Michel Rigo cs/9908018 cs.CC 2007-05-23
查询顺序 Lane A. Hemaspaandra, Harald Hempel, and Gerd Wechsung cs/9909020 cs.CC 2007-05-23
向下崩塌有什么问题:使用Easy-Hard技术将布尔和多项式层次崩溃相互关联 Edith Hemaspaandra, Lane A. Hemaspaandra, and Harald Hempel cs/9910002 cs.CC 2007-05-23
R\_{1-tt}^{SN}(NP) 区分稳健的多对一和图灵完备性 Edith Hemaspaandra, Lane A. Hemaspaandra, and Harald Hempel cs/9910003 cs.CC 2007-05-23
查询顺序简介 Edith Hemaspaandra, Lane A. Hemaspaandra, and Harald Hempel cs/9910004 cs.CC 2007-05-23
查询顺序与多项式层次结构 Edith Hemaspaandra, Lane A. Hemaspaandra, and Harald Hempel cs/9910005 cs.CC 2007-05-23
自我确定的机器 Lane A. Hemaspaandra, Harald Hempel, and Gerd Wechsung cs/9910006 cs.CC 2007-05-23
多项式层次结构内的向下坍缩 Edith Hemaspaandra, Lane A. Hemaspaandra, and Harald Hempel cs/9910007 cs.CC 2007-05-23
在正则语言上的数位系统:算术运算、可识别性和形式幂级数 Michel Rigo cs/9911002 cs.CC 2007-05-23