Computational Complexity

Authors and titles for February 2016

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

Title: Fast Learning Requires Good Memory: A Time-Space Lower Bound for Parity Learning

Ran Raz

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

[52] arXiv:1602.05432 (cross-list from cs.FL) [pdf, other]

Title: Language recognition power and succintness of affine automata

Marcos Villagra, Abuzer Yakaryılmaz

Comments: 19 pages. New results are added. A shorter version will appear in the proceedings of the 15th International Conference on Unconventional Computation and Natural Computation (UCNC 2016)

Journal-ref: Natural Computing (2017)

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Quantum Physics (quant-ph)

[53] arXiv:1602.05555 (cross-list from cs.FL) [pdf, other]

Title: Repetition-Free Derivability from a Regular Grammar is NP-Hard

Jochen Burghardt

Comments: Technical report; 13 pages; 6 figures

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

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

Title: Compact Flow Diagrams for State Sequences

Kevin Buchin, Maike Buchin, Joachim Gudmundsson, Michael Horton, Stef Sijben

Comments: 18 pages, 8 figures

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

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

Title: Constraint satisfaction problems for reducts of homogeneous graphs

Manuel Bodirsky, Barnaby Martin, Michael Pinsker, András Pongrácz

Comments: 41 pages

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

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

Title: Tight Hardness Results for Maximum Weight Rectangles

Arturs Backurs, Nishanth Dikkala, Christos Tzamos

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

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

Title: Toward Deeper Understanding of Neural Networks: The Power of Initialization and a Dual View on Expressivity

Amit Daniely, Roy Frostig, Yoram Singer

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

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

Title: Strong Backdoors for Default Logic

Johannes K. Fichte, Arne Meier, Irina Schindler

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

[59] arXiv:1602.06073 (cross-list from quant-ph) [pdf, other]

Title: Modified group non-membership is in AWPP

Tomoyuki Morimae, Harumichi Nishimura, Francois Le Gall

Comments: 12 pages

Journal-ref: Quantum Information and Computation 17, 0242 (2017)

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

[60] arXiv:1602.06166 (cross-list from math.DS) [pdf, other]

Title: Effect of quantified irreducibility on the computability of subshift entropy

Silvère Gangloff, Benjamin Hellouin de Menibus

Comments: 28 pages, 5 figures, 1 table, submitted to Discrete & Continuous Dynamical Systems. There was an error in the previous preprint version. This version presents a more involved construction

Journal-ref: Discrete and continuous dynamical systems 2018

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

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

Title: Faster Algorithms for the Maximum Common Subtree Isomorphism Problem

Andre Droschinsky, Nils M. Kriege, Petra Mutzel

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

[62] arXiv:1602.07716 (cross-list from quant-ph) [pdf, other]

Title: Quantum Query as a State Decomposition

S. A. Grillo, F. L. Marquezino

Comments: 30 pages, 2 figures. In this version, we changed title, corrected typos, and added a new lower-bound result (Sec. 6)

Journal-ref: Theoretical Computer Science (2018)

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

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

Title: On Satisfiability Problems with a Linear Structure

Serge Gaspers, Christos Papadimitriou, Sigve Hortemo Saether, Jan Arne Telle

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

[64] arXiv:1602.07967 (cross-list from cs.FL) [pdf, other]

Title: Can one quantum bit separate any pair of words with zero-error?

Aleksandrs Belovs, Juan Andres Montoya, Abuzer Yakaryılmaz

Comments: 17 pages!

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Quantum Physics (quant-ph)

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

Title: Approximation Complexity of Max-Cut on Power Law Graphs

Mikael Gast, Mathias Hauptmann, Marek Karpinski

Comments: 19 pages

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

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

Title: On the Hardness of SAT with Community Structure

Nathan Mull, Daniel J. Fremont, Sanjit A. Seshia

Comments: 23 pages. Full version of a SAT 2016 paper

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

[67] arXiv:1602.08656 (cross-list from quant-ph) [pdf, other]

Title: Quantum Arthur-Merlin with single-qubit measurements

Tomoyuki Morimae

Comments: 11 pages, 1 figure

Journal-ref: Phys. Rev. A 93, 062333 (2016)

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