Computational Complexity

Authors and titles for December 2013

[1] arXiv:1312.0036 [pdf, other]

Title: Weak Parity

Scott Aaronson, Andris Ambainis, Kaspars Balodis, Mohammad Bavarian

Comments: 18 pages

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

[2] arXiv:1312.0355 [pdf, other]

Title: Formulas vs. Circuits for Small Distance Connectivity

Benjamin Rossman

Subjects: Computational Complexity (cs.CC)

[3] arXiv:1312.0496 [pdf, other]

Title: Verifying whether One-Tape Non-Deterministic Turing Machines Run in Time $Cn+D$

David Gajser

Comments: 12 pages + 5 pages appendix

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

[4] arXiv:1312.1027 [pdf, other]

Title: A Note on the Quantum Collision and Set Equality Problems

Mark Zhandry

Comments: 10 pages. v2: fixed typos. v3: added set equality result

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

[5] arXiv:1312.1299 [pdf, other]

Title: The self-assembly of paths and squares at temperature 1

Pierre-Étienne Meunier

Comments: arXiv admin note: text overlap with arXiv:1306.6710 by other authors

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

[6] arXiv:1312.1526 [pdf, other]

Title: Vertex Disjoint Path in Upward Planar Graphs

Saeed Amiri, Ali Golshani, Stephan Kreutzer, Sebastian Siebertz

Comments: 14 pages

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

[7] arXiv:1312.1672 [pdf, other]

Title: The Parameterized Complexity of Reasoning Problems Beyond NP

Ronald de Haan, Stefan Szeider

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

[8] arXiv:1312.1674 [pdf, other]

Title: On the relation generation method of Joux for computing discrete logarithms

Ming-Deh Huang, Anand Kumar Narayanan

Comments: arXiv admin note: substantial text overlap with arXiv:1304.1206

Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Number Theory (math.NT)

[9] arXiv:1312.1718 [pdf, other]

Title: Upper semicomputable sumtests for lower semicomputable semimeasures

Bruno Bauwens

Comments: 10 pages

Subjects: Computational Complexity (cs.CC)

[10] arXiv:1312.1826 [pdf, other]

Title: Hitting-sets for low-distance multilinear depth-3

Manindra Agrawal, Rohit Gurjar, Arpita Korwar, Nitin Saxena

Subjects: Computational Complexity (cs.CC)

[11] arXiv:1312.1983 [pdf, other]

Title: Satisfiability and Evolution

Adi Livnat, Christos Papadimitriou, Aviad Rubinstein, Gregory Valiant, Andrew Wan

Subjects: Computational Complexity (cs.CC); Populations and Evolution (q-bio.PE)

[12] arXiv:1312.2086 [pdf, other]

Title: Hierarchical complexity of 2-clique-colouring weakly chordal graphs and perfect graphs having cliques of size at least 3

Hélio B. Macêdo Filho, Raphael C. S. Machado, Celina M. H. de Figueiredo

Comments: An extended abstract of this work was accepted for presentation at Latin 2014, the 11th Latin American Symposium on Theoretical Informatics

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

[13] arXiv:1312.2141 [pdf, other]

Title: Dynamic Complexity of Planar 3-connected Graph Isomorphism

Jenish C. Mehta

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

[14] arXiv:1312.2143 [pdf, other]

Title: A composition theorem for parity kill number

Ryan O'Donnell, Xiaorui Sun, Li-Yang Tan, John Wright, Yu Zhao

Subjects: Computational Complexity (cs.CC)

[15] arXiv:1312.2367 [pdf, other]

Title: High Dimensional Expanders and Property Testing

Tali Kaufman, Alexander Lubotzky

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

[16] arXiv:1312.2483 [pdf, other]

Title: A Protocol for Generating Random Elements with their Probabilities

Thomas Holenstein, Robin Künzler

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

[17] arXiv:1312.2490 [pdf, other]

Title: A New View on Worst-Case to Average-Case Reductions for NP Problems

Thomas Holenstein, Robin Künzler

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

[18] arXiv:1312.2915 [pdf, other]

Title: Hardness of Finding Independent Sets in 2-Colorable Hypergraphs and of Satisfiable CSPs

Rishi Saket

Comments: 23 Pages

Subjects: Computational Complexity (cs.CC)

[19] arXiv:1312.3003 [pdf, other]

Title: Decision Trees, Protocols, and the Fourier Entropy-Influence Conjecture

Andrew Wan, John Wright, Chenggang Wu

Subjects: Computational Complexity (cs.CC)

[20] arXiv:1312.3193 [pdf, other]

Title: Iterated group products and leakage resilience against NC^1

Eric Miles

Comments: ITCS 2014

Subjects: Computational Complexity (cs.CC)

[21] arXiv:1312.4075 [pdf, other]

Title: Robust optimization with incremental recourse

Ebrahim Nasrabadi, James B. Orlin

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

[22] arXiv:1312.4428 [pdf, other]

Title: On Constraint Satisfaction Problems below P

Laszlo Egri

Subjects: Computational Complexity (cs.CC)

[23] arXiv:1312.4524 [pdf, other]

Title: A Computational Trichotomy for Connectivity of Boolean Satisfiability

Konrad W. Schwerdtfeger

Comments: 27 pages; severe error in the proof of Lemma 19 (now Lemma 23) corrected; all results remain true, but some new definitions and lemmas were necessary; also, a further error of Gopalan et al.'s paper is explained and corrected; several other improvements. Text overlap with arXiv:cs/0609072 due to corrections of that paper

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

[24] arXiv:1312.4652 [pdf, other]

Title: Logics for complexity classes

Vladimir Naidenko (Institute of Mathematics, National Academy of Sciences of Belarus)

Comments: This article has been accepted for publication in Logic Journal of IGPL Published by Oxford University Press; 23 pages, 2 figures

Journal-ref: Logic Journal of the IGPL (2014) 22 (6): 1075-1093

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

[25] arXiv:1312.5686 [pdf, other]

Title: Complexity Hierarchies Beyond Elementary

Sylvain Schmitz

Comments: Version 3 is the published version in TOCT 8(1:3), 2016. I will keep updating the catalogue of problems from Section 6 in future revisions

Journal-ref: ACM Transactions on Computation Theory vol. 8, number 1, article 3, 2016

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