Computational Complexity

Authors and titles for January 2012

[1] arXiv:1201.0330 [pdf, other]

Title: Testing Low Complexity Affine-Invariant Properties

Arnab Bhattacharyya, Eldar Fischer, Shachar Lovett

Comments: 38 pages, appears in SODA '13

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

[2] arXiv:1201.0488 [pdf, other]

Title: Noise vs computational intractability in dynamics

Mark Braverman, Alexander Grigo, Cristobal Rojas

Comments: ITCS 2012. 37 pages, 1 figure

Subjects: Computational Complexity (cs.CC); Dynamical Systems (math.DS); Chaotic Dynamics (nlin.CD)

[3] arXiv:1201.0824 [pdf, other]

Title: On the Dynamic Qualitative Behaviour of Universal Computation

Hector Zenil

Comments: forthcoming in Complex Systems vol. 20

Subjects: Computational Complexity (cs.CC); Dynamical Systems (math.DS); Cellular Automata and Lattice Gases (nlin.CG)

[4] arXiv:1201.0825 [pdf, other]

Title: Computer Runtimes and the Length of Proofs: On an Algorithmic Probabilistic Application to Waiting Times in Automatic Theorem Proving

Hector Zenil

Comments: forthcoming in M.J. Dinneen, B Khoussainov and A. Nies (eds), "Computation, Physics and Beyond", LNCS, Springer (Cristian S. Calude festschrift)

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

[5] arXiv:1201.0856 [pdf, other]

Title: Complexity Classification in Infinite-Domain Constraint Satisfaction

Manuel Bodirsky

Comments: Mémoire pour l'obtention d'une HDR à l'université Paris 7. 265 pages. Version 2 has been prepared after the defence, and contains the official header with information about the HDR jury. Version 10: some more mistakes have been removed. This is the final version of the text, it will no longer be updated

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

[6] arXiv:1201.1119 [pdf, other]

Title: Implicit complexity for coinductive data: a characterization of corecurrence

Daniel Leivant (Indiana University and LORIA Nancy), Ramyaa Ramyaa (Indiana University and Ludwig-Maximilians-Universität München)

Comments: In Proceedings DICE 2011, arXiv:1201.0345

Journal-ref: EPTCS 75, 2012, pp. 1-14

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

[7] arXiv:1201.1120 [pdf, other]

Title: Sublogarithmic uniform Boolean proof nets

Clément Aubert (LIPN - UMR7030 CNRS - Université Paris 13)

Comments: In Proceedings DICE 2011, arXiv:1201.0345

Journal-ref: EPTCS 75, 2012, pp. 15-27

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

[8] arXiv:1201.1122 [pdf, other]

Title: A type system for PSPACE derived from light linear logic

Lucien Capedevielle (ENS de Lyon)

Comments: In Proceedings DICE 2011, arXiv:1201.0345

Journal-ref: EPTCS 75, 2012, pp. 33-46

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

[9] arXiv:1201.1214 [pdf, other]

Title: Statistical Algorithms and a Lower Bound for Detecting Planted Clique

Vitaly Feldman, Elena Grigorescu, Lev Reyzin, Santosh Vempala, Ying Xiao

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

[10] arXiv:1201.1223 [pdf, other]

Title: Turing Machines and Understanding Computational Complexity

P. M. B. Vitanyi (National Research Center for Mathematics and Computer Science in the Netherlands (CWI))

Comments: 9 pages, 1 figure, LaTeX. To appear in: Alan Turing - His Work and Impact, Elsevier

Journal-ref: In: S. Barry Cooper, Jan van Leeuwen (eds.), "Alan Turing: His Work and Impact", Elsevier, Amsterdam, London, New York, Tokyo, 2013, pp.57-63

Subjects: Computational Complexity (cs.CC)

[11] arXiv:1201.1650 [pdf, other]

Title: Two Hands Are Better Than One (up to constant factors)

Sarah Cannon, Erik D. Demaine, Martin L. Demaine, Sarah Eisenstat, Matthew J. Patitz, Robert Schweller, Scott M. Summers, Andrew Winslow

Subjects: Computational Complexity (cs.CC); Computational Geometry (cs.CG)

[12] arXiv:1201.1666 [pdf, other]

Title: A direct product theorem for bounded-round public-coin randomized communication complexity

Rahul Jain, Attila Pereszlenyi, Penghui Yao

Comments: 19 pages, version 1

Subjects: Computational Complexity (cs.CC)

[13] arXiv:1201.2374 [pdf, other]

Title: Polynomial Time Algorithms for Multi-Type Branching Processes and Stochastic Context-Free Grammars

Kousha Etessami, Alistair Stewart, Mihalis Yannakakis

Subjects: Computational Complexity (cs.CC)

[14] arXiv:1201.2553 [pdf, other]

Title: A New Order-theoretic Characterisation of the Polytime Computable Functions

Martin Avanzini, Naohi Eguchi, Georg Moser

Comments: Technical Report

Subjects: Computational Complexity (cs.CC)

[15] arXiv:1201.3181 [pdf, other]

Title: Near-Optimal Expanding Generating Sets for Solvable Permutation Groups

V. Arvind, Partha Mukhopadhyay, Prajakta Nimbhorkar, Yadu Vasudev

Comments: 15 pages

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

[16] arXiv:1201.3184 [pdf, other]

Title: Partial Degree Bounded Edge Packing Problem

Peng Zhang

Comments: 9 pages. Being reviewed in FAW 2012. A model of edge packing

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

[17] arXiv:1201.3306 [pdf, other]

Title: Simulating Special but Natural Quantum Circuits

Richard J. Lipton, Kenneth W. Regan, Atri Rudra

Subjects: Computational Complexity (cs.CC)

[18] arXiv:1201.4344 [pdf, other]

Title: On the intrinsic complexity of elimination problems in effective Algebraic Geometry

Joos Heintz, Bart Kuijpers, Andres Rojas Paredes

Comments: 37 pages. arXiv admin note: substantial text overlap with arXiv:1110.3030

Subjects: Computational Complexity (cs.CC)

[19] arXiv:1201.4995 [pdf, other]

Title: Gaming is a hard job, but someone has to do it!

Giovanni Viglietta

Comments: 37 pages, 22 figures

Subjects: Computational Complexity (cs.CC)

[20] arXiv:1201.5298 [pdf, other]

Title: Scrabble is PSPACE-Complete

Michael Lampis, Valia Mitsou, Karolina Sołtys

Subjects: Computational Complexity (cs.CC)

[21] arXiv:1201.5821 [pdf, other]

Title: On Approximation Lower Bounds for TSP with Bounded Metrics

Marek Karpinski, Richard Schmied

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

[22] arXiv:1201.5972 [pdf, other]

Title: Near-Optimal Deterministic Algorithms for Volume Computation and Lattice Problems via M-Ellipsoids

Daniel Dadush, Santosh Vempala

Subjects: Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS); Functional Analysis (math.FA)

[23] arXiv:1201.6578 [pdf, other]

Title: Length 3 Edge-Disjoint Paths and Partial Orientation

Hannah Alpert, Jennifer Iglesias

Comments: 5 pages, 2 figures

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

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

Title: The Maximum Clique Problem in Multiple Interval Graphs

Mathew C. Francis, Daniel Gonçalves, Pascal Ochem

Comments: 22 pages

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

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

Title: A Lower Bound for Estimating High Moments of a Data Stream

Sumit Ganguly

Comments: 5 pages

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

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

Title: Proceedings Second Workshop on Developments in Implicit Computational Complexity

Jean-Yves Marion (LORIA)

Comments: EPTCS 75, 2012

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

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

Title: A note on anti-coordination and social interactions

Zhigang Cao, Xiaoguang Yang

Comments: 7 pages

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

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

Title: Technical Note: Exploring Σ^P_2 / Π^P_2-hardness for Argumentation Problems with fixed distance to tractable classes

Wolfgang Dvořák

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

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

Title: Phase transition for cutting-plane approach to vertex-cover problem

Timo Dewenter, Alexander K. Hartmann

Comments: 4 pages, 3 figures

Journal-ref: Phys. Rev. E 86, 041128 (2012)

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

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

Title: On Quantification of Anchor Placement

Yibei Ling, Scott Alexander, Richard Lau

Comments: infocom 1012

Subjects: Networking and Internet Architecture (cs.NI); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

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

Title: Linear Kernels on Graphs Excluding Topological Minors

Alexander Langer, Felix Reidl, Peter Rossmanith, Somnath Sikdar

Comments: 19 pages. A simpler proof of the results of this paper appears in http://arxiv.org/abs/1207.0835. This new paper contains additional results

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

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

Title: Algebraic Relaxations and Hardness Results in Polynomial Optimization and Lyapunov Analysis

Amir Ali Ahmadi

Comments: PhD Thesis, MIT, September, 2011

Subjects: Optimization and Control (math.OC); Computational Complexity (cs.CC); Data Structures and Algorithms (cs.DS)

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

Title: Using Neighborhood Diversity to Solve Hard Problems

Robert Ganian

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

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

Title: A Dichotomy for 2-Constraint Forbidden CSP Patterns

Martin C. Cooper, Guillaume Escamocher

Comments: 19 pages

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

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

Title: On groups that have normal forms computable in logspace

Murray Elder, Gillian Elston, Gretchen Ostheimer

Comments: 24 pages, 1 figure. Minor corrections from previous version

Subjects: Group Theory (math.GR); Computational Complexity (cs.CC)

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

Title: Is Turing's Thesis the Consequence of a More General Physical Principle?

Matthew P. Szudzik (Carnegie Mellon)

Comments: 10 pages, 0 figures; section 1 revised, other minor changes

Journal-ref: Lecture Notes in Computer Science, vol. 7318, Springer, 2012, pp. 714-722

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

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

Title: A PSPACE-Complete First Order Fragment of Computability Logic

Matthew S. Bauer

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

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

Title: Descriptive complexity for pictures languages (extended abstract)

Etienne Grandjean, Frédéric Olive, Gaétan richard

Comments: 33 pages - Submited to Lics 2012

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

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

Title: Meditations on Quantified Constraint Satisfaction

Hubie Chen

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