Computational Complexity

Authors and titles for December 2017

[1] arXiv:1712.00942 [pdf, other]

Title: (Gap/S)ETH Hardness of SVP

Divesh Aggarwal, Noah Stephens-Davidowitz

Journal-ref: STOC 2018

Subjects: Computational Complexity (cs.CC)

[2] arXiv:1712.01149 [pdf, other]

Title: An Upper Bound on the GKS Game via Max Bipartite Matching

DeVon Ingram

Subjects: Computational Complexity (cs.CC)

[3] arXiv:1712.01178 [pdf, other]

Title: Principle of Conservation of Computational Complexity

Gerald Friedland, Alfredo Metere

Comments: This version of the article improves on the previous versions by generalizing to a general principle. This way, the very technical reduction of the halting problem to SAT_syntax is unnecessary. The authors would like to thank their peers for feedback and arxiv.org for enabling it. Feedback is always encouraged

Subjects: Computational Complexity (cs.CC)

[4] arXiv:1712.01330 [pdf, other]

Title: Time-Space Tradeoffs for the Memory Game

Amit Chakrabarti, Yining Chen

Subjects: Computational Complexity (cs.CC)

[5] arXiv:1712.02103 [pdf, other]

Title: Exact Algorithms With Worst-case Guarantee For Scheduling: From Theory to Practice

Lei Shang

Comments: 156 pages, PhD thesis

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

[6] arXiv:1712.02447 [pdf, other]

Title: On Colouring $(2P_2,H)$-Free and $(P_5,H)$-Free Graphs

Konrad Dabrowski, Daniel Paulusma

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

[7] arXiv:1712.03714 [pdf, other]

Title: Efficient enumeration of solutions produced by closure operations

Arnaud Mary, Yann Strozecki

Comments: 30 pages, 1 figure. Long version of the article arXiv:1509.05623 of the same name which appeared in STACS 2016. Final version for DMTCS journal

Journal-ref: Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Discrete Algorithms (June 13, 2019) dmtcs:4143

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

[8] arXiv:1712.04496 [pdf, other]

Title: Computational Properties of Slime Trail

Matthew Ferland, Kyle Burke

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

[9] arXiv:1712.04595 [pdf, other]

Title: Fractal dimension and lower bounds for geometric problems

Anastasios Sidiropoulos, Kritika Singhal, Vijay Sridhar

Subjects: Computational Complexity (cs.CC)

[10] arXiv:1712.05735 [pdf, other]

Title: Alternation, Sparsity and Sensitivity : Bounds and Exponential Gaps

Krishnamoorthy Dinesh, Jayalal Sarma

Comments: 19 pages, 1 figure, Journal version

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

[11] arXiv:1712.05766 [pdf, other]

Title: On W[1]-Hardness as Evidence for Intractability

Ralph C. Bottesch

Subjects: Computational Complexity (cs.CC)

[12] arXiv:1712.05880 [pdf, other]

Title: Approximability of the Six-vertex Model

Jin-Yi Cai, Tianyu Liu, Pinyan Lu

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

[13] arXiv:1712.07246 [pdf, other]

Title: Further limitations of the known approaches for matrix multiplication

Josh Alman, Virginia Vassilevska Williams

Comments: 16 pages. To appear in 9th Innovations in Theoretical Computer Science Conference (ITCS 2018)

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

[14] arXiv:1712.07276 [pdf, other]

Title: Uniform Diagonalization Theorem for Complexity Classes of Promise Problems including Randomized and Quantum Classes

Friederike Anna Dziemba

Comments: 15 pages

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

[15] arXiv:1712.08373 [pdf, other]

Title: Notes on complexity of packing coloring

Minki Kim, Bernard Lidický, Tomáš Masařík, Florian Pfender

Comments: 9 pages, 2 figures

Journal-ref: Information Processing Letters 137 (2018) 6-10

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

[16] arXiv:1712.08939 [pdf, other]

Title: On tractable query evaluation for SPARQL

Stefan Mengel, Sebastian Skritek

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

[17] arXiv:1712.09619 [pdf, other]

Title: Finding Two Disjoint Simple Paths on Two Sets of Points is NP-Complete

Mohammadreza Razzazi, Abdolah Sepahvand

Journal-ref: scientiairanica.sharif.edu/article_4116.html 2017

Subjects: Computational Complexity (cs.CC); Computational Geometry (cs.CG)

[18] arXiv:1712.09630 [pdf, other]

Title: Tensor network complexity of multilinear maps

Per Austrin, Petteri Kaski, Kaie Kubjas

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

[19] arXiv:1712.09710 [pdf, other]

Title: On low for speed oracles

Laurent Bienvenu, Rod Downey

Comments: A preliminary version of this paper was published in the proceedings of the STACS 2018 conference

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

[20] arXiv:1712.09738 [pdf, other]

Title: On the Decision Tree Complexity of String Matching

Xiaoyu He, Neng Huang, Xiaoming Sun

Comments: 14 pages, 4 figures

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

[21] arXiv:1712.09967 [pdf, other]

Title: A PSPACE Construction of a Hitting Set for the Closure of Small Algebraic Circuits

Michael A. Forbes, Amir Shpilka

Subjects: Computational Complexity (cs.CC); Algebraic Geometry (math.AG)

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

Title: Graph Homomorphism Reconfiguration and Frozen $H$-Colourings

Richard C. Brewster, Jae-Baek Lee, Benjamin Moore, Jonathan A. Noel, Mark Siggers

Comments: 21 pages, 3 figures

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

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

Title: Optimal Algorithms for Distributed Optimization

César A. Uribe, Soomin Lee, Alexander Gasnikov, Angelia Nedić

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Multiagent Systems (cs.MA); Systems and Control (eess.SY); Machine Learning (stat.ML)

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

Title: The Complexity of Satisfiability in Non-Iterated and Iterated Probabilistic Logics

Ioannis Kokkinis

Journal-ref: Annals of Mathematics and Artificial Intelligence, August 2018, Volume 83, Issue 3-4, pp 351-382

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

[25] arXiv:1712.01834 (cross-list from cs.IT) [pdf, other]

Title: Optimal Quasi-Gray Codes: The Alphabet Matters

Diptarka Chakraborty, Debarati Das, Michal Koucký, Nitin Saurabh

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

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

Title: Graph-based time-space trade-offs for approximate near neighbors

Thijs Laarhoven

Comments: 26 pages, 4 figures

Journal-ref: 34th International Symposium on Computational Geometry (SoCG), pp. 57:1-57:14, 2018

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Computational Geometry (cs.CG); Cryptography and Security (cs.CR); Information Retrieval (cs.IR)

[27] arXiv:1712.04043 (cross-list from cs.CG) [pdf, other]

Title: How to navigate through obstacles?

Eduard Eiben, Iyad Kanj

Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Data Structures and Algorithms (cs.DS)

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

Title: Computational Complexity of the Interleaving Distance

Håvard Bakke Bjerkevik, Magnus Bakke Botnan

Comments: Discussion related to the characteristic of the field added. Paper accepted to the 34th International Symposium on Computational Geometry

Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Algebraic Topology (math.AT)

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

Title: Completeness for the Complexity Class $\forall \exists \mathbb{R}$ and Area-Universality

Michael G. Dobbins, Linda Kleist, Tillmann Miltzow, Paweł Rzążewski

Comments: 36 pages, 17 figures

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

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

Title: Quantifying over Boolean announcements

Hans van Ditmarsch, Tim French

Journal-ref: Logical Methods in Computer Science, Volume 18, Issue 1 (January 21, 2022) lmcs:4147

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

[31] arXiv:1712.06239 (cross-list from quant-ph) [pdf, other]

Title: Quantum Algorithms for Boolean Equation Solving and Quantum Algebraic Attack on Cryptosystems

Yu-Ao Chen, Xiao-Shan Gao

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Symbolic Computation (cs.SC)

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

Title: FPT-algorithms for some problems related to integer programming

D.V. Gribanov, D.S. Malyshev, P.M. Pardalos, S.I. Veselov

Comments: arXiv admin note: text overlap with arXiv:1710.00321 From author: some minor corrections has been done

Journal-ref: J Comb Optim 35, 1128-1146 (2018)

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

[33] arXiv:1712.06349 (cross-list from quant-ph) [pdf, other]

Title: Understanding Quantum Algorithms via Query Complexity

Andris Ambainis

Comments: 20 page survey of recent results, for Proceedings of International Congress of Mathematicians'2018

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

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

Title: The graph tessellation cover number: extremal bounds, efficient algorithms and hardness

A. Abreu, L. Cunha, T. Fernandes, C. de Figueiredo, L. Kowada, F. Marquezino, D. Posner, R. Portugal

Comments: 13 pages, 5 figs, accepted in Latin 2018

Journal-ref: Theoretical Computer Science 801, 175-191, 2020

Subjects: Discrete Mathematics (cs.DM); Computational Complexity (cs.CC); Combinatorics (math.CO); Quantum Physics (quant-ph)

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

Title: Enumeration Complexity of Conjunctive Queries with Functional Dependencies

Nofar Carmeli, Markus Kröll

Comments: Published in ICDT 2018 and TOCS 2019

Subjects: Databases (cs.DB); Computational Complexity (cs.CC)

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

Title: Connected Vertex Cover for $(sP_1+P_5)$-Free Graphs

Matthew Johnson, Giacomo Paesani, Daniel Paulusma

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

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

Title: Cartesian trees and Lyndon trees

Maxime Crochemore, Luis M. S. Russo

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

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

Title: On efficiently solvable cases of Quantum k-SAT

Marco Aldi, Niel de Beaudrap, Sevag Gharibian, Seyran Saeedi

Comments: 50 pages, 19 figures, comments welcome. v2: added explicit runtime analysis for parameterized algorithm, and a family of hypergraphs on which the algorithm achieves an exponential speedup over brute force diagonalization. v3: Long published journal version (CMP 2021, open access)

Journal-ref: Communications in Mathematical Physics, vol 381, 209-256 (2021). Short version in Proceedings of 43rd International Symposium on Mathematical Foundations of Computer Science (MFCS 2018)

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Algebraic Geometry (math.AG); Combinatorics (math.CO)

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

Title: Subquadratic time encodable codes beating the Gilbert-Varshamov bound

Anand Kumar Narayanan, Matthew Weidner

Subjects: Information Theory (cs.IT); Computational Complexity (cs.CC); Number Theory (math.NT)

[40] arXiv:1712.10194 (cross-list from quant-ph) [pdf, other]

Title: Quantum Lower Bounds for Tripartite Versions of the Hidden Shift and the Set Equality Problems

Aleksandrs Belovs, Ansis Rosmanis

Comments: 18 pages

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