Computational Complexity

Authors and titles for February 2017

[1] arXiv:1702.00353 [pdf, other]

Title: The non-cooperative tile assembly model is not intrinsically universal or capable of bounded Turing machine simulation

Pierre-Étienne Meunier, Damien Woods

Comments: Extended version of STOC 2017 paper

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

[2] arXiv:1702.00467 [pdf, other]

Title: The Computer Science and Physics of Community Detection: Landscapes, Phase Transitions, and Hardness

Cristopher Moore

Comments: This review article first appeared in the Bulletin of the EATCS; I plan to update it sporadically, and this is the first such update. It is aimed primarily at computer scientists, but hopefully others will enjoy it as well

Subjects: Computational Complexity (cs.CC); Statistical Mechanics (cond-mat.stat-mech); Social and Information Networks (cs.SI); Probability (math.PR); Physics and Society (physics.soc-ph)

[3] arXiv:1702.00533 [pdf, other]

Title: Complexity results for $k$-domination and $α$-domination problems and their variants

Davood Bakhshesh, Mohammad Farshi, Mahdieh Hasheminezhad

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

[4] arXiv:1702.00558 [pdf, other]

Title: Irreducibility and r-th root finding over finite fields

Vishwas Bhargava, Gábor Ivanyos, Rajat Mittal, Nitin Saxena

Comments: 16 pages

Subjects: Computational Complexity (cs.CC); Commutative Algebra (math.AC); Number Theory (math.NT)

[5] arXiv:1702.01423 [pdf, other]

Title: Deciding Irreducibility/Indecomposability of Feedback Shift Registers is NP-hard

Lin Wang

Comments: 23 pages, 10 figures

Subjects: Computational Complexity (cs.CC)

[6] arXiv:1702.01454 [pdf, other]

Title: Property Testing of Joint Distributions using Conditional Samples

Rishiraj Bhattacharyya, Sourav Chakraborty

Comments: The current revision contains the updated bounds as published

Journal-ref: ACM ToCT, 2018

Subjects: Computational Complexity (cs.CC)

[7] arXiv:1702.02017 [pdf, other]

Title: A Tight I/O Lower Bound for Matrix Multiplication

Tyler Michael Smith, Bradley Lowery, Julien Langou, Robert A. van de Geijn

Subjects: Computational Complexity (cs.CC)

[8] arXiv:1702.02693 [pdf, other]

Title: Dichotomy for Real Holant$^c$ Problems

Jin-Yi Cai, Pinyan Lu, Mingji Xia

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

[9] arXiv:1702.02863 [pdf, other]

Title: Complexity Classification Of The Six-Vertex Model

Jin-Yi Cai, Zhiguo Fu, Mingji Xia

Subjects: Computational Complexity (cs.CC); Statistical Mechanics (cond-mat.stat-mech)

[10] arXiv:1702.02882 [pdf, other]

Title: Improved Inapproximability Results for Steiner Tree via Long Code Based Reductions

Ali Çivril

Comments: Retracted due to an error in the construction

Subjects: Computational Complexity (cs.CC)

[11] arXiv:1702.02885 [pdf, other]

Title: Sparse Approximation is Provably Hard under Coherent Dictionaries

Ali Çivril

Comments: 18 pages, 5 figures

Journal-ref: J. Comput. Syst. Sci. 84: 32-43 (2017)

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

[12] arXiv:1702.03152 [pdf, other]

Title: A Variation of Levin Search for All Well-Defined Problems

Fouad B. Chedid

Comments: 10 pages

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

[13] arXiv:1702.03625 [pdf, other]

Title: Separation of AC$^0[\oplus]$ Formulas and Circuits

Benjamin Rossman, Srikanth Srinivasan

Subjects: Computational Complexity (cs.CC)

[14] arXiv:1702.04300 [pdf, other]

Title: Optimality condition and complexity analysis for linearly-constrained optimization without differentiability on the boundary

Gabriel Haeser, Hongcheng Liu, Yinyu Ye

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

[15] arXiv:1702.04322 [pdf, other]

Title: Parameterized Algorithms for Recognizing Monopolar and 2-Subcolorable Graphs

Iyad Kanj, Christian Komusiewicz, Manuel Sorge, Erik Jan van Leeuwen

Comments: A preliminary version of this paper appears in the proceedings of SWAT 2016. A journal version of this paper appears in Journal of Computer and System Sciences, volume 92, 2018. This ArXiv paper additionally discusses relations to the iterative localization technique (Heggernes et al., Information and Computation, 2013)

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

[16] arXiv:1702.04679 [pdf, other]

Title: The complexity of Boolean surjective general-valued CSPs

Peter Fulla, Hannes Uppman, Stanislav Zivny

Comments: v5: small corrections and improved presentation

Journal-ref: ACM Transactions on Computation Theory 11(1) Article No. 4 (2019)

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

[17] arXiv:1702.04748 [pdf, other]

Title: An Improved Dictatorship Test with Perfect Completeness

Amey Bhangale, Subhash Khot, Devanathan Thiruvenkatachari

Comments: 21 pages

Subjects: Computational Complexity (cs.CC)

[18] arXiv:1702.04779 [pdf, other]

Title: Compression Complexity

Stephen Fenner, Lance Fortnow

Subjects: Computational Complexity (cs.CC)

[19] arXiv:1702.05139 [pdf, other]

Title: On the Bit Complexity of Sum-of-Squares Proofs

Prasad Raghavendra, Benjamin Weitz

Subjects: Computational Complexity (cs.CC)

[20] arXiv:1702.05183 [pdf, other]

Title: Courcelle's Theorem Made Dynamic

Patricia Bouyer-Decitre, Vincent Jugé, Nicolas Markey

Comments: 14 pages, 4 figures. arXiv admin note: text overlap with arXiv:1610.00571

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

[21] arXiv:1702.05328 [pdf, other]

Title: On algebraic branching programs of small width

Karl Bringmann, Christian Ikenmeyer, Jeroen Zuiddam

Subjects: Computational Complexity (cs.CC)

[22] arXiv:1702.05447 [pdf, other]

Title: Counting edge-injective homomorphisms and matchings on restricted graph classes

Radu Curticapean, Holger Dell, Marc Roth

Comments: 35 pages, 9 figures

Subjects: Computational Complexity (cs.CC)

[23] arXiv:1702.05543 [pdf, other]

Title: A Fixed-Parameter Perspective on #BIS

Radu Curticapean, Holger Dell, Fedor Fomin, Leslie Ann Goldberg, John Lapinskas

Comments: to appear in Algorithmica

Subjects: Computational Complexity (cs.CC)

[24] arXiv:1702.05547 [pdf, other]

Title: Nontrivial Turmites are Turing-universal

Diego Maldonado, Anahí Gajardo, Benjamin Hellouin de Menibus, Andrés Moreira

Comments: 19 pages, submitted to Theoretical Computer Science

Subjects: Computational Complexity (cs.CC); Cellular Automata and Lattice Gases (nlin.CG)

[25] arXiv:1702.05704 [pdf, other]

Title: Computational Complexity of Atomic Chemical Reaction Networks

David Doty, Shaopeng Zhu

Subjects: Computational Complexity (cs.CC)