ICALP A*

145 papers

YearTitle / Authors
20214 vs 7 Sparse Undirected Unweighted Diameter is SETH-Hard at Time n^{4/3}.
Édouard Bonnet
202148th International Colloquium on Automata, Languages, and Programming, ICALP 2021, Glasgow, Scotland (Virtual Conference), July 12-16, 2021
Nikhil Bansal, Emanuela Merelli, James Worrell
2021A Complexity Approach to Tree Algebras: the Bounded Case.
Thomas Colcombet, Arthur Jaquard
2021A Linear-Time n
Karl Bringmann, Debarati Das
2021A Rice's Theorem for Abstract Semantics.
Paolo Baldan, Francesco Ranzato, Linpeng Zhang
2021A Spectral Independence View on Hard Spheres via Block Dynamics.
Tobias Friedrich, Andreas Göbel, Martin S. Krejca, Marcus Pappik
2021A Subexponential Algorithm for ARRIVAL.
Bernd Gärtner, Sebastian Haslebacher, Hung P. Hoang
2021A Very Sketchy Talk (Invited Talk).
David P. Woodruff
2021Additive Approximation Schemes for Load Balancing Problems.
Moritz Buchem, Lars Rohwedder, Tjark Vredeveld, Andreas Wiese
2021Algebraic Proof Systems (Invited Talk).
Toniann Pitassi
2021Algorithms, Reductions and Equivalences for Small Weight Variants of All-Pairs Shortest Paths.
Timothy M. Chan, Virginia Vassilevska Williams, Yinzhan Xu
2021Almost-Linear-Time Weighted 𝓁
Deeksha Adil, Brian Bullins, Rasmus Kyng, Sushant Sachdeva
2021Almost-Optimal Deterministic Treasure Hunt in Arbitrary Graphs.
Sébastien Bouchard, Yoann Dieudonné, Arnaud Labourel, Andrzej Pelc
2021An Almost Optimal Edit Distance Oracle.
Panagiotis Charalampopoulos, Pawel Gawrychowski, Shay Mozes, Oren Weimann
2021An Efficient Coding Theorem via Probabilistic Representations and Its Applications.
Zhenjian Lu, Igor C. Oliveira
2021An Output-Sensitive Algorithm for Computing the Union of Cubes and Fat Boxes in 3D.
Pankaj K. Agarwal, Alex Steiger
2021Analysis of Smooth Heaps and Slim Heaps.
Maria Hartmann, László Kozma, Corwin Sinnamon, Robert E. Tarjan
2021Analytical Differential Calculus with Integration.
Han Xu, Zhenjiang Hu
2021Application of the Level-2 Quantum Lasserre Hierarchy in Quantum Approximation Algorithms.
Ojas Parekh, Kevin Thompson
2021Approximately Counting Independent Sets of a Given Size in Bounded-Degree Graphs.
Ewan Davies, Will Perkins
2021Approximating Maximum Integral Multiflows on Bounded Genus Graphs.
Chien-Chung Huang, Mathieu Mari, Claire Mathieu, Jens Vygen
2021Approximation Algorithms for Min-Distance Problems in DAGs.
Mina Dalirrooyfard, Jenny Kaufmann
2021Arboreal Categories and Resources.
Samson Abramsky, Luca Reggio
2021Automorphisms and Isomorphisms of Maps in Linear Time.
Ken-ichi Kawarabayashi, Bojan Mohar, Roman Nedela, Peter Zeman
2021Beating Two-Thirds For Random-Order Streaming Matching.
Sepehr Assadi, Soheil Behnezhad
2021Beyond PCSP(1-in-3, NAE).
Alex Brandts, Stanislav Zivný
2021Breaking O(nr) for Matroid Intersection.
Joakim Blikstad
2021Breaking the 2ⁿ Barrier for 5-Coloring and 6-Coloring.
Or Zamir
2021Breaking the Barrier Of 2 for the Competitiveness of Longest Queue Drop.
Antonios Antoniadis, Matthias Englert, Nicolaos Matsakis, Pavel Veselý
2021Coboundary and Cosystolic Expansion from Strong Symmetry.
Tali Kaufman, Izhar Oppenheim
2021Comparative Design-Choice Analysis of Color Refinement Algorithms Beyond the Worst Case.
Markus Anders, Pascal Schweitzer, Florian Wetzels
2021Comparison-Free Polyregular Functions.
Lê Thành Dung Nguyên, Camille Noûs, Cécilia Pradic
2021Computational Characterization of Surface Entropies for ℤ² Subshifts of Finite Type.
Antonin Callard, Pascal Vanier
2021Conditional Dichotomy of Boolean Ordered Promise CSPs.
Joshua Brakensiek, Venkatesan Guruswami, Sai Sandeep
2021Constant-Factor Approximation to Deadline TSP and Related Problems in (Almost) Quasi-Polytime.
Zachary Friggstad, Chaitanya Swamy
2021Constructing a Distance Sensitivity Oracle in O(n^2.5794 M) Time.
Yong Gu, Hanlin Ren
2021Counting Short Vector Pairs by Inner Product and Relations to the Permanent.
Andreas Björklund, Petteri Kaski
2021Crossing-Optimal Extension of Simple Drawings.
Robert Ganian, Thekla Hamm, Fabian Klute, Irene Parada, Birgit Vogtenhuber
2021Current Algorithms for Detecting Subgraphs of Bounded Treewidth Are Probably Optimal.
Karl Bringmann, Jasper Slusallek
2021Datalog-Expressibility for Monadic and Guarded Second-Order Logic.
Manuel Bodirsky, Simon Knäuer, Sebastian Rudolph
2021Decision Problems for Second-Order Holonomic Recurrences.
Eike Neumann, Joël Ouaknine, James Worrell
2021Decremental APSP in Unweighted Digraphs Versus an Adaptive Adversary.
Jacob Evald, Viktor Fredslund-Hansen, Maximilian Probst Gutenberg, Christian Wulff-Nilsen
2021Degrees and Gaps: Tight Complexity Results of General Factor Problems Parameterized by Treewidth and Cutwidth.
Dániel Marx, Govind S. Sankar, Philipp Schepper
2021Detecting and Counting Small Subgraphs, and Evaluating a Parameterized Tutte Polynomial: Lower Bounds via Toroidal Grids and Cayley Graph Expanders.
Marc Roth, Johannes Schmitt, Philip Wellnitz
2021Deterministic Maximum Flows in Simple Graphs.
Tianyi Zhang
2021Deterministic Rounding of Dynamic Fractional Matchings.
Sayan Bhattacharya, Peter Kiss
2021Deterministic and Game Separability for Regular Languages of Infinite Trees.
Lorenzo Clemente, Michal Skrzypczak
2021Direct Sum and Partitionability Testing over General Groups.
Andrej Bogdanov, Gautam Prakriya
2021Distributed Subgraph Finding: Progress and Challenges (Invited Talk).
Keren Censor-Hillel
2021Dynamic Enumeration of Similarity Joins.
Pankaj K. Agarwal, Xiao Hu, Stavros Sintos, Jun Yang
2021Dynamic Membership for Regular Languages.
Antoine Amarilli, Louis Jachiet, Charles Paperman
2021Efficient Splitting of Necklaces.
Noga Alon, Andrei Graur
2021Elementary Equivalence Versus Isomorphism in Semiring Semantics.
Erich Grädel, Lovro Mrkonjic
2021Error Resilient Space Partitioning (Invited Talk).
Orr Dunkelman, Zeev Geyzel, Chaya Keller, Nathan Keller, Eyal Ronen, Adi Shamir, Ran J. Tessler
2021Fast n-Fold Boolean Convolution via Additive Combinatorics.
Karl Bringmann, Vasileios Nakos
2021Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.
Krishnendu Chatterjee, Monika Henzinger, Sagar Kale, Alexander Svozil
2021Faster Algorithms for Bounded Tree Edit Distance.
Shyan Akmal, Ce Jin
2021Faster Algorithms for Rooted Connectivity in Directed Graphs.
Chandra Chekuri, Kent Quanrud
2021Faster Monotone Min-Plus Product, Range Mode, and Single Source Replacement Paths.
Yuzhou Gu, Adam Polak, Virginia Vassilevska Williams, Yinzhan Xu
2021Fault Tolerant Max-Cut.
Keren Censor-Hillel, Noa Marelly, Roy Schwartz, Tigran Tonoyan
2021Fine-Grained Hardness for Edit Distance to a Fixed Sequence.
Amir Abboud, Virginia Vassilevska Williams
2021Fluted Logic with Counting.
Ian Pratt-Hartmann
2021Fourier Conjectures, Correlation Bounds, and Majority.
Emanuele Viola
2021From Verification to Causality-Based Explications (Invited Talk).
Christel Baier, Clemens Dubslaff, Florian Funke, Simon Jantsch, Rupak Majumdar, Jakob Piribauer, Robin Ziemek
2021Front Matter, Table of Contents, Preface, Conference Organization.
2021Fully Dynamic Algorithms for Minimum Weight Cycle and Related Problems.
Adam Karczmarz
2021Genome Assembly, from Practice to Theory: Safe, Complete and Linear-Time.
Massimo Cairo, Romeo Rizzi, Alexandru I. Tomescu, Elia C. Zirondelli
2021Graph Similarity and Homomorphism Densities.
Jan Böker
2021Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness.
Todd Schmid, Tobias Kappé, Dexter Kozen, Alexandra Silva
2021Haystack Hunting Hints and Locker Room Communication.
Artur Czumaj, George Kontogeorgiou, Mike Paterson
2021High-Girth Near-Ramanujan Graphs with Lossy Vertex Expansion.
Theo McKenzie, Sidhanth Mohanty
2021Higher-Order Model Checking Step by Step.
Pawel Parys
2021How to Send a Real Number Using a Single Bit (And Some Shared Randomness).
Ran Ben Basat, Michael Mitzenmacher, Shay Vargaftik
2021Improved Approximation Factor for Adaptive Influence Maximization via Simple Greedy Strategies.
Gianlorenzo D'Angelo, Debashmita Poddar, Cosimo Vinci
2021Improved Approximation for Longest Common Subsequence over Small Alphabets.
Shyan Akmal, Virginia Vassilevska Williams
2021Improved Lower Bounds for Reachability in Vector Addition Systems.
Wojciech Czerwinski, Slawomir Lasota, Lukasz Orlikowski
2021Improving Gebauer's Construction of 3-Chromatic Hypergraphs with Few Edges.
Jakub Kozik
2021Inference Systems with Corules for Fair Subtyping and Liveness Properties of Binary Session Types.
Luca Ciccone, Luca Padovani
2021Isolating Cuts, (Bi-)Submodularity, and Faster Algorithms for Connectivity.
Chandra Chekuri, Kent Quanrud
2021Kernelization, Proof Complexity and Social Choice.
Gabriel Istrate, Cosmin Bonchis, Adrian Craciun
2021Knapsack and Subset Sum with Small Items.
Adam Polak, Lars Rohwedder, Karol Wegrzycki
2021LF Successor: Compact Space Indexing for Order-Isomorphic Pattern Matching.
Arnab Ganguly, Dhrumil Patel, Rahul Shah, Sharma V. Thankachan
2021Learning Stochastic Decision Trees.
Guy Blanc, Jane Lange, Li-Yang Tan
2021Lifting for Constant-Depth Circuits and Applications to MCSP.
Marco Carmosino, Kenneth Hoover, Russell Impagliazzo, Valentine Kabanets, Antonina Kolokolova
2021Linear Time Runs Over General Ordered Alphabets.
Jonas Ellert, Johannes Fischer
2021Local Approximations of the Independent Set Polynomial.
Dimitris Achlioptas, Kostas Zampetakis
2021Logarithmic Weisfeiler-Leman Identifies All Planar Graphs.
Martin Grohe, Sandra Kiefer
2021Lower Bounds on Dynamic Programming for Maximum Weight Independent Set.
Tuukka Korhonen
2021Majority vs. Approximate Linear Sum and Average-Case Complexity Below NC¹.
Lijie Chen, Zhenjian Lu, Xin Lyu, Igor C. Oliveira
2021Matching on the Line Admits No o(√log n)-Competitive Algorithm.
Enoch Peserico, Michele Scquizzato
2021Maximum Matchings and Popularity.
Telikepalli Kavitha
2021Minimum Stable Cut and Treewidth.
Michael Lampis
2021Minimum-Norm Load Balancing Is (Almost) as Easy as Minimizing Makespan.
Sharat Ibrahimpur, Chaitanya Swamy
2021Multiple Random Walks on Graphs: Mixing Few to Cover Many.
Nicolás Rivera, Thomas Sauerwald, John Sylvester
2021Near-Optimal Schedules for Simultaneous Multicasts.
Bernhard Haeupler, D. Ellis Hershkowitz, David Wajc
2021Near-Optimal Two-Pass Streaming Algorithm for Sampling Random Walks over Directed Graphs.
Lijie Chen, Gillat Kol, Dmitry Paramonov, Raghuvansh R. Saxena, Zhao Song, Huacheng Yu
2021New Sublinear Algorithms and Lower Bounds for LIS Estimation.
Ilan Newman, Nithin Varma
2021New Techniques for Universality in Unambiguous Register Automata.
Wojciech Czerwinski, Antoine Mottet, Karin Quaas
2021Non-Mergeable Sketching for Cardinality Estimation.
Seth Pettie, Dingyu Wang, Longhui Yin
2021On Coresets for Fair Clustering in Metric and Euclidean Spaces and Their Applications.
Sayan Bandyapadhyay, Fedor V. Fomin, Kirill Simonov
2021On Counting (Quantum-)Graph Homomorphisms in Finite Fields of Prime Order.
J. A. Gregor Lagodzinski, Andreas Göbel, Katrin Casel, Tobias Friedrich
2021On Greedily Packing Anchored Rectangles.
Christoph Damerius, Dominik Kaaser, Peter Kling, Florian Schneider
2021On the Approximability of Multistage Min-Sum Set Cover.
Dimitris Fotakis, Panagiotis Kostopanagiotis, Vasileios Nakos, Georgios Piliouras, Stratis Skoulakis
2021Online Stochastic Matching with Edge Arrivals.
Nick Gravin, Zhihao Gavin Tang, Kangning Wang
2021Optimal Fine-Grained Hardness of Approximation of Linear Equations.
Mitali Bafna, Nikhil Vyas
2021Optimal Spectral-Norm Approximate Minimization of Weighted Finite Automata.
Borja Balle, Clara Lacroce, Prakash Panangaden, Doina Precup, Guillaume Rabusseau
2021Optimal Transformations of Games and Automata Using Muller Conditions.
Antonio Casares, Thomas Colcombet, Nathanaël Fijalkow
2021Optimal-Time Queries on BWT-Runs Compressed Indexes.
Takaaki Nishimoto, Yasuo Tabei
2021Parameterized Applications of Symbolic Differentiation of (Totally) Multilinear Polynomials.
Cornelius Brand, Kevin Pratt
2021Playing Stochastically in Weighted Timed Games to Emulate Memory.
Benjamin Monmege, Julie Parreaux, Pierre-Alain Reynier
2021Powerset-Like Monads Weakly Distribute over Themselves in Toposes and Compact Hausdorff Spaces.
Alexandre Goy, Daniela Petrisan, Marc Aiguier
2021Property Testing of Regular Languages with Applications to Streaming Property Testing of Visibly Pushdown Languages.
Gabriel Bathie, Tatiana Starikovskaya
2021Quantum Algorithms for Matrix Scaling and Matrix Balancing.
Joran van Apeldoorn, Sander Gribling, Yinan Li, Harold Nieuwboer, Michael Walter, Ronald de Wolf
2021Quantum Logspace Algorithm for Powering Matrices with Bounded Norm.
Uma Girish, Ran Raz, Wei Zhan
2021Quantum Query Complexity with Matrix-Vector Products.
Andrew M. Childs, Shih-Han Hung, Tongyang Li
2021Quantum Relational Hoare Logic with Expectations.
Yangjia Li, Dominique Unruh
2021Quasi-Polynomial Time Algorithms for Free Quantum Games in Bounded Dimension.
Hyejung H. Jee, Carlo Sparaciari, Omar Fawzi, Mario Berta
2021Random Order Vertex Arrival Contention Resolution Schemes for Matching, with Applications.
Hu Fu, Zhihao Gavin Tang, Hongxun Wu, Jinzhao Wu, Qianfan Zhang
2021Relational Algorithms for k-Means Clustering.
Benjamin Moseley, Kirk Pruhs, Alireza Samadian, Yuyan Wang
2021Relaxed Locally Correctable Codes with Improved Parameters.
Vahid R. Asadi, Igor Shinkar
2021Revisiting Priority k-Center: Fairness and Outliers.
Tanvi Bajpai, Deeparnab Chakrabarty, Chandra Chekuri, Maryam Negahbani
2021Search Problems in Trees with Symmetries: Near Optimal Traversal Strategies for Individualization-Refinement Algorithms.
Markus Anders, Pascal Schweitzer
2021Separations for Estimating Large Frequency Moments on Data Streams.
David P. Woodruff, Samson Zhou
2021Smooth Approximations and Relational Width Collapses.
Antoine Mottet, Tomás Nagy, Michael Pinsker, Michal Wrona
2021SoS Certification for Symmetric Quadratic Functions and Its Connection to Constrained Boolean Hypercube Optimization.
Adam Kurpisz, Aaron Potechin, Elias Samuel Wirth
2021Sorting Short Integers.
Michal Koucký, Karel Král
2021Sparsification of Directed Graphs via Cut Balance.
Ruoxu Cen, Yu Cheng, Debmalya Panigrahi, Kevin Sun
2021Streaming and Small Space Approximation Algorithms for Edit Distance and Longest Common Subsequence.
Kuan Cheng, Alireza Farhadi, MohammadTaghi Hajiaghayi, Zhengzhong Jin, Xin Li, Aviad Rubinstein, Saeed Seddighin, Yu Zheng
2021Strong Approximate Consensus Halving and the Borsuk-Ulam Theorem.
Eleni Batziou, Kristoffer Arnsfelt Hansen, Kasper Høgh
2021Structural Iterative Rounding for Generalized k-Median Problems.
Anupam Gupta, Benjamin Moseley, Rudy Zhou
2021Sublinear Time Hypergraph Sparsification via Cut and Edge Sampling Queries.
Yu Chen, Sanjeev Khanna, Ansh Nagda
2021Symmetries and Complexity (Invited Talk).
Andrei A. Bulatov
2021Testing Dynamic Environments: Back to Basics.
Yonatan Nakar, Dana Ron
2021Testing Triangle Freeness in the General Model in Graphs with Arboricity O(√n).
Reut Levi
2021The Greedy Algorithm Is not Optimal for On-Line Edge Coloring.
Amin Saberi, David Wajc
2021The Structure of Minimum Vertex Cuts.
Seth Pettie, Longhui Yin
2021The Submodular Santa Claus Problem in the Restricted Assignment Case.
Étienne Bamas, Paritosh Garg, Lars Rohwedder
2021The Theory of Concatenation over Finite Models.
Dominik D. Freydenberger, Liat Peterfreund
2021Towards the k-Server Conjecture: A Unifying Potential, Pushing the Frontier to the Circle.
Christian Coester, Elias Koutsoupias
2021Traveling Repairperson, Unrelated Machines, and Other Stories About Average Completion Times.
Marcin Bienkowski, Artur Kraska, Hsiang-Hsuan Liu
2021Truthful Allocation in Graphs and Hypergraphs.
George Christodoulou, Elias Koutsoupias, Annamária Kovács
2021Twin-width III: Max Independent Set, Min Dominating Set, and Coloring.
Édouard Bonnet, Colin Geniet, Eun Jung Kim, Stéphan Thomassé, Rémi Watrigant
2021Uniform Elgot Iteration in Foundations.
Sergey Goncharov
2021Universal Algorithms for Clustering Problems.
Arun Ganesh, Bruce M. Maggs, Debmalya Panigrahi
2021Using a Geometric Lens to Find k Disjoint Shortest Paths.
Matthias Bentert, André Nichterlein, Malte Renken, Philipp Zschoche