Computational Complexity

Authors and titles for July 2013

[1] arXiv:1307.0189 [pdf, other]

Title: Rational series and asymptotic expansion for linear homogeneous divide-and-conquer recurrences

Philippe Dumas

Subjects: Computational Complexity (cs.CC)

[2] arXiv:1307.0556 [pdf, other]

Title: The Complexity of Counting Homomorphisms to Cactus Graphs Modulo 2

Andreas Göbel, Leslie Ann Goldberg, David Richerby

Comments: minor changes

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

[3] arXiv:1307.0836 [pdf, other]

Title: Strong equivalence of reversible circuits is coNP-complete

Stephen P. Jordan

Comments: 5 pages

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

[4] arXiv:1307.1157 [pdf, other]

Title: Representing Boolean Functions Using Polynomials: More Can Offer Less

Yi Ming Zou

Comments: A shorter version of this article appeared in LNCS 6677, 2011

Journal-ref: LNCS 6677, 2011, pp. 290-296

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

[5] arXiv:1307.1353 [pdf, other]

Title: One Hierarchy Spawns Another: Graph Deconstructions and the Complexity Classification of Conjunctive Queries

Hubie Chen, Moritz Müller

Subjects: Computational Complexity (cs.CC)

[6] arXiv:1307.3184 [pdf, other]

Title: Randomness Conservation over Algorithms

Samuel Epstein

Comments: 6 pages

Subjects: Computational Complexity (cs.CC)

[7] arXiv:1307.3682 [pdf, other]

Title: A reduction of 3-SAT problem to Buchberger algorithm

Maiia Bakhova

Subjects: Computational Complexity (cs.CC)

[8] arXiv:1307.3863 [pdf, other]

Title: Algebraic Complexity Classes

Meena Mahajan

Comments: Corrected some typos, added some references

Subjects: Computational Complexity (cs.CC)

[9] arXiv:1307.3913 [pdf, other]

Title: Pebble Games, Proof Complexity, and Time-Space Trade-offs

Jakob Nordstrom (MIT)

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 3 (September 13, 2013) lmcs:1111

Subjects: Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Logic in Computer Science (cs.LO); Combinatorics (math.CO); Logic (math.LO)

[10] arXiv:1307.3975 [pdf, other]

Title: Some Improvements to Total Degree Tests

Katalin Friedl, Madhu Sudan

Comments: A version of this paper appeared in Proceedings of the 3rd Israel Symposium on Theory of Computing and Systems, Tel Aviv, Israel, Jan 4-7, 1995. This version corrects some typographical errors

Subjects: Computational Complexity (cs.CC)

[11] arXiv:1307.4308 [pdf, other]

Title: An Alternative Proof of the Exponential Monotone Complexity of the Clique Function

Junichiro Fukuyama

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

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

[12] arXiv:1307.4420 [pdf, other]

Title: On the Complexity of a Matching Problem with Asymmetric Weights

Lily Briggs

Comments: 9 pages; v2 fixed typos, made minor clarifications, and added author affiliation

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

[13] arXiv:1307.4897 [pdf, other]

Title: Small Depth Proof Systems

Andreas Krebs, Nutan Limaye, Meena Mahajan, Karteek Sreenivasaiah

Comments: 19 pages, 1 figure. To appear in MFCS 2013

Subjects: Computational Complexity (cs.CC)

[14] arXiv:1307.4910 [pdf, other]

Title: Hard Asymptotic Sets for One-Dimensional Cellular Automata

Ville Salo

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

[15] arXiv:1307.5090 [pdf, other]

Title: On the NP-Hardness of Approximating Ordering Constraint Satisfaction Problems

Per Austrin, Rajsekar Manokaran, Cenny Wenner

Subjects: Computational Complexity (cs.CC)

[16] arXiv:1307.5321 [pdf, other]

Title: The Complexity of Reachability Problems for Flat Counter Machines with Periodic Loops

Marius Bozga, Radu Iosif, Filip Konecny

Comments: 43 pages

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

[17] arXiv:1307.5776 [pdf, other]

Title: An exact algorithm for 1-in-3 SAT

Édouard Bonnet, Vangelis Th. Paschos

Comments: this paper has been withdrawn since there are better results already known. (Note that 1-in-3 SAT is also known as X3SAT)

Subjects: Computational Complexity (cs.CC)

[18] arXiv:1307.6357 [pdf, other]

Title: Computability of Probability Distributions and Characteristic Functions

Takakazu Mori (Kyoto Sangyo University), Yoshiki Tsujii (Kyoto Sangyo University), Mariko Yasugi (Kyoto Sangyo University)

Journal-ref: Logical Methods in Computer Science, Volume 9, Issue 3 (September 3, 2013) lmcs:888

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

[19] arXiv:1307.6414 [pdf, other]

Title: Fixed Parameter Complexity and Approximability of Norm Maximization

Christian Knauer, Stefan König, Daniel Werner

Subjects: Computational Complexity (cs.CC); Computational Geometry (cs.CG); Metric Geometry (math.MG); Optimization and Control (math.OC)

[20] arXiv:1307.6429 [pdf, other]

Title: Generalized Wong sequences and their applications to Edmonds' problems

Gábor Ivanyos, Marek Karpinski, Youming Qiao, Miklos Santha

Comments: 25 pages; improved presentation; fix some gaps

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

[21] arXiv:1307.6738 [pdf, other]

Title: Efficient quantum protocols for XOR functions

Shengyu Zhang

Comments: 11 pages, no figure

Subjects: Computational Complexity (cs.CC)

[22] arXiv:1307.6948 [pdf, other]

Title: Spin glass approach to the feedback vertex set problem

Hai-Jun Zhou

Comments: 9 pages, including 4 figures. Title slightly changed. Under consideration in EPJB

Journal-ref: European Physical Journal B 86: 455 (2013)

Subjects: Computational Complexity (cs.CC); Disordered Systems and Neural Networks (cond-mat.dis-nn)

[23] arXiv:1307.7615 [pdf, other]

Title: Association schemes, non-commutative polynomial concentration, and sum-of-squares lower bounds for planted clique

Raghu Meka, Avi Wigderson

Comments: This paper has been withdrawn due to an error; "Theorem 1.6" from the original manuscript which is used crucially in the proof of the main result is not correct. We thank Gilles Pisier for pointing this out

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

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

Title: Complexity of the FIFO Stack-Up Problem

Frank Gurski, Jochen Rethmann, Egon Wanke

Comments: 18 pages, 7 figures

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

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

Title: Everything you always wanted to know about the parameterized complexity of Subgraph Isomorphism (but were afraid to ask)

Dániel Marx, Michał Pilipczuk

Comments: 85 pages, 16 figures; program and input data file can be found as ancillary files. Version [v2]: revised conclusions, ancillary files added properly. Version [v3]: added a remark about fixed-parameter tractability of the Conjoining Matching problem following from Lemma 3.2

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