Computational Complexity

Authors and titles for cs.CC in Apr 2016

[1]  arXiv:1604.00216 [pdf, ps, other]

Title: Differences of halting probabilities

Authors: George Barmpalias, Andrew Lewis-Pye

Subjects: Computational Complexity (cs.CC)

[2]  arXiv:1604.00905 [pdf, ps, other]

Title: Polarity and Monopolarity of $3$-colourable comparability graphs

Authors: Nikola Yolov

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

[3]  arXiv:1604.00932 [pdf, other]

Title: Asking the metaquestions in constraint tractability

Authors: Hubie Chen, Benoit Larose

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

[4]  arXiv:1604.01445 [pdf, ps, other]

Title: An Axiomatic and an Average-Case Analysis of Algorithms and Heuristics for Metric Properties of Graphs

Authors: Michele Borassi, Pierluigi Crescenzi, Luca Trevisan

Subjects: Computational Complexity (cs.CC)

[5]  arXiv:1604.01560 [pdf, ps, other]

Title: Non-deterministic branching programs with logarithmic repetition cannot efficiently compute small monotone CNFs

Authors: Oded Lachish, Igor Razgon

Comments: Minor changes made in the abstract and the introduction in order to correct several inaccuracies in the informal statements

Subjects: Computational Complexity (cs.CC)

[6]  arXiv:1604.02278 [pdf, ps, other]

Title: Two-level lot-sizing with inventory bounds

Authors: Siao-Leu Phouratsamay, Safia Kedad-Sidhoum, Fanny Pascual

Comments: 21 pages

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

[7]  arXiv:1604.02557 [pdf, ps, other]

Title: The Complexity of Computing (Almost) Unitary Matrices With $\eps$-Copies of the Fourier Transform

Authors: Nir Ailon, Gal Yehuda

Subjects: Computational Complexity (cs.CC)

[8]  arXiv:1604.02947 [pdf, ps, other]

Title: High Dimensional Random Walks and Colorful Expansion

Authors: Tali Kaufman, David Mass

Comments: 27 pages

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

[9]  arXiv:1604.03084 [pdf, other]

Title: A Nearly Tight Sum-of-Squares Lower Bound for the Planted Clique Problem

Authors: Boaz Barak, Samuel B. Hopkins, Jonathan Kelner, Pravesh K. Kothari, Ankur Moitra, Aaron Potechin

Comments: 55 pages

Subjects: Computational Complexity (cs.CC)

[10]  arXiv:1604.03243 [pdf, other]

Title: Separating Sets of Strings by Finding Matching Patterns is Almost Always Hard

Authors: Giuseppe Lancia, Luke Mathieson, Pablo Moscato

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

[11]  arXiv:1604.03758 [pdf]

Title: The Existence of the Tau One-Way Functions Class as a Proof that P != NP

Authors: Javier A. Arroyo-Figueroa

Comments: Corrected title and an error at the end of Section 7

Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR)

[12]  arXiv:1604.04549 [pdf, other]

Title: Scalefree hardness of average-case Euclidean TSP approximation

Authors: Alan Frieze, Wesley Pegden

Comments: 20 pages, 4 figures

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

[13]  arXiv:1604.05264 [pdf, ps, other]

Title: Complexity Dichotomies for Unweighted Scoring Rules

Authors: Edith Hemaspaandra, Henning Schnoor

Subjects: Computational Complexity (cs.CC)

[14]  arXiv:1604.05487 [pdf, ps, other]

Title: Acyclic Constraint Logic and Games

Authors: Hendrik Jan Hoogeboom, Walter A. Kosters, Jan N. van Rijn, Jonathan K. Vis

Comments: 14 pages, originally published at: ICGA Journal Vol. 37, pp. 3-16, 2014

Journal-ref: ICGA Journal, Vol. 37, pp. 3-16, 2014

Subjects: Computational Complexity (cs.CC)

[15]  arXiv:1604.05510 [pdf, ps, other]

Title: Pebbling Meets Coloring: Reversible Pebble Game On Trees

Authors: Balagopal Komarath, Jayalal Sarma, Saurabh Sawlani

Comments: 15 pages, 3 figures, Preliminary version appeared in COCOON 2015

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

[16]  arXiv:1604.05588 [pdf, other]

Title: On planar variants of the monotone satisfiability problem with bounded variable appearances

Authors: Andreas Darmann, Janosch Döcker, Britta Dorn

Comments: 8 pages, 4 figures

Subjects: Computational Complexity (cs.CC)

[17]  arXiv:1604.05940 [pdf, other]

Title: Online Chromatic Number is PSPACE-Complete

Authors: Martin Böhm, Pavel Veselý

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

[18]  arXiv:1604.06431 [pdf, ps, other]

Title: No occurrence obstructions in geometric complexity theory

Authors: Peter Bürgisser, Christian Ikenmeyer, Greta Panova

Comments: Substantial revision. This version contains an overview of the proof of the main result. Added material on the model of power sums. Theorem 4.14 in the old version, which had a complicated proof, became the easy Theorem 5.4. To appear in the Journal of the AMS

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

[19]  arXiv:1604.06617 [pdf, ps, other]

Title: Descriptive Complexity of $\#\textrm{AC}^0$ Functions

Authors: Arnaud Durand, Anselm Haak, Juha Kontinen, Heribert Vollmer

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

[20]  arXiv:1604.07062 [pdf, other]

Title: Extension Complexity of Independent Set Polytopes

Authors: Mika Göös, Rahul Jain, Thomas Watson

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

[21]  arXiv:1604.07063 [pdf, ps, other]

Title: The Dichotomy for Conservative Constraint Satisfaction is Polynomially Decidable

Authors: Clément Carbonnel

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

[22]  arXiv:1604.07200 [pdf, other]

Title: Characterization and Lower Bounds for Branching Program Size using Projective Dimension

Authors: Krishnamoorthy Dinesh, Sajin Koroth, Jayalal Sarma

Comments: 24 pages, 3 figures

Subjects: Computational Complexity (cs.CC)

[23]  arXiv:1604.07432 [pdf, ps, other]

Title: Degree and Sensitivity: tails of two distributions

Authors: Parikshit Gopalan, Rocco Servedio, Avishay Tal, Avi Wigderson

Comments: The conference version of this paper will appear in CCC'2016

Subjects: Computational Complexity (cs.CC)

[24]  arXiv:1604.07553 [pdf, other]

Title: The Complexity of Rummikub Problems

Authors: Jan N. van Rijn, Frank W. Takes, Jonathan K. Vis

Comments: First appeared in proceedings of BNAIC 2015 (this http URL)

Subjects: Computational Complexity (cs.CC)

[25]  arXiv:1604.07724 [pdf, other]

Title: Assessing the Computational Complexity of Multi-Layer Subgraph Detection

Authors: Robert Bredereck, Christian Komusiewicz, Stefan Kratsch, Hendrik Molter, Rolf Niedermeier, Manuel Sorge

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