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)

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

Title: Efficient Shortest Paths in Scale-Free Networks with Underlying Hyperbolic Geometry

Thomas Bläsius, Cedric Freiberger, Tobias Friedrich, Maximilian Katzmann, Felix Montenegro-Retana, Marianne Thieffry

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

[27] arXiv:1805.03385 (cross-list from quant-ph) [pdf, other]

Title: Interactive Proofs with Polynomial-Time Quantum Prover for Computing the Order of Solvable Groups

François Le Gall, Tomoyuki Morimae, Harumichi Nishimura, Yuki Takeuchi

Comments: 13 pages

Journal-ref: Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018), 26:1-26:13, 2018

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

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

Title: Tight bounds for undirected graph exploration with pebbles and multiple agents

Yann Disser, Jan Hackfeld, Max Klimm

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

[29] arXiv:1805.03488 (cross-list from cs.DM) [pdf, other]

Title: Parameterized circuit complexity of model checking first-order logic on sparse structures

Michał Pilipczuk, Sebastian Siebertz, Szymon Toruńczyk

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC)

[30] arXiv:1805.03624 (cross-list from math.LO) [pdf, other]

Title: Presburger Arithmetic with algebraic scalar multiplications

Philipp Hieronymi, Danny Nguyen, Igor Pak

Journal-ref: Logical Methods in Computer Science, Volume 17, Issue 3 (July 20, 2021) lmcs:5916

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

[31] arXiv:1805.03685 (cross-list from math.CO) [pdf, other]

Title: On the number of integer points in translated and expanded polyhedra

Danny Nguyen, Igor Pak

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC)

[32] arXiv:1805.03929 (cross-list from cs.DM) [pdf, other]

Title: Resource-Bounded Kolmogorov Complexity Provides an Obstacle to Soficness of Multidimensional Shifts

Julien Destombes, Andrei Romashchenko

Comments: 32 pages, 16 figures; v9: minor revision in figures

Journal-ref: This report is a preliminary version of the paper published in Journal of Computer and System Sciences, Volume 128, 2022, Pages 107-134

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC)

[33] arXiv:1805.04179 (cross-list from cs.CR) [pdf, other]

Title: The Hidden Subgroup Problem and Post-quantum Group-based Cryptography

Kelsey Horan, Delaram Kahrobaei

Subjects: Cryptography and Security (cs.CR); Computational Complexity (cs.CC); Group Theory (math.GR); Quantum Physics (quant-ph)

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

Title: On the Parameterized Complexity of Graph Modification to First-Order Logic Properties

Fedor V. Fomin, Petr A. Golovach, Dimitrios M. Thilikos

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

[35] arXiv:1805.04677 (cross-list from math.OC) [pdf, other]

Title: Optimal switching sequence for switched linear systems

Zeyang Wu, Qie He

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Combinatorics (math.CO); Dynamical Systems (math.DS)

[36] arXiv:1805.04832 (cross-list from cs.DC) [pdf, other]

Title: Exact size counting in uniform population protocols in nearly logarithmic time

David Doty, Mahsa Eftekhari, Othon Michail, Paul G. Spirakis, Michail Theofilatos

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC)

[37] arXiv:1805.05305 (cross-list from quant-ph) [pdf, other]

Title: Transforming graph states using single-qubit operations

Axel Dahlberg, Stephanie Wehner

Comments: 26 pages, 1 figure. For computational complexity and more efficient algorithms for relevant graph classes see 'How to transform graph states using single-qubit operations: computational complexity and algorithms' (1805.05306). For related work see F. Hahn et al (1805.04559)

Journal-ref: Philosophical Transactions of the Royal Society A 376: 20170325, 2018, Special issue: 'Foundations of quantum mechanics and their impact on contemporary society'

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Emerging Technologies (cs.ET); Combinatorics (math.CO)

[38] arXiv:1805.05306 (cross-list from quant-ph) [pdf, other]

Title: How to transform graph states using single-qubit operations: computational complexity and algorithms

Axel Dahlberg, Jonas Helsen, Stephanie Wehner

Comments: 64 pages, lots of figures. For a gentle introduction to the background and proof of principle algorithms see also our related work 'Transforming graph states using single-qubit operations' (1805.05305). For related work see also F. Hahn et al (1805.04559)

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Emerging Technologies (cs.ET); Combinatorics (math.CO)

[39] arXiv:1805.05845 (cross-list from cs.LO) [pdf, other]

Title: On the complexity of the correctness problem for non-zeroness test instruction sequences

J. A. Bergstra, C. A. Middelburg

Comments: 32 pages, minor revision with several obscurities made clear

Journal-ref: Theoretical Computer Science, 802:1--18, 2020

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

[40] arXiv:1805.05855 (cross-list from cs.NE) [pdf, other]

Title: Social Algorithms

Xin-She Yang

Comments: Encyclopedia of Complexity and Systems Science, 2017

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Optimization and Control (math.OC)

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

Title: Short Schedules for Fast Flow Rerouting

Saeed Akhoondian Amiri, Szymon Dudycz, Mahmoud Parham, Stefan Schmid, Sebastian Wiederrecht

Comments: arXiv admin note: text overlap with arXiv:1611.09296

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Networking and Internet Architecture (cs.NI)

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

Title: Dual parameterization of Weighted Coloring

Júlio Araújo, Victor A. Campos, Carlos Vinícius G. C. Lima, Vinícius Fernandes dos Santos, Ignasi Sau, Ana Silva

Comments: 13 pages

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

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

Title: Deleting edges to restrict the size of an epidemic in temporal networks

Jessica Enright, Kitty Meeks, George B. Mertzios, Viktor Zamaraev

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

[44] arXiv:1805.07311 (cross-list from math.OC) [pdf, other]

Title: Blended Conditional Gradients: the unconditioning of conditional gradients

Gábor Braun, Sebastian Pokutta, Dan Tu, Stephen Wright

Comments: 33 pages + 12 figures

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Machine Learning (cs.LG)

[45] arXiv:1805.08072 (cross-list from math.CO) [pdf, other]

Title: Conflict-free connections: algorithm and complexity

Meng Ji, Xueliang Li, Xiaoyu Zhu

Comments: 17 pages. The main change is in Subsection 3.2, Theorem 3.4, where we add the result and proof of the NP-completeness for the case $k=2$, which was not done in the old version

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM)

[46] arXiv:1805.08270 (cross-list from math.CO) [pdf, other]

Title: Colouring Square-Free Graphs without Long Induced Paths

Serge Gaspers, Shenwei Huang, Daniël Paulusma

Comments: An extended abstract of this paper appeared in the proceedings of STACS 2018. this http URL

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

[47] arXiv:1805.08370 (cross-list from math.OC) [pdf, other]

Title: Cutting plane methods can be extended into nonconvex optimization

Oliver Hinder

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC)

[48] arXiv:1805.08577 (cross-list from quant-ph) [pdf, other]

Title: PDQP/qpoly = ALL

Scott Aaronson

Comments: 9 pages, an easy read

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

[49] arXiv:1805.09275 (cross-list from math.GT) [pdf, other]

Title: Computational Complexity of Enumerative 3-Manifold Invariants

Eric Samperton (UC Davis)

Comments: This is a Ph.D. dissertation based on arXiv:1707.03811 and other forthcoming work

Subjects: Geometric Topology (math.GT); Computational Complexity (cs.CC); Group Theory (math.GR)

[50] arXiv:1805.09719 (cross-list from cs.LG) [pdf, other]

Title: Learning convex polyhedra with margin

Lee-Ad Gottlieb, Eran Kaufman, Aryeh Kontorovich, Gabriel Nivasch

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Computational Geometry (cs.CG); Machine Learning (stat.ML)

[51] arXiv:1805.10115 (cross-list from cs.GT) [pdf, other]

Title: On incremental deployability

Ioannis Avramopoulos

Comments: arXiv admin note: substantial text overlap with arXiv:1601.03162

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

[52] arXiv:1805.10204 (cross-list from stat.ML) [pdf, other]

Title: Adversarial examples from computational constraints

Sébastien Bubeck, Eric Price, Ilya Razenshteyn

Comments: 19 pages, 1 figure

Subjects: Machine Learning (stat.ML); Computational Complexity (cs.CC); Machine Learning (cs.LG)

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

Title: High Probability Frequency Moment Sketches

Sumit Ganguly, David P. Woodruff

Comments: Extended Abstract to appear in Proceedings of ICALP 2018

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

[54] arXiv:1805.12166 (cross-list from quant-ph) [pdf, other]

Title: Quantum proof systems for iterated exponential time, and beyond

Joseph Fitzsimons, Zhengfeng Ji, Thomas Vidick, Henry Yuen

Comments: 57 pages, comments welcome

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