加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
递归的教科书案例 Donald E. Knuth cs/9301113 cs.CC 2008-02-03
确定性有限状态自动机中正则语言的通信复杂度 Anil Ada 0801.4777 cs.CC 2008-02-01
排列群的双陪集成员问题 Oleg Verbitsky 0801.4911 cs.CC 2008-02-01
排列群共轭的零知识证明 Oleg Verbitsky 0801.4917 cs.CC 2008-02-01
关于Yatsenko用于解决旅行商问题的多项式时间算法的分析和反例 Christopher Clingerman, Jeremiah Hemphill, Corey Proscia 0801.0474 cs.CC 2008-01-04
非交换和交换多项式恒等式检验的新结果 V. Arvind, Partha Mukhopadhyay, and Srikanth Srinivasan 0801.0514 cs.CC 2008-01-04
背溯法下背包问题指数级时间下界研究 Xin Li, Tian Liu 0712.3348 cs.CC 2007-12-25
硬约束满足问题在位置1处存在困难间隙 Peter Jonsson, Andrei Krokhin, Fredrik Kuivinen 0712.1532 cs.CC 2007-12-11
在复杂性理论中,对于单向函数的强制、违背结合律、交换律、全性和强非可逆性 Lane A. Hemaspaandra, Joerg Rothe, Amitabh Saxena cs/0503049 cs.CC 2007-11-01
关于一种高效管理复杂系统的新型信息处理方法 Victor Korotkikh and Galina Korotkikh 0710.3961 cs.CC 2007-10-23
P-矩阵识别是co-NP完全的。 Jan Foniok 0710.3519 cs.CC 2007-10-19
实数上的概率通信复杂性 Dima Grigoriev (IRMAR) 0710.2732 cs.CC 2007-10-16
布尔可满足性的连通性:计算与结构的二分 Parikshit Gopalan, Phokion G. Kolaitis, Elitza Maneva, Christos H. Papadimitriou cs/0609072 cs.CC 2007-10-03
瓦里安特理论中的插值 Pascal Koiran (LIP), Sylvain Perifel (LIP) 0710.0360 cs.CC 2007-10-02
从一个有限模糊的最大加自动机开始决定非歧义和顺序性 Ines Klimann (LIAFA), Sylvain Lombardy (LIAFA), Jean Mairesse (LIAFA), Christophe Prieur (LIAFA) 0709.4117 cs.CC 2007-09-27
关于P vs. NP、几何复杂性理论和Flip I的研究:一个高层视角 Ketan D. Mulmuley 0709.0748 cs.CC 2007-09-07
图同构问题是PSPACE完全的 Matthew Delacorte 0708.4075 cs.CC 2007-08-31
在GF(3^q)中计算Permanent的多项式时间算法 Vadim Tarin 0708.3568 cs.CC 2007-08-28
属性估计与拟对称性的测试 Krzysztof Majewski and Nicholas Pippenger 0708.2105 cs.CC 2007-08-17
小型弱通用图灵机 Turlough Neary and Damien Woods 0707.4489 cs.CC 2007-08-01
关于通用案例复杂性的报告 Robert Gilman, Alexei G. Miasnikov, Alexey D. Myasnikov, Alexander Ushakov 0707.1364 cs.CC 2007-07-11
有限自动机的辅助问题求解与分解 Peter Gav{z}i, Branislav Rovan 0707.0430 cs.CC 2007-07-04
论文标题的中文翻译为:关于完备问题的规范形式与一阶投影 Nerio Borges, Blai Bonet 0706.3412 cs.CC 2007-06-26
费恩斯坦对P不等于NP的证明的批判 Kyle Sabo, Ryan Schmitt, Michael Silverman 0706.2035 cs.CC 2007-06-15
用于测试整除性的最小确定有限状态自动机 Boris Alexeev cs/0309052 cs.CC 2007-06-13