Computational Complexity

Authors and titles for April 2013

[1] arXiv:1304.0053 [pdf, other]

Title: Wang's B machines are efficiently universal, as is Hasenjaeger's small universal electromechanical toy

Turlough Neary, Damien Woods, Niall Murphy, Rainer Glaschick

Comments: 18 pages, 1 figure, 1 table, Conference: Turing in context II - History and Philosophy of Computing, 2012

Journal-ref: Journal of Complexity, Volume 30, Issue 5, October 2014, pages 634-646

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

[2] arXiv:1304.0188 [pdf, other]

Title: Evasive Properties of Sparse Graphs and Some Linear Equations in Primes

Igor Shparlinski

Comments: This version corrects a mistake made in the previous version, which was pointed out to the author by Laszlo Babai

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

[3] arXiv:1304.0371 [pdf, other]

Title: On the Structure of Boolean Functions with Small Spectral Norm

Amir Shpilka, Avishay Tal, Ben lee Volk

Subjects: Computational Complexity (cs.CC); Classical Analysis and ODEs (math.CA); Combinatorics (math.CO)

[4] arXiv:1304.0513 [pdf, other]

Title: Separating OR, SUM, and XOR Circuits

Magnus Find, Mika Göös, Matti Järvisalo, Petteri Kaski, Mikko Koivisto, Janne H. Korhonen

Comments: 1 + 16 pages, 2 figures. In this version we have improved the presentation following comments made by Stasys Jukna and Igor Sergeev

Subjects: Computational Complexity (cs.CC)

[5] arXiv:1304.0713 [pdf, other]

Title: Represent MOD function by low degree polynomial with unbounded one-sided error

Chris Beck, Yuan Li

Subjects: Computational Complexity (cs.CC)

[6] arXiv:1304.0872 [pdf, other]

Title: Timing in chemical reaction networks

David Doty

Subjects: Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS); Molecular Networks (q-bio.MN)

[7] arXiv:1304.1005 [pdf, other]

Title: On optimal language compression for sets in PSPACE/poly

N.V. Vinodchandran, Marius Zimand

Comments: submitted to Theory of Computing Systems

Subjects: Computational Complexity (cs.CC)

[8] arXiv:1304.1217 [pdf, other]

Title: On the communication complexity of sparse set disjointness and exists-equal problems

Mert Saglam, Gabor Tardos

Subjects: Computational Complexity (cs.CC)

[9] arXiv:1304.1245 [pdf, other]

Title: Fourier sparsity, spectral norm, and the Log-rank conjecture

Hing Yin Tsang, Chung Hoi Wong, Ning Xie, Shengyu Zhang

Comments: v2: Corollary 31 of v1 removed because of a bug in the proof. (Other results not affected.)

Subjects: Computational Complexity (cs.CC)

[10] arXiv:1304.1307 [pdf, other]

Title: On the structure of the class NP

Anatoly D. Plotnikov

Comments: 7 pages, 7 references

Journal-ref: On the structure of the class NP. Computer Communication & Collaboration (2013) 1: 19-23

Subjects: Computational Complexity (cs.CC)

[11] arXiv:1304.1347 [pdf, other]

Title: A composition theorem for the Fourier Entropy-Influence conjecture

Ryan O'Donnell, Li-Yang Tan

Subjects: Computational Complexity (cs.CC)

[12] arXiv:1304.1679 [pdf, other]

Title: Intrinsic universality in tile self-assembly requires cooperation

Pierre-Étienne Meunier, Matthew J. Patitz, Scott M. Summers, Guillaume Theyssier, Andrew Winslow, Damien Woods

Comments: Added references. Improved presentation of definitions and proofs. This article uses definitions from arXiv:1212.4756. arXiv admin note: text overlap with arXiv:1006.2897 by other authors

Subjects: Computational Complexity (cs.CC)

[13] arXiv:1304.1796 [pdf, other]

Title: The Round Complexity of Small Set Intersection

David P. Woodruff, Grigory Yaroslavtsev

Comments: There is an error in the statement and proof of Lemma A.1, so we have decided to withdraw the current manuscript. For the round / communication tradeoff for small set disjointness, we refer the reader to the independent work: https://arxiv.boxedpaper.com/pdf/1304.1217.pdf The other results concerning OR-Index and Augmented-OR-Index are not affected and will appear in a later manuscript

Subjects: Computational Complexity (cs.CC)

[14] arXiv:1304.1996 [pdf, other]

Title: On the Subexponential Time Complexity of CSP

Iyad Kanj, Stefan Szeider

Subjects: Computational Complexity (cs.CC)

[15] arXiv:1304.2026 [pdf, other]

Title: Resolution structure in HornSAT and CNFSAT

Koji Kobayashi

Comments: 6 pages, English and Japanese (see Other formats - Source)

Subjects: Computational Complexity (cs.CC)

[16] arXiv:1304.2557 [pdf, other]

Title: The H-index can be easily manipulated

Bart de Keijzer, Krzysztof R. Apt

Comments: 7 pages

Journal-ref: Bulletin of EATCS No 110, pp. 79-85, 2013

Subjects: Computational Complexity (cs.CC)

[17] arXiv:1304.3139 [pdf, other]

Title: The Complexity of Approximating Vertex Expansion

Anand Louis, Prasad Raghavendra, Santosh Vempala

Subjects: Computational Complexity (cs.CC)

[18] arXiv:1304.3541 [pdf, other]

Title: A modified dna computing approach to tackle the exponential solution space of the graph coloring problem

Ramin Maazallahi, Aliakbar Niknafs

Comments: 7 pages, 3 figures, 1 table, International Journal in Foundations of Computer Science & Technology (IJFCST), Vol. 3, No.2, March 2013

Journal-ref: International Journal in Foundations of Computer Science & Technology (IJFCST), Vol. 3, No.2, March 2013

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

[19] arXiv:1304.3816 [pdf, other]

Title: Annotations for Sparse Data Streams

Amit Chakrabarti, Graham Cormode, Navin Goyal, Justin Thaler

Comments: 29 pages, 5 tables

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

[20] arXiv:1304.3872 [pdf, other]

Title: All Sampling Methods Produce Outliers

Samuel Epstein

Comments: 20 pages, 3 figures

Subjects: Computational Complexity (cs.CC)

[21] arXiv:1304.3876 [pdf, other]

Title: Power of the interactive proof systems with verifiers modeled by semi-quantum two-way finite automata

Shenggen Zheng, Daowen Qiu, Jozef Gruska

Comments: 26 pages, 5 figures, some references have been added, and comments are welcome

Journal-ref: Information and Computation 241(2015) 197-214

Subjects: Computational Complexity (cs.CC); Cryptography and Security (cs.CR); Quantum Physics (quant-ph)

[22] arXiv:1304.4519 [pdf, other]

Title: Leaderless deterministic chemical reaction networks

David Doty, Monir Hajiaghayi

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

Subjects: Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC); Data Structures and Algorithms (cs.DS); Molecular Networks (q-bio.MN)

[23] arXiv:1304.5010 [pdf, other]

Title: Small-Bias Sets for Nonabelian Groups: Derandomizing the Alon-Roichman Theorem

Sixia Chen, Cristopher Moore, Alexander Russell

Comments: Our results on solvable groups have been significantly improved, giving eps-biased sets of polynomial (as opposed to quasipolynomial) size

Subjects: Computational Complexity (cs.CC); Combinatorics (math.CO); Group Theory (math.GR); Representation Theory (math.RT)

[24] arXiv:1304.5247 [pdf, other]

Title: Computational Irreducibility and Computational Analogy

Herve Zwirn

Comments: 11 pages

Subjects: Computational Complexity (cs.CC)

[25] arXiv:1304.5388 [pdf, other]

Title: Complexity Classifications for logic-based Argumentation

Nadia Creignou, Uwe Egly, Johannes Schmidt

Subjects: Computational Complexity (cs.CC)