Computational Complexity

Authors and titles for December 2011

[1] arXiv:1112.0699 [pdf, other]

Title: The Traveling Salesman Problem: Low-Dimensionality Implies a Polynomial Time Approximation Scheme

Yair Bartal, Lee-Ad Gottlieb, Robert Krauthgamer

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

[2] arXiv:1112.0987 [pdf, other]

Title: Small Jump with Negation-UTM Trampoline

Koji Kobayashi

Comments: 3 pages

Subjects: Computational Complexity (cs.CC)

[3] arXiv:1112.1040 [pdf, other]

Title: What makes normalized weighted satisfiability tractable

Iyad Kanj, Ge Xia

Subjects: Computational Complexity (cs.CC)

[4] arXiv:1112.1564 [pdf, other]

Title: Improved hardness results for unique shortest vector problem

Divesh Aggarwal, Chandan Dubey

Subjects: Computational Complexity (cs.CC)

[5] arXiv:1112.2000 [pdf, other]

Title: A discrepancy lower bound for information complexity

Mark Braverman, Omri Weinstein

Subjects: Computational Complexity (cs.CC)

[6] arXiv:1112.2012 [pdf, other]

Title: Lie algebra conjugacy

Joshua A. Grochow

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Symbolic Computation (cs.SC); Representation Theory (math.RT)

[7] arXiv:1112.2127 [pdf, other]

Title: Efficiency Theory: a Unifying Theory for Information, Computation and Intelligence

Roman V. Yampolskiy

Journal-ref: Journal of Discrete Mathematical Sciences & Cryptography. Volume 16, Issue 4-5, pp. 259-277. 2013

Subjects: Computational Complexity (cs.CC)

[8] arXiv:1112.2495 [pdf, other]

Title: On Weak Odd Domination and Graph-based Quantum Secret Sharing

Sylvain Gravier, Jérôme Javelle, Mehdi Mhalla, Simon Perdrix

Comments: Subsumes arXiv:1109.6181: Optimal accessing and non-accessing structures for graph protocols

Journal-ref: TCS Theoretical Computer Science 598, 129-137. 2015

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

[9] arXiv:1112.2519 [pdf, other]

Title: Errors in Improved Polynomial Algorithm For 3 Sat Proposed By Narendra Chaudhari

Ritesh Vispute

Subjects: Computational Complexity (cs.CC)

[10] arXiv:1112.2795 [pdf, other]

Title: On the Treewidth of Dynamic Graphs

Bernard Mans, Luke Mathieson

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

[11] arXiv:1112.2974 [pdf, other]

Title: Constraint Satisfaction with Counting Quantifiers

Florent Madelaine, Barnaby Martin, Juraj Stacho

Subjects: Computational Complexity (cs.CC)

[12] arXiv:1112.2993 [pdf, other]

Title: Solution of the propeller conjecture in $\mathbb{R}^3$

Steven Heilman, Aukosh Jagannath, Assaf Naor

Journal-ref: Discrete & Computational Geometry. 50 (2013), no. 2, 263-305

Subjects: Computational Complexity (cs.CC); Functional Analysis (math.FA); Metric Geometry (math.MG)

[13] arXiv:1112.4295 [pdf, other]

Title: Computing Bits of Algebraic Numbers

Samir Datta, Rameshwar Pratap

Subjects: Computational Complexity (cs.CC)

[14] arXiv:1112.4419 [pdf, other]

Title: Subexponential fixed-parameter tractability of cluster editing

Fedor V. Fomin, Stefan Kratsch, Marcin Pilipczuk, Michał Pilipczuk, Yngve Villanger

Comments: The new version contains results accepted for publication on the 30th Symposium on Theoretical Aspects of Computer Science (STACS 2013) under title 'Tight bounds for Parameterized Complexity of Cluster Editing'

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

[15] arXiv:1112.4536 [pdf, other]

Title: Intractability of the Minimum-Flip Supertree problem and its variants

Sebastian Böcker, Quang Bao Anh Bui, Francois Nicolas, Anke Truss

Comments: To be submitted

Subjects: Computational Complexity (cs.CC)

[16] arXiv:1112.6007 [pdf, other]

Title: New lower bounds for the border rank of matrix multiplication

J. M. Landsberg, Giorgio Ottaviani

Comments: 9 pages. Version 1 contained an error in the proof of its main theorem and in the course of fixing it we proved a stronger statement. v3: proof of main theorem moved up

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

[17] arXiv:1112.6265 [pdf, other]

Title: Short Proofs for the Determinant Identities

Pavel Hrubes, Iddo Tzameret

Comments: 46 pages; Revision and corrections to Section 7. Addition of short proofs for the Cayley-Hamilton theorem. Other minor changes

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

[18] arXiv:1112.6320 [pdf, other]

Title: Threshold Saturation in Spatially Coupled Constraint Satisfaction Problems

S. Hamed Hassani, Nicolas Macris, Rudiger Urbanke

Subjects: Computational Complexity (cs.CC); Statistical Mechanics (cond-mat.stat-mech); Information Theory (cs.IT)

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

Title: A Polynomial-Time Algorithm for the Tridiagonal and Hessenberg P-Matrix Linear Complementarity Problem

Bernd Gärtner, Markus Sprecher

Comments: 4 pages, 3 figures

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

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

Title: On the Complexity of Approximate Sum of Sorted List

Bin Fu

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

[21] arXiv:1112.0548 (cross-list from quant-ph) [pdf, other]

Title: The quantum query complexity of read-many formulas

Andrew M. Childs, Shelby Kimmel, Robin Kothari

Comments: 15 pages

Journal-ref: Lecture Notes in Computer Science 7501, pp. 337-348 (2012)

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

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

Title: On the Difficulty of Deciding Asymptotic Stability of Cubic Homogeneous Vector Fields

Amir Ali Ahmadi

Comments: 7 pages

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

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

Title: Knottedness is in NP, modulo GRH

Greg Kuperberg (UC Davis)

Comments: 7 pages; minor update

Journal-ref: Adv. Math. 256 (2014), 493-506

Subjects: Geometric Topology (math.GT); Computational Complexity (cs.CC)

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

Title: Non-Malleable Extractors, Two-Source Extractors and Privacy Amplification

Xin Li

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

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

Title: Small Private Circuits

Markus Bläser, Jean-Sébastien Coron, Alexey Pospelov

Comments: Withdrawing while fixing a flaw in the proof

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

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

Title: List Decoding Barnes-Wall Lattices

Elena Grigorescu, Chris Peikert

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

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

Title: On Problems as Hard as CNFSAT

Marek Cygan, Holger Dell, Daniel Lokshtanov, Daniel Marx, Jesper Nederlof, Yoshio Okamoto, Ramamohan Paturi, Saket Saurabh, Magnus Wahlstrom

Comments: 25 pages, 1 figure

Journal-ref: ACM Trans. Algorithms 12(3): 41:1-41:24 (2016)

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

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

Title: Effective de Rham Cohomology - The Hypersurface Case

Peter Scheiblechner

Comments: 6 pages, proof of Lemma 1 was unclear, main result now proved without it; bound slightly changed

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

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

Title: k-Gap Interval Graphs

Fedor V. Fomin, Serge Gaspers, Petr Golovach, Karol Suchan, Stefan Szeider, Erik Jan van Leeuwen, Martin Vatshelle, Yngve Villanger

Comments: LATIN 2012

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

[30] arXiv:1112.3337 (cross-list from quant-ph) [pdf, other]

Title: Search by quantum walks on two-dimensional grid without amplitude amplification

Andris Ambainis, Arturs Backurs, Nikolajs Nahimovs, Raitis Ozols, Alexander Rivosh

Comments: 22 pages, 3 figures

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

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

Title: Max-Cut Parameterized Above the Edwards-Erdős Bound

Robert Crowston, Mark Jones, Matthias Mnich

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

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

Title: Approximation Algorithms and Hardness of the k-Route Cut Problem

Julia Chuzhoy, Yury Makarychev, Aravindan Vijayaraghavan, Yuan Zhou

Comments: To appear in the Symposium on Discrete Algorithms (SODA) 2012. 44 pages

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

[33] arXiv:1112.3765 (cross-list from cs.DC) [pdf, other]

Title: The Efficiency of MapReduce in Parallel External Memory

Gero Greiner, Riko Jacob

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC)

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

Title: Complexity and Algorithms for Euler Characteristic of Simplicial Complexes

Bjarke Hammersholt Roune, Eduardo Sáenz de Cabezón

Comments: 28 pages

Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Mathematical Software (cs.MS); Symbolic Computation (cs.SC); Commutative Algebra (math.AC); Combinatorics (math.CO)

[35] arXiv:1112.5245 (cross-list from cs.CR) [pdf, other]

Title: A Complexity Approach for Steganalysis

Jacques M. Bahi, Christophe Guyeux, Pierre-Cyrille Heam

Comments: Submitted to the Journèes Codes et Stéganographie 2012

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

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

Title: Partially Symmetric Functions are Efficiently Isomorphism-Testable

Eric Blais, Amit Weinstein, Yuichi Yoshida

Comments: 22 pages

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

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

Title: Random Context and Semi-Conditional Insertion-Deletion Systems

Sergiu Ivanov, Sergey Verlan

Subjects: Formal Languages and Automata Theory (cs.FL); Computational Complexity (cs.CC); Computation and Language (cs.CL); Discrete Mathematics (cs.DM)

[38] arXiv:1112.6063 (cross-list from quant-ph) [pdf, other]

Title: Collapse of the Hierarchy of Constant-Depth Exact Quantum Circuits

Yasuhiro Takahashi, Seiichiro Tani

Comments: 19 pages, 4 figures; v2: one theorem added, title changed, text substantially rewritten

Journal-ref: Computational Complexity, Vol. 25 Issue 4, pp.849-881, 2016; Proceedings of the 28th IEEE Conference on Computational Complexity (CCC 2013), pp.168-178, 2013

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

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

Title: The guarding game is E-complete

R. Samal, T. Valla

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