Computational Complexity

Authors and titles for May 2018

[1] arXiv:1805.00059 [pdf, other]

Title: Universality in Freezing Cellular Automata

Florent Becker (LIFO), Diego Maldonado (LIFO), Nicolas Ollinger (LIFO), Guillaume Theyssier (I2M)

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Dynamical Systems (math.DS); Cellular Automata and Lattice Gases (nlin.CG)

[2] arXiv:1805.01074 [pdf, other]

Title: Lower Bounds for Tolerant Junta and Unateness Testing via Rejection Sampling of Graphs

Amit Levi, Erik Waingarten

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[3] arXiv:1805.01755 [pdf, other]

Title: Two theorems about the P versus NP problem

Tianheng Tsui

Subjects: Computational Complexity (cs.CC); Logic (math.LO)

[4] arXiv:1805.02089 [pdf, other]

Title: Faster algorithms for counting subgraphs in sparse graphs

Marco Bressan

Comments: Extended version of a work appeared at IPEC 2019

Subjects: Computational Complexity (cs.CC)

[5] arXiv:1805.02183 [pdf, other]

Title: On Restricted Disjunctive Temporal Problems: Faster Algorithms and Tractability Frontier

Carlo Comin, Romeo Rizzi

Subjects: Computational Complexity (cs.CC)

[6] arXiv:1805.02351 [pdf, other]

Title: Fine-grained Complexity Meets IP = PSPACE

Lijie Chen, Shafi Goldwasser, Kaifeng Lyu, Guy N. Rothblum, Aviad Rubinstein

Comments: Fixed a mistake in Theorem 11.2 (we thank Ray Li for pointing it out to us); all main results are unaffected

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[7] arXiv:1805.02572 [pdf, other]

Title: Computational Complexity of Space-Bounded Real Numbers

Masaki Nakanishi, Marcos Villagra

Comments: 16 pages

Subjects: Computational Complexity (cs.CC)

[8] arXiv:1805.03192 [pdf, other]

Title: The Computational Complexity of Finding Hamiltonian Cycles in Grid Graphs of Semiregular Tessellations

Kaiying Hou, Jayson Lynch

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[9] arXiv:1805.03867 [pdf, other]

Title: ETH-Hardness of Approximating 2-CSPs and Directed Steiner Network

Irit Dinur, Pasin Manurangsi

Comments: 36 pages. A preliminary version appeared in ITCS'18

Subjects: Computational Complexity (cs.CC)

[10] arXiv:1805.04055 [pdf, other]

Title: Reconfiguration of Satisfying Assignments and Subset Sums: Easy to Find, Hard to Connect

Jean Cardinal, Erik D. Demaine, David Eppstein, Robert A. Hearn, Andrew Winslow

Comments: An abstract version will appear in COCOON 2018

Journal-ref: Theor. Comput. Sci. 806: 332-343, 2020

Subjects: Computational Complexity (cs.CC)

[11] arXiv:1805.04713 [pdf, other]

Title: The temporal explorer who returns to the base

Eleni C. Akrida, George B. Mertzios, Paul G. Spirakis

Subjects: Computational Complexity (cs.CC)

[12] arXiv:1805.04731 [pdf, other]

Title: An Indexing for Quadratic Residues Modulo $N$ and a Non-uniform Efficient Decoding Algorithm

Nicollas M. Sdroievski, Murilo V. G. da Silva, André L. Vignatti

Subjects: Computational Complexity (cs.CC)

[13] arXiv:1805.05729 [pdf, other]

Title: A Survey on Analog Models of Computation

Olivier Bournez, Amaury Pouly

Comments: To appear as a chapter of "Handbook of Computability and Complexity in Analysis " Series:Theory and Applications of Computability Publisher: Springer in cooperation with the Association Computablity in Europe. Editors: Vasco Brattka and Peter Hertling, Handbook of Computability and Complexity in Analysis, 2018

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO)

[14] arXiv:1805.06387 [pdf, other]

Title: Near-Optimal Communication Lower Bounds for Approximate Nash Equilibria

Mika Göös, Aviad Rubinstein

Subjects: Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT)

[15] arXiv:1805.06692 [pdf, other]

Title: A Note on Polynomial Identity Testing for Depth-3 Circuits

V. Arvind, Abhranil Chatterjee, Rajit Datta, Partha Mukhopadhyay

Comments: Result for finite fields has been added

Subjects: Computational Complexity (cs.CC)

[16] arXiv:1805.08554 [pdf, other]

Title: More Consequences of Falsifying SETH and the Orthogonal Vectors Conjecture

Amir Abboud, Karl Bringmann, Holger Dell, Jesper Nederlof

Comments: To appear in the proceedings of STOC'18

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[17] arXiv:1805.08758 [pdf, other]

Title: Complexity of Stability in Trading Networks

Tamás Fleiner, Zsuzsanna Jankó, Ildikó Schlotter, Alexander Teytelboym

Comments: 19 pages

Subjects: Computational Complexity (cs.CC); Computer Science and Game Theory (cs.GT); Theoretical Economics (econ.TH)

[18] arXiv:1805.09880 [pdf, other]

Title: On the Computational Complexity of Model Checking for Dynamic Epistemic Logic with S5 Models

Ronald de Haan, Iris van de Pol

Comments: To appear in the Journal of Applied Logics

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)

[19] arXiv:1805.10697 [pdf, other]

Title: Measuring Congruence on High Dimensional Time Series

Jörg P. Bachmann, Johann-Christoph Freytag, Benjamin Hauskeller, Nicole Schweikardt

Subjects: Computational Complexity (cs.CC)

[20] arXiv:1805.10698 [pdf, other]

Title: Toward Super-Polynomial Size Lower Bounds for Depth-Two Threshold Circuits

Lijie Chen

Comments: abstract shortened to meet the constraint

Subjects: Computational Complexity (cs.CC)

[21] arXiv:1805.11139 [pdf, other]

Title: Quantum generalizations of the polynomial hierarchy with applications to QMA(2)

Sevag Gharibian, Miklos Santha, Jamie Sikora, Aarthi Sundaram, Justin Yirka

Comments: v2 adds some observations on connections between Quantum Refereed Games and $\mathrm{Q}Σ_2$

Journal-ref: Final version in Computational Complexity, 31, number 13, 2022. Earlier version in proceedings of 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), 58:1-58:16, 2018

Subjects: Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[22] arXiv:1805.12559 [pdf, other]

Title: The Complexity of Splitting Necklaces and Bisecting Ham Sandwiches

Aris Filos-Ratsikas, Paul W. Goldberg

Comments: 58 pages, 20 figures

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI); Computer Science and Game Theory (cs.GT)

[23] arXiv:1805.01310 (cross-list from cs.DS) [pdf, other]

Title: Efficiently Enumerating Hitting Sets of Hypergraphs Arising in Data Profiling

Thomas Bläsius, Tobias Friedrich, Julius Lischeid, Kitty Meeks, Martin Schirneck

Comments: 48 pages, 8 PDF figures; completely rewritten, new fine-grained lower bounds; accepted at JCSS

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC)

[24] arXiv:1805.02200 (cross-list from cs.DB) [pdf, other]

Title: Wormhole: A Fast Ordered Index for In-memory Data Management

Xingbo Wu, Fan Ni, Song Jiang

Comments: 15 pages; 18 figures; 1 table

Subjects: Databases (cs.DB); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[25] arXiv:1805.02714 (cross-list from quant-ph) [pdf, other]

Title: Span Program for Non-binary Functions

Salman Beigi, Leila Taghavi

Comments: 41 pages, 2 figures. Changes in definition of non-binary span program and learning graph leading to major improvements in the results. Arguments added to support the naturalness of the definition of non-binary span program in the text and in a new appendix

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC)