Powered by
57th Annual ACM Symposium on Theory of Computing (STOC 2025), June 23–27, 2025,
Prague, Czechia
Frontmatter
Best Papers
Vizing’s Theorem in Near-Linear Time
Sepehr Assadi,
Soheil Behnezhad,
Sayan Bhattacharya,
Martín Costa,
Shay Solomon, and
Tianyi Zhang
(University of Waterloo, Canada; Northeastern University, USA; University of Warwick, UK; Tel Aviv University, Israel; ETH Zurich, Switzerland)
Publisher's Version
Video
Session 2A
Session 2B
Session 2C
Session 2D
Session 4A
Session 4B
Session 4C
Distributed Quantum Advantage for Local Problems
Alkida Balliu,
Sebastian Brandt,
Xavier Coiteux-Roy,
Francesco d'Amore,
Massimo Equi,
François Le Gall,
Henrik Lievonen,
Augusto Modanese,
Dennis Olivetti,
Marc-Olivier Renou,
Jukka Suomela,
Lucas Tendick, and
Isadora Veeren
(Gran Sasso Science Institute, Italy; CISPA Helmholtz Center for Information Security, Germany; University of Calgary, Canada; TU Munich, Germany; Munich Center for Quantum Science and Technology, Germany; Bocconi University, Italy; Bocconi Institute for Data Science and Analytics, Italy; Aalto University, Finland; Nagoya University, Japan; Inria - Universitée Paris-Saclay - CPHT - Ecole Polytechnique - Institut Polytechnique de Paris, France)
Publisher's Version
Session 4D
Session 5A
Session 5B
Session 5C
Session 5D
Session 6A
Session 6B
Session 6C
Session 6D
Testing vs Estimation for Index-Invariant Properties in the Huge Object Model
Sourav Chakraborty,
Eldar Fischer,
Arijit Ghosh,
Amit Levi,
Gopinath Mishra, and
Sayantan Sen
(Indian Statistical Institute, Kolkata, India; Technion, Israel; University of Haifa, Israel; National University of Singapore, Singapore)
Publisher's Version
Session 7A
Session 7B
Solving the Correlation Cluster LP in Sublinear Time
Nairen Cao,
Vincent Cohen-Addad,
Euiwoong Lee,
Shi Li,
David Rasmussen Lolck,
Alantha Newman,
Mikkel Thorup,
Lukas Vogl,
Shuyi Yan, and
Hanwen Zhang
(New York University, USA; Google Research, USA; University of Michigan, USA; Nanjing University, China; University of Copenhagen, Denmark; University Grenoble Alpes, France; EPFL, Switzerland)
Publisher's Version
Session 7C
Learning the Closest Product State
Ainesh Bakshi,
John Bostanci,
William Kretschmer,
Zeph Landau,
Jerry Li,
Allen Liu,
Ryan O'Donnell, and
Ewin Tang
(Massachusetts Institute of Technology, USA; Columbia University, USA; University of California at Berkeley, USA; University of Washington, USA; Carnegie Mellon University, USA)
Publisher's Version
Session 7D
Online Locality Meets Distributed Quantum Computing
Amirreza Akbari,
Xavier Coiteux-Roy,
Francesco d'Amore,
François Le Gall,
Henrik Lievonen,
Darya Melnyk,
Augusto Modanese,
Shreyas Pai,
Marc-Olivier Renou,
Václav Rozhoň, and
Jukka Suomela
(Aalto University, Finland; University of Calgary, Canada; TU Munich, Germany; Munich Center for Quantum Science and Technology, Germany; Bocconi University, Italy; Gran Sasso Science Institute, Italy; Nagoya University, Japan; TU Berlin, Germany; IIT Madras, India; Inria - Université Paris-Saclay, France; Ecole Polytechnique, France; INSAIT, Bulgaria)
Publisher's Version
Session 8A
Truly Supercritical Trade-Offs for Resolution, Cutting Planes, Monotone Circuits, and Weisfeiler–Leman
Susanna F. de Rezende,
Noah Fleming,
Duri Andrea Janett,
Jakob Nordström, and
Shuo Pang
(Lund University, Sweden; Memorial University of Newfoundland, Canada; University of Copenhagen, Denmark)
Publisher's Version
Session 8B
Session 8C
Session 8D
Session 9A
Session 9B
SoS Certificates for Sparse Singular Values and Their Applications: Robust Statistics, Subspace Distortion, and More
Ilias Diakonikolas,
Samuel B. Hopkins,
Ankit Pensia, and
Stefan Tiegel
(University of Wisconsin-Madison, USA; Massachusetts Institute of Technology, USA; Simons Institute for the Theory of Computing, Berkeley, USA; University of California at Berkeley, USA; ETH Zurich, Switzerland)
Publisher's Version
Session 9C
Session 9D
Session 10A
Session 10B
Session 10C
Session 10D
Session 11A
Almost Optimal Time Lower Bound for Approximating Parameterized Clique, CSP, and More, under ETH
Venkatesan Guruswami,
Bingkai Lin,
Xuandi Ren,
Yican Sun, and
Kewen Wu
(University of California at Berkeley, USA; Nanjing University, China; Peking University, China)
Publisher's Version
Session 11B
Session 11C
Global vs. s-t Vertex Connectivity Beyond Sequential: Almost-Perfect Reductions and Near-Optimal Separations
Joakim Blikstad,
Yonggang Jiang,
Sagnik Mukhopadhyay, and
Sorrachai Yingchareonthawornchai
(CWI, Netherlands; KTH Royal Institute of Technology, Sweden; MPI-INF, Germany; Saarland University, Germany; University of Birmingham, UK; ETH Zurich, Switzerland; Hebrew University of Jerusalem, Israel)
Publisher's Version
Session 11D
proc time: 1.52