文件大小：0.54 MB 21页
可定义的不接近性：复印机面临的新挑战
作者
阿尔伯特·阿塞里亚斯 
,
阿努吉·达瓦尔
-
部分： 体积： 第27届EACSL计算机科学逻辑年会（CSL 2018）
系列： 莱布尼茨国际信息学会议录（LIPIcs）
会议： 计算机科学逻辑（CSL） 许可证： 
Creative Commons Attribution 3.0未出口许可证 出版日期：2018-08-29
文件
文件标识符
作者详细信息
引用为 获取BibTex
摘要
主题分类
ACM学科分类
计算理论→复杂性理论和逻辑 计算理论→有限模型理论
关键词
描述性复杂性 近似硬度 最大SAT 顶点覆盖 带计数的定点逻辑
韵律学
-
访问统计信息 总访问次数（每周更新） 0 PDF下载
工具书类
-
S.Abramsky、A.Dawar和P.Wang。 有限模型理论中的卵石效应。 程序中。 第32届IEEE Symp。 计算机科学中的逻辑。， 2017 
-
M.Anderson、A.Dawar和B.Holm。 在不破坏抽象的情况下求解线性程序。 J.ACM，622015年。
-
S.Arora和B.Barak。 计算复杂性：现代方法。 剑桥大学出版社，2009年。
-
S.Arora、C.Lund、R.Motwani、M.Sudan和M.Szegedy。 证明验证和近似问题的硬度。 美国医学杂志，45（3）：501-5551998年。
-
A.阿特塞里亚斯。 关于随机公式不可满足的充分条件。 美国医学会期刊，51:281-3112004。
-
A.Atserias、A.Bulatov和A.Dawar。 仿射方程组和计数无穷逻辑。 理论计算机科学，410（18）：1666-16832009。
-
A.Atserias和V.Dalmau。 分辨率宽度的组合特征。 J.计算。 系统。 科学。， 74:323-334, 2008.
-
A.Atserias和A.Dawar。 可定义的不可接近性：复印机面临的新挑战。 arXiv，2018年。 网址： http://arxiv.org/abs/11806.11307 . -
A.Atserias和J.Ochremiak。 可定义的椭球体方法，平方和证明，以及同构问题。 arxiv 1802.02388。
-
E.Ben-Sasson和A.Wigderson。 简短的证明是狭义的，分辨率很简单。 美国医学杂志，48:149-1692001。
-
A.Dawar。 带计数的定点逻辑的性质和威力。 ACM SIGLOG新闻，第8-21页，2015年。
-
A.Dawar和P.Wang。 有限值CSP的可定义二分法。 在第24届EACSL计算机科学逻辑年会上，CSL 2015，第60-77页，2015。
-
A.Dawar和P.Wang。 CSP的半定规划和lasserre下界的可定义性。 2017年，第32届ACM/IEEE计算机科学逻辑研讨会，LICS。 网址： http://dx.doi.org/10.1109/LICS.2017.8005108 . -
I.迪努尔和萨夫拉。 关于近似最小顶点覆盖的硬度。 《数学年鉴》，162:439–4852005。
-
马丁·格罗。 描述性复杂性、经典化和可定义图结构理论，《逻辑课堂讲稿》第47卷。 剑桥大学出版社，2017年。
-
J.Hástad。 一些最优的不可逼近性结果。 美国医学杂志，48（4）：798-8592001。
-
Lauri Hella。 PTIME中的逻辑层次结构。 信息与计算，129（1）：1-191996。
-
T.霍伦斯坦。 平行重复：简化和无意义的案例。 第三十九届美国计算机学会计算机理论年会论文集，STOC'07，411-419页，美国纽约州纽约市，2007年。 ACM公司。 网址： http://dx.doi.org/10.1145/1250790.1250852 . -
N.Immerman和E.S.Lander。 描述图形：图形标准化的一阶方法。 《复杂性理论回顾》编辑A.Selman。 Springer-Verlag，1990年。
-
S.Khot、D.Minzer和M.Safra。 grassmann图中的伪随机集具有近乎完美的展开。 技术报告TR18-006，计算复杂性电子讨论会（ECCC），2018年。
-
Phokion G Kolaitis和Moshe Y Vardi。 关于数据日志的表达能力：工具和案例研究。 第九届ACM SIGACT-SIGMOD-SIGART数据库系统原理研讨会论文集，第61-71页。 ACM，1990年。
-
Ch.H.Papadimitriou先生。 计算复杂性。 Addison-Wesley，1994年。
-
Ch.H.Papadimitriou和M.Yannakakis。 优化、近似和复杂性类。 J.计算。 系统。 科学。， 43(3):425-440, 1991.
-
拉兹（R.Raz）。 平行重复定理。 SIAM J.计算。， 27(3):763-803, 1998.
-
G.斯科内贝克。 某些k-CSP的线性水平激光下限。 2008年IEEE第49届计算机科学基础年会论文集，第593-602页，2008年。
-
S.Vadhan。 伪随机性，《理论计算机科学基础与趋势》第7:1-3卷。 《基金会与趋势》，2012年12月。
-
V.V.瓦齐拉尼。 近似算法。 斯普林格，2003年。