default search action
54th STOC 2022: Rome, Italy
- Stefano Leonardi, Anupam Gupta:
STOC '22: 54th Annual ACM SIGACT Symposium on Theory of Computing, Rome, Italy, June 20 - 24, 2022. ACM 2022, ISBN 978-1-4503-9264-8
Session 1A
- Hamoon Mousavi, Seyed Sajjad Nezhadi, Henry Yuen:
Nonlocal games, compression theorems, and the arithmetical hierarchy. 1-11 - Anurag Anshu, Itai Arad, David Gosset:
An area law for 2d frustration-free spin systems. 12-18 - Sevag Gharibian, François Le Gall:
Dequantizing the Quantum singular value transformation: hardness and applications to Quantum chemistry and the Quantum PCP conjecture. 19-32 - Arjan Cornelissen, Yassine Hamoudi, Sofiène Jerbi:
Near-optimal Quantum algorithms for multivariate mean estimation. 33-43 - Anurag Anshu, Zeph Landau, Yunchao Liu:
Distributed Quantum inner product estimation. 44-51
Session 1B
- Nikhil Bansal, Ohad N. Feldheim:
The power of two choices in graphical allocation. 52-63 - George Giakkoupis:
Expanders via local edge flips in quasilinear time. 64-76 - Zhihao Gavin Tang, Jinzhao Wu, Hongxun Wu:
(Fractional) online stochastic matching via fine-grained offline statistics. 77-90 - Zhiyi Huang, Xinkai Shu, Shuyi Yan:
The power of multiple choices in online stochastic matching. 91-103 - Janardhan Kulkarni, Yang P. Liu, Ashwin Sah, Mehtaab Sawhney, Jakub Tarnawski:
Online edge coloring via tree recurrences and correlation decay. 104-116
Session 1C
- Andreas Björklund, Thore Husfeldt, Petteri Kaski:
The shortest even cycle problem is tractable. 117-130 - Zhiyang He, Jason Li:
Breaking the nk barrier for minimum k-cut on simple graphs. 131-136 - Ruoxu Cen, Jason Li, Debmalya Panigrahi:
Edge connectivity augmentation in near-linear time. 137-150 - Seth Pettie, Thatchaphol Saranurak, Longhui Yin:
Optimal vertex connectivity oracles. 151-161 - Sam Coy, Artur Czumaj:
Deterministic massively parallel connectivity. 162-175
Session 2A
- Tom Gur, Noam Lifshitz, Siqi Liu:
Hypercontractivity on high dimensional expanders. 176-184 - Mitali Bafna, Max Hopkins, Tali Kaufman, Shachar Lovett:
Hypercontractivity on high dimensional expanders. 185-194 - Gilad Chase, Yuval Filmus, Dor Minzer, Elchanan Mossel, Nitin Saurabh:
Approximate polymorphisms. 195-202 - Alexandros Eskenazis, Paata Ivanisvili:
Learning low-degree functions from a logarithmic number of random queries. 203-207 - Srinivasan Arunachalam, Penghui Yao:
Positive spectrahedra: invariance principles and pseudorandom generators. 208-221
Session 2B
- Xi Chen, Rajesh Jayaram, Amit Levi, Erik Waingarten:
New streaming algorithms for high dimensional EMD and MST. 222-233 - Sepehr Assadi, Pankaj Kumar, Parth Mittal:
Brooks' theorem in graph streams: a single-pass semi-streaming algorithm for ∆-coloring. 234-247 - Manuela Fischer, Slobodan Mitrovic, Jara Uitto:
Deterministic (1+ε)-approximate maximum matching with poly(1/ε) passes in the semi-streaming model and beyond. 248-260 - Sepehr Assadi, Andrew Chen, Glenn Sun:
Deterministic graph coloring in the streaming model. 261-274 - Chi-Ning Chou, Alexander Golovnev, Madhu Sudan, Ameya Velingker, Santhoshini Velusamy:
Linear space streaming lower bounds for approximating CSPs. 275-288
Session 2C
- Fabrizio Grandoni, Tobias Mömke, Andreas Wiese:
A PTAS for unsplittable flow on a path. 289-302 - Julia Chuzhoy, Zihan Tan:
A subpolynomial approximation algorithm for graph crossing number in low-degree graphs. 303-316 - Matthias Englert, Nicolaos Matsakis, Pavel Veselý:
Improved approximation guarantees for shortest superstrings using cycle classification by overlap to length ratios. 317-330 - Nikhil Bansal, Lars Rohwedder, Ola Svensson:
Flow time scheduling and prefix Beck-Fiala. 331-342 - Vincent Cohen-Addad:
Bypassing the surface embedding: approximation schemes for network design in minor-free graphs. 343-356
Award Papers Session I: Best Papers
- Irit Dinur, Shai Evra, Ron Livne, Alexander Lubotzky, Shahar Mozes:
Locally testable codes with constant rate, distance, and locality. 357-374 - Pavel Panteleev, Gleb Kalachev:
Asymptotically good Quantum and locally testable classical LDPC codes. 375-388
Session 3A
- Robert Andrews, Michael A. Forbes:
Ideals, determinants, and straightening: proving and using lower bounds for polynomial ideals. 389-402 - Vishwas Bhargava, Sumanta Ghosh, Mrinal Kumar, Chandra Kanta Mohapatra:
Fast, algebraic multivariate multipoint evaluation in small characteristic and applications. 403-415 - Sébastien Tavenas, Nutan Limaye, Srikanth Srinivasan:
Set-multilinear and non-commutative formula lower bounds for iterated matrix multiplication. 416-425 - Amitay Kamber, Tali Kaufman:
Combinatorics via closed orbits: number theoretic Ramanujan graphs are not unique neighbor expanders. 426-435 - Andrei A. Bulatov, Akbar Rafiey:
On the complexity of CSP-based ideal membership problems. 436-449
Session 3B
- Magnús M. Halldórsson, Fabian Kuhn, Alexandre Nolin, Tigran Tonoyan:
Near-optimal distributed degree+1 coloring. 450-463 - Alkida Balliu, Sebastian Brandt, Fabian Kuhn, Dennis Olivetti:
Distributed ∆-coloring plays hide-and-seek. 464-477 - Václav Rozhon, Christoph Grunau, Bernhard Haeupler, Goran Zuzic, Jason Li:
Undirected (1+ε)-shortest paths via minor-aggregates: near-optimal deterministic parallel and distributed algorithms. 478-487 - Mohammad Taghi Hajiaghayi, Dariusz R. Kowalski, Jan Olkowski:
Improved communication complexity of fault-tolerant consensus. 488-501 - Shang-En Huang, Seth Pettie, Leqi Zhu:
Byzantine agreement in polynomial time with near-optimal resilience. 502-514
Session 3C
- Xavier Allamigeon, Stéphane Gaubert, Nicolas Vandame:
No self-concordant barrier interior point method is strongly polynomial. 515-528 - Arun Jambulapati, Yang P. Liu, Aaron Sidford:
Improved iteration complexities for overconstrained p-norm regression. 529-542 - Jan van den Brand, Yu Gao, Arun Jambulapati, Yin Tat Lee, Yang P. Liu, Richard Peng, Aaron Sidford:
Faster maxflow via improved dynamic spectral vertex sparsifiers. 543-556 - Richard Peng, Zhuoqing Song:
Sparsified block elimination for directed laplacians. 557-567 - Zipei Nie:
Matrix anti-concentration inequalities with applications. 568-581
Session 4A
- Klim Efremenko, Bernhard Haeupler, Yael Tauman Kalai, Pritish Kamath, Gillat Kol, Nicolas Resch, Raghuvansh R. Saxena:
Circuits resilient to short-circuit errors. 582-594 - Inbar Ben Yaacov, Gil Cohen, Tal Yankovitz:
Explicit binary tree codes with sub-logarithmic size alphabet. 595-608 - Meghal Gupta, Yael Tauman Kalai, Rachel Yun Zhang:
Interactive error correcting codes over binary erasure channels resilient to > ½ adversarial corruption. 609-622 - Guy Blanc, Caleb Koch, Jane Lange, Li-Yang Tan:
The query complexity of certification. 623-636
Session 4B
- Samuel B. Hopkins, Prasad Raghavendra, Abhishek Shetty:
Matrix discrepancy from Quantum communication. 637-648 - Daniel Dadush, Haotian Jiang, Victor Reis:
A new framework for matrix discrepancy: partial coloring bounds via mirror descent. 649-658 - Yeshwanth Cherapanamjeri, Jelani Nelson:
Uniform approximations for Randomized Hadamard Transforms with applications. 659-671 - Siqi Liu, Sidhanth Mohanty, Tselil Schramm, Elizabeth Yang:
Testing thresholds for high-dimensional sparse random geometric graphs. 672-677 - Venkatesan Guruswami, Pravesh K. Kothari, Peter Manohar:
Algorithms and certificates for Boolean CSP refutation: smoothed is no harder than random. 678-689
Session 4C
- Shahar Dobzinski, Shiri Ron, Jan Vondrák:
On the hardness of dominant strategy mechanism design. 690-703 - Yang Cai, Argyris Oikonomou, Mingfei Zhao:
Computing simple mechanisms: Lift-and-round over marginal reduced forms. 704-717 - Yuan Deng, Jieming Mao, Balasubramanian Sivan, Kangning Wang:
Approximately efficient bilateral trade. 718-721 - Shuchi Chawla, Rojin Rezvan, Yifeng Teng, Christos Tzamos:
Pricing ordered items. 722-735 - Ioannis Anagnostides, Constantinos Daskalakis, Gabriele Farina, Maxwell Fishelson, Noah Golowich, Tuomas Sandholm:
Near-optimal no-regret learning for correlated equilibria in multi-player general-sum games. 736-749
Session 5A
- Dorit Aharonov, Sandy Irani:
Hamiltonian complexity in the thermodynamic limit. 750-763 - James D. Watson, Toby S. Cubitt:
Computational complexity of the ground state energy density problem. 764-775 - Matthew B. Hastings, Ryan O'Donnell:
Optimizing strongly interacting fermionic Hamiltonians. 776-789 - Omri Shmueli:
Public-key Quantum money with a classical bank. 790-803 - Zvika Brakerski, Henry Yuen:
Quantum garbled circuits. 804-817
Session 5B
- Russell Impagliazzo, Rex Lei, Toniann Pitassi, Jessica Sorrell:
Reproducibility in learning. 818-831 - Sitan Chen, Frederic Koehler, Ankur Moitra, Morris Yau:
Kalman filtering with adversarial corruptions. 832-845 - Constantinos Daskalakis, Noah Golowich:
Fast rates for nonparametric online learning: from realizability to learning in games. 846-859 - Emmanuel Abbe, Shuangping Li, Allan Sly:
Binary perceptron: efficient algorithms can find solutions in a rare well-connected cluster. 860-873 - Ilias Diakonikolas, Daniel M. Kane, Vasilis Kontonis, Christos Tzamos, Nikos Zarifis:
Learning general halfspaces with general Massart noise under the Gaussian distribution. 874-885
Session 5C
- Fedor V. Fomin, Tuukka Korhonen:
Fast FPT-approximation of branchwidth. 886-899 - Bart M. P. Jansen, Michal Wlodarczyk:
Lossy planarization: a constant-factor approximate kernelization for planar vertex deletion. 900-913 - Daniel Lokshtanov, Marcin Pilipczuk, Michal Pilipczuk, Saket Saurabh:
Fixed-parameter tractability of graph isomorphism in graphs with an excluded minor. 914-923 - Édouard Bonnet, Ugo Giocanti, Patrice Ossona de Mendez, Pierre Simon, Stéphan Thomassé, Szymon Torunczyk:
Twin-width IV: ordered graphs and matrices. 924-937 - Eun Jung Kim, Stefan Kratsch, Marcin Pilipczuk, Magnus Wahlström:
Directed flow-augmentation. 938-947
Award Papers Session II: Best Student Papers
- Meghal Gupta, Rachel Yun Zhang:
The optimal error resilience of interactive communication over binary channels. 948-961 - Zhiyuan Fan, Jiatu Li, Tianqi Yang:
The exact complexity of pseudorandom functions and the black-box natural proof barrier for bootstrapping results in computational complexity. 962-975
Session 6A
- Amey Bhangale, Subhash Khot, Dor Minzer:
On approximability of satisfiable k-CSPs: I. 976-988 - Euiwoong Lee, Suprovat Ghoshal:
A characterization of approximability for biased CSPs. 989-997 - Uma Girish, Justin Holmgren, Kunal Mittal, Ran Raz, Wei Zhan:
Parallel repetition for all 3-player games over binary alphabet. 998-1009 - Argyrios Deligkas, John Fearnley, Alexandros Hollender, Themistoklis Melissourgos:
Constant inapproximability for PPA. 1010-1023 - Andrei A. Bulatov, Amirhossein Kazeminia:
Complexity classification of counting graph homomorphisms modulo a prime number. 1024-1037
Session 6B
- Vincent Cohen-Addad, Kasper Green Larsen, David Saulpic, Chris Schwiegelshohn:
Towards optimal lower bounds for k-median and k-means coresets. 1038-1051 - Pankaj K. Agarwal, Hsien-Chih Chang, Sharath Raghvendra, Allen Xiao:
Deterministic, near-linear ε-approximation algorithm for geometric bipartite matching. 1052-1065 - Arnold Filtser, Hung Le:
Locality-sensitive orderings and applications to reliable spanners. 1066-1079 - Merav Parter:
Nearly optimal vertex fault-tolerant spanners in optimal time: sequential, distributed, and parallel. 1080-1092 - Ran Duan, Hanlin Ren:
Maintaining exact distances under multiple edge failures. 1093-1101
Session 6C
- Karl Bringmann, Alejandro Cassis, Nick Fischer, Vasileios Nakos:
Almost-optimal sublinear-time edit distance in the low distance regime. 1102-1115 - Jakub Tetek, Mikkel Thorup:
Edge sampling and graph parameter estimation via vertex neighborhood accesses. 1116-1129 - Ainesh Bakshi, Kenneth L. Clarkson, David P. Woodruff:
Low-rank approximation with 1/ε1/3 matrix-vector products. 1130-1143 - Vladimir Braverman, Aditya Krishnan, Christopher Musco:
Sublinear time spectral density estimation. 1144-1157 - Vaidehi Srinivas, David P. Woodruff, Ziyu Xu, Samson Zhou:
Memory bounds for the experts problem. 1158-1171
Session 7A
- Philipp Hieronymi, Christian Schulz:
A strong version of Cobham's theorem. 1172-1179 - Jiatu Li, Tianqi Yang:
3.1n - o(n) circuit lower bounds for explicit functions. 1180-1193 - Alexander A. Sherstov:
The approximate degree of DNF and CNF formulas. 1194-1207 - Tal Herman, Guy N. Rothblum:
Verifying the unseen: interactive proofs for label-invariant distribution properties. 1208-1219 - Nathaniel Harms, Sebastian Wild, Viktor Zamaraev:
Randomized communication and implicit graph representations. 1220-1233
Session 7B
- Ainesh Bakshi, Ilias Diakonikolas, He Jia, Daniel M. Kane, Pravesh K. Kothari, Santosh S. Vempala:
Robustly learning mixtures of k arbitrary Gaussians. 1234-1247 - Allen Liu, Jerry Li:
Clustering mixtures with almost optimal separation in polynomial time. 1248-1261 - Ilias Diakonikolas, Daniel M. Kane, Daniel Kongsgaard, Jerry Li, Kevin Tian:
Clustering mixture models in almost-linear time via list-decodable mean estimation. 1262-1275 - Misha Ivkov, Pravesh K. Kothari:
List-decodable covariance estimation. 1276-1283
Session 7C
- Michael A. Bender, Martin Farach-Colton, John Kuszmaul, William Kuszmaul, Mingmou Liu:
On the optimal time/space tradeoff for hash tables. 1284-1297 - Ioana Oriana Bercea, Guy Even:
An extendable data structure for incremental stable perfect hashing. 1298-1310 - Hsien-Chih Chang, Robert Krauthgamer, Zihan Tan:
Almost-linear ε-emulators for planar graphs. 1311-1324 - Bernhard Haeupler, Harald Räcke, Mohsen Ghaffari:
Hop-constrained expander decompositions, oblivious routing, and distributed universal optimality. 1325-1338 - Daniel Amir, Tegan Wilson, Vishal Shrivastav, Hakim Weatherspoon, Robert Kleinberg, Rachit Agarwal:
Optimal oblivious reconfigurable networks. 1339-1352
Session 8A
- Noga Ron-Zewi, Ron D. Rothblum:
Proving as fast as computing: succinct arguments with constant prover overhead. 1353-1363 - Divesh Aggarwal, Bhavana Kanukurthi, Sai Lakshmi Bhavana Obbattu, Maciej Obremski, Sruthi Sekar:
Rate one-third non-malleable codes. 1364-1377 - Andrea Coladangelo, Shafi Goldwasser, Umesh V. Vazirani:
Deniable encryption in a Quantum world. 1378-1391 - Iftach Haitner, Noam Mazor, Jad Silbak, Eliad Tsfadia:
On the complexity of two-party differential privacy. 1392-1405 - Samuel B. Hopkins, Gautam Kamath, Mahbod Majid:
Efficient mean estimation with pure differential privacy via a sum-of-squares exponential mechanism. 1406-1417
Session 8B
- Nima Anari, Vishesh Jain, Frederic Koehler, Huy Tuan Pham, Thuy-Duong Vuong:
Entropic independence: optimal mixing of down-up random walks. 1418-1430 - Hongyang Liu, Yitong Yin:
Simple parallel algorithms for single-site dynamics. 1431-1444 - Reza Gheissari, Alistair Sinclair:
Low-temperature Ising dynamics with random initializations. 1445-1458 - Charlie Carlson, Ewan Davies, Alexandra Kolla, Will Perkins:
Computational thresholds for the fixed-magnetization Ising model. 1459-1472 - Vishesh Jain, Will Perkins, Ashwin Sah, Mehtaab Sawhney:
Approximate counting and sampling via local central limit theorems. 1473-1486
Session 8C
- Amir Abboud, Karl Bringmann, Seri Khoury, Or Zamir:
Hardness of approximation in p via short cycle removal: cycle detection, distance oracles, and beyond. 1487-1500 - Timothy M. Chan, Virginia Vassilevska Williams, Yinzhan Xu:
Hardness for triangle problems under even more believable hypotheses: reductions from real APSP, real 3SUM, and OV. 1501-1514 - Ce Jin, Yinzhan Xu:
Tight dynamic problem lower bounds from generalized BMM and OMv. 1515-1528 - Shucheng Chi, Ran Duan, Tianle Xie, Tianyi Zhang:
Faster min-plus product for monotone instances. 1529-1542 - Jacob Focke, Marc Roth:
Counting small induced subgraphs with hereditary properties. 1543-1551
Session 9A
- Peter Dixon, Aduri Pavan, Jason Vander Woude, N. V. Vinodchandran:
Pseudodeterminism: promises and lowerbounds. 1552-1565 - Vahid R. Asadi, Alexander Golovnev, Tom Gur, Igor Shinkar:
Worst-case to average-case reductions via additive combinatorics. 1566-1574 - Rahul Ilango, Hanlin Ren, Rahul Santhanam:
Robustness of average-case meta-complexity via pseudorandomness. 1575-1583 - Eshan Chattopadhyay, Jyun-Jie Liao:
Extractors for sum of two sources. 1584-1597
Session 9B
- Fabrizio Grandoni, Afrouz Jabal Ameli, Vera Traub:
Breaching the 2-approximation barrier for the forest augmentation problem. 1598-1611 - Anna R. Karlin, Nathan Klein, Shayan Oveis Gharan, Xinzhi Zhang:
An improved approximation algorithm for the minimum k-edge connected multi-subgraph problem. 1612-1620 - Vincent Cohen-Addad, Hossein Esfandiari, Vahab S. Mirrokni, Shyam Narayanan:
Improved approximations for Euclidean k-means and k-median, via nested quasi-independent sets. 1621-1628 - Konstantin Makarychev, Liren Shan:
Explainable k-means: don't be greedy, plant bigger trees! 1629-1642
Session 9C
- Adam Karczmarz, Anish Mukherjee, Piotr Sankowski:
Subquadratic dynamic path reporting in directed graphs against an adaptive adversary. 1643-1656 - Dominik Kempa, Tomasz Kociumaka:
Dynamic suffix array with polylogarithmic queries and updates. 1657-1670 - Amos Beimel, Haim Kaplan, Yishay Mansour, Kobbi Nissim, Thatchaphol Saranurak, Uri Stemmer:
Dynamic algorithms against an adaptive adversary: generic constructions and lower bounds. 1671-1684 - Xi Chen, Binghui Peng:
On the complexity of dynamic submodular maximization. 1685-1698
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.