@Proceedings{vidick:LIPIcs.ITCS.2020,
title = {{LIPIcs, Volume 151, ITCS'20, Complete Volume}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020},
URN = {urn:nbn:de:0030-drops-117829},
doi = {10.4230/LIPIcs.ITCS.2020},
annote = {Keywords: Mathematics of computing; Theory of computation}
}
@InProceedings{vidick:LIPIcs.ITCS.2020.0,
author = {Vidick, Thomas},
title = {{Front Matter, Table of Contents, Preface, Conference Organization}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {0:i--0:xvi},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.0},
URN = {urn:nbn:de:0030-drops-116855},
doi = {10.4230/LIPIcs.ITCS.2020.0},
annote = {Keywords: Front Matter, Table of Contents, Preface, Conference Organization}
}
@InProceedings{goldenberg_et_al:LIPIcs.ITCS.2020.1,
author = {Goldenberg, Elazar and Karthik C. S.},
title = {{Hardness Amplification of Optimization Problems}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {1:1--1:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.1},
URN = {urn:nbn:de:0030-drops-116863},
doi = {10.4230/LIPIcs.ITCS.2020.1},
annote = {Keywords: hardness amplification, average case complexity, direct product, optimization problems, fine-grained complexity, TFNP}
}
@InProceedings{paradise:LIPIcs.ITCS.2020.2,
author = {Paradise, Orr},
title = {{Smooth and Strong PCPs}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {2:1--2:41},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.2},
URN = {urn:nbn:de:0030-drops-116875},
doi = {10.4230/LIPIcs.ITCS.2020.2},
annote = {Keywords: Interactive and probabilistic proof systems, Probabilistically checkable proofs, Hardness of approximation}
}
@InProceedings{schvartzman_et_al:LIPIcs.ITCS.2020.3,
author = {Schvartzman, Ariel and Weinberg, S. Matthew and Zlatin, Eitan and Zuo, Albert},
title = {{Approximately Strategyproof Tournament Rules: On Large Manipulating Sets and Cover-Consistence}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {3:1--3:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.3},
URN = {urn:nbn:de:0030-drops-116881},
doi = {10.4230/LIPIcs.ITCS.2020.3},
annote = {Keywords: Tournament design, Non-manipulability, Cover-consistence, Strategyproofness}
}
@InProceedings{jeffery:LIPIcs.ITCS.2020.4,
author = {Jeffery, Stacey},
title = {{Span Programs and Quantum Space Complexity}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {4:1--4:37},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.4},
URN = {urn:nbn:de:0030-drops-116896},
doi = {10.4230/LIPIcs.ITCS.2020.4},
annote = {Keywords: Quantum space complexity, span programs}
}
@InProceedings{bensasson_et_al:LIPIcs.ITCS.2020.5,
author = {Ben-Sasson, Eli and Goldberg, Lior and Kopparty, Swastik and Saraf, Shubhangi},
title = {{DEEP-FRI: Sampling Outside the Box Improves Soundness}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {5:1--5:32},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.5},
URN = {urn:nbn:de:0030-drops-116901},
doi = {10.4230/LIPIcs.ITCS.2020.5},
annote = {Keywords: Interactive Oracle Proofs of Proximity, STARK, Low Degree Testing}
}
@InProceedings{bitansky_et_al:LIPIcs.ITCS.2020.6,
author = {Bitansky, Nir and Gerichter, Idan},
title = {{On the Cryptographic Hardness of Local Search}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {6:1--6:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.6},
URN = {urn:nbn:de:0030-drops-116918},
doi = {10.4230/LIPIcs.ITCS.2020.6},
annote = {Keywords: Cryptography, PLS, Lower Bounds, Incremental Computation}
}
@InProceedings{efremenko_et_al:LIPIcs.ITCS.2020.7,
author = {Efremenko, Klim and Haramaty, Elad and Kalai, Yael Tauman},
title = {{Interactive Coding with Constant Round and Communication Blowup}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {7:1--7:34},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.7},
URN = {urn:nbn:de:0030-drops-116927},
doi = {10.4230/LIPIcs.ITCS.2020.7},
annote = {Keywords: Interactive Coding, Round Complexity, Error Correcting Codes}
}
@InProceedings{bei_et_al:LIPIcs.ITCS.2020.8,
author = {Bei, Xiaohui and Chen, Shiteng and Guan, Ji and Qiao, Youming and Sun, Xiaoming},
title = {{From Independent Sets and Vertex Colorings to Isotropic Spaces and Isotropic Decompositions: Another Bridge Between Graphs and Alternating Matrix Spaces}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {8:1--8:48},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.8},
URN = {urn:nbn:de:0030-drops-116932},
doi = {10.4230/LIPIcs.ITCS.2020.8},
annote = {Keywords: independent set, vertex coloring, graphs, matrix spaces, isotropic subspace}
}
@InProceedings{beneliezer_et_al:LIPIcs.ITCS.2020.9,
author = {Ben-Eliezer, Omri and Fischer, Eldar and Levi, Amit and Rothblum, Ron D.},
title = {{Hard Properties with (Very) Short PCPPs and Their Applications}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {9:1--9:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.9},
URN = {urn:nbn:de:0030-drops-116949},
doi = {10.4230/LIPIcs.ITCS.2020.9},
annote = {Keywords: PCPP, Property testing, Tolerant testing, Erasure resilient testing, Randomized encoding, Coding theory}
}
@InProceedings{conner_et_al:LIPIcs.ITCS.2020.10,
author = {Conner, Austin and Landsberg, Joseph M. and Gesmundo, Fulvio and Ventura, Emanuele},
title = {{Kronecker Powers of Tensors and Strassen’s Laser Method}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {10:1--10:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.10},
URN = {urn:nbn:de:0030-drops-116956},
doi = {10.4230/LIPIcs.ITCS.2020.10},
annote = {Keywords: Matrix multiplication complexity, Tensor rank, Asymptotic rank, Laser method}
}
@InProceedings{lincoln_et_al:LIPIcs.ITCS.2020.11,
author = {Lincoln, Andrea and Vyas, Nikhil},
title = {{Algorithms and Lower Bounds for Cycles and Walks: Small Space and Sparse Graphs}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {11:1--11:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.11},
URN = {urn:nbn:de:0030-drops-116969},
doi = {10.4230/LIPIcs.ITCS.2020.11},
annote = {Keywords: k-cycle, Space, Savitch, Sparse Graphs, Max-3-SAT}
}
@InProceedings{liu_et_al:LIPIcs.ITCS.2020.12,
author = {Liu, Siqi and Mohanty, Sidhanth and Yang, Elizabeth},
title = {{High-Dimensional Expanders from Expanders}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {12:1--12:32},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.12},
URN = {urn:nbn:de:0030-drops-116974},
doi = {10.4230/LIPIcs.ITCS.2020.12},
annote = {Keywords: High-Dimensional Expanders, Markov Chains}
}
@InProceedings{blocki_et_al:LIPIcs.ITCS.2020.13,
author = {Blocki, Jeremiah and Lee, Seunghoon and Zhou, Samson},
title = {{Approximating Cumulative Pebbling Cost Is Unique Games Hard}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {13:1--13:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.13},
URN = {urn:nbn:de:0030-drops-116983},
doi = {10.4230/LIPIcs.ITCS.2020.13},
annote = {Keywords: Cumulative Pebbling Cost, Approximation Algorithm, Unique Games Conjecture, \gamma-Extreme Depth Robust Graph, Superconcentrator, Memory-Hard Function}
}
@InProceedings{mitzenmacher:LIPIcs.ITCS.2020.14,
author = {Mitzenmacher, Michael},
title = {{Scheduling with Predictions and the Price of Misprediction}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {14:1--14:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.14},
URN = {urn:nbn:de:0030-drops-116996},
doi = {10.4230/LIPIcs.ITCS.2020.14},
annote = {Keywords: Queues, shortest remaining processing time, algorithms with predictions, scheduling}
}
@InProceedings{goldner_et_al:LIPIcs.ITCS.2020.15,
author = {Goldner, Kira and Immorlica, Nicole and Lucier, Brendan},
title = {{Reducing Inefficiency in Carbon Auctions with Imperfect Competition}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {15:1--15:21},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.15},
URN = {urn:nbn:de:0030-drops-117006},
doi = {10.4230/LIPIcs.ITCS.2020.15},
annote = {Keywords: welfare, price of anarchy, mechanism design, equilibrium, costs}
}
@InProceedings{kim_et_al:LIPIcs.ITCS.2020.16,
author = {Kim, Michael P. and Korolova, Aleksandra and Rothblum, Guy N. and Yona, Gal},
title = {{Preference-Informed Fairness}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {16:1--16:23},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.16},
URN = {urn:nbn:de:0030-drops-117010},
doi = {10.4230/LIPIcs.ITCS.2020.16},
annote = {Keywords: algorithmic fairness}
}
@InProceedings{cai_et_al:LIPIcs.ITCS.2020.17,
author = {Cai, Jin-Yi and Govorov, Artem},
title = {{On a Theorem of Lov\'{a}sz that hom(⋅, H) Determines the Isomorphism Type of H}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {17:1--17:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.17},
URN = {urn:nbn:de:0030-drops-117022},
doi = {10.4230/LIPIcs.ITCS.2020.17},
annote = {Keywords: Graph homomorphism, Partition function, Complexity dichotomy, Connection matrices and tensors}
}
@InProceedings{etessami_et_al:LIPIcs.ITCS.2020.18,
author = {Etessami, Kousha and Papadimitriou, Christos and Rubinstein, Aviad and Yannakakis, Mihalis},
title = {{Tarski’s Theorem, Supermodular Games, and the Complexity of Equilibria}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {18:1--18:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.18},
URN = {urn:nbn:de:0030-drops-117037},
doi = {10.4230/LIPIcs.ITCS.2020.18},
annote = {Keywords: Tarski’s theorem, supermodular games, monotone functions, lattices, fixed points, Nash equilibria, computational complexity, PLS, PPAD, stochastic games, oracle model, lower bounds}
}
@InProceedings{part_et_al:LIPIcs.ITCS.2020.19,
author = {Part, Fedor and Tzameret, Iddo},
title = {{Resolution with Counting: Dag-Like Lower Bounds and Different Moduli}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {19:1--19:37},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.19},
URN = {urn:nbn:de:0030-drops-117041},
doi = {10.4230/LIPIcs.ITCS.2020.19},
annote = {Keywords: Proof complexity, concrete lower bounds, resolution, satisfiability, combinatorics}
}
@InProceedings{raz_et_al:LIPIcs.ITCS.2020.20,
author = {Raz, Ran and Zhan, Wei},
title = {{The Random-Query Model and the Memory-Bounded Coupon Collector}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {20:1--20:11},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.20},
URN = {urn:nbn:de:0030-drops-117053},
doi = {10.4230/LIPIcs.ITCS.2020.20},
annote = {Keywords: random-query model, time-space trade-offs, branching programs}
}
@InProceedings{bodwin_et_al:LIPIcs.ITCS.2020.21,
author = {Bodwin, Greg and Grossman, Ofer},
title = {{Strategy-Stealing Is Non-Constructive}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {21:1--21:12},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.21},
URN = {urn:nbn:de:0030-drops-117069},
doi = {10.4230/LIPIcs.ITCS.2020.21},
annote = {Keywords: PSPACE-hard, Hex, Combinatorial Game Theory}
}
@InProceedings{fleming_et_al:LIPIcs.ITCS.2020.22,
author = {Fleming, Noah and Yoshida, Yuichi},
title = {{Distribution-Free Testing of Linear Functions on \mathbb{R}ⁿ}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {22:1--22:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.22},
URN = {urn:nbn:de:0030-drops-117076},
doi = {10.4230/LIPIcs.ITCS.2020.22},
annote = {Keywords: Property Testing, Distribution-Free Testing, Linearity Testing}
}
@InProceedings{hitron_et_al:LIPIcs.ITCS.2020.23,
author = {Hitron, Yael and Lynch, Nancy and Musco, Cameron and Parter, Merav},
title = {{Random Sketching, Clustering, and Short-Term Memory in Spiking Neural Networks}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {23:1--23:31},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.23},
URN = {urn:nbn:de:0030-drops-117087},
doi = {10.4230/LIPIcs.ITCS.2020.23},
annote = {Keywords: biological distributed computing, spiking neural networks, compressed sensing, clustering, random projection, dimensionality reduction, winner-take-all}
}
@InProceedings{loho_et_al:LIPIcs.ITCS.2020.24,
author = {Loho, Georg and V\'{e}gh, L\'{a}szl\'{o} A.},
title = {{Signed Tropical Convexity}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {24:1--24:35},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.24},
URN = {urn:nbn:de:0030-drops-117097},
doi = {10.4230/LIPIcs.ITCS.2020.24},
annote = {Keywords: tropical convexity, signed tropical numbers, Farkas' lemma}
}
@InProceedings{gilyen_et_al:LIPIcs.ITCS.2020.25,
author = {Gily\'{e}n, Andr\'{a}s and Li, Tongyang},
title = {{Distributional Property Testing in a Quantum World}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {25:1--25:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.25},
URN = {urn:nbn:de:0030-drops-117100},
doi = {10.4230/LIPIcs.ITCS.2020.25},
annote = {Keywords: distributional property testing, quantum algorithms, quantum query complexity}
}
@InProceedings{chiesa_et_al:LIPIcs.ITCS.2020.26,
author = {Chiesa, Alessandro and Manohar, Peter and Shinkar, Igor},
title = {{On Local Testability in the Non-Signaling Setting}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {26:1--26:37},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.26},
URN = {urn:nbn:de:0030-drops-117112},
doi = {10.4230/LIPIcs.ITCS.2020.26},
annote = {Keywords: non-signaling strategies, locally testable codes, low-degree testing, Fourier analysis}
}
@InProceedings{biswas_et_al:LIPIcs.ITCS.2020.27,
author = {Biswas, Amartya Shankha and Rubinfeld, Ronitt and Yodpinyanee, Anak},
title = {{Local Access to Huge Random Objects Through Partial Sampling}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {27:1--27:65},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.27},
URN = {urn:nbn:de:0030-drops-117126},
doi = {10.4230/LIPIcs.ITCS.2020.27},
annote = {Keywords: sublinear time algorithms, random generation, local computation}
}
@InProceedings{rubinfeld_et_al:LIPIcs.ITCS.2020.28,
author = {Rubinfeld, Ronitt and Vasilyan, Arsen},
title = {{Monotone Probability Distributions over the Boolean Cube Can Be Learned with Sublinear Samples}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {28:1--28:34},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.28},
URN = {urn:nbn:de:0030-drops-117138},
doi = {10.4230/LIPIcs.ITCS.2020.28},
annote = {Keywords: Learning distributions, monotone probability distributions, estimating support size}
}
@InProceedings{sadeh_et_al:LIPIcs.ITCS.2020.29,
author = {Sadeh, Gal and Cohen, Edith and Kaplan, Haim},
title = {{Sample Complexity Bounds for Influence Maximization}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {29:1--29:36},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.29},
URN = {urn:nbn:de:0030-drops-117140},
doi = {10.4230/LIPIcs.ITCS.2020.29},
annote = {Keywords: Sample complexity, Influence maximization, Submodular maximization}
}
@InProceedings{bitansky_et_al:LIPIcs.ITCS.2020.30,
author = {Bitansky, Nir and Geier, Nathan},
title = {{On Oblivious Amplification of Coin-Tossing Protocols}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {30:1--30:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.30},
URN = {urn:nbn:de:0030-drops-117150},
doi = {10.4230/LIPIcs.ITCS.2020.30},
annote = {Keywords: Coin Tossing, Amplification, Lower Bound, Santha Vazirani}
}
@InProceedings{jung_et_al:LIPIcs.ITCS.2020.31,
author = {Jung, Christopher and Ligett, Katrina and Neel, Seth and Roth, Aaron and Sharifi-Malvajerdi, Saeed and Shenfeld, Moshe},
title = {{A New Analysis of Differential Privacy’s Generalization Guarantees}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {31:1--31:17},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.31},
URN = {urn:nbn:de:0030-drops-117165},
doi = {10.4230/LIPIcs.ITCS.2020.31},
annote = {Keywords: Differential Privacy, Adaptive Data Analysis, Transfer Theorem}
}
@InProceedings{bradac_et_al:LIPIcs.ITCS.2020.32,
author = {Bradac, Domagoj and Gupta, Anupam and Singla, Sahil and Zuzic, Goran},
title = {{Robust Algorithms for the Secretary Problem}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {32:1--32:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.32},
URN = {urn:nbn:de:0030-drops-117171},
doi = {10.4230/LIPIcs.ITCS.2020.32},
annote = {Keywords: stochastic optimization, robust optimization, secretary problem, matroid secretary, robust secretary}
}
@InProceedings{harms:LIPIcs.ITCS.2020.33,
author = {Harms, Nathaniel},
title = {{Universal Communication, Universal Graphs, and Graph Labeling}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {33:1--33:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.33},
URN = {urn:nbn:de:0030-drops-117182},
doi = {10.4230/LIPIcs.ITCS.2020.33},
annote = {Keywords: Universal graphs, graph labeling, distance labeling, planar graphs, lattices, hamming distance}
}
@InProceedings{ilango:LIPIcs.ITCS.2020.34,
author = {Ilango, Rahul},
title = {{Approaching MCSP from Above and Below: Hardness for a Conditional Variant and AC^0\lbrackp\rbrack}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {34:1--34:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.34},
URN = {urn:nbn:de:0030-drops-117191},
doi = {10.4230/LIPIcs.ITCS.2020.34},
annote = {Keywords: Minimum Circuit Size Problem, reductions, NP-completeness, circuit lower bounds}
}
@InProceedings{natarajanramamoorthy_et_al:LIPIcs.ITCS.2020.35,
author = {Natarajan Ramamoorthy, Sivaramakrishnan and Rashtchian, Cyrus},
title = {{Equivalence of Systematic Linear Data Structures and Matrix Rigidity}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {35:1--35:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.35},
URN = {urn:nbn:de:0030-drops-117204},
doi = {10.4230/LIPIcs.ITCS.2020.35},
annote = {Keywords: matrix rigidity, systematic linear data structures, cell probe model, communication complexity}
}
@InProceedings{ameri_et_al:LIPIcs.ITCS.2020.36,
author = {Ameri, Mohammad Hassan and Blocki, Jeremiah and Zhou, Samson},
title = {{Computationally Data-Independent Memory Hard Functions}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {36:1--36:28},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.36},
URN = {urn:nbn:de:0030-drops-117214},
doi = {10.4230/LIPIcs.ITCS.2020.36},
annote = {Keywords: Computationally Data-Independent Memory Hard Function, Cumulative Memory Complexity, Dynamic Pebbling Game}
}
@InProceedings{bogdanov_et_al:LIPIcs.ITCS.2020.37,
author = {Bogdanov, Andrej and Wang, Baoxiang},
title = {{Learning and Testing Variable Partitions}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {37:1--37:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.37},
URN = {urn:nbn:de:0030-drops-117221},
doi = {10.4230/LIPIcs.ITCS.2020.37},
annote = {Keywords: partitioning, agnostic learning, property testing, sublinear-time algorithms, hypergraph cut, reinforcement learning}
}
@InProceedings{bera_et_al:LIPIcs.ITCS.2020.38,
author = {Bera, Suman K. and Pashanasangi, Noujan and Seshadhri, C.},
title = {{Linear Time Subgraph Counting, Graph Degeneracy, and the Chasm at Size Six}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {38:1--38:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.38},
URN = {urn:nbn:de:0030-drops-117239},
doi = {10.4230/LIPIcs.ITCS.2020.38},
annote = {Keywords: Subgraph counting, bounded degeneracy graphs, fine-grained complexity}
}
@InProceedings{fomin_et_al:LIPIcs.ITCS.2020.39,
author = {Fomin, Fedor V. and Golovach, Petr A. and Lokshtanov, Daniel and Panolan, Fahad and Saurabh, Saket and Zehavi, Meirav},
title = {{Parameterization Above a Multiplicative Guarantee}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {39:1--39:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.39},
URN = {urn:nbn:de:0030-drops-117248},
doi = {10.4230/LIPIcs.ITCS.2020.39},
annote = {Keywords: Parameterized Complexity, Above-Guarantee Parameterization, Girth}
}
@InProceedings{agrawal_et_al:LIPIcs.ITCS.2020.40,
author = {Agrawal, Shweta and Clear, Michael and Frieder, Ophir and Garg, Sanjam and O'Neill, Adam and Thaler, Justin},
title = {{Ad Hoc Multi-Input Functional Encryption}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {40:1--40:41},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.40},
URN = {urn:nbn:de:0030-drops-117258},
doi = {10.4230/LIPIcs.ITCS.2020.40},
annote = {Keywords: Multi-Input Functional Encryption}
}
@InProceedings{hirahara:LIPIcs.ITCS.2020.41,
author = {Hirahara, Shuichi},
title = {{Unexpected Power of Random Strings}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {41:1--41:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.41},
URN = {urn:nbn:de:0030-drops-117262},
doi = {10.4230/LIPIcs.ITCS.2020.41},
annote = {Keywords: Kolmogorov-Randomness, Nonadaptive Reduction, BPP, Symmetric Alternation}
}
@InProceedings{clementi_et_al:LIPIcs.ITCS.2020.42,
author = {Clementi, Andrea and Gual\`{a}, Luciano and Natale, Emanuele and Pasquale, Francesco and Scornavacca, Giacomo and Trevisan, Luca},
title = {{Consensus vs Broadcast, with and Without Noise}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {42:1--42:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.42},
URN = {urn:nbn:de:0030-drops-117277},
doi = {10.4230/LIPIcs.ITCS.2020.42},
annote = {Keywords: Distributed Computing, Consensus, Broadcast, Gossip Models, Noisy Communication Channels}
}
@InProceedings{gishboliner_et_al:LIPIcs.ITCS.2020.43,
author = {Gishboliner, Lior and Shapira, Asaf and Stagni, Henrique},
title = {{Testing Linear Inequalities of Subgraph Statistics}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {43:1--43:9},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.43},
URN = {urn:nbn:de:0030-drops-117287},
doi = {10.4230/LIPIcs.ITCS.2020.43},
annote = {Keywords: graph property testing, subgraph statistics}
}
@InProceedings{blanc_et_al:LIPIcs.ITCS.2020.44,
author = {Blanc, Guy and Lange, Jane and Tan, Li-Yang},
title = {{Top-Down Induction of Decision Trees: Rigorous Guarantees and Inherent Limitations}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {44:1--44:44},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.44},
URN = {urn:nbn:de:0030-drops-117295},
doi = {10.4230/LIPIcs.ITCS.2020.44},
annote = {Keywords: Decision trees, Influence of variables, Analysis of boolean functions, Learning theory, Top-down decision tree heuristics}
}
@InProceedings{jiang_et_al:LIPIcs.ITCS.2020.45,
author = {Jiang, Haotian and Li, Jian and Liu, Daogao and Singla, Sahil},
title = {{Algorithms and Adaptivity Gaps for Stochastic k-TSP}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {45:1--45:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.45},
URN = {urn:nbn:de:0030-drops-117308},
doi = {10.4230/LIPIcs.ITCS.2020.45},
annote = {Keywords: approximation algorithms, stochastic optimization, travelling salesman problem}
}
@InProceedings{bertschinger_et_al:LIPIcs.ITCS.2020.46,
author = {Bertschinger, Nils and Hoefer, Martin and Schmand, Daniel},
title = {{Strategic Payments in Financial Networks}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {46:1--46:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.46},
URN = {urn:nbn:de:0030-drops-117316},
doi = {10.4230/LIPIcs.ITCS.2020.46},
annote = {Keywords: Nash Equilibrium, Financial Network, Systemic Risk, Price of Anarchy, Equilibrium Computation}
}
@InProceedings{lochet_et_al:LIPIcs.ITCS.2020.47,
author = {Lochet, William and Lokshtanov, Daniel and Misra, Pranabendu and Saurabh, Saket and Sharma, Roohani and Zehavi, Meirav},
title = {{Fault Tolerant Subgraphs with Applications in Kernelization}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {47:1--47:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.47},
URN = {urn:nbn:de:0030-drops-117326},
doi = {10.4230/LIPIcs.ITCS.2020.47},
annote = {Keywords: sparsification, kernelization, fault tolerant subgraphs, directed feedback arc set, directed edge odd cycle transversal, bounded independence number digraphs}
}
@InProceedings{hitron_et_al:LIPIcs.ITCS.2020.48,
author = {Hitron, Yael and Parter, Merav and Perri, Gur},
title = {{The Computational Cost of Asynchronous Neural Communication}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {48:1--48:47},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.48},
URN = {urn:nbn:de:0030-drops-117330},
doi = {10.4230/LIPIcs.ITCS.2020.48},
annote = {Keywords: asynchronous communication, asynchronous computation, spiking neurons, synchronizers}
}
@InProceedings{makarychev_et_al:LIPIcs.ITCS.2020.49,
author = {Makarychev, Konstantin and Makarychev, Yury},
title = {{Certified Algorithms: Worst-Case Analysis and Beyond}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {49:1--49:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.49},
URN = {urn:nbn:de:0030-drops-117347},
doi = {10.4230/LIPIcs.ITCS.2020.49},
annote = {Keywords: certified algorithm, perturbation resilience, Bilu, Linial stability, beyond-worst-case analysis, approximation algorithm, integrality}
}
@InProceedings{becker_et_al:LIPIcs.ITCS.2020.50,
author = {Becker, Ruben and Emek, Yuval and Lenzen, Christoph},
title = {{Low Diameter Graph Decompositions by Approximate Distance Computation}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {50:1--50:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.50},
URN = {urn:nbn:de:0030-drops-117355},
doi = {10.4230/LIPIcs.ITCS.2020.50},
annote = {Keywords: graph decompositions, metric tree embeddings, distributed graph algorithms, parallel graph algorithms, (semi-)streaming graph algorithms}
}
@InProceedings{zhang_et_al:LIPIcs.ITCS.2020.51,
author = {Zhang, Yihan and Budkuley, Amitalok J. and Jaggi, Sidharth},
title = {{Generalized List Decoding}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {51:1--51:83},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.51},
URN = {urn:nbn:de:0030-drops-117368},
doi = {10.4230/LIPIcs.ITCS.2020.51},
annote = {Keywords: Generalized Plotkin bound, general adversarial channels, equicoupled codes, random coding, completely positive tensors, copositive tensors, hypergraph Ramsey theory}
}
@InProceedings{angelopoulos_et_al:LIPIcs.ITCS.2020.52,
author = {Angelopoulos, Spyros and D\"{u}rr, Christoph and Jin, Shendan and Kamali, Shahin and Renault, Marc},
title = {{Online Computation with Untrusted Advice}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {52:1--52:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.52},
URN = {urn:nbn:de:0030-drops-117372},
doi = {10.4230/LIPIcs.ITCS.2020.52},
annote = {Keywords: Online computation, competitive analysis, advice complexity, robust algorithms, untrusted advice}
}
@InProceedings{lincoln_et_al:LIPIcs.ITCS.2020.53,
author = {Lincoln, Andrea and Polak, Adam and Vassilevska Williams, Virginia},
title = {{Monochromatic Triangles, Intermediate Matrix Products, and Convolutions}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {53:1--53:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.53},
URN = {urn:nbn:de:0030-drops-117382},
doi = {10.4230/LIPIcs.ITCS.2020.53},
annote = {Keywords: 3SUM, fine-grained complexity, matrix multiplication, monochromatic triangle}
}
@InProceedings{anari_et_al:LIPIcs.ITCS.2020.54,
author = {Anari, Nima and Vazirani, Vijay V.},
title = {{Matching Is as Easy as the Decision Problem, in the NC Model}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {54:1--54:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.54},
URN = {urn:nbn:de:0030-drops-117399},
doi = {10.4230/LIPIcs.ITCS.2020.54},
annote = {Keywords: Parallel Algorithm, Pseudo-Deterministic, Perfect Matching, Tutte Matrix}
}
@InProceedings{blum_et_al:LIPIcs.ITCS.2020.55,
author = {Blum, Avrim and Lykouris, Thodoris},
title = {{Advancing Subgroup Fairness via Sleeping Experts}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {55:1--55:24},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.55},
URN = {urn:nbn:de:0030-drops-117402},
doi = {10.4230/LIPIcs.ITCS.2020.55},
annote = {Keywords: Online learning, Fairness, Game theory}
}
@InProceedings{grossman_et_al:LIPIcs.ITCS.2020.56,
author = {Grossman, Tomer and Komargodski, Ilan and Naor, Moni},
title = {{Instance Complexity and Unlabeled Certificates in the Decision Tree Model}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {56:1--56:38},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.56},
URN = {urn:nbn:de:0030-drops-117418},
doi = {10.4230/LIPIcs.ITCS.2020.56},
annote = {Keywords: decision tree complexity, instance complexity, instance optimality, query complexity, unlabeled certificates}
}
@InProceedings{chiesa_et_al:LIPIcs.ITCS.2020.57,
author = {Chiesa, Alessandro and Liu, Siqi},
title = {{On the Impossibility of Probabilistic Proofs in Relativized Worlds}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {57:1--57:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.57},
URN = {urn:nbn:de:0030-drops-117420},
doi = {10.4230/LIPIcs.ITCS.2020.57},
annote = {Keywords: probabilistically checkable proofs, relativization}
}
@InProceedings{gal_et_al:LIPIcs.ITCS.2020.58,
author = {G\'{a}l, Anna and Robere, Robert},
title = {{Lower Bounds for (Non-Monotone) Comparator Circuits}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {58:1--58:13},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.58},
URN = {urn:nbn:de:0030-drops-117431},
doi = {10.4230/LIPIcs.ITCS.2020.58},
annote = {Keywords: comparator circuits, circuit complexity, Nechiporuk, lower bounds}
}
@InProceedings{lindzey_et_al:LIPIcs.ITCS.2020.59,
author = {Lindzey, Nathan and Rosmanis, Ansis},
title = {{A Tight Lower Bound For Non-Coherent Index Erasure}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {59:1--59:37},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.59},
URN = {urn:nbn:de:0030-drops-117446},
doi = {10.4230/LIPIcs.ITCS.2020.59},
annote = {Keywords: General Adversary Method, Quantum Query Complexity, Association Schemes, Krein Parameters, Representation Theory}
}
@InProceedings{rubinstein_et_al:LIPIcs.ITCS.2020.60,
author = {Rubinstein, Aviad and Wang, Jack Z. and Weinberg, S. Matthew},
title = {{Optimal Single-Choice Prophet Inequalities from Samples}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {60:1--60:10},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.60},
URN = {urn:nbn:de:0030-drops-117452},
doi = {10.4230/LIPIcs.ITCS.2020.60},
annote = {Keywords: Online algorithms, Probability, Optimization, Prophet inequalities, Samples, Auctions}
}
@InProceedings{cai_et_al:LIPIcs.ITCS.2020.61,
author = {Cai, Linda and Thomas, Clay and Weinberg, S. Matthew},
title = {{Implementation in Advised Strategies: Welfare Guarantees from Posted-Price Mechanisms When Demand Queries Are NP-Hard}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {61:1--61:32},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.61},
URN = {urn:nbn:de:0030-drops-117464},
doi = {10.4230/LIPIcs.ITCS.2020.61},
annote = {Keywords: Combinatorial auctions, Posted-Price mechanisms, Submodular valuations, Incentive compatible}
}
@InProceedings{demaine_et_al:LIPIcs.ITCS.2020.62,
author = {Demaine, Erik D. and Hendrickson, Dylan H. and Lynch, Jayson},
title = {{Toward a General Complexity Theory of Motion Planning: Characterizing Which Gadgets Make Games Hard}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {62:1--62:42},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.62},
URN = {urn:nbn:de:0030-drops-117478},
doi = {10.4230/LIPIcs.ITCS.2020.62},
annote = {Keywords: motion planning, computational complexity, NP, PSPACE, EXP, NEXP, undecidability, games}
}
@InProceedings{bouland_et_al:LIPIcs.ITCS.2020.63,
author = {Bouland, Adam and Fefferman, Bill and Vazirani, Umesh},
title = {{Computational Pseudorandomness, the Wormhole Growth Paradox, and Constraints on the AdS/CFT Duality}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {63:1--63:2},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.63},
URN = {urn:nbn:de:0030-drops-117486},
doi = {10.4230/LIPIcs.ITCS.2020.63},
annote = {Keywords: Quantum complexity theory, pseudorandomness, AdS/CFT correspondence}
}
@InProceedings{graur_et_al:LIPIcs.ITCS.2020.64,
author = {Graur, Andrei and Pollner, Tristan and Ramaswamy, Vidhya and Weinberg, S. Matthew},
title = {{New Query Lower Bounds for Submodular Function Minimization}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {64:1--64:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.64},
URN = {urn:nbn:de:0030-drops-117493},
doi = {10.4230/LIPIcs.ITCS.2020.64},
annote = {Keywords: submodular functions, query lower bounds, min cut}
}
@InProceedings{haeupler_et_al:LIPIcs.ITCS.2020.65,
author = {Haeupler, Bernhard and Hershkowitz, D. Ellis and Kahng, Anson and Procaccia, Ariel D.},
title = {{Computation-Aware Data Aggregation}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {65:1--65:38},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.65},
URN = {urn:nbn:de:0030-drops-117506},
doi = {10.4230/LIPIcs.ITCS.2020.65},
annote = {Keywords: Data aggregation, distributed algorithm scheduling, approximation algorithms}
}
@InProceedings{maturana_et_al:LIPIcs.ITCS.2020.66,
author = {Maturana, Francisco and Rashmi, K. V.},
title = {{Convertible Codes: New Class of Codes for Efficient Conversion of Coded Data in Distributed Storage}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {66:1--66:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.66},
URN = {urn:nbn:de:0030-drops-117510},
doi = {10.4230/LIPIcs.ITCS.2020.66},
annote = {Keywords: Coding theory, Reed-Solomon codes, Erasure codes, Code conversion, Distributed storage}
}
@InProceedings{echenique_et_al:LIPIcs.ITCS.2020.67,
author = {Echenique, Federico and Prasad, Siddharth},
title = {{Incentive Compatible Active Learning}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {67:1--67:20},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.67},
URN = {urn:nbn:de:0030-drops-117525},
doi = {10.4230/LIPIcs.ITCS.2020.67},
annote = {Keywords: Active Learning, Incentive Compatibility, Preference Elicitation}
}
@InProceedings{santhanam:LIPIcs.ITCS.2020.68,
author = {Santhanam, Rahul},
title = {{Pseudorandomness and the Minimum Circuit Size Problem}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {68:1--68:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.68},
URN = {urn:nbn:de:0030-drops-117532},
doi = {10.4230/LIPIcs.ITCS.2020.68},
annote = {Keywords: Minimum Circuit Size Problem, Pseudorandomness, Average-case Complexity, Natural Proofs, Universality Conjecture}
}
@InProceedings{aliakbarpour_et_al:LIPIcs.ITCS.2020.69,
author = {Aliakbarpour, Maryam and Silwal, Sandeep},
title = {{Testing Properties of Multiple Distributions with Few Samples}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {69:1--69:41},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.69},
URN = {urn:nbn:de:0030-drops-117545},
doi = {10.4230/LIPIcs.ITCS.2020.69},
annote = {Keywords: Hypothesis Testing, Property Testing, Distribution Testing, Identity Testing, Closeness Testing, Multiple Sources}
}
@InProceedings{chen_et_al:LIPIcs.ITCS.2020.70,
author = {Chen, Lijie and Hirahara, Shuichi and Oliveira, Igor C. and Pich, J\'{a}n and Rajgopal, Ninad and Santhanam, Rahul},
title = {{Beyond Natural Proofs: Hardness Magnification and Locality}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {70:1--70:48},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.70},
URN = {urn:nbn:de:0030-drops-117550},
doi = {10.4230/LIPIcs.ITCS.2020.70},
annote = {Keywords: Hardness Magnification, Natural Proofs, Minimum Circuit Size Problem, Circuit Lower Bounds}
}
@InProceedings{applebaum_et_al:LIPIcs.ITCS.2020.71,
author = {Applebaum, Benny and Brakerski, Zvika and Garg, Sanjam and Ishai, Yuval and Srinivasan, Akshayaram},
title = {{Separating Two-Round Secure Computation From Oblivious Transfer}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {71:1--71:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.71},
URN = {urn:nbn:de:0030-drops-117560},
doi = {10.4230/LIPIcs.ITCS.2020.71},
annote = {Keywords: Oracle Separation, Oblivious Transfer, Secure Multiparty Computation}
}
@InProceedings{lagarde_et_al:LIPIcs.ITCS.2020.72,
author = {Lagarde, Guillaume and Nordstr\"{o}m, Jakob and Sokolov, Dmitry and Swernofsky, Joseph},
title = {{Trade-Offs Between Size and Degree in Polynomial Calculus}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {72:1--72:16},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.72},
URN = {urn:nbn:de:0030-drops-117573},
doi = {10.4230/LIPIcs.ITCS.2020.72},
annote = {Keywords: proof complexity, polynomial calculus, polynomial calculus resolution, PCR, size-degree trade-off, resolution, colored polynomial local search}
}
@InProceedings{boodaghians_et_al:LIPIcs.ITCS.2020.73,
author = {Boodaghians, Shant and Kulkarni, Rucha and Mehta, Ruta},
title = {{Smoothed Efficient Algorithms and Reductions for Network Coordination Games}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {73:1--73:15},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.73},
URN = {urn:nbn:de:0030-drops-117581},
doi = {10.4230/LIPIcs.ITCS.2020.73},
annote = {Keywords: Network Coordination Games, Smoothed Analysis}
}
@InProceedings{kaufman_et_al:LIPIcs.ITCS.2020.74,
author = {Kaufman, Tali and Mass, David},
title = {{Local-To-Global Agreement Expansion via the Variance Method}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {74:1--74:14},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.74},
URN = {urn:nbn:de:0030-drops-117597},
doi = {10.4230/LIPIcs.ITCS.2020.74},
annote = {Keywords: Agreement testing, High dimensional expanders, Local-to-global, Variance method}
}
@InProceedings{chan_et_al:LIPIcs.ITCS.2020.75,
author = {Chan, T-H. Hubert and Chung, Kai-Min and Lin, Wei-Kai and Shi, Elaine},
title = {{MPC for MPC: Secure Computation on a Massively Parallel Computing Architecture}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {75:1--75:52},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.75},
URN = {urn:nbn:de:0030-drops-117600},
doi = {10.4230/LIPIcs.ITCS.2020.75},
annote = {Keywords: massively parallel computation, secure multi-party computation}
}
@InProceedings{georgakopoulos_et_al:LIPIcs.ITCS.2020.76,
author = {Georgakopoulos, Agelos and Haslegrave, John and Sauerwald, Thomas and Sylvester, John},
title = {{Choice and Bias in Random Walks}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {76:1--76:19},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.76},
URN = {urn:nbn:de:0030-drops-117612},
doi = {10.4230/LIPIcs.ITCS.2020.76},
annote = {Keywords: Power of Two Choices, Markov Chains, Random Walks, Cover Time, Markov Decision Processes}
}
@InProceedings{fernandezv_et_al:LIPIcs.ITCS.2020.77,
author = {Fern\'{a}ndez V, Manuel and Woodruff, David P. and Yasuda, Taisuke},
title = {{Graph Spanners in the Message-Passing Model}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {77:1--77:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.77},
URN = {urn:nbn:de:0030-drops-117620},
doi = {10.4230/LIPIcs.ITCS.2020.77},
annote = {Keywords: Graph spanners, Message-passing model, Communication complexity}
}
@InProceedings{bandeira_et_al:LIPIcs.ITCS.2020.78,
author = {Bandeira, Afonso S. and Kunisky, Dmitriy and Wein, Alexander S.},
title = {{Computational Hardness of Certifying Bounds on Constrained PCA Problems}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {78:1--78:29},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.78},
URN = {urn:nbn:de:0030-drops-117633},
doi = {10.4230/LIPIcs.ITCS.2020.78},
annote = {Keywords: Certification, Sherrington-Kirkpatrick model, spiked Wishart model, low-degree likelihood ratio}
}
@InProceedings{goldwasser_et_al:LIPIcs.ITCS.2020.79,
author = {Goldwasser, Shafi and Grossman, Ofer and Mohanty, Sidhanth and Woodruff, David P.},
title = {{Pseudo-Deterministic Streaming}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {79:1--79:25},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.79},
URN = {urn:nbn:de:0030-drops-117644},
doi = {10.4230/LIPIcs.ITCS.2020.79},
annote = {Keywords: streaming, pseudo-deterministic}
}
@InProceedings{ball_et_al:LIPIcs.ITCS.2020.80,
author = {Ball, Marshall and Dachman-Soled, Dana and Kulkarni, Mukul and Malkin, Tal},
title = {{Limits to Non-Malleability}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {80:1--80:32},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.80},
URN = {urn:nbn:de:0030-drops-117657},
doi = {10.4230/LIPIcs.ITCS.2020.80},
annote = {Keywords: non-malleable codes, black-box impossibility, tamper-resilient cryptogtaphy, average-case hardness}
}
@InProceedings{ball_et_al:LIPIcs.ITCS.2020.81,
author = {Ball, Marshall and Boyle, Elette and Degwekar, Akshay and Deshpande, Apoorvaa and Rosen, Alon and Vaikuntanathan, Vinod and Vasudevan, Prashant Nalini},
title = {{Cryptography from Information Loss}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {81:1--81:27},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.81},
URN = {urn:nbn:de:0030-drops-117667},
doi = {10.4230/LIPIcs.ITCS.2020.81},
annote = {Keywords: Compression, Information Loss, One-Way Functions, Reductions, Generic Constructions}
}
@InProceedings{bartusek_et_al:LIPIcs.ITCS.2020.82,
author = {Bartusek, James and Ishai, Yuval and Jain, Aayush and Ma, Fermi and Sahai, Amit and Zhandry, Mark},
title = {{Affine Determinant Programs: A Framework for Obfuscation and Witness Encryption}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {82:1--82:39},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.82},
URN = {urn:nbn:de:0030-drops-117679},
doi = {10.4230/LIPIcs.ITCS.2020.82},
annote = {Keywords: Obfuscation, Witness Encryption}
}
@InProceedings{alman_et_al:LIPIcs.ITCS.2020.83,
author = {Alman, Josh and Vassilevska Williams, Virginia},
title = {{OV Graphs Are (Probably) Hard Instances}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {83:1--83:18},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.83},
URN = {urn:nbn:de:0030-drops-117686},
doi = {10.4230/LIPIcs.ITCS.2020.83},
annote = {Keywords: Orthogonal Vectors, Fine-Grained Reductions, Cycle Finding}
}
@InProceedings{gopalan_et_al:LIPIcs.ITCS.2020.84,
author = {Gopalan, Parikshit and Levin, Roie and Wieder, Udi},
title = {{Finding Skewed Subcubes Under a Distribution}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {84:1--84:30},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.84},
URN = {urn:nbn:de:0030-drops-117691},
doi = {10.4230/LIPIcs.ITCS.2020.84},
annote = {Keywords: Fourier Analysis, Anomaly Detection, Algorithmic Fairness, Probability, Unsupervised Learning}
}
@InProceedings{bhattacharyya_et_al:LIPIcs.ITCS.2020.85,
author = {Bhattacharyya, Arnab and Chandran, L. Sunil and Ghoshal, Suprovat},
title = {{Combinatorial Lower Bounds for 3-Query LDCs}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {85:1--85:8},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.85},
URN = {urn:nbn:de:0030-drops-117704},
doi = {10.4230/LIPIcs.ITCS.2020.85},
annote = {Keywords: Coding theory, Graph theory, Hypergraphs}
}
@InProceedings{ball_et_al:LIPIcs.ITCS.2020.86,
author = {Ball, Marshall and Holmgren, Justin and Ishai, Yuval and Liu, Tianren and Malkin, Tal},
title = {{On the Complexity of Decomposable Randomized Encodings, Or: How Friendly Can a Garbling-Friendly PRF Be?}},
booktitle = {11th Innovations in Theoretical Computer Science Conference (ITCS 2020)},
pages = {86:1--86:22},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-134-4},
ISSN = {1868-8969},
year = {2020},
volume = {151},
editor = {Vidick, Thomas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.ITCS.2020.86},
URN = {urn:nbn:de:0030-drops-117714},
doi = {10.4230/LIPIcs.ITCS.2020.86},
annote = {Keywords: Randomized Encoding, Private Simultaneous Messages}
}
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