Answers:
情人眼中的情人。但是,我想说A. Bulatov和D. Zhuk独立证明的Feder-Vardi CSP二分法猜想是开创性的结果。
Ryan Williams的非均匀ACC电路下界:
https://people.csail.mit.edu/rrw/acc-lbs.pdf
乌尔米拉·马哈德夫(Urmila Mahadev)进行的量子计算的经典验证:
http://ieee-focs.org/FOCS-2018-Papers/pdfs/59f259.pdf
看起来像是不错的候选人
Huang Hao [1]撰写的这份新论文(据我所知尚未经过同行评审)可能符合条件……它证明了Nisan和Szegedy的敏感性猜想已经开放了大约30年。
[1] 超立方体的诱导子图和敏感性猜想的证明,黄浩。手稿,2019年.https: //arxiv.org/abs/1907.00847
它比10年的期限还高了一年,但是Goldwasser,Kalai和Rothblum撰写的“委派计算:麻瓜的交互式证明”一直是非常有影响力的论文。主要结果是,对于任何对数空间统一计算,都有一个交互的证明,其中证明者在时间poly(n)内运行证明者,在时间n * polylog(n)内通过检验的polylog(n)位运行验证者。
本文已经开始了对交互式证明的研究,并且P中的问题的可验证计算对密码学产生了不可思议的影响,密码学及其后续工作使现实世界中的交互式证明几乎可行。
对于冲击力,可以到达Indyk的地标纸,而Backurs可以限制编辑距离的计算。本文通过链接,k-SAT和SETH显示了计算的局限性。为了限制计算字符串之间的levenshtein距离,本文显示了计算编辑距离的严格界限-违反SETH会更好(首先,SETH可能是错误的,甚至下界更严格)。SETH适用于P中可能存在的问题,为了获得界限或限制算法的应用(可能是计算!)是新的。
或者是P. Goldberg和C.Papadimitrou撰写的关于总函数的统一复杂度的论文,朝总函数 的统一复杂度理论迈进。