• Keine Ergebnisse gefunden

1. Name two natural classes of graphs which are chordal.

N/A
N/A
Protected

Academic year: 2021

Aktie "1. Name two natural classes of graphs which are chordal."

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Homework 5: Erd˝ os-P´ osa property

Algorithms on Directed Graphs, Winter 2018/9 Due: 30.11.2018 by 16:00

In this lecture, we studied the second part of the paper [1]. We prove that every connected planar graph has Erd˝ os-P´ osa property. We talked about part 8 of the above paper. They actually did more than what we did in the class. They showed that every planar graph has Erd˝ os-P´ osa property.

Exercise 1 (Chordal Graphs). A graph is chordal if it does not contain an induced cycle of length at least 4. That is every cycle of length at least 4 does have a chord. As computer scientists we love chordal graphs: many intractable problems in general graphs are polynomial time solvable. In this exercise, we will learn more about them.

1. Name two natural classes of graphs which are chordal.

2. An interval graph is a graph wherein each of its vertices corresponds to an interval on a real line and there is an edge between two vertices if their corresponding intervals intersect (it is also called line segment intersection graph). Prove that interval graphs are chordal.

3. A graph G = (V, E) is a subtree intersection graph if there is a tree T and a family F = {T

1

, . . . , T

k

} of subtrees of T so that there is a one to one mapping µ: V (G) → F and there is an edge {u, v} ∈ E(G) if and only if µ(u) ∩ µ(v) 6= ∅. Prove tree intersection graphs are chordal.

4. Provide a chordal graph which is not an interval graph.

5. Bonus Exercise: Prove that every chordal graph is a tree intersection graph.

Exercise 2 (Grid minors). What is the size of largest grid we can find as a minor in a complete graph of order n?

Exercise 3 (Tournaments and Erd˝ os-P´ osa property). Prove that there is a function f : N × N → N so that for every integers k, m ∈ N and every tournament T , one of the followings holds:

1. T contains k acyclic tournaments of order m (m is the number of their vertices).

1

(2)

2. There is a hitting set S ⊆ V (T ) such that |S| ≤ f(k, m) and every acyclic tournament of order at least m, intersects S.

Exercise 4 (More on tree decomposition). Let H be a connected subgraph of G and let T = (T, β ) be a tree decomposition of G (arbitrary tree decomposition). Prove the set of bags of T containing vertices of H induces a connected subtree of T .

References

[1] N. Robertson and P. Seymour. Graph minors. v. excluding a planar graph. Journal of Combinatorial Theory, Series B, 41(1):92 – 114, 1986.

2

Referenzen

ÄHNLICHE DOKUMENTE

Claim: A necessary and sufficient condition for a walk of the desired form is that the graph is connected and has exactly zero (-> Eulerian cycle) or two nodes (->

When we store the number of nodes for a graph G=(V,E) plus the degree and the neighbours of each node , such a data structure will be called an adjecency- list

These results support the intuition that meta-heuristics like genetic algorithms should favor low-weight edges when building candidate solutions to graph problems like TSP and

Nevertheless, we used three diferent feature modeling languages and some of the largest pub- licly available product lines, which relects that complex real-world feature models

In order to make the book more visually appeal- ing, I would suggest that at least all the species be portrayed in colour plates, which would pro- vide the “amateur user”

Structural similarities give a uniform interpretation for spectral graph algorithms that are commonly used to solve seemingly different problems such as centrality in

In this paper we consider intervals [A] = [A, A] of real n × n-matrices with respect to the usual entry-wise partial order and to the checkerboard partial order which is obtained

2015 IT IS 3 MINUTES TO MIDNIGHT Unchecked climate change, global nuclear weapons modernizations, and outsized nuclear weapons arsenals pose extraordinary and undeniable threats