Computational Complexity

Authors and titles for September 2006

[1] arXiv:cs/0609004 [pdf, other]

Title: Equality of complexity classes P and NP: Linear programming formulation of the quadratic assignment problem

Moustapha Diaby

Comments: 6 pages; Published in the 2006 IMECS Conference Proceedings (ISBN: 988 98671-3-3); Hofman's claimed "counter-example" is invalid: violates set of constraints 2.10

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

[2] arXiv:cs/0609005 [pdf, other]

Title: The traveling salesman problem: A Linear programming formulation

Moustapha Diaby

Comments: 10 pages; Published in "WSEAS Transactions on Mathematics." Constraints added to rectify minor oversight in proof of proposition 2 (Theoretical development is same). Hofman's claim of a "counter-example" (arXiv cs/0610125 and cs/0611008) is invalid: violates constraints 2.11-2.15

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

[3] arXiv:cs/0609012 [pdf, other]

Title: Baire Categories on Small Complexity Classes and Meager-Comeager Laws

Philippe Moser

Comments: to be published in Inform. and comp

Subjects: Computational Complexity (cs.CC)

[4] arXiv:cs/0609015 [pdf, other]

Title: Residual Finite Tree Automata

J. Carme (INRIA Futurs), R. Gilleron (INRIA Futurs), A. Lemay (INRIA Futurs), A. Terlutte (INRIA Futurs), M. Tommasi (INRIA Futurs)

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

[5] arXiv:cs/0609020 [pdf, other]

Title: Fast algorithms for computing isogenies between elliptic curves

Alin Bostan (INRIA Rocquencourt), Bruno Salvy (INRIA Rocquencourt), Francois Morain (LIX, INRIA Futurs), Eric Schost (LIX)

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Number Theory (math.NT)

[6] arXiv:cs/0609031 [pdf, other]

Title: Approximation Algorithms for the Bipartite Multi-cut Problem

Sreyash Kenkre, Sundar Vishwanathan

Comments: 11 pages

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

[7] arXiv:cs/0609072 [pdf, other]

Title: The Connectivity of Boolean Satisfiability: Computational and Structural Dichotomies

Parikshit Gopalan, Phokion G. Kolaitis, Elitza Maneva, Christos H. Papadimitriou

Journal-ref: Extended abstract in Proceedings of ICALP 2006, pp 346-357

Subjects: Computational Complexity (cs.CC)

[8] arXiv:cs/0609096 [pdf, other]

Title: Finite-State Dimension and Lossy Decompressors

David Doty, Philippe Moser

Comments: We found that Theorem 3.11, which was basically the motive for this paper, was already proven by Sheinwald, Ziv, and Lempel in 1991 and 1995 papers

Subjects: Computational Complexity (cs.CC); Information Theory (cs.IT)

[9] arXiv:cs/0609101 [pdf, other]

Title: Can rare SAT formulas be easily recognized? On the efficiency of message passing algorithms for K-SAT at large clause-to-variable ratios

Fabrizio Altarelli, Remi Monasson, Francesco Zamponi

Comments: 8 pages of text and 7 of appendices; updated to take into account comments received on the first version; to be published on J.Phys.A:this http URL

Journal-ref: J. Phys. A: Math. Theor. 40, 867-886 (2007)

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

[10] arXiv:cs/0609108 [pdf, other]

Title: Generalized Majority-Minority Operations are Tractable

Victor Dalmau

Journal-ref: Logical Methods in Computer Science, Volume 2, Issue 4 (September 28, 2006) lmcs:2237

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

[11] arXiv:cond-mat/0609099 (cross-list from cond-mat.dis-nn) [pdf, other]

Title: Geometrical organization of solutions to random linear Boolean equations

Thierry Mora (LPTMS), Marc Mézard (LPTMS)

Comments: 20 pages

Journal-ref: Journal of Statistical Mechanics: Theory and Experiment (2006) P10007

Subjects: Disordered Systems and Neural Networks (cond-mat.dis-nn); Computational Complexity (cs.CC)

[12] arXiv:cs/0609008 (cross-list from cs.LO) [pdf, other]

Title: On the freeze quantifier in Constraint LTL: decidability and complexity

Stéphane Demri, Ranko Lazic, David Nowak

Comments: 29 pages

Journal-ref: Information and Computation, 205(1):2-24, January 2007

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

[13] arXiv:cs/0609022 (cross-list from cs.LO) [pdf, other]

Title: Dichotomies and Duality in First-order Model Checking Problems

Barnaby Martin

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

[14] arXiv:cs/0609082 (cross-list from cs.MS) [pdf, other]

Title: Classifying extrema using intervals

Marek W. Gutowski

Comments: LaTeX, 7 pages, no figures

Subjects: Mathematical Software (cs.MS); Computational Complexity (cs.CC); Numerical Analysis (math.NA)

[15] arXiv:cs/0609103 (cross-list from cs.DS) [pdf, other]

Title: Minimum-weight Cycle Covers and Their Approximability

Bodo Manthey

Comments: To appear in the Proceedings of the 33rd Workshop on Graph-Theoretic Concepts in Computer Science (WG 2007). Minor changes

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

[16] arXiv:cs/0609112 (cross-list from cs.GT) [pdf, other]

Title: A Richer Understanding of the Complexity of Election Systems

Piotr Faliszewski, Edith Hemaspaandra, Lane A. Hemaspaandra, Joerg Rothe

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

[17] arXiv:cs/0609128 (cross-list from cs.DS) [pdf, other]

Title: Max-Cut and Max-Bisection are NP-hard on unit disk graphs

Josep Diaz, Marcin Kaminski

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

[18] arXiv:cs/0609130 (cross-list from cs.LO) [pdf, other]

Title: A Predicative Harmonization of the Time and Provable Hierarchies

Salvatore Caporaso

Comments: 11 pages

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

[19] arXiv:cs/0609141 (cross-list from cs.CG) [pdf, other]

Title: Polygon Convexity: A Minimal O(n) Test

Iosif Pinelis

Comments: 14 pages

Subjects: Computational Geometry (cs.CG); Computational Complexity (cs.CC); Combinatorics (math.CO); Metric Geometry (math.MG)

[20] arXiv:quant-ph/0609138 (cross-list from quant-ph) [pdf, other]

Title: On the Impossibility of a Quantum Sieve Algorithm for Graph Isomorphism

Cristopher Moore, Alexander Russell

Subjects: Quantum Physics (quant-ph); Computational Complexity (cs.CC); Representation Theory (math.RT)