Computational Complexity

Authors and titles for September 2014

[1] arXiv:1409.0375 [pdf, other]

Title: Polynomial solvability of $NP$-complete problems

Anatoly Panyukov

Comments: 5 pages

Subjects: Computational Complexity (cs.CC)

[2] arXiv:1409.0451 [pdf, other]

Title: Computational complexity of solving polynomial differential equations over unbounded domains

Amaury Pouly, Daniel S. Graça

Subjects: Computational Complexity (cs.CC)

[3] arXiv:1409.0742 [pdf, other]

Title: New Algorithms and Hard Instances for Non-Commutative Computation

Christian Engels, B. V. Raghavendra Rao

Comments: Submitted to a conference

Subjects: Computational Complexity (cs.CC)

[4] arXiv:1409.1060 [pdf, other]

Title: Kolmogorov complexity and the geometry of Brownian motion

Willem L. Fouche

Comments: Paper accepted by Mathematical Structures in Computer Science

Journal-ref: Math. Struct. Comp. Sci. 25 (2015) 1590-1606

Subjects: Computational Complexity (cs.CC)

[5] arXiv:1409.2398 [pdf, other]

Title: A Parameterized Study of Maximum Generalized Pattern Matching Problems

Sebastian Ordyniak, Alexandru Popa

Comments: to appear in Proc. IPEC'14

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

[6] arXiv:1409.2731 [pdf, other]

Title: Narrow Proofs May Be Maximally Long

Albert Atserias, Massimo Lauria, Jakob Nordström

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

[7] arXiv:1409.2978 [pdf, other]

Title: From Small Space to Small Width in Resolution

Yuval Filmus, Massimo Lauria, Mladen Mikša, Jakob Nordström, Marc Vinyals

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

[8] arXiv:1409.3319 [pdf, other]

Title: Square Grid Points Coveraged by Connected Sources with Coverage Radius of One on a Two-Dimensional Grid

Pattama Longani

Comments: 20 pages, 10 figures, International Journal of Computer Science & Information Technology (IJCSIT)

Journal-ref: International Journal of Computer Science & Information Technology (IJCSIT) Vol 6, No 4, August 2014

Subjects: Computational Complexity (cs.CC); Networking and Internet Architecture (cs.NI)

[9] arXiv:1409.3836 [pdf, other]

Title: Hardness of parameter estimation in graphical models

Guy Bresler, David Gamarnik, Devavrat Shah

Comments: 15 pages. To appear in NIPS 2014

Subjects: Computational Complexity (cs.CC); Artificial Intelligence (cs.AI); Information Theory (cs.IT); Computation (stat.CO)

[10] arXiv:1409.3865 [pdf, other]

Title: On Stability Property of Probability Laws with Respect to Small Violations of Algorithmic Randomness

Vladimir V. V'yugin

Comments: 25 pages. arXiv admin note: substantial text overlap with arXiv:1105.4274, arXiv:0806.4572

Subjects: Computational Complexity (cs.CC)

[11] arXiv:1409.4035 [pdf, other]

Title: The Corruption Bound, Log Rank, and Communication Complexity

Adi Shraibman

Subjects: Computational Complexity (cs.CC)

[12] arXiv:1409.4080 [pdf, other]

Title: Algorithmic complexity for psychology: A user-friendly implementation of the coding theorem method

Nicolas Gauvrit, Henrik Singmann, Fernando Soler-Toscano, Hector Zenil

Comments: to appear in "Behavioral Research Methods", 14 pages in journal format, R package at this http URL

Subjects: Computational Complexity (cs.CC); Applications (stat.AP)

[13] arXiv:1409.5627 [pdf, other]

Title: The complexity of approximating complex-valued Ising and Tutte partition functions

Leslie Ann Goldberg, Heng Guo

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

[14] arXiv:1409.6366 [pdf, other]

Title: A direct proof for Lovett's bound on the communication complexity of low rank matrices

Thomas Rothvoss

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

[15] arXiv:1409.7261 [pdf, other]

Title: Polynomial Kernels and User Reductions for the Workflow Satisfiability Problem

Gregory Gutin, Stefan Kratsch, Magnus Wahlström

Comments: An extended abstract appears in the proceedings of IPEC 2014

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

[16] arXiv:1409.7790 [pdf, other]

Title: Parameterized Analogues of Probabilistic Computation

Ankit Chauhan, B. V. Raghavendra Rao

Comments: Submitted to a conference

Subjects: Computational Complexity (cs.CC)

[17] arXiv:1409.8228 [pdf, other]

Title: The Odds of Staying on Budget

Christoph Haase, Stefan Kiefer

Comments: Technical report for an ICALP'15 paper. 30 pages, 1 figure

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

[18] arXiv:1409.8254 [pdf, other]

Title: About accuracy of the solution of NP-complete tasks

Rustem Valeyev

Comments: 11 pages, 8 figures

Subjects: Computational Complexity (cs.CC)

[19] arXiv:1409.8464 [pdf, other]

Title: Model Counting for Formulas of Bounded Clique-Width

Friedrich Slivovsky, Stefan Szeider

Comments: Extended version of a paper published at ISAAC 2013

Journal-ref: Proceedings of ISAAC 2013. Lecture Notes in Computer Science, vol. 8283, pp. 677-687, Springer, 2013

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

[20] arXiv:1409.8524 [pdf, other]

Title: The Minimum Feasible Tileset problem

Yann Disser, Stefan Kratsch, Manuel Sorge

Comments: 23 pages, 2 figures. An extended abstract of this article appeared at the 12th Workshop on Approximation and Online Algorithms, Wroclaw, September 2014

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

[21] arXiv:1409.0496 (cross-list from math.LO) [pdf, other]

Title: On approximate decidability of minimal programs

Jason Teutsch, Marius Zimand

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

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

Title: Isoperimetric Inequalities for Ramanujan Complexes and Topological Expanders

Tali Kaufman, David Kazhdan, Alexander Lubotzky

Subjects: Combinatorics (math.CO); Computational Complexity (cs.CC); Group Theory (math.GR); Geometric Topology (math.GT)

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

Title: Algorithms in Real Algebraic Geometry: A Survey

Saugata Basu

Comments: 41 pages, 4 figures. Based on survey talk given at the Real Algebraic Geometry Conference, Rennes, June 20-24, 2011. Some references updated and some newer material added

Subjects: Algebraic Geometry (math.AG); Computational Complexity (cs.CC); Computational Geometry (cs.CG); Symbolic Computation (cs.SC)

[24] arXiv:1409.2170 (cross-list from math.LO) [pdf, other]

Title: The universal homogeneous binary tree

Manuel Bodirsky, David Bradley-Williams, Michael Pinsker, András Pongrácz

Comments: 25 pages

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

[25] arXiv:1409.2290 (cross-list from cond-mat.dis-nn) [pdf, other]

Title: Computational Complexity, Phase Transitions, and Message-Passing for Community Detection

Aurélien Decelle, Janina Hüttel, Alaa Saade, Cristopher Moore

Comments: Chapter of "Statistical Physics, Optimization, Inference, and Message-Passing Algorithms", Eds.: F. Krzakala, F. Ricci-Tersenghi, L. Zdeborova, R. Zecchina, E. W. Tramel, L. F. Cugliandolo (Oxford University Press, to appear)

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Statistical Mechanics (cond-mat.stat-mech); Computational Complexity (cs.CC); Physics and Society (physics.soc-ph)