加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
敏感性猜想的变体 Pooya Hatami, Raghav Kulkarni and Denis Pankratov 1011.0354 cs.CC 2010-11-02
代码问题的间隔最小距离的简单确定性规约 Per Austrin and Subhash Khot 1010.1481 cs.CC 2010-10-08
巴尔局部拟度量空间:计算机科学中渐近复杂性分析的数学工具 M.A. Cerd`a-Uguet, M.P. Schellekens, O. Valero 1009.6105 cs.CC 2010-10-01
4-正则图中计算欧拉环的复杂性 Qi Ge, Daniel Stefankovic 1009.5019 cs.CC 2010-09-28
广义量子有限自动机在语言识别中的应用(摘要和海报) Abuzer Yakaryilmaz and A. C. Cem Say 0901.2703 cs.CC 2010-09-20
利用亚对数空间进行量子函数计算(摘要和海报) A. C. Cem Say and Abuzer Yakaryilmaz 1009.3124 cs.CC 2010-09-17
3SAT问题的多项式时间解决方法 Luigi Salemi 0909.3868 cs.CC 2010-09-14
知识识别算法使得P = NP Han Xiao Wen 1009.0884 cs.CC 2010-09-07
显式证明与翻转 Ketan Mulmuley 1009.0246 cs.CC 2010-09-02
独立性性质的拆分 Arnab Bhattacharyya and Elena Grigorescu and Jakob Nordstr"om and Ning Xie 1008.4401 cs.CC 2010-08-30
保守一般值CSP的二分定理 Vladimir Kolmogorov 1008.4035 cs.CC 2010-08-25
广义的由对称锦标赛对多态定义的可解VCSPs Vladimir Kolmogorov, Stanislav Zivny 1008.3104 cs.CC 2010-08-19
使用拉动移动的运动规划 Marcus Ritt 1008.2952 cs.CC 2010-08-18
理解证明复杂性中的空间:通过替换实现分离和权衡 Eli Ben-Sasson and Jakob Nordstr"om 1008.1789 cs.CC 2010-08-12
保守有限值CSP的复杂性 Vladimir Kolmogorov, Stanislav Zivny 1008.1555 cs.CC 2010-08-10
有关具有非负权重的有向图同态的可判定二分定理 Jin-Yi Cai and Xi Chen 1008.0915 cs.CC 2010-08-06
用匹配门的全息算法精确捕获平面#CSP问题 Jin-Yi Cai and Pinyan Lu and Mingji Xia 1008.0683 cs.CC 2010-08-05
非交换公式上的代数证明 Iddo Tzameret 1004.2159 cs.CC 2010-08-03
高功率输入的浅层电路 Pascal Koiran (LIP) 1004.4960 cs.CC 2010-08-02
关于函数,其中函数输入描述了函数的内部工作 Rade Vuckovac 1007.4660 cs.CC 2010-07-28
一带线性时间图灵机理论 Kohtaro Tadaki, Tomoyuki Yamakami, and Jack C.H. Lin cs/0310046 cs.CC 2010-07-20
多变量多项式中单项式的测试复杂性 Zhixiang Chen and Bin Fu 1007.2673 cs.CC 2010-07-19
多变量多项式中单项式的测试算法 Zhixiang Chen and Bin Fu and Yang Liu and Robert Schweller 1007.2675 cs.CC 2010-07-19
指令序列和非均匀复杂性理论 J. A. Bergstra, C. A. Middelburg 0809.0352 cs.CC 2010-07-15
NP = PSPACE (非确定性多项式时间等于多项式空间) Norichika Matsuki 1007.1868 cs.CC 2010-07-14