Linear Time LexDFS on Cocomparability Graphs

Lexicographic depth first search (LexDFS) is a graph search protocol which has already proved to be a powerful tool on cocomparability graphs. Cocomparability graphs have been well studied by investigating their complements (comparability graphs) and their corresponding posets. Recently however LexDFS has led to a number of elegant polynomial and near linear time algorithms on cocomparability graphs when used as a preprocessing step [2, 3, 11]. The nonlinear runtime of some of these results is a consequence of complexity of this preprocessing step. We present the first linear time algorithm to compute a LexDFS cocomparability ordering, therefore answering a problem raised in [2] and helping achieve the first linear time algorithms for the minimum path cover problem, and thus the Hamilton path problem, the maximum independent set problem and the minimum clique cover for this graph family

A Simple Linear Time LexBFS Cograph Recognition Algorithm

International audienceThis paper introduces a new simple linear time algorithm to recognize cographs (graphs without an induced P 4). Unlike other cograph recognition algorithms, the new algorithm uses a multisweep Lexicographic Breadth First Search (LexBFS) approach, and introduces a new variant of LexBFS, called LexBFS−, operating on the complement of the given graph G and breaking ties with respect to an initial LexBFS. The algorithm either produces the cotree of G or identifies an induced P 4

A SAT Approach to Clique-Width

Clique-width is a graph invariant that has been widely studied in combinatorics and computer science. However, computing the clique-width of a graph is an intricate problem, the exact clique-width is not known even for very small graphs. We present a new method for computing the clique-width of graphs based on an encoding to propositional satisfiability (SAT) which is then evaluated by a SAT solver. Our encoding is based on a reformulation of clique-width in terms of partitions that utilizes an efficient encoding of cardinality constraints. Our SAT-based method is the first to discover the exact clique-width of various small graphs, including famous graphs from the literature as well as random graphs of various density. With our method we determined the smallest graphs that require a small pre-described clique-width.Comment: proofs in section 3 updated, results remain unchange

"Präventivkrieg" als Ausweg? Die USA und der Irak

'In der amerikanischen Irak-Debatte geht es nur vordergründig um den Kampf gegen den Terrorismus. Dieser ist vor allem die innenpolitisch nützliche Legitimation für den Sturz eines nach Massenvernichtungswaffen strebenden Regimes, das als wachsende geopolitische Bedrohung strategischer Interessen in einer kritischen Region gesehen wird. Derzeit verfolgen die USA eine zweigleisige und zugleich zweideutige Politik: Zum einen soll die Eindämmung des Irak durch Sanktionen und Rüstungsinspektionen verstärkt werden, zum anderen werden die militärischen Optionen für einen 'Regimewechsel' vorbereitet. Die Rhetorik ist eindeutig auf den Regimesturz hin orientiert, die militärischen, geheimdienstlichen und politischen Vorbereitungen für eine Intervention und die Zeit danach sind im Gange. Dass die Drohung mit militärischen Optionen in eine politische Lösung - sprich in ein neues Rüstungsüberwachungssystem - münden werde, ist die auf europäischer Seite weithin gehegte Hoffnung. Es ist jedoch sehr fraglich, ob den USA unter Präsident Bush an einer solchen Lösung gelegen wäre. Die Forderung nach neuen Rüstungsinspektionen hat für Teile der Administration in erster Linie die Funktion, die militärische Option zu legitimieren. Kann der massive Einsatz amerikanischer Bodentruppen vermieden und zumindest der Eindruck multilateraler Einbettung erzeugt werden, dann dürften amerikanische Öffentlichkeit und Kongress ein militärisches Vorgehen mit großer Mehrheit unterstützen. Noch sind führende Politiker im Kongress jedoch nicht der Auffassung, dass der Irak eine unmittelbare, ein baldiges militärisches Vorgehen rechtfertigende Bedrohung darstellt. Präsident Bush mag aus Gründen des dauerhaften politischen Rückhalts gut beraten sein, vor einem Krieg gegen den Irak die Zustimmung des Kongresses einzuholen. Erzwingen wird der Kongress seine Mitsprache jedoch nicht. Ungewiss ist, ob der Präsident am Ende vor der vollen Konsequenz eines militärischen Vorgehens - nämlich Besetzung und Restrukturierung des politischen Systems des Irak - aufgrund der politischen und strategischen Risiken und Kosten zurückschreckt. Staatsmänner sind jedoch mitunter zu äußerst riskanten Schritten bereit, wenn die künftige Bedrohung als so groß gewertet wird, dass ein Krieg als das geringere Risiko eingeschätzt wird, oder wenn am Ende einer erfolglosen Drohpolitik die eigene Glaubwürdigkeit und die der Nation auf dem Spiel zu stehen scheint. Ein ohne Mandat der Vereinten Nationen geführter Präventivkrieg gegen den Irak, um dessen Regime zu stürzen, wäre eine völkerrechtlich, politisch und ethisch höchst problematische Entwicklung: völkerrechtlich, weil die Beschränkungen für den Einsatz militärischer Macht gelockert würden; politisch, weil es sich um einen Präzedenzfall handeln würde, auf den sich andere berufen könnten; ethisch, weil sich ein präemptives militärisches Handeln nur angesichts eines drohenden Krieges rechtfertigen lässt - wenn der Verzicht auf Präemption eine ernsthafte Gefährdung für die territoriale Integrität und politische Unabhängigkeit eines Staates darstellen würde. So wünschenswert ein Ende der Diktatur im Irak wäre - die Entscheidung zu einem Krieg birgt so viele völkerrechtliche, ethische und strategische Probleme, dass die Alternative, nämlich eine robuste Eindämmungspolitik, nicht vorschnell als aussichtslos und zu riskant verworfen werden sollte. Gerade die Einschätzung, dass die USA auf einen militärischen Angriff gegen den Irak zusteuern, hat eine veränderte Konstellation geschaffen, die von europäischer Seite für eine Verstärkung der Eindämmungspolitik genutzt werden könnte.' (Autorenreferat

Adaptation behavior of skilled infant bouncers to different spring frequencies

<p>Infants explore their environments through repetitive movements that are constrained or facilitated by the environmental context. In this study, we evaluated how skilled bouncers adapted to bouncing in systems with four different spring conditions (natural frequencies of 0.9, 1.15, 1.27 and 1.56 Hz). Trunk kinematics and vertical ground reaction forces (VGRFs) were recorded from three pre-walking infants (mean age 10.6 ±0.9 months). Bounce frequency, trunk displacement, peak VGRF, percent of time on the ground and time to peak force as a function of time on the ground were analyzed. In addition, infant bounce frequencies were compared to measured oscillations of an inert mass equivalent to each infant’s mass. All infants bounced above the natural frequency of the spring system in all conditions suggesting that they did not behave solely like mass-spring systems. Infants produced asymmetrical VGRF loading patterns suggesting that a timing component, such as bounce frequency, was regulated. Skilled infants consistently increased their bounce frequency as their vertical trunk displacement decreased; however, the mode for regulating bounce frequency differed from infant to infant.</p