加载中 . . .
中文标题 作者 论文ID 分类简称 发布时间
通过有理函数的求值进行多项式恒等性检测 Dieter van Melkebeek, Andrew Morgan 2211.01062 cs.CC 2022-11-03
你应该嫉妒邻居们蛋糕的平均值 Jamie Tucker-Foltz 2106.11178 cs.CC 2022-11-02
从余边展开角度扩展列表协议 Roy Gotlib, Tali Kaufman 2210.15714 cs.CC 2022-10-31
关于P与NP的问题 Lev Gordeev 2005.00809 cs.CC 2022-10-28
理想、行列式与整理:对于多项式理想证明和使用下界 Robert Andrews, Michael A. Forbes 2112.00792 cs.CC 2022-10-28
P=NP作为四次多项式的最小化、积分或Grassmann数问题,以及新的图同构问题方法的研究 Jarek Duda 1703.04456 cs.CC 2022-10-25
关于识别Stick、BipHook和Max Point-Tolerance图的复杂性 Irena Rusu 2205.09076 cs.CC 2022-10-25
图同构的多项式时间算法 Reiner Czerwinski 0711.2010 cs.CC 2022-10-18
加法机器、自动函数和Floyd与Knuth的开放问题 Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili and Frank Stephan 2111.08969 cs.CC 2022-10-18
图同态的细粒度复杂性参数化研究 Robert Ganian, Thekla Hamm, Viktoriia Korchemna, Karolina Okrasa, Kirill Simonov 2210.06845 cs.CC 2022-10-14
单变量整数多项式的难以检测因素 Alberto Dennunzio, Enrico Formenti, Luciano Margara 2210.07030 cs.CC 2022-10-14
命题模型的最小距离 Mike Behrisch, Miki Hermann, Stefan Mengel, Gernot Salzer 1502.06761 cs.CC 2022-10-13
图同构问题的量子不变量 Hern''an I. de la Cruz, Fernando L. Pelayo, Vicente Pascual, Jose J. Paulet, Fernando Cuartero, Luis Llana, Mauro Mezzini 2209.14914 cs.CC 2022-10-07
分割图中的凸性:Steiner树和支配问题的复杂度 A Mohanapriya, P Renjith, N Sadagopan 2210.02288 cs.CC 2022-10-06
关于无环匹配问题的参数化复杂性 Sahab Hajebi and Ramin Javadi 2109.06004 cs.CC 2022-10-05
整数到实数的多项式时间可计算函数的离散常微分方程描述 Manon Blanc and Olivier Bournez 2209.13599 cs.CC 2022-10-04
关于(简单的)决策树排序 Yogesh Dahiya, Meena Mahajan 2209.12877 cs.CC 2022-09-27
小集合扩展器上独特游戏的强并行重复 Dana Moshkovitz 2103.08743 cs.CC 2022-09-21
VEST是W[2]-hard Michael Skotnica 2209.09788 cs.CC 2022-09-21
在循环中找到公平独立集的复杂性 Ishay Haviv 2011.01770 cs.CC 2022-09-20
人类如何在像证明费马定理或预测希格斯玻色子等任务中取得成功? Leonid A. Levin 2209.09121 cs.CC 2022-09-20
决策树复杂度与块敏感性和度 Rahul Chugh, Supartha Podder and Swagato Sanyal 2209.08042 cs.CC 2022-09-19
关于网格上Tseitin公式的有界深度证明;重新审视 Johan H {a}stad and Kilian Risse 2209.05839 cs.CC 2022-09-14
关于自由斜域中的身份测试和非交换秩计算 V. Arvind and Abhranil Chatterjee and Utsab Ghosal and Partha Mukhopadhyay and C. Ramya 2209.04797 cs.CC 2022-09-13
关于使过渡系统具有可实现性的技术复杂性 Raymond Devillers, Ronny Tredup 2203.09233 cs.CC 2022-09-07