The Canon · Computer Science

The most-cited papers in Computational Complexity cs.CC

Ranked by citation count from Semantic Scholar; papers count in their primary category only. The top 250, fifty to a page. For papers whose citations only just took off, see the sleepers.

Provisional: built from 480,031 of about 3.2 million arXiv papers with fresh Semantic Scholar citation counts so far (most-cited first), so some classics are still missing. Counts as of 15 November 2026.

More archives

Retired archives

Computer Science by category

8 more categories

Showing 1–50 of the top 250 · 1,247 papers in cs.CC counted so far

The most-cited papers in cs.CC, ranked by Semantic Scholar citations
Rank#	Paper	Year	Citations	Influential	Per year
1	Fairness Through Awareness Cynthia Dwork, Moritz Hardt, Toniann Pitassi +2 more 20114,684 citations, 293 a year	2011	4,684	500	293
2	Most tensor problems are NP-hard Christopher Hillar, Lek-Heng Lim 20091,422 citations, 79 a year	2009	1,422	117	79
3	Classical Hardness of Learning with Errors Zvika Brakerski, Adeline Langlois, Chris Peikert +2 more 2013757 citations, 54 a year	2013	757	69	54
4	Analytical Approach to Parallel Repetition Irit Dinur, David Steurer 2013581 citations, 42 a year	2013	581	59	42
5	Survey propagation: an algorithm for satisfiability A. Braunstein, M. Mezard, R. Zecchina 2002538 citations, 22 a year	2002	538	45	22
6	A dichotomy theorem for nonuniform CSPs Andrei A. Bulatov 2017518 citations, 52 a year	2017	518	67	52
7	On the Geometry of Differential Privacy Moritz Hardt, Kunal Talwar 2009495 citations, 28 a year	2009	495	63	28
8	A Proof of the CSP Dichotomy Conjecture Dmitriy Zhuk 2017466 citations, 47 a year	2017	466	47	47
9	Edit Distance Cannot Be Computed in Strongly Subquadratic Time (unless SETH is false) Arturs Backurs, Piotr Indyk 2014449 citations, 34 a year	2014	449	21	34
10	Restricted Complexity, General Complexity Edgar Morin 2006381 citations, 18 a year	2006	381	38	18
11	PSPACE-Completeness of Sliding-Block Puzzles and Other Problems through the Nondeterministic Constraint Logic Model of Computation Robert A. Hearn, Erik D. Demaine 2002336 citations, 13 a year	2002	336	45	13
12	The Unique Games Conjecture, Integrality Gap for Cut Problems and Embeddability of Negative Type Metrics into $\ell_1$ Subhash A. Khot, Nisheeth K. Vishnoi 2013322 citations, 23 a year	2013	322	29	23
13	The computational power of population protocols Dana Angluin, James Aspnes, David Eisenstat +1 more 2006312 citations, 15 a year	2006	312	25	15
14	Quantum Arthur-Merlin Games Chris Marriott, John Watrous 2005307 citations, 14 a year	2005	307	65	14
15	Minimizing Communication in Linear Algebra Grey Ballard, James Demmel, Olga Holtz +1 more 2009286 citations, 16 a year	2009	286	12	16
16	A Nearly Tight Sum-of-Squares Lower Bound for the Planted Clique Problem Boaz Barak, Samuel B. Hopkins, Jonathan Kelner +3 more 2016281 citations, 26 a year	2016	281	22	26
17	Non-monotone submodular maximization under matroid and knapsack constraints Jon Lee, Vahab Mirrokni, Viswanath Nagarjan +1 more 2009273 citations, 15 a year	2009	273	33	15
18	Quadratic Conditional Lower Bounds for String Problems and Dynamic Time Warping Karl Bringmann, Marvin Künnemann 2015269 citations, 22 a year	2015	269	13	22
19	Kernelization Lower Bounds By Cross-Composition Hans L. Bodlaender, Bart M. P. Jansen, Stefan Kratsch 2012267 citations, 18 a year	2012	267	33	18
20	Computational Transition at the Uniqueness Threshold Allan Sly 2010261 citations, 15 a year	2010	261	30	15
21	Parallel repetition: simplifications and the no-signaling case Thomas Holenstein 2006260 citations, 12 a year	2006	260	34	12
22	The Dimensions of Individual Strings and Sequences Jack H. Lutz 2002246 citations, 10 a year	2002	246	43	10
23	The Parallelism Tradeoff: Limitations of Log-Precision Transformers William Merrill, Ashish Sabharwal 2022241 citations, 48 a year	2022	241	31	48
24	The matching polytope has exponential extension complexity Thomas Rothvoss 2013239 citations, 17 a year	2013	239	19	17
25	Time-Space Trade-Offs for Predecessor Search Mihai Patrascu, Mikkel Thorup 2006238 citations, 11 a year	2006	238	24	11
26	Playing Games with Algorithms: Algorithmic Combinatorial Game Theory Erik D. Demaine, Robert A. Hearn 2001230 citations, 9 a year	2001	230	4	9
27	A New Multilayered PCP and the Hardness of Hypergraph Vertex Cover Irit Dinur, Venkatesan Guruswami, Subhash Khot +1 more 2003223 citations, 9 a year	2003	223	18	9
28	On the Solution-Space Geometry of Random Constraint Satisfaction Problems Dimitris Achlioptas, Federico Ricci-Tersenghi 2006220 citations, 10 a year	2006	220	16	10
29	Tetris is Hard, Even to Approximate Erik D. Demaine, Susan Hohenberger, David Liben-Nowell 2002218 citations, 9 a year	2002	218	9	9
30	Exact Analysis of Dodgson Elections: Lewis Carroll's 1876 Voting System is Complete for Parallel Access to NP Edith Hemaspaandra, Lane A. Hemaspaandra, Joerg Rothe 1999212 citations, 8 a year	1999	212	9	8
31	Nuclear Norm of Higher-Order Tensors Shmuel Friedland, Lek-Heng Lim 2014212 citations, 16 a year	2014	212	30	16
32	Computing Nash Equilibria: Approximation and Smoothed Complexity Xi Chen, Xiaotie Deng, Shang-Hua Teng 2006202 citations, 10 a year	2006	202	22	10
33	Threshold values of Random K-SAT from the cavity method Stephan Mertens, Marc Mezard, Riccardo Zecchina 2003197 citations, 8 a year	2003	197	17	8
34	Conditional Hardness for Approximate Coloring Irit Dinur, Elchanan Mossel, Oded Regev 2005194 citations, 9 a year	2005	194	15	9
35	Quantum simulations of classical random walks and undirected graph connectivity John Watrous 1998194 citations, 7 a year	1998	194	10	7
36	Complexity limitations on quantum computation Lance Fortnow, John D. Rogers 1998192 citations, 7 a year	1998	192	28	7
37	An Optimal Lower Bound on the Communication Complexity of Gap-Hamming-Distance Amit Chakrabarti, Oded Regev 2010188 citations, 11 a year	2010	188	18	11
38	An Exponential Separation Between Randomized and Deterministic Complexity in the LOCAL Model Yi-Jun Chang, Tsvi Kopelowitz, Seth Pettie 2016188 citations, 17 a year	2016	188	36	17
39	Dimension in Complexity Classes Jack H. Lutz 2002185 citations, 7 a year	2002	185	46	7
40	Lower bounds on the size of semidefinite programming relaxations James R. Lee, Prasad Raghavendra, David Steurer 2014185 citations, 14 a year	2014	185	13	14
41	Almost-Polynomial Ratio Almost-ETH-Hardness of Approximating Densest $k$-Subgraph Pasin Manurangsi 2016182 citations, 16 a year	2016	182	17	16
42	Succinct quantum proofs for properties of finite groups John Watrous 2000180 citations, 7 a year	2000	180	27	7
43	Kolmogorov's Structure Functions and Model Selection Nikolai Vereshchagin, Paul Vitanyi 2002180 citations, 7 a year	2002	180	20	7
44	The Overlap Gap Property: a Geometric Barrier to Optimizing over Random Structures David Gamarnik 2021177 citations, 30 a year	2021	177	13	30
45	Bounds for Small-Error and Zero-Error Quantum Algorithms H. Buhrman, R. Cleve, R. de Wolf +1 more 1999174 citations, 6 a year	1999	174	12	6
46	The Complexity of Constrained Min-Max Optimization Constantinos Daskalakis, Stratis Skoulakis, Manolis Zampetakis 2020173 citations, 25 a year	2020	173	21	25
47	The Hardness of Approximation of Euclidean k-means Pranjal Awasthi, Moses Charikar, Ravishankar Krishnaswamy +1 more 2015171 citations, 14 a year	2015	171	14	14
48	Algebraic approach to promise constraint satisfaction Libor Barto, Jakub Bulín, Andrei Krokhin +1 more 2018171 citations, 19 a year	2018	171	49	19
49	The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies Parikshit Gopalan, Phokion G. Kolaitis, Elitza Maneva +1 more 2006169 citations, 8 a year	2006	169	23	8
50	Some Applications of Coding Theory in Computational Complexity Luca Trevisan 2004168 citations, 7 a year	2004	168	8	7

Citation data from Semantic Scholar, via the Semantic Scholar Academic Graph API.