Computational Complexity

Authors and titles for February 2009

[1] arXiv:0902.0047 [pdf, other]

Title: Bounds on the Size of Small Depth Circuits for Approximating Majority

Kazuyuki Amano

Comments: 12 pages

Subjects: Computational Complexity (cs.CC)

[2] arXiv:0902.0261 [pdf, other]

Title: Immunity and Pseudorandomness of Context-Free Languages

Tomoyuki Yamakami

Comments: A4, 23 pages, 10 pt. A complete revision of the initial version that was posted in February 2009

Journal-ref: Theoretical Computer Science, vol. 412, pp.6432-6450, 2011

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

[3] arXiv:0902.0353 [pdf, other]

Title: Non-monotone submodular maximization under matroid and knapsack constraints

Jon Lee, Vahab Mirrokni, Viswanath Nagarjan, Maxim Sviridenko

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

[4] arXiv:0902.0828 [pdf, other]

Title: Finding Exact Minimal Polynomial by Approximations

Xiaolin Qin, Yong Feng, Jingwei Chen, Jingzhong Zhang

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC)

[5] arXiv:0902.1041 [pdf, other]

Title: Kolmogorov Complexity and Solovay Functions

Laurent Bienvenu, Rod Downey

Journal-ref: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009 (2009) 147-158

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

[6] arXiv:0902.1255 [pdf, other]

Title: Hardness and Algorithms for Rainbow Connectivity

Sourav Chakraborty, Eldar Fischer, Arie Matsliah, Raphael Yuster

Journal-ref: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009 (2009) 243-254

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

[7] arXiv:0902.1256 [pdf, other]

Title: Enumerating Homomorphisms

Andrei A. Bulatov, Victor Dalmau, Martin Grohe, Daniel Marx

Journal-ref: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009 (2009) 231-242

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

[8] arXiv:0902.1609 [pdf, other]

Title: Asymptotically Optimal Lower Bounds on the NIH-Multi-Party Information

André Gronemeier

Journal-ref: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009 (2009) 505-516

Subjects: Computational Complexity (cs.CC)

[9] arXiv:0902.1661 [pdf, other]

Title: Even Faster Exact Bandwidth

Marek Cygan, Marcin Pilipczuk

Comments: Paper submitted to Transaction on Algorithms on 5th Nov 2008

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

[10] arXiv:0902.1835 [pdf, other]

Title: Polynomial Kernelizations for MIN F^+Pi_1 and MAX NP

Stefan Kratsch

Subjects: Computational Complexity (cs.CC)

[11] arXiv:0902.1866 [pdf, other]

Title: A Superpolynomial Lower Bound on the Size of Uniform Non-constant-depth Threshold Circuits for the Permanent

Pascal Koiran (LIP), Sylvain Perifel (LIAFA)

Comments: 11 pages

Subjects: Computational Complexity (cs.CC)

[12] arXiv:0902.2081 [pdf, other]

Title: Languages recognized by nondeterministic quantum finite automata

Abuzer Yakaryilmaz, A. C. Cem Say

Comments: A new version with major revisions, 24 pages, latex

Journal-ref: Quantum Information & Computation, Volume 10 Issue 9, September 2010, Pages 747-770

Subjects: Computational Complexity (cs.CC)

[13] arXiv:0902.2141 [pdf, other]

Title: Extracting the Kolmogorov Complexity of Strings and Sequences from Sources with Limited Independence

Marius Zimand

Journal-ref: 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009 (2009) 433-444

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

[14] arXiv:0902.2146 [pdf, other]

Title: A Stronger LP Bound for Formula Size Lower Bounds via Clique Constraints

Kenya Ueno

Journal-ref: 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009 (2009) 433-444

Subjects: Computational Complexity (cs.CC)

[15] arXiv:0902.2149 [pdf, other]

Title: A Generalization of Nemhauser and Trotter's Local Optimization Theorem

Michael R. Fellows, Jiong Guo, Hannes Moser, Rolf Niedermeier

Journal-ref: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009 (2009) 409-420

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

[16] arXiv:0902.2300 [pdf, other]

Title: A Dichotomy Theorem for Polynomial Evaluation

Irénée Briquel (LIP), Pascal Koiran (LIP)

Journal-ref: Dans Mathematical Foundations of Computer Science 2009 - Mathematical Foundations of Computer Science 2009, Novy Smokovec : Slovakia (Slovak Republic) (2009)

Subjects: Computational Complexity (cs.CC)

[17] arXiv:0902.2399 [pdf, other]

Title: A Multi-Round Communication Lower Bound for Gap Hamming and Some Consequences

Joshua Brody, Amit Chakrabarti

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

[18] arXiv:0902.2407 [pdf, other]

Title: Group-Theoretic Partial Matrix Multiplication

Richard Strong Bowen, Bo Chen, Hendrik Orem, Martijn van Schaardenburg

Comments: 14 pages, 3 figures

Subjects: Computational Complexity (cs.CC); Symbolic Computation (cs.SC)

[19] arXiv:0902.2422 [pdf, other]

Title: A Time Lower Bound for Multiple Nucleation on a Surface

Aaron Sterling

Comments: This is a major revision -- thanks to comments from two very helpful anonymous reviewers -- of "A Limit to the Power of Multiple Nucleation," which appeared in DISC 2008

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

[20] arXiv:0902.2649 [pdf, other]

Title: A Unified Algorithm for Accelerating Edit-Distance Computation via Text-Compression

Danny Hermelin, Gad M. Landau, Shir Landau, Oren Weimann (CSAIL)

Journal-ref: 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009 (2009) 529-540

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

[21] arXiv:0902.2674 [pdf, other]

Title: Inseparability and Strong Hypotheses for Disjoint NP Pairs

Lance Fortnow, Jack H. Lutz, Elvira Mayordomo

Subjects: Computational Complexity (cs.CC)

[22] arXiv:0902.3175 [pdf, other]

Title: The One-Way Communication Complexity of Group Membership

Scott Aaronson, François Le Gall, Alexander Russell, Seiichiro Tani

Journal-ref: Chicago Journal of Theoretical Computer Science, Vol. 2011, Article 6, 2011

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

[23] arXiv:0902.3757 [pdf, other]

Title: Bounded Independence Fools Halfspaces

Ilias Diakonikolas, Parikshit Gopalan, Ragesh Jaiswal, Rocco Servedio, Emanuele Viola

Subjects: Computational Complexity (cs.CC)

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

Title: The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games

Michael Ummels, Dominik Wojtczak

Comments: 23 pages; revised version

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

[25] arXiv:0902.0320 (cross-list from cond-mat.stat-mech) [pdf, other]

Title: Planar Graphical Models which are Easy

Vladimir Y. Chernyak (Wayne State), Michael Chertkov (LANL)

Comments: 27 pages, 11 figures; misprints corrected

Subjects: Statistical Mechanics (cond-mat.stat-mech); Disordered Systems and Neural Networks (cond-mat.dis-nn); Computational Complexity (cs.CC); Information Theory (cs.IT); Mathematical Physics (math-ph)

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

Title: On the complexity of Nash dynamics and Sink Equilibria

Vahab Mirrokni, Alexander Skopalik

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

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

Title: On the Average Complexity of Moore's State Minimization Algorithm

Frédérique Bassino (LIPN), Julien David (IGM), Cyril Nicaud (IGM)

Journal-ref: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009 (2009) 123-134

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

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

Title: The Complexity of Datalog on Linear Orders

Martin Grohe, Goetz Schwandtner

Comments: 21 pages

Journal-ref: Logical Methods in Computer Science, Volume 5, Issue 1 (February 27, 2009) lmcs:811

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

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

Title: Almost-Uniform Sampling of Points on High-Dimensional Algebraic Varieties

Mahdi Cheraghchi (EPFL), Amin Shokrollahi (EPFL)

Journal-ref: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009 (2009) 277-288

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

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

Title: An Approximation Algorithm for l\infty-Fitting Robinson Structures to Distances

Victor Chepoi (LIF), M. Seston (LIF)

Journal-ref: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009 (2009) 265-276

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

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

Title: Optimal Probabilistic Ring Exploration by Asynchronous Oblivious Robots

Stéphane Devismes (VERIMAG - IMAG), Franck Petit (LIP, INRIA Rhône-Alpes / LIP Laboratoire de l'Informatique du Parallélisme), Sébastien Tixeuil (LIP6)

Subjects: Data Structures and Algorithms (cs.DS); Computational Complexity (cs.CC); Distributed, Parallel, and Cluster Computing (cs.DC); Robotics (cs.RO)

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

Title: Polynomial Size Analysis of First-Order Shapely Functions

Olha Shkaravska, Marko van Eekelen, Ron van Kesteren

Comments: 35 pages, 1 figure

Journal-ref: Logical Methods in Computer Science, Volume 5, Issue 2 (May 25, 2009) lmcs:1148

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

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

Title: Ambiguity and Communication

Juraj Hromkovic, Georg Schnitger

Journal-ref: 26th International Symposium on Theoretical Aspects of Computer Science STACS 2009 (2009) 553-564

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

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

Title: Büchi complementation made tight

Sven Schewe

Journal-ref: 26th International Symposium on Theoretical Aspects of Computer Science - STACS 2009 (2009) 433-444

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

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

Title: Spanning Trees of Bounded Degree Graphs

John Michael Robson (LaBRI)

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

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

Title: Communication-optimal Parallel and Sequential Cholesky Decomposition

Grey Ballard, James Demmel, Olga Holtz, Oded Schwartz

Comments: 29 pages, 2 tables, 6 figures

Journal-ref: SIAM J. Sci. Comput. 32, (2010) pp. 3495-3523

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

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

Title: Pseudorandom Generators Against Advised Context-Free Languages

Tomoyuki Yamakami

Comments: A4, 10pt, 5 figures, 30 pages. This is the latest complete version, improving the readability

Journal-ref: Theoretical Computer Science, vol. 613, pp. 1-27, 2016

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

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

Title: Ptarithmetic

Giorgi Japaridze

Comments: Substantially better versions are on their way. Hence the present article probably will not be published

Journal-ref: The Baltic International Yearbook on Cognition, Logic and Communication 8 (2013), Article 5, pp. 1-186

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

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

Title: New Results in the Simultaneous Message Passing Model

Rahul Jain, Hartmut Klauck

Comments: 16 pages, version 1

Subjects: Distributed, Parallel, and Cluster Computing (cs.DC); Computational Complexity (cs.CC); Information Theory (cs.IT); Quantum Physics (quant-ph)

[40] arXiv:0902.4185 (cross-list from cond-mat.stat-mech) [pdf, other]

Title: Quiet Planting in the Locked Constraint Satisfaction Problems

Lenka Zdeborová, Florent Krzakala

Comments: 21 pages, revised version

Journal-ref: SIAM J. Discrete Math. 25, 750-770 (2011)

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

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

Title: Degrees of Undecidability in Rewriting

Joerg Endrullis, Herman Geuvers, Hans Zantema

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