Computational Complexity

Authors and titles for April 2012

[1] arXiv:1204.0816 [pdf, other]

Title: A Note on the Balanced ST-Connectivity

Shiva Kintali, Asaf Shapira

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

[2] arXiv:1204.0949 [pdf, other]

Title: Densities and entropies in cellular automata

Pierre Guillon, Charalampos Zinoviadis

Comments: 10 pages + 8 pages appendix, cited in bib; published in CiE 2012

Subjects: Computational Complexity (cs.CC); Dynamical Systems (math.DS)

[3] arXiv:1204.0957 [pdf, other]

Title: Approximation Limits of Linear Programs (Beyond Hierarchies)

Gábor Braun, Samuel Fiorini, Sebastian Pokutta, David Steurer

Comments: 23 pages, 2 figures

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

[4] arXiv:1204.1079 [pdf, other]

Title: The Power of Linear Programming for Valued CSPs

Johan Thapper, Stanislav Zivny

Comments: Corrected a few typos

Journal-ref: Proc. of FOCS'12 669-678 (2012)

Subjects: Computational Complexity (cs.CC)

[5] arXiv:1204.1196 [pdf, other]

Title: The Complexity of Monotone Hybrid Logics over Linear Frames and the Natural Numbers

Stefan Göller, Arne Meier, Martin Mundhenk, Thomas Schneider, Michael Thomas, Felix Weiss

Comments: 19 pages + 15 pages appendix, 3 figures

Subjects: Computational Complexity (cs.CC)

[6] arXiv:1204.1367 [pdf, other]

Title: New Lower Bounds for Matching Vector Codes

Abhishek Bhowmick, Zeev Dvir, Shachar Lovett

Comments: Fixed typos and small bugs

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

[7] arXiv:1204.1505 [pdf, other]

Title: Lower bounds on information complexity via zero-communication protocols and applications

Iordanis Kerenidis, Sophie Laplante, Virginie Lerays, Jérémie Roland, David Xiao

Comments: 22 pages

Journal-ref: In 53rd Annual IEEE Symposium on Foundations of Computer Science (FOCS'12), pages 500-509, 2012

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

[8] arXiv:1204.1656 [pdf, other]

Title: Phase Transition in Unrestricted Random SAT

Bernd R. Schuh

Comments: 14 pages

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

[9] arXiv:1204.1764 [pdf, other]

Title: A Non-Triviality Certificate for Scalars and its application to Linear Systems

Deepak Ponvel Chermakani

Comments: 6 pages, 10 figures, 1 Theorem on the non-triviality Certificate for Scalars

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

[10] arXiv:1204.2026 [pdf, other]

Title: Strengthened Hardness for Approximating Minimum Unique Game and Small Set Expansion

Peng Cui

Comments: 11 pages, 1 figure

Subjects: Computational Complexity (cs.CC)

[11] arXiv:1204.2040 [pdf, other]

Title: A New Reduction from Search SVP to Optimization SVP

Gengran Hu, Yanbin Pan

Subjects: Computational Complexity (cs.CC)

[12] arXiv:1204.2201 [pdf, other]

Title: The complexity of string partitioning

Anne Condon, Ján Maňuch, Chris Thachuk

Comments: 14 pages main text + 13 pages appendix. Full version with proofs of an article appearing in the Proceedings of the 23rd Annual Symposium on Combinatorial Pattern Matching (CPM 2012), Helsinki, Finland, July 2012

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

[13] arXiv:1204.2202 [pdf, other]

Title: Clique in 3-track interval graphs is APX-hard

Minghui Jiang

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

[14] arXiv:1204.2652 [pdf, other]

Title: Lower Bound on Weights of Large Degree Threshold Functions

Vladimir V. Podolskii (Steklov Mathematical Institute)

Comments: 17 pages, to appear in LMCS

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 2 (June 28, 2013) lmcs:722

Subjects: Computational Complexity (cs.CC)

[15] arXiv:1204.3529 [pdf, other]

Title: Hardness Results for Approximate Pure Horn CNF Formulae Minimization

Endre Boros, Aritanan Gruber

Comments: 39 pages, 1 figure

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

[16] arXiv:1204.3986 [pdf, other]

Title: Towards the Notion of an Abstract Quantum Automaton

Mizal Alobaidi (1), Andriy Batyiv (2), Grygoriy Zholtkevych (2) ((1) Tikrit University, Faculty of Computer Sciences and Mathematics, (2) V.N. Karazin Kharkiv National University, School of Mathematics)

Comments: 15 pages, 3 figures

Journal-ref: Proc. ICTERI 2012 CEUR-WS 848(2012) 17-32

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

[17] arXiv:1204.4176 [pdf, other]

Title: Deterministic Function Computation with Chemical Reaction Networks

Ho-Lin Chen, David Doty, David Soloveichik

Comments: fixed errors in previous version

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

[18] arXiv:1204.4368 [pdf, other]

Title: (Non-)existence of Polynomial Kernels for the Test Cover Problem

G. Gutin, G. Muciaccia, A. Yeo

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

[19] arXiv:1204.4379 [pdf, other]

Title: Computing Multiplicities of Lie Group Representations

Matthias Christandl, Brent Doran, Michael Walter

Comments: 10 pages

Journal-ref: Proceedings of 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science (FOCS'12), p. 639-648

Subjects: Computational Complexity (cs.CC); Representation Theory (math.RT); Quantum Physics (quant-ph)

[20] arXiv:1204.4564 [pdf, other]

Title: On the Minimum Degree up to Local Complementation: Bounds and Complexity

Jérôme Javelle, Mehdi Mhalla, Simon Perdrix

Comments: 11 pages

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

[21] arXiv:1204.4578 [pdf, other]

Title: Complexity of tropical and min-plus linear prevarieties

Dima Grigoriev, Vladimir V. Podolskii

Comments: 36 pages

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

[22] arXiv:1204.4659 [pdf, other]

Title: The computational complexity of Minesweeper

Michiel de Bondt

Comments: 14 pages, LaTeX => DVI => PS => PDF

Subjects: Computational Complexity (cs.CC)

[23] arXiv:1204.5447 [pdf, other]

Title: Kolmogorov Complexity, Causality And Spin

Dara O. Shayda

Comments: Higher resolution images available, plus the Mathematica code that generated them

Subjects: Computational Complexity (cs.CC)

[24] arXiv:1204.5508 [pdf, other]

Title: Relativizing Small Complexity Classes and their Theories

Klaus Aehlig, Stephen Cook, Phuong Nguyen

Comments: 28 pages

Subjects: Computational Complexity (cs.CC)

[25] arXiv:1204.5576 [pdf, other]

Title: Efficient programs of NPC problems should be length upper-bounded, and a thought experiment to search for them by machine enumeration

YuQian Zhou

Comments: 6 pages, 2 figures

Subjects: Computational Complexity (cs.CC)