Computational Complexity

Authors and titles for July 2009

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

Title: On Descriptional Complexity of the Planarity Problem for Gauss Words

Vitaliy Kurlin, Alexei Lisitsa, Igor Potapov, Rafiq Saleh

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

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

Title: The Cost of Stability in Coalitional Games

Yoram Bachrach, Edith Elkind, Reshef Meir, Dmitrii Pasechnik, Michael Zuckerman, Joerg Rothe, Jeffrey S. Rosenschein

Comments: 20 pages; will be presented at SAGT'09

Journal-ref: Proceedings of SAGT 2009, LNCS, 5814, 122-134

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

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

Title: Solving MAX-r-SAT Above a Tight Lower Bound

Noga Alon, Gregory Gutin, Eun Jung Kim, Stefan Szeider, Anders Yeo

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

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

Title: Small Universal Accepting Networks of Evolutionary Processors with Filtered Connections

Remco Loos, Florin Manea, Victor Mitrana

Journal-ref: EPTCS 3, 2009, pp. 173-182

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

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

Title: Proceedings Eleventh International Workshop on Descriptional Complexity of Formal Systems

Jürgen Dassow, Giovanni Pighizzini, Bianca Truthe

Journal-ref: EPTCS 3, 2009

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

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

Title: Betweenness Parameterized Above Tight Lower Bound

Gregory Gutin, Eun Jung Kim, Matthias Mnich, Anders Yeo

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

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

Title: Proof Theory at Work: Complexity Analysis of Term Rewrite Systems

Georg Moser

Comments: Cumulative Habilitation Thesis, submitted to the University of Innsbruck

Subjects: Logic in Computer Science (cs.LO); Computational Complexity (cs.CC); Symbolic Computation (cs.SC); Software Engineering (cs.SE)