@Proceedings{bojanczyk_et_al:LIPIcs.ICALP.2022,
title = {{LIPIcs, Volume 229, ICALP 2022, Complete Volume}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {1--2516},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022},
URN = {urn:nbn:de:0030-drops-163400},
doi = {10.4230/LIPIcs.ICALP.2022},
annote = {Keywords: LIPIcs, Volume 229, ICALP 2022, Complete Volume}
}
@InProceedings{bojanczyk_et_al:LIPIcs.ICALP.2022.0,
author = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {0:i--0:xxxvi},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.0},
URN = {urn:nbn:de:0030-drops-163417},
doi = {10.4230/LIPIcs.ICALP.2022.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{atserias:LIPIcs.ICALP.2022.1,
author = {Atserias, Albert},
title = {{Towards a Theory of Algorithmic Proof Complexity}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {1:1--1:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.1},
URN = {urn:nbn:de:0030-drops-163423},
doi = {10.4230/LIPIcs.ICALP.2022.1},
annote = {Keywords: proof complexity, logic, computational complexity}
}
@InProceedings{daskalakis:LIPIcs.ICALP.2022.2,
author = {Daskalakis, Constantinos},
title = {{Equilibrium Computation, Deep Learning, and Multi-Agent Reinforcement Learning}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {2:1--2:1},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.2},
URN = {urn:nbn:de:0030-drops-163431},
doi = {10.4230/LIPIcs.ICALP.2022.2},
annote = {Keywords: Deep Learning, Multi-Agent (Reinforcement) Learning, Game Theory, Nonconvex Optimization, PPAD}
}
@InProceedings{goldberg:LIPIcs.ICALP.2022.3,
author = {Goldberg, Leslie Ann},
title = {{Some New (And Old) Results on Contention Resolution}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {3:1--3:3},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.3},
URN = {urn:nbn:de:0030-drops-163444},
doi = {10.4230/LIPIcs.ICALP.2022.3},
annote = {Keywords: contention resolution, multiple access channel, randomised algorithms}
}
@InProceedings{lee_et_al:LIPIcs.ICALP.2022.4,
author = {Lee, Yin Tat and Vempala, Santosh S.},
title = {{The Manifold Joys of Sampling}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {4:1--4:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.4},
URN = {urn:nbn:de:0030-drops-163459},
doi = {10.4230/LIPIcs.ICALP.2022.4},
annote = {Keywords: Sampling, Diffusion, Optimization, High Dimension}
}
@InProceedings{sudan:LIPIcs.ICALP.2022.5,
author = {Sudan, Madhu},
title = {{Streaming and Sketching Complexity of CSPs: A Survey}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {5:1--5:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.5},
URN = {urn:nbn:de:0030-drops-163460},
doi = {10.4230/LIPIcs.ICALP.2022.5},
annote = {Keywords: Streaming algorithms, Sketching algorithms, Dichotomy, Communication Complexity}
}
@InProceedings{thomasse:LIPIcs.ICALP.2022.6,
author = {Thomass\'{e}, St\'{e}phan},
title = {{A Brief Tour in Twin-Width}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {6:1--6:5},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.6},
URN = {urn:nbn:de:0030-drops-163473},
doi = {10.4230/LIPIcs.ICALP.2022.6},
annote = {Keywords: Twin-width, matrices, ordered graphs, enumerative combinatorics, model theory, algorithms, computational complexity, Ramsey theory}
}
@InProceedings{abboud_et_al:LIPIcs.ICALP.2022.7,
author = {Abboud, Amir and Cohen-Addad, Vincent and Lee, Euiwoong and Manurangsi, Pasin},
title = {{Improved Approximation Algorithms and Lower Bounds for Search-Diversification Problems}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {7:1--7:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.7},
URN = {urn:nbn:de:0030-drops-163481},
doi = {10.4230/LIPIcs.ICALP.2022.7},
annote = {Keywords: Approximation Algorithms, Complexity, Data Mining, Diversification}
}
@InProceedings{agrawal_et_al:LIPIcs.ICALP.2022.8,
author = {Agrawal, Shweta and Stehl\'{e}, Damien and Yadav, Anshu},
title = {{Round-Optimal Lattice-Based Threshold Signatures, Revisited}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {8:1--8:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.8},
URN = {urn:nbn:de:0030-drops-163491},
doi = {10.4230/LIPIcs.ICALP.2022.8},
annote = {Keywords: Post-Quantum Cryptography, Lattices, Threshold Signatures}
}
@InProceedings{alman_et_al:LIPIcs.ICALP.2022.9,
author = {Alman, Josh and Hirsch, Dean},
title = {{Parameterized Sensitivity Oracles and Dynamic Algorithms Using Exterior Algebras}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {9:1--9:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.9},
URN = {urn:nbn:de:0030-drops-163504},
doi = {10.4230/LIPIcs.ICALP.2022.9},
annote = {Keywords: sensitivity oracles, k-path, dynamic algorithms, parameterized algorithms, set packing, partial cover, exterior algebra, extensor, algebraic algorithms}
}
@InProceedings{alrabiah_et_al:LIPIcs.ICALP.2022.10,
author = {Alrabiah, Omar and Chattopadhyay, Eshan and Goodman, Jesse and Li, Xin and Ribeiro, Jo\~{a}o},
title = {{Low-Degree Polynomials Extract From Local Sources}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {10:1--10:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.10},
URN = {urn:nbn:de:0030-drops-163519},
doi = {10.4230/LIPIcs.ICALP.2022.10},
annote = {Keywords: Randomness extractors, local sources, samplable sources, AC⁰ circuits, branching programs, low-degree polynomials, Chevalley-Warning}
}
@InProceedings{assadi_et_al:LIPIcs.ICALP.2022.11,
author = {Assadi, Sepehr and Bernstein, Aaron and Dudeja, Aditi},
title = {{Decremental Matching in General Graphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {11:1--11:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.11},
URN = {urn:nbn:de:0030-drops-163528},
doi = {10.4230/LIPIcs.ICALP.2022.11},
annote = {Keywords: Dynamic algorithms, matching, primal-dual algorithms}
}
@InProceedings{ayyadevara_et_al:LIPIcs.ICALP.2022.12,
author = {Ayyadevara, Nikhil ^* and Dabas, Rajni and Khan, Arindam and Sreenivas, K. V. N.},
title = {{Near-Optimal Algorithms for Stochastic Online Bin Packing}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {12:1--12:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.12},
URN = {urn:nbn:de:0030-drops-163532},
doi = {10.4230/LIPIcs.ICALP.2022.12},
annote = {Keywords: Bin Packing, 3-Partition Problem, Online Algorithms, Random Order Arrival, IID model, Best-Fit Algorithm}
}
@InProceedings{azar_et_al:LIPIcs.ICALP.2022.13,
author = {Azar, Yossi and Machluf, Chay and Patt-Shamir, Boaz and Touitou, Noam},
title = {{Competitive Vertex Recoloring}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {13:1--13:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.13},
URN = {urn:nbn:de:0030-drops-163542},
doi = {10.4230/LIPIcs.ICALP.2022.13},
annote = {Keywords: coloring with recourse, anti-affinity constraints}
}
@InProceedings{bansal_et_al:LIPIcs.ICALP.2022.14,
author = {Bansal, Nikhil and Jiang, Haotian and Meka, Raghu and Singla, Sahil and Sinha, Makrand},
title = {{Smoothed Analysis of the Koml\'{o}s Conjecture}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {14:1--14:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.14},
URN = {urn:nbn:de:0030-drops-163556},
doi = {10.4230/LIPIcs.ICALP.2022.14},
annote = {Keywords: Koml\'{o}s conjecture, smoothed analysis, weighted second moment method, subgaussian coloring}
}
@InProceedings{baswana_et_al:LIPIcs.ICALP.2022.15,
author = {Baswana, Surender and Bhanja, Koustav and Pandey, Abhyuday},
title = {{Minimum+1 (s,t)-cuts and Dual Edge Sensitivity Oracle}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {15:1--15:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.15},
URN = {urn:nbn:de:0030-drops-163566},
doi = {10.4230/LIPIcs.ICALP.2022.15},
annote = {Keywords: mincut, maxflow, fault tolerant}
}
@InProceedings{beideman_et_al:LIPIcs.ICALP.2022.16,
author = {Beideman, Calvin and Chandrasekaran, Karthekeyan and Wang, Weihang},
title = {{Counting and Enumerating Optimum Cut Sets for Hypergraph k-Partitioning Problems for Fixed k}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {16:1--16:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.16},
URN = {urn:nbn:de:0030-drops-163578},
doi = {10.4230/LIPIcs.ICALP.2022.16},
annote = {Keywords: hypergraphs, k-partitioning, counting, enumeration}
}
@InProceedings{beneliezer_et_al:LIPIcs.ICALP.2022.17,
author = {Ben-Eliezer, Omri and Letzter, Shoham and Waingarten, Erik},
title = {{Finding Monotone Patterns in Sublinear Time, Adaptively}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {17:1--17:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.17},
URN = {urn:nbn:de:0030-drops-163586},
doi = {10.4230/LIPIcs.ICALP.2022.17},
annote = {Keywords: property testing, monotone patterns, monotone decomposition, adaptivity}
}
@InProceedings{berge_et_al:LIPIcs.ICALP.2022.18,
author = {Berg\'{e}, Pierre and Bonnet, \'{E}douard and D\'{e}pr\'{e}s, Hugues},
title = {{Deciding Twin-Width at Most 4 Is NP-Complete}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {18:1--18:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.18},
URN = {urn:nbn:de:0030-drops-163595},
doi = {10.4230/LIPIcs.ICALP.2022.18},
annote = {Keywords: Twin-width, lower bounds}
}
@InProceedings{berger_et_al:LIPIcs.ICALP.2022.19,
author = {Berger, Aaron and Kuszmaul, William and Polak, Adam and Tidor, Jonathan and Wein, Nicole},
title = {{Memoryless Worker-Task Assignment with Polylogarithmic Switching Cost}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {19:1--19:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.19},
URN = {urn:nbn:de:0030-drops-163608},
doi = {10.4230/LIPIcs.ICALP.2022.19},
annote = {Keywords: Distributed Task Allocation, Metric Embeddings, Probabilistic Method}
}
@InProceedings{bernstein_et_al:LIPIcs.ICALP.2022.20,
author = {Bernstein, Aaron and van den Brand, Jan and Probst Gutenberg, Maximilian and Nanongkai, Danupon and Saranurak, Thatchaphol and Sidford, Aaron and Sun, He},
title = {{Fully-Dynamic Graph Sparsifiers Against an Adaptive Adversary}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {20:1--20:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.20},
URN = {urn:nbn:de:0030-drops-163611},
doi = {10.4230/LIPIcs.ICALP.2022.20},
annote = {Keywords: dynamic graph algorithm, adaptive adversary, spanner, sparsifier}
}
@InProceedings{bezakova_et_al:LIPIcs.ICALP.2022.21,
author = {Bez\'{a}kov\'{a}, Ivona and Galanis, Andreas and Goldberg, Leslie Ann and \v{S}tefankovi\v{c}, Daniel},
title = {{Fast Sampling via Spectral Independence Beyond Bounded-Degree Graphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {21:1--21:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.21},
URN = {urn:nbn:de:0030-drops-163622},
doi = {10.4230/LIPIcs.ICALP.2022.21},
annote = {Keywords: Hard-core model, Random graphs, Markov chains}
}
@InProceedings{bilo_et_al:LIPIcs.ICALP.2022.22,
author = {Bil\`{o}, Davide and Choudhary, Keerti and Cohen, Sarel and Friedrich, Tobias and Schirneck, Martin},
title = {{Deterministic Sensitivity Oracles for Diameter, Eccentricities and All Pairs Distances}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {22:1--22:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.22},
URN = {urn:nbn:de:0030-drops-163633},
doi = {10.4230/LIPIcs.ICALP.2022.22},
annote = {Keywords: derandomization, diameter, eccentricity, fault-tolerant data structure, sensitivity oracle, space lower bound}
}
@InProceedings{black_et_al:LIPIcs.ICALP.2022.23,
author = {Black, Mitchell and Nayyeri, Amir},
title = {{Hodge Decomposition and General Laplacian Solvers for Embedded Simplicial Complexes}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {23:1--23:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.23},
URN = {urn:nbn:de:0030-drops-163641},
doi = {10.4230/LIPIcs.ICALP.2022.23},
annote = {Keywords: Computational Topology, Laplacian solvers, Combinatorial Laplacian, Hodge decomposition, Parameterized Complexity}
}
@InProceedings{blanc_et_al:LIPIcs.ICALP.2022.24,
author = {Blanc, Guy and Lange, Jane and Tan, Li-Yang},
title = {{Reconstructing Decision Trees}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {24:1--24:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.24},
URN = {urn:nbn:de:0030-drops-163653},
doi = {10.4230/LIPIcs.ICALP.2022.24},
annote = {Keywords: Property reconstruction, property testing, tolerant testing, decision trees}
}
@InProceedings{blikstad:LIPIcs.ICALP.2022.25,
author = {Blikstad, Joakim},
title = {{Sublinear-Round Parallel Matroid Intersection}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {25:1--25:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.25},
URN = {urn:nbn:de:0030-drops-163662},
doi = {10.4230/LIPIcs.ICALP.2022.25},
annote = {Keywords: Matroid Intersection, Combinatorial Optimization, Parallel Algorithms}
}
@InProceedings{blocki_et_al:LIPIcs.ICALP.2022.26,
author = {Blocki, Jeremiah and Grigorescu, Elena and Mukherjee, Tamalika},
title = {{Privately Estimating Graph Parameters in Sublinear Time}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {26:1--26:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.26},
URN = {urn:nbn:de:0030-drops-163674},
doi = {10.4230/LIPIcs.ICALP.2022.26},
annote = {Keywords: differential privacy, sublinear time, graph algorithms}
}
@InProceedings{boehmer_et_al:LIPIcs.ICALP.2022.27,
author = {Boehmer, Niclas and Koana, Tomohiro},
title = {{The Complexity of Finding Fair Many-To-One Matchings}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {27:1--27:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.27},
URN = {urn:nbn:de:0030-drops-163680},
doi = {10.4230/LIPIcs.ICALP.2022.27},
annote = {Keywords: Graph theory, polynomial-time algorithms, NP-hardness, FPT, ILP, color coding, submodular and supermodular functions, algorithmic fairness}
}
@InProceedings{brakerski_et_al:LIPIcs.ICALP.2022.28,
author = {Brakerski, Zvika and D\"{o}ttling, Nico and Garg, Sanjam and Malavolta, Giulio},
title = {{Factoring and Pairings Are Not Necessary for IO: Circular-Secure LWE Suffices}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {28:1--28:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.28},
URN = {urn:nbn:de:0030-drops-163699},
doi = {10.4230/LIPIcs.ICALP.2022.28},
annote = {Keywords: Cryptography, Obfuscation}
}
@InProceedings{brianski_et_al:LIPIcs.ICALP.2022.29,
author = {Bria\'{n}ski, Marcin and Kouteck\'{y}, Martin and Kr\'{a}l', Daniel and Pek\'{a}rkov\'{a}, Krist\'{y}na and Schr\"{o}der, Felix},
title = {{Characterization of Matrices with Bounded Graver Bases and Depth Parameters and Applications to Integer Programming}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {29:1--29:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.29},
URN = {urn:nbn:de:0030-drops-163702},
doi = {10.4230/LIPIcs.ICALP.2022.29},
annote = {Keywords: Integer programming, width parameters, matroids, Graver basis, tree-depth, fixed parameter tractability}
}
@InProceedings{bringmann_et_al:LIPIcs.ICALP.2022.30,
author = {Bringmann, Karl and Cassis, Alejandro and Fischer, Nick and K\"{u}nnemann, Marvin},
title = {{A Structural Investigation of the Approximability of Polynomial-Time Problems}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {30:1--30:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.30},
URN = {urn:nbn:de:0030-drops-163713},
doi = {10.4230/LIPIcs.ICALP.2022.30},
annote = {Keywords: Classification Theorems, Hardness of Approximation in P, Fine-grained Complexity Theory}
}
@InProceedings{bringmann_et_al:LIPIcs.ICALP.2022.31,
author = {Bringmann, Karl and Cassis, Alejandro},
title = {{Faster Knapsack Algorithms via Bounded Monotone Min-Plus-Convolution}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {31:1--31:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.31},
URN = {urn:nbn:de:0030-drops-163727},
doi = {10.4230/LIPIcs.ICALP.2022.31},
annote = {Keywords: Knapsack, Approximation Schemes, Fine-Grained Complexity, Min-Plus Convolution}
}
@InProceedings{bringmann_et_al:LIPIcs.ICALP.2022.32,
author = {Bringmann, Karl and Cassis, Alejandro and Fischer, Nick and Nakos, Vasileios},
title = {{Improved Sublinear-Time Edit Distance for Preprocessed Strings}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {32:1--32:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.32},
URN = {urn:nbn:de:0030-drops-163734},
doi = {10.4230/LIPIcs.ICALP.2022.32},
annote = {Keywords: Edit Distance, Property Testing, Preprocessing, Precision Sampling}
}
@InProceedings{brosse_et_al:LIPIcs.ICALP.2022.33,
author = {Brosse, Caroline and Limouzy, Vincent and Mary, Arnaud},
title = {{Polynomial Delay Algorithm for Minimal Chordal Completions}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {33:1--33:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.33},
URN = {urn:nbn:de:0030-drops-163740},
doi = {10.4230/LIPIcs.ICALP.2022.33},
annote = {Keywords: Graph Algorithm, Algorithmic Enumeration, Minimal chordal completions}
}
@InProceedings{caballero_et_al:LIPIcs.ICALP.2022.34,
author = {Caballero, David and Gomez, Timothy and Schweller, Robert and Wylie, Tim},
title = {{Unique Assembly Verification in Two-Handed Self-Assembly}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {34:1--34:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.34},
URN = {urn:nbn:de:0030-drops-163751},
doi = {10.4230/LIPIcs.ICALP.2022.34},
annote = {Keywords: self-assembly, unique assembly verification, 2-handed assembly model}
}
@InProceedings{chakraborty_et_al:LIPIcs.ICALP.2022.35,
author = {Chakraborty, Diptarka and Chatterjee, Kushagra and Choudhary, Keerti},
title = {{Pairwise Reachability Oracles and Preservers Under Failures}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {35:1--35:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.35},
URN = {urn:nbn:de:0030-drops-163768},
doi = {10.4230/LIPIcs.ICALP.2022.35},
annote = {Keywords: Fault-tolerant, Reachability Oracle, Reachability Preservers, Graph sparsification, Lower bounds}
}
@InProceedings{chakraborty_et_al:LIPIcs.ICALP.2022.36,
author = {Chakraborty, Sourav and Kayal, Chandrima and Paraashar, Manaswi},
title = {{Separations Between Combinatorial Measures for Transitive Functions}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {36:1--36:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.36},
URN = {urn:nbn:de:0030-drops-163779},
doi = {10.4230/LIPIcs.ICALP.2022.36},
annote = {Keywords: Transitive functions, Combinatorial complexity of Boolean functions}
}
@InProceedings{chalermsook_et_al:LIPIcs.ICALP.2022.37,
author = {Chalermsook, Parinya and Huang, Chien-Chung and Nanongkai, Danupon and Saranurak, Thatchaphol and Sukprasert, Pattara and Yingchareonthawornchai, Sorrachai},
title = {{Approximating k-Edge-Connected Spanning Subgraphs via a Near-Linear Time LP Solver}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {37:1--37:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.37},
URN = {urn:nbn:de:0030-drops-163785},
doi = {10.4230/LIPIcs.ICALP.2022.37},
annote = {Keywords: Approximation Algorithms, Data Structures}
}
@InProceedings{charikar_et_al:LIPIcs.ICALP.2022.38,
author = {Charikar, Moses and Waingarten, Erik},
title = {{Polylogarithmic Sketches for Clustering}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {38:1--38:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.38},
URN = {urn:nbn:de:0030-drops-163793},
doi = {10.4230/LIPIcs.ICALP.2022.38},
annote = {Keywords: sketching, clustering}
}
@InProceedings{chen_et_al:LIPIcs.ICALP.2022.39,
author = {Chen, Lin and Wu, Xiaoyu and Zhang, Guochuan},
title = {{Approximation Algorithms for Interdiction Problem with Packing Constraints}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {39:1--39:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.39},
URN = {urn:nbn:de:0030-drops-163806},
doi = {10.4230/LIPIcs.ICALP.2022.39},
annote = {Keywords: Bilevel Integer Programming, Interdiction Constraints, Knapsack}
}
@InProceedings{chen_et_al:LIPIcs.ICALP.2022.40,
author = {Chen, Ryder and Khatkar, Jahanvi and Umboh, Seeun William},
title = {{Online Weighted Cardinality Joint Replenishment Problem with Delay}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {40:1--40:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.40},
URN = {urn:nbn:de:0030-drops-163815},
doi = {10.4230/LIPIcs.ICALP.2022.40},
annote = {Keywords: Online Algorithms, Delay, Joint Replenishment Problem}
}
@InProceedings{chou_et_al:LIPIcs.ICALP.2022.41,
author = {Chou, Chi-Ning and Love, Peter J. and Sandhu, Juspreet Singh and Shi, Jonathan},
title = {{Limitations of Local Quantum Algorithms on Random MAX-k-XOR and Beyond}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {41:1--41:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.41},
URN = {urn:nbn:de:0030-drops-163822},
doi = {10.4230/LIPIcs.ICALP.2022.41},
annote = {Keywords: Quantum Algorithms, Spin Glasses, Hardness of Approximation, Local Algorithms, Concentration Inequalities, Overlap Gap Property}
}
@InProceedings{christiansen_et_al:LIPIcs.ICALP.2022.42,
author = {Christiansen, Aleksander B. G. and Rotenberg, Eva},
title = {{Fully-Dynamic \alpha + 2 Arboricity Decompositions and Implicit Colouring}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {42:1--42:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.42},
URN = {urn:nbn:de:0030-drops-163835},
doi = {10.4230/LIPIcs.ICALP.2022.42},
annote = {Keywords: Dynamic graphs, bounded arboricity, graph colouring, data structures}
}
@InProceedings{cohen_et_al:LIPIcs.ICALP.2022.43,
author = {Cohen, Gil and Minzer, Dor and Peleg, Shir and Potechin, Aaron and Ta-Shma, Amnon},
title = {{Expander Random Walks: The General Case and Limitations}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {43:1--43:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.43},
URN = {urn:nbn:de:0030-drops-163849},
doi = {10.4230/LIPIcs.ICALP.2022.43},
annote = {Keywords: Expander Graphs, Random Walks, Lower Bounds}
}
@InProceedings{cohen_et_al:LIPIcs.ICALP.2022.44,
author = {Cohen, Gil and Yankovitz, Tal},
title = {{LCC and LDC: Tailor-Made Distance Amplification and a Refined Separation}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {44:1--44:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.44},
URN = {urn:nbn:de:0030-drops-163858},
doi = {10.4230/LIPIcs.ICALP.2022.44},
annote = {Keywords: Locally Correctable Codes, Locally Decodable Codes, Distance Amplifications}
}
@InProceedings{cojaoghlan_et_al:LIPIcs.ICALP.2022.45,
author = {Coja-Oghlan, Amin and Galanis, Andreas and Goldberg, Leslie Ann and Ravelomanana, Jean Bernoulli and \v{S}tefankovi\v{c}, Daniel and Vigoda, Eric},
title = {{Metastability of the Potts Ferromagnet on Random Regular Graphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {45:1--45:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.45},
URN = {urn:nbn:de:0030-drops-163865},
doi = {10.4230/LIPIcs.ICALP.2022.45},
annote = {Keywords: Markov chains, sampling, random regular graph, Potts model}
}
@InProceedings{conradi_et_al:LIPIcs.ICALP.2022.46,
author = {Conradi, Jacobus and Driemel, Anne},
title = {{On Computing the k-Shortcut Fr\'{e}chet Distance}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {46:1--46:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.46},
URN = {urn:nbn:de:0030-drops-163875},
doi = {10.4230/LIPIcs.ICALP.2022.46},
annote = {Keywords: Fr\'{e}chet distance, Partial similarity, Conditional lower bounds, Approximation algorithms}
}
@InProceedings{czumaj_et_al:LIPIcs.ICALP.2022.47,
author = {Czumaj, Artur and Jiang, Shaofeng H.-C. and Krauthgamer, Robert and Vesel\'{y}, Pavel},
title = {{Streaming Algorithms for Geometric Steiner Forest}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {47:1--47:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.47},
URN = {urn:nbn:de:0030-drops-163880},
doi = {10.4230/LIPIcs.ICALP.2022.47},
annote = {Keywords: Steiner forest, streaming, sublinear algorithms, dynamic programming}
}
@InProceedings{dani_et_al:LIPIcs.ICALP.2022.48,
author = {Dani, Varsha and D{\'\i}az, Josep and Hayes, Thomas P. and Moore, Cristopher},
title = {{Improved Reconstruction of Random Geometric Graphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {48:1--48:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.48},
URN = {urn:nbn:de:0030-drops-163897},
doi = {10.4230/LIPIcs.ICALP.2022.48},
annote = {Keywords: Reconstruction algorithm, distances in RGG, d-dimensional hypercube, 3 dimensional sphere}
}
@InProceedings{das_et_al:LIPIcs.ICALP.2022.49,
author = {Das, Debarati and Kociumaka, Tomasz and Saha, Barna},
title = {{Improved Approximation Algorithms for Dyck Edit Distance and RNA Folding}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {49:1--49:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.49},
URN = {urn:nbn:de:0030-drops-163902},
doi = {10.4230/LIPIcs.ICALP.2022.49},
annote = {Keywords: Dyck Edit Distance, RNA Folding, String Algorithms}
}
@InProceedings{deng_et_al:LIPIcs.ICALP.2022.50,
author = {Deng, Mingyang and Kirkpatrick, Yael and Rong, Victor and Vassilevska Williams, Virginia and Zhong, Ziqian},
title = {{New Additive Approximations for Shortest Paths and Cycles}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {50:1--50:10},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.50},
URN = {urn:nbn:de:0030-drops-163919},
doi = {10.4230/LIPIcs.ICALP.2022.50},
annote = {Keywords: Fine-grained Complexity, Additive Approximation}
}
@InProceedings{deshpande_et_al:LIPIcs.ICALP.2022.51,
author = {Deshpande, Amit and Pratap, Rameshwar},
title = {{One-Pass Additive-Error Subset Selection for 𝓁\underlinep Subspace Approximation}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {51:1--51:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.51},
URN = {urn:nbn:de:0030-drops-163924},
doi = {10.4230/LIPIcs.ICALP.2022.51},
annote = {Keywords: Subspace approximation, streaming algorithms, low-rank approximation, adaptive sampling, volume sampling, subset selection}
}
@InProceedings{dhamapurkar_et_al:LIPIcs.ICALP.2022.52,
author = {Dhamapurkar, Shyam S. and Pawar, Shubham Vivek and Radhakrishnan, Jaikumar},
title = {{Set Membership with Two Classical and Quantum Bit Probes}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {52:1--52:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.52},
URN = {urn:nbn:de:0030-drops-163932},
doi = {10.4230/LIPIcs.ICALP.2022.52},
annote = {Keywords: set membership problem, bit probe complexity, graphs with high girth, quantum data structure}
}
@InProceedings{ding_et_al:LIPIcs.ICALP.2022.53,
author = {Ding, Ming and Kyng, Rasmus and Gutenberg, Maximilian Probst and Zhang, Peng},
title = {{Hardness Results for Laplacians of Simplicial Complexes via Sparse-Linear Equation Complete Gadgets}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {53:1--53:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.53},
URN = {urn:nbn:de:0030-drops-163945},
doi = {10.4230/LIPIcs.ICALP.2022.53},
annote = {Keywords: Simplicial Complexes, Combinatorial Laplacians, Linear Equations, Fine-Grained Complexity}
}
@InProceedings{ding_et_al:LIPIcs.ICALP.2022.54,
author = {Ding, Ming and Kyng, Rasmus and Zhang, Peng},
title = {{Two-Commodity Flow Is Equivalent to Linear Programming Under Nearly-Linear Time Reductions}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {54:1--54:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.54},
URN = {urn:nbn:de:0030-drops-163950},
doi = {10.4230/LIPIcs.ICALP.2022.54},
annote = {Keywords: Two-Commodity Flow Problems, Linear Programming, Fine-Grained Complexity}
}
@InProceedings{doron_et_al:LIPIcs.ICALP.2022.55,
author = {Doron, Dean and Wootters, Mary},
title = {{High-Probability List-Recovery, and Applications to Heavy Hitters}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {55:1--55:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.55},
URN = {urn:nbn:de:0030-drops-163961},
doi = {10.4230/LIPIcs.ICALP.2022.55},
annote = {Keywords: List recoverable codes, Heavy Hitters, high-dimensional expanders}
}
@InProceedings{eden_et_al:LIPIcs.ICALP.2022.56,
author = {Eden, Talya and Ron, Dana and Rosenbaum, Will},
title = {{Almost Optimal Bounds for Sublinear-Time Sampling of k-Cliques in Bounded Arboricity Graphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {56:1--56:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.56},
URN = {urn:nbn:de:0030-drops-163974},
doi = {10.4230/LIPIcs.ICALP.2022.56},
annote = {Keywords: sublinear time algorithms, graph algorithms, cliques, arboricity, uniform sampling}
}
@InProceedings{efthymiou:LIPIcs.ICALP.2022.57,
author = {Efthymiou, Charilaos},
title = {{On Sampling Symmetric Gibbs Distributions on Sparse Random Graphs and Hypergraphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {57:1--57:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.57},
URN = {urn:nbn:de:0030-drops-163982},
doi = {10.4230/LIPIcs.ICALP.2022.57},
annote = {Keywords: spin-system, spin-glass, sparse random (hyper)graph, approximate sampling, efficient algorithm}
}
@InProceedings{esperet_et_al:LIPIcs.ICALP.2022.58,
author = {Esperet, Louis and Norin, Sergey},
title = {{Testability and Local Certification of Monotone Properties in Minor-Closed Classes}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {58:1--58:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.58},
URN = {urn:nbn:de:0030-drops-163997},
doi = {10.4230/LIPIcs.ICALP.2022.58},
annote = {Keywords: Property testing, sparse model, local certification, minor-closed classes}
}
@InProceedings{feldman_et_al:LIPIcs.ICALP.2022.59,
author = {Feldman, Moran and Liu, Paul and Norouzi-Fard, Ashkan and Svensson, Ola and Zenklusen, Rico},
title = {{Streaming Submodular Maximization Under Matroid Constraints}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {59:1--59:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.59},
URN = {urn:nbn:de:0030-drops-164007},
doi = {10.4230/LIPIcs.ICALP.2022.59},
annote = {Keywords: Submodular maximization, streaming, matroid, random order}
}
@InProceedings{fomin_et_al:LIPIcs.ICALP.2022.60,
author = {Fomin, Fedor V. and Golovach, Petr A. and Inamdar, Tanmay and Zehavi, Meirav},
title = {{(Re)packing Equal Disks into Rectangle}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {60:1--60:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.60},
URN = {urn:nbn:de:0030-drops-164011},
doi = {10.4230/LIPIcs.ICALP.2022.60},
annote = {Keywords: circle packing, unit disks, parameterized complexity, fixed-parameter tractability}
}
@InProceedings{forster_et_al:LIPIcs.ICALP.2022.61,
author = {Forster, Sebastian and de Vos, Tijn},
title = {{Faster Cut Sparsification of Weighted Graphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {61:1--61:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.61},
URN = {urn:nbn:de:0030-drops-164029},
doi = {10.4230/LIPIcs.ICALP.2022.61},
annote = {Keywords: Cut Sparsification, Graph Algorithms}
}
@InProceedings{friedrich_et_al:LIPIcs.ICALP.2022.62,
author = {Friedrich, Tobias and Gawendowicz, Hans and Lenzner, Pascal and Melnichenko, Anna},
title = {{Social Distancing Network Creation}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {62:1--62:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.62},
URN = {urn:nbn:de:0030-drops-164038},
doi = {10.4230/LIPIcs.ICALP.2022.62},
annote = {Keywords: Algorithmic Game Theory, Equilibrium Existence, Price of Anarchy, Network Creation Game, Social Distancing, Maximization vs. Minimization Problems}
}
@InProceedings{galanis_et_al:LIPIcs.ICALP.2022.63,
author = {Galanis, Andreas and \v{S}tefankovi\v{c}, Daniel and Vigoda, Eric},
title = {{Approximating Observables Is as Hard as Counting}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {63:1--63:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.63},
URN = {urn:nbn:de:0030-drops-164047},
doi = {10.4230/LIPIcs.ICALP.2022.63},
annote = {Keywords: Approximate Counting, Averages, Phase Transitions, Random Structures}
}
@InProceedings{gan_et_al:LIPIcs.ICALP.2022.64,
author = {Gan, Luyining and Han, Jie},
title = {{The Decision Problem for Perfect Matchings in Dense Hypergraphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {64:1--64:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.64},
URN = {urn:nbn:de:0030-drops-164057},
doi = {10.4230/LIPIcs.ICALP.2022.64},
annote = {Keywords: Computational Complexity, Perfect Matching, Hypergraph}
}
@InProceedings{ganguly_et_al:LIPIcs.ICALP.2022.65,
author = {Ganguly, Arnab and Shah, Rahul and Thankachan, Sharma V.},
title = {{Fully Functional Parameterized Suffix Trees in Compact Space}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {65:1--65:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.65},
URN = {urn:nbn:de:0030-drops-164061},
doi = {10.4230/LIPIcs.ICALP.2022.65},
annote = {Keywords: Data Structures, Suffix Trees, String Algorithms, Compression}
}
@InProceedings{ganian_et_al:LIPIcs.ICALP.2022.66,
author = {Ganian, Robert and Hamm, Thekla and Korchemna, Viktoriia and Okrasa, Karolina and Simonov, Kirill},
title = {{The Fine-Grained Complexity of Graph Homomorphism Parameterized by Clique-Width}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {66:1--66:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.66},
URN = {urn:nbn:de:0030-drops-164076},
doi = {10.4230/LIPIcs.ICALP.2022.66},
annote = {Keywords: homomorphism, clique-width, fine-grained complexity}
}
@InProceedings{gawrychowski_et_al:LIPIcs.ICALP.2022.67,
author = {Gawrychowski, Pawe{\l} and Pokorski, Karol},
title = {{Sublinear Dynamic Interval Scheduling (On One or Multiple Machines)}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {67:1--67:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.67},
URN = {urn:nbn:de:0030-drops-164086},
doi = {10.4230/LIPIcs.ICALP.2022.67},
annote = {Keywords: interval scheduling, dynamic problems, data structures, greedy algorithms}
}
@InProceedings{ghasemi_et_al:LIPIcs.ICALP.2022.68,
author = {Ghasemi, Elahe and Jug\'{e}, Vincent and Khalighinejad, Ghazal},
title = {{Galloping in Fast-Growth Natural Merge Sorts}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {68:1--68:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.68},
URN = {urn:nbn:de:0030-drops-164098},
doi = {10.4230/LIPIcs.ICALP.2022.68},
annote = {Keywords: Sorting algorithms, Merge sorting algorithms, Analysis of algorithms}
}
@InProceedings{ghosh_et_al:LIPIcs.ICALP.2022.69,
author = {Ghosh, Arijit and Mishra, Gopinath and Raychaudhury, Rahul and Sen, Sayantan},
title = {{Tolerant Bipartiteness Testing in Dense Graphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {69:1--69:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.69},
URN = {urn:nbn:de:0030-drops-164101},
doi = {10.4230/LIPIcs.ICALP.2022.69},
annote = {Keywords: Tolerant Testing, Bipartite Testing, Query Complexity, Graph Property Testing}
}
@InProceedings{grohe_et_al:LIPIcs.ICALP.2022.70,
author = {Grohe, Martin and Rattan, Gaurav and Seppelt, Tim},
title = {{Homomorphism Tensors and Linear Equations}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {70:1--70:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.70},
URN = {urn:nbn:de:0030-drops-164113},
doi = {10.4230/LIPIcs.ICALP.2022.70},
annote = {Keywords: homomorphisms, labelled graphs, treewidth, pathwidth, treedepth, linear equations, Sherali-Adams relaxation, Wiegmann-Specht Theorem, Weisfeiler-Leman}
}
@InProceedings{harms_et_al:LIPIcs.ICALP.2022.71,
author = {Harms, Nathaniel and Yoshida, Yuichi},
title = {{Downsampling for Testing and Learning in Product Distributions}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {71:1--71:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.71},
URN = {urn:nbn:de:0030-drops-164123},
doi = {10.4230/LIPIcs.ICALP.2022.71},
annote = {Keywords: property testing, learning, monotonicity, halfspaces, intersections of halfspaces, polynomial threshold functions}
}
@InProceedings{haviv:LIPIcs.ICALP.2022.72,
author = {Haviv, Ishay},
title = {{A Fixed-Parameter Algorithm for the Kneser Problem}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {72:1--72:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.72},
URN = {urn:nbn:de:0030-drops-164139},
doi = {10.4230/LIPIcs.ICALP.2022.72},
annote = {Keywords: Kneser graph, Fixed-parameter tractability, Agreeable Set}
}
@InProceedings{holmgren_et_al:LIPIcs.ICALP.2022.73,
author = {Holmgren, Justin and Lincoln, Andrea and Rothblum, Ron D.},
title = {{Delegation for Search Problems}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {73:1--73:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.73},
URN = {urn:nbn:de:0030-drops-164146},
doi = {10.4230/LIPIcs.ICALP.2022.73},
annote = {Keywords: Interactive Proofs, Fine-Grained Complexity, Delegation}
}
@InProceedings{houen_et_al:LIPIcs.ICALP.2022.74,
author = {Houen, Jakob B{\ae}k Tejs and Thorup, Mikkel},
title = {{Understanding the Moments of Tabulation Hashing via Chaoses}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {74:1--74:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.74},
URN = {urn:nbn:de:0030-drops-164154},
doi = {10.4230/LIPIcs.ICALP.2022.74},
annote = {Keywords: hashing, concentration bounds, moment bounds}
}
@InProceedings{huang_et_al:LIPIcs.ICALP.2022.75,
author = {Huang, Ziyun and Xu, Jinhui},
title = {{In-Range Farthest Point Queries and Related Problem in High Dimensions}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {75:1--75:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.75},
URN = {urn:nbn:de:0030-drops-164167},
doi = {10.4230/LIPIcs.ICALP.2022.75},
annote = {Keywords: Farthest Point Query, Range Aggregate Query, Minimum Enclosing Ball, Approximation, High Dimensional Space}
}
@InProceedings{ioannidis_et_al:LIPIcs.ICALP.2022.76,
author = {Ioannidis, Stavros D. and de Keijzer, Bart and Ventre, Carmine},
title = {{Strong Approximations and Irrationality in Financial Networks with Derivatives}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {76:1--76:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.76},
URN = {urn:nbn:de:0030-drops-164172},
doi = {10.4230/LIPIcs.ICALP.2022.76},
annote = {Keywords: FIXP, Financial Networks, Systemic Risk}
}
@InProceedings{jambulapati_et_al:LIPIcs.ICALP.2022.77,
author = {Jambulapati, Arun and Jin, Yujia and Sidford, Aaron and Tian, Kevin},
title = {{Regularized Box-Simplex Games and Dynamic Decremental Bipartite Matching}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {77:1--77:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.77},
URN = {urn:nbn:de:0030-drops-164181},
doi = {10.4230/LIPIcs.ICALP.2022.77},
annote = {Keywords: bipartite matching, decremental matching, dynamic algorithms, continuous optimization, box-simplex games, primal-dual method}
}
@InProceedings{jansen_et_al:LIPIcs.ICALP.2022.78,
author = {Jansen, Klaus and Khan, Arindam and Lira, Marvin and Sreenivas, K. V. N.},
title = {{A PTAS for Packing Hypercubes into a Knapsack}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {78:1--78:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.78},
URN = {urn:nbn:de:0030-drops-164192},
doi = {10.4230/LIPIcs.ICALP.2022.78},
annote = {Keywords: Multidimensional knapsack, geometric packing, cube packing, strip packing}
}
@InProceedings{jiang_et_al:LIPIcs.ICALP.2022.79,
author = {Jiang, Shunhua and Natura, Bento and Weinstein, Omri},
title = {{A Faster Interior-Point Method for Sum-Of-Squares Optimization}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {79:1--79:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.79},
URN = {urn:nbn:de:0030-drops-164205},
doi = {10.4230/LIPIcs.ICALP.2022.79},
annote = {Keywords: Interior Point Methods, Sum-of-squares Optimization, Dynamic Matrix Inverse}
}
@InProceedings{khan_et_al:LIPIcs.ICALP.2022.80,
author = {Khan, Arindam and Lonkar, Aditya and Maiti, Arnab and Sharma, Amatya and Wiese, Andreas},
title = {{Tight Approximation Algorithms for Two-Dimensional Guillotine Strip Packing}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {80:1--80:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.80},
URN = {urn:nbn:de:0030-drops-164215},
doi = {10.4230/LIPIcs.ICALP.2022.80},
annote = {Keywords: Approximation Algorithms, Two-Dimensional Packing, Rectangle Packing, Guillotine Cuts, Computational Geometry}
}
@InProceedings{kiefer_et_al:LIPIcs.ICALP.2022.81,
author = {Kiefer, Sandra and Neuen, Daniel},
title = {{A Study of Weisfeiler-Leman Colorings on Planar Graphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {81:1--81:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.81},
URN = {urn:nbn:de:0030-drops-164228},
doi = {10.4230/LIPIcs.ICALP.2022.81},
annote = {Keywords: Weisfeiler-Leman algorithm, planar graphs, edge-transitive graphs, fixing number}
}
@InProceedings{kogan_et_al:LIPIcs.ICALP.2022.82,
author = {Kogan, Shimon and Parter, Merav},
title = {{Beating Matrix Multiplication for n^\{1/3\}-Directed Shortcuts}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {82:1--82:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.82},
URN = {urn:nbn:de:0030-drops-164230},
doi = {10.4230/LIPIcs.ICALP.2022.82},
annote = {Keywords: Directed Shortcuts, Transitive Closure, Width}
}
@InProceedings{komarath_et_al:LIPIcs.ICALP.2022.83,
author = {Komarath, Balagopal and Pandey, Anurag and Rahul, Chengot Sankaramenon},
title = {{Monotone Arithmetic Complexity of Graph Homomorphism Polynomials}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {83:1--83:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.83},
URN = {urn:nbn:de:0030-drops-164245},
doi = {10.4230/LIPIcs.ICALP.2022.83},
annote = {Keywords: Homomorphism polynomials, Monotone complexity, Algebraic complexity, Graph algorithms, Fine-grained complexity, Fixed-parameter algorithms and complexity, Treewidth, Pathwidth, Treedepth, Graph homomorphisms, Algebraic circuits, Algebraic branching programs, Algebraic formulas}
}
@InProceedings{kumar_et_al:LIPIcs.ICALP.2022.84,
author = {Kumar, Akash and Louis, Anand and Paul, Rameesh},
title = {{Exact Recovery Algorithm for Planted Bipartite Graph in Semi-Random Graphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {84:1--84:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.84},
URN = {urn:nbn:de:0030-drops-164251},
doi = {10.4230/LIPIcs.ICALP.2022.84},
annote = {Keywords: SDP duality, Planted models, Semi-random models, Exact recovery, Threshold rank, Spectral embedding, Subspace enumeration}
}
@InProceedings{kuszmaul_et_al:LIPIcs.ICALP.2022.85,
author = {Kuszmaul, William and Narayanan, Shyam},
title = {{Optimal Time-Backlog Tradeoffs for the Variable-Processor Cup Game}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {85:1--85:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.85},
URN = {urn:nbn:de:0030-drops-164263},
doi = {10.4230/LIPIcs.ICALP.2022.85},
annote = {Keywords: Cup Games, Potential Functions, Greedy}
}
@InProceedings{lacki_et_al:LIPIcs.ICALP.2022.86,
author = {{\L}\k{a}cki, Jakub and Nazari, Yasamin},
title = {{Near-Optimal Decremental Hopsets with Applications}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {86:1--86:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.86},
URN = {urn:nbn:de:0030-drops-164277},
doi = {10.4230/LIPIcs.ICALP.2022.86},
annote = {Keywords: Dynamic Algorithms, Data Structures, Shortest Paths, Hopsets}
}
@InProceedings{lassota_et_al:LIPIcs.ICALP.2022.87,
author = {Lassota, Alexandra and {\L}ukasiewicz, Aleksander and Polak, Adam},
title = {{Tight Vector Bin Packing with Few Small Items via Fast Exact Matching in Multigraphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {87:1--87:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.87},
URN = {urn:nbn:de:0030-drops-164286},
doi = {10.4230/LIPIcs.ICALP.2022.87},
annote = {Keywords: Bin Packing, Vector Bin Packing, Parameterized Complexity, Matching}
}
@InProceedings{legrandduchesne_et_al:LIPIcs.ICALP.2022.88,
author = {Legrand-Duchesne, Cl\'{e}ment and Rai, Ashutosh and Tancer, Martin},
title = {{Parameterized Complexity of Untangling Knots}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {88:1--88:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.88},
URN = {urn:nbn:de:0030-drops-164296},
doi = {10.4230/LIPIcs.ICALP.2022.88},
annote = {Keywords: unknot recognition, parameterized complexity, Reidemeister moves, W\lbrackP\rbrack-complete}
}
@InProceedings{liao_et_al:LIPIcs.ICALP.2022.89,
author = {Liao, Chao and Chen, Qingyun and Laekhanukit, Bundit and Zhang, Yuhao},
title = {{Almost Tight Approximation Hardness for Single-Source Directed k-Edge-Connectivity}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {89:1--89:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.89},
URN = {urn:nbn:de:0030-drops-164309},
doi = {10.4230/LIPIcs.ICALP.2022.89},
annote = {Keywords: Directed Steiner Tree, Hardness of Approximation, Fault-Tolerant and Survivable Network Design}
}
@InProceedings{lin_et_al:LIPIcs.ICALP.2022.90,
author = {Lin, Bingkai and Ren, Xuandi and Sun, Yican and Wang, Xiuhan},
title = {{On Lower Bounds of Approximating Parameterized k-Clique}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {90:1--90:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.90},
URN = {urn:nbn:de:0030-drops-164317},
doi = {10.4230/LIPIcs.ICALP.2022.90},
annote = {Keywords: parameterized complexity, k-clique, hardness of approximation}
}
@InProceedings{lokshtanov_et_al:LIPIcs.ICALP.2022.91,
author = {Lokshtanov, Daniel and Panolan, Fahad and Ramanujan, M. S.},
title = {{Backdoor Sets on Nowhere Dense SAT}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {91:1--91:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.91},
URN = {urn:nbn:de:0030-drops-164323},
doi = {10.4230/LIPIcs.ICALP.2022.91},
annote = {Keywords: Fixed-parameter Tractability, Satisfiability, Backdoors, Treewidth}
}
@InProceedings{lu_et_al:LIPIcs.ICALP.2022.92,
author = {Lu, Zhenjian and Oliveira, Igor C. and Zimand, Marius},
title = {{Optimal Coding Theorems in Time-Bounded Kolmogorov Complexity}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {92:1--92:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.92},
URN = {urn:nbn:de:0030-drops-164331},
doi = {10.4230/LIPIcs.ICALP.2022.92},
annote = {Keywords: computational complexity, randomized algorithms, Kolmogorov complexity}
}
@InProceedings{majewski_et_al:LIPIcs.ICALP.2022.93,
author = {Majewski, Konrad and Masa\v{r}{\'\i}k, Tom\'{a}\v{s} and Novotn\'{a}, Jana and Okrasa, Karolina and Pilipczuk, Marcin and Rz\k{a}\.{z}ewski, Pawe{\l} and Soko{\l}owski, Marek},
title = {{Max Weight Independent Set in Graphs with No Long Claws: An Analog of the Gy\'{a}rf\'{a}s' Path Argument}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {93:1--93:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.93},
URN = {urn:nbn:de:0030-drops-164343},
doi = {10.4230/LIPIcs.ICALP.2022.93},
annote = {Keywords: Max Independent Set, subdivided claw, QPTAS, subexponential-time algorithm}
}
@InProceedings{mathialagan_et_al:LIPIcs.ICALP.2022.94,
author = {Mathialagan, Surya and Vassilevska Williams, Virginia and Xu, Yinzhan},
title = {{Listing, Verifying and Counting Lowest Common Ancestors in DAGs: Algorithms and Fine-Grained Lower Bounds}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {94:1--94:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.94},
URN = {urn:nbn:de:0030-drops-164359},
doi = {10.4230/LIPIcs.ICALP.2022.94},
annote = {Keywords: All-Pairs Lowest Common Ancestor, Fine-Grained Complexity}
}
@InProceedings{mathieu_et_al:LIPIcs.ICALP.2022.95,
author = {Mathieu, Claire and Zhou, Hang},
title = {{A PTAS for Capacitated Vehicle Routing on Trees}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {95:1--95:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.95},
URN = {urn:nbn:de:0030-drops-164369},
doi = {10.4230/LIPIcs.ICALP.2022.95},
annote = {Keywords: approximation algorithms, capacitated vehicle routing, graph algorithms, combinatorial optimization}
}
@InProceedings{mcgregor_et_al:LIPIcs.ICALP.2022.96,
author = {McGregor, Andrew and Sengupta, Rik},
title = {{Graph Reconstruction from Random Subgraphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {96:1--96:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.96},
URN = {urn:nbn:de:0030-drops-164373},
doi = {10.4230/LIPIcs.ICALP.2022.96},
annote = {Keywords: graph reconstruction, sample complexity, deletion channel}
}
@InProceedings{musipatla_et_al:LIPIcs.ICALP.2022.97,
author = {Musipatla, Amulya and O'Donnell, Ryan and Schramm, Tselil and Wu, Xinyu},
title = {{The SDP Value of Random 2CSPs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {97:1--97:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.97},
URN = {urn:nbn:de:0030-drops-164381},
doi = {10.4230/LIPIcs.ICALP.2022.97},
annote = {Keywords: Random constraint satisfaction problems}
}
@InProceedings{newman_et_al:LIPIcs.ICALP.2022.98,
author = {Newman, Ilan and Varma, Nithin},
title = {{Strongly Sublinear Algorithms for Testing Pattern Freeness}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {98:1--98:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.98},
URN = {urn:nbn:de:0030-drops-164390},
doi = {10.4230/LIPIcs.ICALP.2022.98},
annote = {Keywords: Property testing, Pattern freeness, Sublinear algorithms}
}
@InProceedings{nishimoto_et_al:LIPIcs.ICALP.2022.99,
author = {Nishimoto, Takaaki and Kanda, Shunsuke and Tabei, Yasuo},
title = {{An Optimal-Time RLBWT Construction in BWT-Runs Bounded Space}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {99:1--99:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.99},
URN = {urn:nbn:de:0030-drops-164403},
doi = {10.4230/LIPIcs.ICALP.2022.99},
annote = {Keywords: lossless data compression, Burrows-Wheeler transform, highly repetitive text collections}
}
@InProceedings{papamakarios_et_al:LIPIcs.ICALP.2022.100,
author = {Papamakarios, Theodoros and Razborov, Alexander},
title = {{Space Characterizations of Complexity Measures and Size-Space Trade-Offs in Propositional Proof Systems}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {100:1--100:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.100},
URN = {urn:nbn:de:0030-drops-164419},
doi = {10.4230/LIPIcs.ICALP.2022.100},
annote = {Keywords: Proof Complexity, Resolution, Size-Space Trade-offs}
}
@InProceedings{pich_et_al:LIPIcs.ICALP.2022.101,
author = {Pich, J\'{a}n and Santhanam, Rahul},
title = {{Learning Algorithms Versus Automatability of Frege Systems}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {101:1--101:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.101},
URN = {urn:nbn:de:0030-drops-164427},
doi = {10.4230/LIPIcs.ICALP.2022.101},
annote = {Keywords: learning algorithms, automatability, proof complexity}
}
@InProceedings{pilipczuk_et_al:LIPIcs.ICALP.2022.102,
author = {Pilipczuk, Micha{\l} and Schirrmacher, Nicole and Siebertz, Sebastian and Toru\'{n}czyk, Szymon and Vigny, Alexandre},
title = {{Algorithms and Data Structures for First-Order Logic with Connectivity Under Vertex Failures}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {102:1--102:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.102},
URN = {urn:nbn:de:0030-drops-164432},
doi = {10.4230/LIPIcs.ICALP.2022.102},
annote = {Keywords: Combinatorics and graph theory, Computational applications of logic, Data structures, Fixed-parameter algorithms and complexity, Graph algorithms}
}
@InProceedings{qiu_et_al:LIPIcs.ICALP.2022.103,
author = {Qiu, Guoliang and Wang, Yanheng and Zhang, Chihao},
title = {{A Perfect Sampler for Hypergraph Independent Sets}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {103:1--103:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.103},
URN = {urn:nbn:de:0030-drops-164442},
doi = {10.4230/LIPIcs.ICALP.2022.103},
annote = {Keywords: Coupling from the past, Markov chains, Hypergraph independent sets}
}
@InProceedings{resch_et_al:LIPIcs.ICALP.2022.104,
author = {Resch, Nicolas and Yuan, Chen},
title = {{Threshold Rates of Code Ensembles: Linear Is Best}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {104:1--104:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.104},
URN = {urn:nbn:de:0030-drops-164456},
doi = {10.4230/LIPIcs.ICALP.2022.104},
annote = {Keywords: Random Linear Codes, List-Decoding, List-Recovery, Threshold Rates}
}
@InProceedings{rubinstein:LIPIcs.ICALP.2022.105,
author = {Rubinstein, Ittai},
title = {{Explicit and Efficient Construction of Nearly Optimal Rate Codes for the Binary Deletion Channel and the Poisson Repeat Channel}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {105:1--105:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.105},
URN = {urn:nbn:de:0030-drops-164466},
doi = {10.4230/LIPIcs.ICALP.2022.105},
annote = {Keywords: Error Correcting Codes, Algorithmic Coding Theory, Binary Deletion Channel}
}
@InProceedings{rubinstein_et_al:LIPIcs.ICALP.2022.106,
author = {Rubinstein, Aviad and Zhao, Junyao},
title = {{Maximizing Non-Monotone Submodular Functions over Small Subsets: Beyond 1/2-Approximation}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {106:1--106:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.106},
URN = {urn:nbn:de:0030-drops-164478},
doi = {10.4230/LIPIcs.ICALP.2022.106},
annote = {Keywords: Submodular optimization, Fixed-parameter tractability, Random-order streaming}
}
@InProceedings{tetek:LIPIcs.ICALP.2022.107,
author = {T\v{e}tek, Jakub},
title = {{Approximate Triangle Counting via Sampling and Fast Matrix Multiplication}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {107:1--107:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.107},
URN = {urn:nbn:de:0030-drops-164485},
doi = {10.4230/LIPIcs.ICALP.2022.107},
annote = {Keywords: Approximate triangle counting, Fast matrix multiplication, Sampling}
}
@InProceedings{yao_et_al:LIPIcs.ICALP.2022.108,
author = {Yao, Penghui and Yin, Yitong and Zhang, Xinyuan},
title = {{Polynomial-Time Approximation of Zero-Free Partition Functions}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {108:1--108:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.108},
URN = {urn:nbn:de:0030-drops-164494},
doi = {10.4230/LIPIcs.ICALP.2022.108},
annote = {Keywords: partition function, zero-freeness, local Hamiltonian}
}
@InProceedings{zhang:LIPIcs.ICALP.2022.109,
author = {Zhang, Tianyi},
title = {{Faster Cut-Equivalent Trees in Simple Graphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {109:1--109:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.109},
URN = {urn:nbn:de:0030-drops-164507},
doi = {10.4230/LIPIcs.ICALP.2022.109},
annote = {Keywords: graph algorithms, minimum cuts, max-flow}
}
@InProceedings{allamigeon_et_al:LIPIcs.ICALP.2022.110,
author = {Allamigeon, Xavier and Gaubert, St\'{e}phane and Katz, Ricardo D. and Skomra, Mateusz},
title = {{Universal Complexity Bounds Based on Value Iteration and Application to Entropy Games}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {110:1--110:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.110},
URN = {urn:nbn:de:0030-drops-164511},
doi = {10.4230/LIPIcs.ICALP.2022.110},
annote = {Keywords: Mean-payoff games, entropy games, value iteration, Perron root, separation bounds, parameterized complexity}
}
@InProceedings{amir_et_al:LIPIcs.ICALP.2022.111,
author = {Amir, Djamel Eddine and Hoyrup, Mathieu},
title = {{Computability of Finite Simplicial Complexes}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {111:1--111:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.111},
URN = {urn:nbn:de:0030-drops-164522},
doi = {10.4230/LIPIcs.ICALP.2022.111},
annote = {Keywords: Computable Type, Simplicial Complex, Surjection Property, Topological Cone, Absolute Neighborhood Retract, Dunce Hat, Bing’s House}
}
@InProceedings{barozzini_et_al:LIPIcs.ICALP.2022.112,
author = {Barozzini, David and Parys, Pawe{\l} and Wr\'{o}blewski, Jan},
title = {{Unboundedness for Recursion Schemes: A Simpler Type System}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {112:1--112:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.112},
URN = {urn:nbn:de:0030-drops-164533},
doi = {10.4230/LIPIcs.ICALP.2022.112},
annote = {Keywords: Higher-order recursion schemes, boundedness, intersection types, safe schemes}
}
@InProceedings{bertrand_et_al:LIPIcs.ICALP.2022.113,
author = {Bertrand, Nathalie and Markey, Nicolas and Sankur, Ocan and Waldburger, Nicolas},
title = {{Parameterized Safety Verification of Round-Based Shared-Memory Systems}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {113:1--113:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.113},
URN = {urn:nbn:de:0030-drops-164541},
doi = {10.4230/LIPIcs.ICALP.2022.113},
annote = {Keywords: Verification, Parameterized models, Distributed algorithms}
}
@InProceedings{bohn_et_al:LIPIcs.ICALP.2022.114,
author = {Bohn, Le\'{o}n and L\"{o}ding, Christof},
title = {{Passive Learning of Deterministic B\"{u}chi Automata by Combinations of DFAs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {114:1--114:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.114},
URN = {urn:nbn:de:0030-drops-164553},
doi = {10.4230/LIPIcs.ICALP.2022.114},
annote = {Keywords: deterministic B\"{u}chi automata, learning from examples, learning in the limit, active learning}
}
@InProceedings{bordais_et_al:LIPIcs.ICALP.2022.115,
author = {Bordais, Benjamin and Busatto-Gaston, Damien and Guha, Shibashis and Raskin, Jean-Fran\c{c}ois},
title = {{Strategy Synthesis for Global Window PCTL}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {115:1--115:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.115},
URN = {urn:nbn:de:0030-drops-164562},
doi = {10.4230/LIPIcs.ICALP.2022.115},
annote = {Keywords: Markov decision processes, synthesis, PCTL}
}
@InProceedings{brice_et_al:LIPIcs.ICALP.2022.116,
author = {Brice, L\'{e}onard and Raskin, Jean-Fran\c{c}ois and van den Bogaard, Marie},
title = {{The Complexity of SPEs in Mean-Payoff Games}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {116:1--116:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.116},
URN = {urn:nbn:de:0030-drops-164574},
doi = {10.4230/LIPIcs.ICALP.2022.116},
annote = {Keywords: Games on graphs, subgame-perfect equilibria, mean-payoff objectives}
}
@InProceedings{casares_et_al:LIPIcs.ICALP.2022.117,
author = {Casares, Antonio and Colcombet, Thomas and Lehtinen, Karoliina},
title = {{On the Size of Good-For-Games Rabin Automata and Its Link with the Memory in Muller Games}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {117:1--117:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.117},
URN = {urn:nbn:de:0030-drops-164580},
doi = {10.4230/LIPIcs.ICALP.2022.117},
annote = {Keywords: Infinite duration games, Muller games, Rabin conditions, omega-regular languages, memory in games, good-for-games automata}
}
@InProceedings{datta_et_al:LIPIcs.ICALP.2022.118,
author = {Datta, Samir and Gupta, Chetan and Jain, Rahul and Mukherjee, Anish and Sharma, Vimal Raj and Tewari, Raghunath},
title = {{Dynamic Meta-Theorems for Distance and Matching}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {118:1--118:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.118},
URN = {urn:nbn:de:0030-drops-164598},
doi = {10.4230/LIPIcs.ICALP.2022.118},
annote = {Keywords: Dynamic Complexity, Distance, Matching, Derandomization, Isolation, Matrix Rank}
}
@InProceedings{debeaudrap_et_al:LIPIcs.ICALP.2022.119,
author = {de Beaudrap, Niel and Kissinger, Aleks and van de Wetering, John},
title = {{Circuit Extraction for ZX-Diagrams Can Be #P-Hard}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {119:1--119:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.119},
URN = {urn:nbn:de:0030-drops-164601},
doi = {10.4230/LIPIcs.ICALP.2022.119},
annote = {Keywords: ZX-calculus, circuit extraction, quantum circuits, #P}
}
@InProceedings{doueneautabot:LIPIcs.ICALP.2022.120,
author = {Dou\'{e}neau-Tabot, Ga\"{e}tan},
title = {{Hiding Pebbles When the Output Alphabet Is Unary}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {120:1--120:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.120},
URN = {urn:nbn:de:0030-drops-164613},
doi = {10.4230/LIPIcs.ICALP.2022.120},
annote = {Keywords: polyregular functions, pebble transducers, rational series, factorization forests, Cauchy product, Hadamard product}
}
@InProceedings{doumane:LIPIcs.ICALP.2022.121,
author = {Doumane, Amina},
title = {{Regular Expressions for Tree-Width 2 Graphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {121:1--121:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.121},
URN = {urn:nbn:de:0030-drops-164627},
doi = {10.4230/LIPIcs.ICALP.2022.121},
annote = {Keywords: Tree width, MSO, Regular expressions}
}
@InProceedings{exibard_et_al:LIPIcs.ICALP.2022.122,
author = {Exibard, L\'{e}o and Filiot, Emmanuel and Khalimov, Ayrat},
title = {{A Generic Solution to Register-Bounded Synthesis with an Application to Discrete Orders}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {122:1--122:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.122},
URN = {urn:nbn:de:0030-drops-164634},
doi = {10.4230/LIPIcs.ICALP.2022.122},
annote = {Keywords: Synthesis, Register Automata, Transducers, Ordered Data Domains}
}
@InProceedings{gajarsky_et_al:LIPIcs.ICALP.2022.123,
author = {Gajarsk\'{y}, Jakub and Pilipczuk, Micha{\l} and Przybyszewski, Wojciech and Toru\'{n}czyk, Szymon},
title = {{Twin-Width and Types}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {123:1--123:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.123},
URN = {urn:nbn:de:0030-drops-164640},
doi = {10.4230/LIPIcs.ICALP.2022.123},
annote = {Keywords: twin-width, FO logic, model checking, query answering, enumeration}
}
@InProceedings{ganardi_et_al:LIPIcs.ICALP.2022.124,
author = {Ganardi, Moses and Majumdar, Rupak and Pavlogiannis, Andreas and Sch\"{u}tze, Lia and Zetzsche, Georg},
title = {{Reachability in Bidirected Pushdown VASS}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {124:1--124:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.124},
URN = {urn:nbn:de:0030-drops-164651},
doi = {10.4230/LIPIcs.ICALP.2022.124},
annote = {Keywords: Vector addition systems, Pushdown, Reachability, Decidability, Complexity}
}
@InProceedings{gimbert_et_al:LIPIcs.ICALP.2022.125,
author = {Gimbert, Hugo and Mascle, Corto and Muscholl, Anca and Walukiewicz, Igor},
title = {{Distributed Controller Synthesis for Deadlock Avoidance}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {125:1--125:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.125},
URN = {urn:nbn:de:0030-drops-164668},
doi = {10.4230/LIPIcs.ICALP.2022.125},
annote = {Keywords: Distributed Synthesis, Concurrency, Lock Synchronisation, Deadlock Avoidance}
}
@InProceedings{goos_et_al:LIPIcs.ICALP.2022.126,
author = {G\"{o}\"{o}s, Mika and Kiefer, Stefan and Yuan, Weiqiang},
title = {{Lower Bounds for Unambiguous Automata via Communication Complexity}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {126:1--126:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.126},
URN = {urn:nbn:de:0030-drops-164679},
doi = {10.4230/LIPIcs.ICALP.2022.126},
annote = {Keywords: Unambiguous automata, communication complexity}
}
@InProceedings{idziak_et_al:LIPIcs.ICALP.2022.127,
author = {Idziak, Pawe{\l} M. and Kawa{\l}ek, Piotr and Krzaczkowski, Jacek and Wei{\ss}, Armin},
title = {{Satisfiability Problems for Finite Groups}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {127:1--127:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.127},
URN = {urn:nbn:de:0030-drops-164685},
doi = {10.4230/LIPIcs.ICALP.2022.127},
annote = {Keywords: Satisifiability, Solvable groups, ProgramSat, PolSat, Exponential Time Hypothesis}
}
@InProceedings{nakajima_et_al:LIPIcs.ICALP.2022.128,
author = {Nakajima, Tamio-Vesa and \v{Z}ivn\'{y}, Stanislav},
title = {{Linearly Ordered Colourings of Hypergraphs}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {128:1--128:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.128},
URN = {urn:nbn:de:0030-drops-164692},
doi = {10.4230/LIPIcs.ICALP.2022.128},
annote = {Keywords: hypegraph colourings, promise constraint satisfaction, PCSP, polymorphisms, minions, algebraic approach}
}
@InProceedings{piribauer_et_al:LIPIcs.ICALP.2022.129,
author = {Piribauer, Jakob and Sankur, Ocan and Baier, Christel},
title = {{The Variance-Penalized Stochastic Shortest Path Problem}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {129:1--129:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.129},
URN = {urn:nbn:de:0030-drops-164705},
doi = {10.4230/LIPIcs.ICALP.2022.129},
annote = {Keywords: Markov decision process, variance, stochastic shortest path problem}
}
@InProceedings{prebet:LIPIcs.ICALP.2022.130,
author = {Prebet, Enguerrand},
title = {{Functions and References in the Pi-Calculus: Full Abstraction and Proof Techniques}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {130:1--130:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.130},
URN = {urn:nbn:de:0030-drops-164715},
doi = {10.4230/LIPIcs.ICALP.2022.130},
annote = {Keywords: Call-by-value \lambda-calculus, imperative Programming, \pi-calculus, Bisimulation, Type System}
}
@InProceedings{salo_et_al:LIPIcs.ICALP.2022.131,
author = {Salo, Ville and T\"{o}rm\"{a}, Ilkka},
title = {{What Can Oracles Teach Us About the Ultimate Fate of Life?}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {131:1--131:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.131},
URN = {urn:nbn:de:0030-drops-164721},
doi = {10.4230/LIPIcs.ICALP.2022.131},
annote = {Keywords: Game of Life, cellular automata, limit set, symbolic dynamics}
}
@InProceedings{schmid_et_al:LIPIcs.ICALP.2022.132,
author = {Schmid, Todd and R\'{o}\.{z}owski, Wojciech and Rot, Jurriaan and Silva, Alexandra},
title = {{Processes Parametrised by an Algebraic Theory}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {132:1--132:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.132},
URN = {urn:nbn:de:0030-drops-164735},
doi = {10.4230/LIPIcs.ICALP.2022.132},
annote = {Keywords: process algebra, program semantics, coalgebra, regular expressions}
}
@InProceedings{stull:LIPIcs.ICALP.2022.133,
author = {Stull, D. M.},
title = {{The Dimension Spectrum Conjecture for Planar Lines}},
booktitle = {49th International Colloquium on Automata, Languages, and Programming (ICALP 2022)},
pages = {133:1--133:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-235-8},
ISSN = {1868-8969},
year = {2022},
volume = {229},
editor = {Boja\'{n}czyk, Miko{\l}aj and Merelli, Emanuela and Woodruff, David P.},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2022.133},
URN = {urn:nbn:de:0030-drops-164749},
doi = {10.4230/LIPIcs.ICALP.2022.133},
annote = {Keywords: Algorithmic randomness, Kolmogorov complexity, effective dimension}
}
The metadata provided by Dagstuhl Publishing on its webpages, as well as their export formats (such as XML or BibTeX) available at our website, is released under the CC0 1.0 Public Domain Dedication license. That is, you are free to copy, distribute, use, modify, transform, build upon, and produce derived works from our data, even for commercial purposes, all without asking permission. Of course, we are always happy if you provide a link to us as the source of the data.
Read the full CC0 1.0 legal code for the exact terms that apply: https://creativecommons.org/publicdomain/zero/1.0/legalcode
Feedback for Dagstuhl Publishing