Computational Complexity

Authors and titles for July 2018

[1] arXiv:1807.00590 [pdf, other]

Title: The Complexity of Approximately Counting Retractions

Jacob Focke, Leslie Ann Goldberg, Stanislav Zivny

Journal-ref: ACM Transactions on Computation Theory 12(3) Article No. 15 (2020)

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

[2] arXiv:1807.00936 [pdf, other]

Title: A Note on Degree vs Gap of Min-Rep Label Cover and Improved Inapproximability for Connectivity Problems

Pasin Manurangsi

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

[3] arXiv:1807.00985 [pdf, other]

Title: The complexity of disjunctive linear Diophantine constraints

Manuel Bodirsky, Barnaby Martin, Marcello Mamino, Antoine Mottet

Comments: To appear in the proceedings of MFCS 2018

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

[4] arXiv:1807.01369 [pdf, other]

Title: Quantum Random Self-Modifiable Computation

Michael Stephen Fiske

Comments: 50 pages, 3 figures. 2021 Transactions on Computational Science and Computational Intelligence. Springer

Subjects: Computational Complexity (cs.CC); Logic in Computer Science (cs.LO); Quantum Physics (quant-ph)

[5] arXiv:1807.01920 [pdf, other]

Title: Counting Induced Subgraphs: A Topological Approach to #W[1]-hardness

Marc Roth, Johannes Schmitt

Comments: 20 pages, 2 figures, IPEC 2018

Subjects: Computational Complexity (cs.CC)

[6] arXiv:1807.03604 [pdf, other]

Title: Computing Kernels in Parallel: Lower and Upper Bounds

Max Bannach, Till Tantau

Comments: IPEC 2018

Subjects: Computational Complexity (cs.CC)

[7] arXiv:1807.03663 [pdf, other]

Title: Orbits of monomials and factorization into products of linear forms

Pascal Koiran (LIP), Nicolas Ressayre (ICJ)

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Commutative Algebra (math.AC)

[8] arXiv:1807.04263 [pdf, other]

Title: Knowledge Compilation, Width and Quantification

Florent Capelli, Stefan Mengel

Subjects: Computational Complexity (cs.CC)

[9] arXiv:1807.04421 [pdf, other]

Title: On the Approximation Resistance of Balanced Linear Threshold Functions

Aaron Potechin

Subjects: Computational Complexity (cs.CC)

[10] arXiv:1807.04724 [pdf, other]

Title: Computational Complexity of Games and Puzzles

Diogo M. Costa

Comments: Master's thesis (Jul 2018)

Subjects: Computational Complexity (cs.CC)

[11] arXiv:1807.04735 [pdf, other]

Title: Probabilistic verification of all languages

Maksims Dimitrijevs, Abuzer Yakaryılmaz

Comments: 20 pages

Subjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)

[12] arXiv:1807.05169 [pdf, other]

Title: Postselecting probabilistic finite state recognizers and verifiers

Maksims Dimitrijevs, Abuzer Yakaryılmaz

Comments: 18 pages. Accepted to NCMA 2018

Subjects: Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)

[13] arXiv:1807.05194 [pdf, other]

Title: An Algorithmic Blend of LPs and Ring Equations for Promise CSPs

Joshua Brakensiek, Venkatesan Guruswami

Comments: 41 pages, 2 figures

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Logic in Computer Science (cs.LO); Optimization and Control (math.OC)

[14] arXiv:1807.05777 [pdf, other]

Title: Fast Witness Counting

Peter Chini, Rehab Massoud, Roland Meyer, Prakash Saivasan

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

[15] arXiv:1807.06323 [pdf, html, other]

Title: Near-Optimal Bootstrapping of Hitting Sets for Algebraic Models

Mrinal Kumar, Ramprasad Saptharishi, Anamay Tengse

Comments: Published in Theory of Computing, Volume 19 (2023), Article 12; Received: April 16, 2019, Revised: August 5, 2021, Published: December 31, 2023

Journal-ref: Theory of Computing 19(12):1-30, 2023

Subjects: Computational Complexity (cs.CC)

[16] arXiv:1807.06397 [pdf, other]

Title: Expressing Linear Orders Requires Exponential-Size DNNFs

Ronald de Haan

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

[17] arXiv:1807.06469 [pdf, other]

Title: On Computing Centroids According to the $p$-Norms of Hamming Distance Vectors

Jiehua Chen, Danny Hermelin, Manuel Sorge

Comments: To appear at ESA 2019

Subjects: Computational Complexity (cs.CC)

[18] arXiv:1807.08630 [pdf, other]

Title: Maximum-Likelihood Network Reconstruction for SIS Processes is NP-Hard

Bastian Prasse, Piet Van Mieghem

Subjects: Computational Complexity (cs.CC); Physics and Society (physics.soc-ph)

[19] arXiv:1807.08949 [pdf, other]

Title: A Note on Clustering Aggregation for Binary Clusterings

Jiehua Chen, Danny Hermelin, Manuel Sorge

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

[20] arXiv:1807.10563 [pdf, other]

Title: Proceedings of the 9th International Workshop on Physics and Computation

Michael Cuffaro, Philippos Papayannopoulos

Journal-ref: EPTCS 273, 2018

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

[21] arXiv:1807.10983 [pdf, other]

Title: Team Diagonalization

Lane A. Hemaspaandra, Holger Spakowski

Subjects: Computational Complexity (cs.CC)

[22] arXiv:1807.11518 [pdf, other]

Title: Parameterized Orientable Deletion

Tesshu Hanaka, Ioannis Katsikarelis, Michael Lampis, Yota Otachi, Florian Sikora

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

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

Title: Worst-case iteration bounds for log barrier methods on problems with nonconvex constraints

Oliver Hinder, Yinyu Ye

Comments: Accepted for publication in Mathematics of Operations Research. Note that several results were removed from the previous version most notably the results on convex case. These results were removed due to reviewer suggestions to focus the paper on the most significant contributions. These results still appear in the first author's PhD thesis (Principled Algorithms for Finding Local Minima)

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

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

Title: Fast Hermite interpolation and evaluation over finite fields of characteristic two

Nicholas Coxon (GRACE)

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC)

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

Title: How long can optimal locally repairable codes be?

Venkatesan Guruswami, Chaoping Xing, Chen Yuan

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

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

Title: Tight bounds for popping algorithms

Heng Guo, Kun He

Comments: 18 pages, 1 figure

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

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

Title: Analysis of Nederlof's algorithm for subset sum

Zhengjun Cao, Zhen Chen, Lihua Liu

Comments: page 4

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

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

Title: New Limits of Treewidth-based tractability in Optimization

Yuri Faenza, Gonzalo Muñoz, Sebastian Pokutta

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

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

Title: How game complexity affects the playing behavior of synthetic agents

Chairi Kiourt, Dimitris Kalles, Panagiotis Kanellopoulos

Comments: 15th European Conference on Multi-Agent Systems, Evry, France, 14-15 December 2017

Journal-ref: Multi-Agent Systems and Agreement Technologies. EUMAS 2017, AT 2017. Lecture Notes in Computer Science

Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Multiagent Systems (cs.MA)

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

Title: On the complexity of quasiconvex integer minimization problem

A. Yu. Chirkov, D. V. Gribanov, D. S. Malyshev, P. M. Pardalos, S. I. Veselov, N. Yu. Zolotykh

Comments: Some new proofs have been added. Some fixes are done

Journal-ref: J Glob Optim 73, 761-788 (2019)

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

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

Title: On Sparse Reflexive Generalized Inverses

Marcia Fampa, Jon Lee

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

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

Title: Constructing Concrete Hard Instances of the Maximum Independent Set Problem

Naoto Shiraishi, Jun Takahashi

Comments: 9 pages, 5 figures

Journal-ref: J. Stat. Mech. (2019) 113401

Subjects: Data Structures and Algorithms (cs.DS); Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC)

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

Title: On the Complexity of Value Iteration

Nikhil Balaji, Stefan Kiefer, Petr Novotný, Guillermo A. Pérez, Mahsa Shirmohammadi

Comments: Full version of an ICALP'19 paper

Subjects: Formal Languages and Automata Theory (cs.FL); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)

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

Title: The complexity of approximating the matching polynomial in the complex plane

Ivona Bezakova, Andreas Galanis, Leslie Ann Goldberg, Daniel Stefankovic

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

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

Title: Optimal Algorithms for Right-Sizing Data Centers- Extended Version

Susanne Albers, Jens Quedenfeld

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

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

Title: Optimal Lower Bounds for Distributed and Streaming Spanning Forest Computation

Jelani Nelson, Huacheng Yu

Comments: v3: corrected another error in the proof of Lemma 3 and slightly changed statement as well as Lemma 5 to fit new statement; again final results are unchanged; v2: the proof of Lemma 3 in version 1 was incorrect, and we have replaced it with a slightly different statement, as well as modifying Lemma 5 to fit in with our new Lemma 3 -- our final results are unchanged

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

[37] arXiv:1807.05385 (cross-list from cs.FL) [pdf, html, other]

Title: Classically Time-Controlled Quantum Automata: Definition and Properties

Alejandro Díaz-Caro, Marcos Villagra

Comments: Long revisited version of LNCS 11324:266-278, 2018 (TPNC 2018)

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Quantum Physics (quant-ph)

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

Title: Improving the smoothed complexity of FLIP for max cut problems

Ali Bibak (1), Charles Carlson (2), Karthekeyan Chandrasekaran (1) ((1) University of Illinois Urbana-Champaign, (2) University of Colorado Boulder)

Comments: 36 pages

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

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

Title: A PTAS for $\ell_p$-Low Rank Approximation

Frank Ban, Vijay Bhattiprolu, Karl Bringmann, Pavel Kolev, Euiwoong Lee, David P. Woodruff

Comments: Accepted at SODA'19, 65 pages

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

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

Title: Classical lower bounds from quantum upper bounds

Shalev Ben-David, Adam Bouland, Ankit Garg, Robin Kothari

Comments: 46 pages; to appear at FOCS 2018

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

[41] arXiv:1807.06456 (cross-list from quant-ph) [pdf, other]

Title: Quantum Chebyshev's Inequality and Applications

Yassine Hamoudi, Frédéric Magniez

Comments: 27 pages; v3: better presentation, lower bound in Theorem 4.3 is new

Journal-ref: Proceedings of the 46th International Colloquium on Automata, Languages, and Programming (ICALP), volume 132 of LIPIcs, pages 69:1-99:16, 2019

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Computation (stat.CO)

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

Title: An ETH-Tight Exact Algorithm for Euclidean TSP

Mark de Berg, Hans L. Bodlaender, Sándor Kisfaludi-Bak, Sudeshna Kolay

Comments: FOCS 2018, to appear in SICOMP

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

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

Title: The parameterised complexity of computing the maximum modularity of a graph

Kitty Meeks, Fiona Skerman

Comments: Author final version, accepted to Algorithmica

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

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

Title: Approximation Schemes for Low-Rank Binary Matrix Approximation Problems

Fedor V. Fomin, Petr A. Golovach, Daniel Lokshtanov, Fahad Panolan, Saket Saurabh

Comments: 38 pages

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

[45] arXiv:1807.07762 (cross-list from quant-ph) [pdf, other]

Title: The Power of One Clean Qubit in Communication Complexity

Hartmut Klauck, Debbie Lim

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

[46] arXiv:1807.07785 (cross-list from cs.SC) [pdf, other]

Title: Fast transforms over finite fields of characteristic two

Nicholas Coxon (GRACE)

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC)

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

Title: An Improved Speedup Factor for Sporadic Tasks with Constrained Deadlines under Dynamic Priority Scheduling

Xin Han, Liang Zhao, Zhishan Guo, Xingwu Liu

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

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

Title: Computational speedups using small quantum devices

Vedran Dunjko, Yimin Ge, J. Ignacio Cirac

Comments: 5+12 pages

Journal-ref: Phys. Rev. Lett. 121, 250501 (2018)

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

[49] arXiv:1807.09675 (cross-list from cs.SC) [pdf, other]

Title: Toward an Optimal Quantum Algorithm for Polynomial Factorization over Finite Fields

Javad Doliskani

Subjects: Symbolic Computation (cs.SC); Computational Complexity (cs.CC); Number Theory (math.NT); Quantum Physics (quant-ph)

[50] arXiv:1807.10464 (cross-list from econ.GN) [pdf, other]

Title: A maximum entropy network reconstruction of macroeconomic models

Aurélien Hazan (LISSI)

Subjects: General Economics (econ.GN); Computational Complexity (cs.CC); Data Analysis, Statistics and Probability (physics.data-an); Physics and Society (physics.soc-ph)