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)

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

Title: Optimal Bounds on Approximation of Submodular and XOS Functions by Juntas

Vitaly Feldman, Jan Vondrak

Comments: Extended abstract appears in proceedings of FOCS 2013

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

[27] arXiv:1307.3648 (cross-list from cs.LO) [pdf, other]

Title: Verifying Time Complexity of Deterministic Turing Machines

David Gajser

Comments: 18 pages, 1 figure

Journal-ref: Theoretical Computer Science, Volume 600, p. 86-97, 2015

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)

[28] arXiv:1307.3681 (cross-list from math.AG) [pdf, other]

Title: Metric Estimates and Membership Complexity for Archimedean Amoebae and Tropical Hypersurfaces

Martin Avendano, Roman Kogan, Mounir Nisse, J. Maurice Rojas

Comments: 21 pages, 5 figures. This version adds a new family of examples showing the optimality of another one of our univariate bounds, and contains a brief comparison with work of Akian, Gaubert, and Sharify on the matrix polynomial problem. Various typos corrected as well

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

[29] arXiv:1307.3824 (cross-list from cs.NE) [pdf, other]

Title: The Fundamental Learning Problem that Genetic Algorithms with Uniform Crossover Solve Efficiently and Repeatedly As Evolution Proceeds

Keki M. Burjorjee

Comments: For an easy introduction to implicit concurrency (with animations), visit this http URL

Subjects: Neural and Evolutionary Computing (cs.NE); Artificial Intelligence (cs.AI); Computational Complexity (cs.CC); Discrete Mathematics (cs.DM); Machine Learning (cs.LG)

[30] arXiv:1307.4440 (cross-list from cs.AI) [pdf, other]

Title: Parameterized Complexity Results for Plan Reuse

Ronald de Haan, Anna Roubíčková, Stefan Szeider

Comments: Proceedings of AAAI 2013, pp. 224-231, AAAI Press, 2013

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

[31] arXiv:1307.4466 (cross-list from cs.GT) [pdf, other]

Title: The Rabin index of parity games

Michael Huth (Imperial College London), Jim Huan-Pu Kuo (Imperial College London), Nir Piterman (University of Leicester)

Comments: In Proceedings GandALF 2013, arXiv:1307.4162

Journal-ref: EPTCS 119, 2013, pp. 35-49

Subjects: Computer Science and Game Theory (cs.GT); Computational Complexity (cs.CC)

[32] arXiv:1307.4479 (cross-list from cs.LO) [pdf, other]

Title: Model checking coalitional games in shortage resource scenarios

Dario Della Monica, Margherita Napoli, Mimmo Parente

Comments: In Proceedings GandALF 2013, arXiv:1307.4162

Journal-ref: EPTCS 119, 2013, pp. 240-255

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

[33] arXiv:1307.5001 (cross-list from math.OC) [pdf, other]

Title: On Lower Complexity Bounds for Large-Scale Smooth Convex Optimization

Cristobal Guzman, Arkadi Nemirovski

Comments: Submitted version (minor changes)

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

[34] arXiv:1307.7066 (cross-list from cs.LO) [pdf, other]

Title: Asymptotic Proportion of Hard Instances of the Halting Problem

Antti Valmari

Comments: 18 pages. The differences between this version and arXiv:1307.7066v1 are significant. They have been listed in the last paragraph of Section 1. Excluding layout, this arXiv version is essentially identical to the Acta Cybernetica version

Journal-ref: Acta Cybernetica 21 (2014) 307--330

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Formal Languages and Automata Theory (cs.FL)

[35] arXiv:1307.7176 (cross-list from math.FA) [pdf, other]

Title: Phase retrieval from very few measurements

Matthew Fickus, Dustin G. Mixon, Aaron A. Nelson, Yang Wang

Comments: 18 pages, 1 figure

Subjects: Functional Analysis (math.FA); Computational Complexity (cs.CC); Information Theory (cs.IT)

[36] arXiv:1307.7220 (cross-list from quant-ph) [pdf, other]

Title: Multiple Network Alignment on Quantum Computers

Anmer Daskin, Ananth Grama, Sabre Kais

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

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

Title: On active and passive testing

Noga Alon, Rani Hod, Amit Weinstein

Comments: 16 pages

Journal-ref: Combinator. Probab. Comp. 25 (2016) 1-20

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

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

Title: Holographic Algorithms Beyond Matchgates

Jin-Yi Cai, Heng Guo, Tyson Williams

Comments: Inf. Comput., to appear. Author accepted manuscript

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

[39] arXiv:1307.8371 (cross-list from cs.LG) [pdf, other]

Title: The Power of Localization for Efficiently Learning Linear Separators with Noise

Pranjal Awasthi, Maria Florina Balcan, Philip M. Long

Comments: Contains improved label complexity analysis communicated to us by Steve Hanneke

Subjects: Machine Learning (cs.LG); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Machine Learning (stat.ML)

[40] arXiv:1307.8425 (cross-list from math.CO) [pdf, other]

Title: Subtraction-free complexity, cluster transformations, and spanning trees

Sergey Fomin, Dima Grigoriev, Gleb Koshevoy

Comments: 30 pages. Version 4: Section 8 edited. Version 3: Section 8 is new. Version 2: title changed; Section 7 is new; comparison with the Jerrum-Snir lower bound added

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