The document discusses applications of graphs with bounded treewidth. It covers the following key points:
1) Courcelle's theorem shows that many NP-complete graph problems can be solved in linear time for graphs of bounded treewidth using monadic second-order logic. This includes problems like independent set, coloring, and Hamiltonian cycle.
2) The treewidth of a graph is closely related to its largest grid minor - graphs with large treewidth contain large grid minors. There are polynomial relationships between treewidth and largest grid minor for planar graphs.
3) Planar graphs have bounded treewidth if and only if they exclude some grid configuration as a contraction. This helps characterize planar graphs of bounded treewidth
A total dominating set D of graph G = (V, E) is a total strong split dominating set if the induced subgraph < V-D > is totally disconnected with atleast two vertices. The total strong split domination number γtss(G) is the minimum cardinality of a total strong split dominating set. In this paper, we characterize total strong split dominating sets and obtain the exact values of γtss(G) for some graphs. Also some inequalities of γtss(G) are established.
A total dominating set D of graph G = (V, E) is a total strong split dominating set if the induced subgraph < V-D > is totally disconnected with atleast two vertices. The total strong split domination number γtss(G) is the minimum cardinality of a total strong split dominating set. In this paper, we characterize total strong split dominating sets and obtain the exact values of γtss(G) for some graphs. Also some inequalities of γtss(G) are established.
Strong (Weak) Triple Connected Domination Number of a Fuzzy Graphijceronline
International Journal of Computational Engineering Research(IJCER) is an intentional online Journal in English monthly publishing journal. This Journal publish original research work that contributes significantly to further the scientific knowledge in engineering and Technology.
Higher-order (F, α, β, ρ, d)-convexity is considered. A multiobjective programming problem (MP) is considered. Mond-Weir and Wolfe type duals are considered for multiobjective programming problem. Duality results are established for multiobjective programming problem under higher-order (F, α, β, ρ, d)- convexity assumptions. The results are also applied for multiobjective fractional programming problem.
On maximal and variational Fourier restrictionVjekoslavKovac1
Workshop talk slides, Follow-up workshop to trimester program "Harmonic Analysis and Partial Differential Equations", Hausdorff Institute, Bonn, May 2019.
In this talk, we give an overview of results on numerical integration in Hermite spaces. These spaces contain functions defined on $\mathbb{R}^d$, and can be characterized by the decay of their Hermite coefficients. We consider the case of exponentially as well as polynomially decaying Hermite coefficients. For numerical integration, we either use Gauss-Hermite quadrature rules or algorithms based on quasi-Monte Carlo rules. We present upper and lower error bounds for these algorithms, and discuss their dependence on the dimension $d$. Furthermore, we comment on open problems for future research.
Strong (Weak) Triple Connected Domination Number of a Fuzzy Graphijceronline
International Journal of Computational Engineering Research(IJCER) is an intentional online Journal in English monthly publishing journal. This Journal publish original research work that contributes significantly to further the scientific knowledge in engineering and Technology.
Higher-order (F, α, β, ρ, d)-convexity is considered. A multiobjective programming problem (MP) is considered. Mond-Weir and Wolfe type duals are considered for multiobjective programming problem. Duality results are established for multiobjective programming problem under higher-order (F, α, β, ρ, d)- convexity assumptions. The results are also applied for multiobjective fractional programming problem.
On maximal and variational Fourier restrictionVjekoslavKovac1
Workshop talk slides, Follow-up workshop to trimester program "Harmonic Analysis and Partial Differential Equations", Hausdorff Institute, Bonn, May 2019.
In this talk, we give an overview of results on numerical integration in Hermite spaces. These spaces contain functions defined on $\mathbb{R}^d$, and can be characterized by the decay of their Hermite coefficients. We consider the case of exponentially as well as polynomially decaying Hermite coefficients. For numerical integration, we either use Gauss-Hermite quadrature rules or algorithms based on quasi-Monte Carlo rules. We present upper and lower error bounds for these algorithms, and discuss their dependence on the dimension $d$. Furthermore, we comment on open problems for future research.
ON ALGORITHMIC PROBLEMS CONCERNING GRAPHS OF HIGHER DEGREE OF SYMMETRYFransiskeran
Since the ancient determination of the five platonic solids the study of symmetry and regularity has always
been one of the most fascinating aspects of mathematics. One intriguing phenomenon of studies in graph
theory is the fact that quite often arithmetic regularity properties of a graph imply the existence of many
symmetries, i.e. large automorphism group G. In some important special situation higher degree of
regularity means that G is an automorphism group of finite geometry. For example, a glance through the
list of distance regular graphs of diameter d < 3 reveals the fact that most of them are connected with
classical Lie geometry. Theory of distance regular graphs is an important part of algebraic combinatorics
and its applications such as coding theory, communication networks, and block design. An important tool
for investigation of such graphs is their spectra, which is the set of eigenvalues of adjacency matrix of a
graph. Let G be a finite simple group of Lie type and X be the set homogeneous elements of the associated
geometry.
On algorithmic problems concerning graphs of higher degree of symmetrygraphhoc
Since the ancient determination of the five platonic solids the study of symmetry and regularity has always
been one of the most fascinating aspects of mathematics. One intriguing phenomenon of studies in graph
theory is the fact that quite often arithmetic regularity properties of a graph imply the existence of many
symmetries, i.e. large automorphism group G. In some important special situation higher degree of
regularity means that G is an automorphism group of finite geometry. For example, a glance through the
list of distance regular graphs of diameter d < 3 reveals the fact that most of them are connected with
classical Lie geometry. Theory of distance regular graphs is an important part of algebraic combinatorics
and its applications such as coding theory, communication networks, and block design. An important tool
for investigation of such graphs is their spectra, which is the set of eigenvalues of adjacency matrix of a
graph. Let G be a finite simple group of Lie type and X be the set homogeneous elements of the associated
geometry. The complexity of computing the adjacency matrices of a graph Gr on the vertices X such that
Aut GR = G depends very much on the description of the geometry with which one starts. For example, we
can represent the geometry as the totality of 1 cosets of parabolic subgroups 2 chains of embedded
subspaces (case of linear groups), or totally isotropic subspaces (case of the remaining classical groups), 3
special subspaces of minimal module for G which are defined in terms of a G invariant multilinear form.
The aim of this research is to develop an effective method for generation of graphs connected with classical
geometry and evaluation of its spectra, which is the set of eigenvalues of adjacency matrix of a graph. The
main approach is to avoid manual drawing and to calculate graph layout automatically according to its
formal structure. This is a simple task in a case of a tree like graph with a strict hierarchy of entities but it
becomes more complicated for graphs of geometrical nature. There are two main reasons for the
investigations of spectra: (1) very often spectra carry much more useful information about the graph than a
corresponding list of entities and relationships (2) graphs with special spectra, satisfying so called
Ramanujan property or simply Ramanujan graphs (by name of Indian genius mathematician) are important
for real life applications (see [13]). There is a motivated suspicion that among geometrical graphs one
could find some new Ramanujan graphs.
Total Dominating Color Transversal Number of Graphs And Graph Operationsinventionjournals
Total Dominating Color Transversal Set of a graph is a Total Dominating Set of the graph which is also Transversal of Some 휒 - Partition of the graph. Here 휒 is the Chromatic number of the graph. Total Dominating Color Transversal number of a graph is the cardinality of a Total Dominating Color Transversal Set which has minimum cardinality among all such sets that the graph admits. In this paper, we consider the well known graph operations Join, Corona, Strong product and Lexicographic product of graphs and determine Total Dominating Color Transversal number of the resultant graphs.
EVEN GRACEFUL LABELLING OF A CLASS OF TREESFransiskeran
A labelling or numbering of a graph G with q edges is an assignment of labels to the vertices of G that
induces for each edge uv a labelling depending on the vertex labels f(u) and f(v). A labelling is called a
graceful labelling if there exists an injective function f: V (G) → {0, 1,2,......q} such that for each edge xy,
the labelling │f(x)-f(y)│is distinct. In this paper, we prove that a class of Tn trees are even graceful.
International Journal of Engineering Research and Applications (IJERA) is an open access online peer reviewed international journal that publishes research and review articles in the fields of Computer Science, Neural Networks, Electrical Engineering, Software Engineering, Information Technology, Mechanical Engineering, Chemical Engineering, Plastic Engineering, Food Technology, Textile Engineering, Nano Technology & science, Power Electronics, Electronics & Communication Engineering, Computational mathematics, Image processing, Civil Engineering, Structural Engineering, Environmental Engineering, VLSI Testing & Low Power VLSI Design etc.
A Quest for Subexponential Time Parameterized Algorithms for Planar-k-Path: F...cseiitgn
The field of designing subexponential time parameterized algorithms has gained a lot of momentum lately. While the subexponential time algorithm for Planar-k-Path (finding a path of length at least k on planar graphs) has been known for last 15 years. There was no such algorithms known on directed planar graphs. In this talk, I will survey this journey of designing subexponential time parameterized algorithms for finding a path of length at least k in planar undirected graphs to planar directed graphs; highlighting the new tools and techniques that got developed on the way.
Dynamic Parameterized Problems - Algorithms and Complexitycseiitgn
In this talk, we will discuss the parameterized complexity of various classical graph-theoretic problems in the dynamic framework where the input graph is being updated by a sequence of edge additions and deletions. We will describe fixed-parameter tractable algorithms and lower bounds on the running time of algorithms for these problems.
IJRET : International Journal of Research in Engineering and Technology is an international peer reviewed, online journal published by eSAT Publishing House for the enhancement of research in various disciplines of Engineering and Technology. The aim and scope of the journal is to provide an academic medium and an important reference for the advancement and dissemination of research results that support high-level learning, teaching and research in the fields of Engineering and Technology. We bring together Scientists, Academician, Field Engineers, Scholars and Students of related fields of Engineering and Technology.
Unit 8 - Information and Communication Technology (Paper I).pdfThiyagu K
This slides describes the basic concepts of ICT, basics of Email, Emerging Technology and Digital Initiatives in Education. This presentations aligns with the UGC Paper I syllabus.
Synthetic Fiber Construction in lab .pptxPavel ( NSTU)
Synthetic fiber production is a fascinating and complex field that blends chemistry, engineering, and environmental science. By understanding these aspects, students can gain a comprehensive view of synthetic fiber production, its impact on society and the environment, and the potential for future innovations. Synthetic fibers play a crucial role in modern society, impacting various aspects of daily life, industry, and the environment. ynthetic fibers are integral to modern life, offering a range of benefits from cost-effectiveness and versatility to innovative applications and performance characteristics. While they pose environmental challenges, ongoing research and development aim to create more sustainable and eco-friendly alternatives. Understanding the importance of synthetic fibers helps in appreciating their role in the economy, industry, and daily life, while also emphasizing the need for sustainable practices and innovation.
Instructions for Submissions thorugh G- Classroom.pptxJheel Barad
This presentation provides a briefing on how to upload submissions and documents in Google Classroom. It was prepared as part of an orientation for new Sainik School in-service teacher trainees. As a training officer, my goal is to ensure that you are comfortable and proficient with this essential tool for managing assignments and fostering student engagement.
We all have good and bad thoughts from time to time and situation to situation. We are bombarded daily with spiraling thoughts(both negative and positive) creating all-consuming feel , making us difficult to manage with associated suffering. Good thoughts are like our Mob Signal (Positive thought) amidst noise(negative thought) in the atmosphere. Negative thoughts like noise outweigh positive thoughts. These thoughts often create unwanted confusion, trouble, stress and frustration in our mind as well as chaos in our physical world. Negative thoughts are also known as “distorted thinking”.
The Art Pastor's Guide to Sabbath | Steve ThomasonSteve Thomason
What is the purpose of the Sabbath Law in the Torah. It is interesting to compare how the context of the law shifts from Exodus to Deuteronomy. Who gets to rest, and why?
The French Revolution, which began in 1789, was a period of radical social and political upheaval in France. It marked the decline of absolute monarchies, the rise of secular and democratic republics, and the eventual rise of Napoleon Bonaparte. This revolutionary period is crucial in understanding the transition from feudalism to modernity in Europe.
For more information, visit-www.vavaclasses.com
The Indian economy is classified into different sectors to simplify the analysis and understanding of economic activities. For Class 10, it's essential to grasp the sectors of the Indian economy, understand their characteristics, and recognize their importance. This guide will provide detailed notes on the Sectors of the Indian Economy Class 10, using specific long-tail keywords to enhance comprehension.
For more information, visit-www.vavaclasses.com
Ethnobotany and Ethnopharmacology:
Ethnobotany in herbal drug evaluation,
Impact of Ethnobotany in traditional medicine,
New development in herbals,
Bio-prospecting tools for drug discovery,
Role of Ethnopharmacology in drug evaluation,
Reverse Pharmacology.
Palestine last event orientationfvgnh .pptxRaedMohamed3
An EFL lesson about the current events in Palestine. It is intended to be for intermediate students who wish to increase their listening skills through a short lesson in power point.
2. Introduction and definition DONE
Part I: Algorithms for bounded treewidth graphs. DONE
Part II: Graph-theoretic properties of treewidth.
Part III: Applications for general graphs.
Part IV: Algorithm for finding treewidth
Part V: Irrelevant Vertices – Planar Vertex Deletion.
3. Applications
Algorithms for graphs of bounded treewidth find many
applications, for example in
Graph Minors
Exact Algorithms
Approximation Schemes
Parameterized Algorithms
Kernelization
Databases
CSP’s
4. Application I: Parameterized Algorithms
Extended Monadic Second Order Logic (EMSO) A logical language
on graphs consisting of the following:
Logical connectives ∧, ∨, →, ¬, =, =
quantifiers ∀, ∃ over vertex/edge variables
predicate adj(u, v ): vertices u and v are adjacent
predicate inc(e, v ): edge e is incident to vertex v
∈, ⊆ for vertex/edge sets
Example: The formula
∃C ⊆ V ∀v ∈ C ∃u1 , u2 ∈ C (u1 = u2 ∧ adj(u1 , v ) ∧ adj(u2 , v )) is
true . . .if graph G (V , E ) has a cycle.
5. Application I: Parameterized Algorithms
Extended Monadic Second Order Logic (EMSO) A logical language
on graphs consisting of the following:
Logical connectives ∧, ∨, →, ¬, =, =
quantifiers ∀, ∃ over vertex/edge variables
predicate adj(u, v ): vertices u and v are adjacent
predicate inc(e, v ): edge e is incident to vertex v
∈, ⊆ for vertex/edge sets
Example: The formula
∃C ⊆ V ∀v ∈ C ∃u1 , u2 ∈ C (u1 = u2 ∧ adj(u1 , v ) ∧ adj(u2 , v )) is
true . . .if graph G (V , E ) has a cycle.
6. Application I: Parameterized Algorithms
Extended Monadic Second Order Logic (EMSO) A logical language
on graphs consisting of the following:
Logical connectives ∧, ∨, →, ¬, =, =
quantifiers ∀, ∃ over vertex/edge variables
predicate adj(u, v ): vertices u and v are adjacent
predicate inc(e, v ): edge e is incident to vertex v
∈, ⊆ for vertex/edge sets
Example: The formula
∃C ⊆ V ∀v ∈ C ∃u1 , u2 ∈ C (u1 = u2 ∧ adj(u1 , v ) ∧ adj(u2 , v )) is
true . . .if graph G (V , E ) has a cycle.
7. Courcelle’s Theorem
Courcelle’s Theorem: If a graph property can be expressed in
EMSO with formula ϕ of size |ϕ|, then for every fixed w ≥ 1, there
is an algorithm running in time f (|ϕ|, w ) · n for testing this
property on graphs having treewidth at most w .
Independent Set, Dominating Set, q Coloring, Max Cut, Odd Cycle
Transversal, Hamiltonian Cycle, Partition into Triangles, Feedback
Vertex Set, Vertex Disjoint Cycle Packing and million other
problems are FPT parameterized by the treewidth.
8. Courcelle’s Theorem
Courcelle’s Theorem: If a graph property can be expressed in
EMSO with formula ϕ of size |ϕ|, then for every fixed w ≥ 1, there
is an algorithm running in time f (|ϕ|, w ) · n for testing this
property on graphs having treewidth at most w .
Independent Set, Dominating Set, q Coloring, Max Cut, Odd Cycle
Transversal, Hamiltonian Cycle, Partition into Triangles, Feedback
Vertex Set, Vertex Disjoint Cycle Packing and million other
problems are FPT parameterized by the treewidth.
10. Properties of treewidth
Fact: treewidth ≤ 2 if and only if graph
is subgraph of a series-parallel graph
Fact: For every k ≥ 2, the treewidth of
the k × k grid is exactly k.
11. Properties of treewidth
Fact: treewidth ≤ 2 if and only if graph
is subgraph of a series-parallel graph
Fact: For every k ≥ 2, the treewidth of
the k × k grid is exactly k.
Fact: Treewidth does not increase if we delete edges, delete
vertices, or contract edges.
=⇒ If F is a minor of G , then the treewidth of F is at most the
treewidth of G .
12. Properties of treewidth
Fact: treewidth ≤ 2 if and only if graph
is subgraph of a series-parallel graph
Fact: For every k ≥ 2, the treewidth of
the k × k grid is exactly k.
Fact: Treewidth does not increase if we delete edges, delete
vertices, or contract edges.
=⇒ If F is a minor of G , then the treewidth of F is at most the
treewidth of G .
The treewidth of the k-clique is k − 1.
13. Obstruction to Treewidth
Figure : Example of a 6 × 6-grid
6
and a triangulated grid Γ4 .
Another, extremely useful obstructions to small treewidth, are
grid-minors. Let t be a positive integer. The t × t-grid t is a
graph with vertex set {(x, y ) | x, y ∈ {1, 2, . . . , t}}. Thus t has
exactly t 2 vertices. Two different vertices (x, y ) and (x , y ) are
adjacent if and only if |x − x | + |y − y | ≤ 1. The border of t is
the set of vertices with coordinates (1, y ), (t, y ), (t, 1), and (x, t),
where x, y ∈ {1, 2, . . . , t}
14. As we already have seen, if a graph contains large grid as a minor,
its treewidth is also large.
15. As we already have seen, if a graph contains large grid as a minor,
its treewidth is also large.
What is much more surprising, is that the converse is also true,
every graph of large treewidth contains a large grid as a minor.
16. Excluded Grid Theorem
Fact: [Excluded Grid Theorem] If the treewidth of G is at least
2
k 4k (k+2) , then G has a k × k grid minor.
[Robertson and Seymour ]
17. Excluded Grid Theorem
Fact: [Excluded Grid Theorem] If the treewidth of G is at least
2
k 4k (k+2) , then G has a k × k grid minor.
[Robertson and Seymour ]
It was open for many years whether a polynomial relationship could
be established between the treewidth of a graph G and the size of
its largest grid minor.
18. Excluded Grid Theorem
Fact: [Excluded Grid Theorem] If the treewidth of G is at least
2
k 4k (k+2) , then G has a k × k grid minor.
[Robertson and Seymour ]
It was open for many years whether a polynomial relationship could
be established between the treewidth of a graph G and the size of
its largest grid minor.
Theorem (Excluded Grid Theorem, Chekuri and Chuzhoy)
Let t ≥ 0 be an integer. There exists a universal constant c, such
that every graph of treewidth at least c · t 99 contains t as a
minor.
19. Excluded Grid Theorem
Fact: [Excluded Grid Theorem] If the treewidth of G is at least
2
k 4k (k+2) , then G has a k × k grid minor.
[Robertson and Seymour ]
20. Excluded Grid Theorem
Fact: [Excluded Grid Theorem] If the treewidth of G is at least
2
k 4k (k+2) , then G has a k × k grid minor.
[Robertson and Seymour ]
It was open for many years whether a polynomial relationship could
be established between the treewidth of a graph G and the size of
its largest grid minor.
21. Excluded Grid Theorem
Fact: [Excluded Grid Theorem] If the treewidth of G is at least
2
k 4k (k+2) , then G has a k × k grid minor.
[Robertson and Seymour ]
It was open for many years whether a polynomial relationship could
be established between the treewidth of a graph G and the size of
its largest grid minor.
Theorem (Excluded Grid Theorem, Chekuri and Chuzhoy)
Let t ≥ 0 be an integer. There exists a universal constant c, such
that every graph of treewidth at least c · t 99 contains t as a
minor.
22. Excluded Grid Theorem A : Planar Graph
Much better relations. We have two theorems:
Theorem (Planar Excluded Grid Theorem)
Let t ≥ 0 be an integer. Every planar graph G of treewidth at
least 9 t, contains t as a minor. Furthermore, there exists a
2
polynomial-time algorithm that for a given planar graph G either
outputs a tree decomposition of G of width 9 t or constructs a
2
minor model of t in G .
23. Excluded Grid Theorem : Planar Graph
One more Excluded Grid Theorem, this time not for minors but
just for edge contractions.
Figure : Example of a 6 × 6-grid
6
and a triangulated grid Γ4 .
24. Excluded Grid Theorem : Planar Graph
One more Excluded Grid Theorem, this time not for minors but
just for edge contractions.
Figure : Example of a 6 × 6-grid
6
and a triangulated grid Γ4 .
For an integer t > 0 the graph Γt is obtained from the grid t by
adding for every 1 ≤ x, y ≤ t − 1, the edge (x, y ), (x + 1, y + 1),
and making the vertex (t, t) adjacent to all vertices with x ∈ {1, t}
and y ∈ {1, t}.
25. Excluded Grid Theorem : Planar Graph
Figure : Example of a 6 × 6-grid
6
and a triangulated grid Γ4 .
Theorem
For any connected planar graph G and integer t ≥ 0, if
tw(G ) ≥ 9(t + 1), then G contains Γt as a contraction.
Furthermore there exists a polynomial-time algorithm that given G
either outputs a tree decomposition of G of width 9(t + 1) or a set
of edges whose contraction result in Γt .
26. Excluded Grid Theorem : Planar Graph
One more Excluded Grid Theorem, this time not for minors but
just for edge contractions.
Theorem
For any connected planar graph G and integer t ≥ 0, if
tw(G ) ≥ 9(t + 1), then G contains Γt as a contraction.
Furthermore there exists a polynomial-time algorithm that given G
either outputs a tree decomposition of G of width 9(t + 1) or a set
of edges whose contraction result in Γt .
27. Excluded Grid Theorem : Planar Graph
One more Excluded Grid Theorem, this time not for minors but
just for edge contractions.
Theorem
For any connected planar graph G and integer t ≥ 0, if
tw(G ) ≥ 9(t + 1), then G contains Γt as a contraction.
Furthermore there exists a polynomial-time algorithm that given G
either outputs a tree decomposition of G of width 9(t + 1) or a set
of edges whose contraction result in Γt .
Can we have such theorems for general
graphs?
28. Outerplanar graphs
Definition: A planar graph is outerplanar if it has a planar
embedding where every vertex is on the infinite face.
29. Outerplanar graphs
Definition: A planar graph is outerplanar if it has a planar
embedding where every vertex is on the infinite face.
Fact: Every outerplanar graph has treewidth at most 2.
=⇒ Every outerplanar graph is series-parallel.
30. k-outerplanar graphs
Given a planar embedding, we can define layers by iteratively
removing the vertices on the infinite face.
Definition: A planar graph is k-outerplanar if it has a planar
embedding having at most k layers.
1
1
2
1
2
1
2
3
2
3
2
3
3
3
3
3
2
2
2
2
2
1
1
Fact: Every k-outerplanar graph has treewidth at most 3k + 1.
31. k-outerplanar graphs
Given a planar embedding, we can define layers by iteratively
removing the vertices on the infinite face.
Definition: A planar graph is k-outerplanar if it has a planar
embedding having at most k layers.
1
1
2
1
2
1
2
3
2
3
2
3
3
3
3
3
2
2
2
2
2
1
1
Fact: Every k-outerplanar graph has treewidth at most 3k + 1.
32. k-outerplanar graphs
Given a planar embedding, we can define layers by iteratively
removing the vertices on the infinite face.
Definition: A planar graph is k-outerplanar if it has a planar
embedding having at most k layers.
2
2
2
3
2
3
2
3
3
3
3
3
2
2
2
2
2
Fact: Every k-outerplanar graph has treewidth at most 3k + 1.
33. k-outerplanar graphs
Given a planar embedding, we can define layers by iteratively
removing the vertices on the infinite face.
Definition: A planar graph is k-outerplanar if it has a planar
embedding having at most k layers.
2
2
2
3
2
3
2
3
3
3
3
3
2
2
2
2
2
Fact: Every k-outerplanar graph has treewidth at most 3k + 1.
34. k-outerplanar graphs
Given a planar embedding, we can define layers by iteratively
removing the vertices on the infinite face.
Definition: A planar graph is k-outerplanar if it has a planar
embedding having at most k layers.
3
3
3
3
3
3
3
Fact: Every k-outerplanar graph has treewidth at most 3k + 1.
36. Building Blocks of the Technique
r
For vertex v of a graph G and integer r ≥ 1, we denote by Gv the
subgraph of G induced by vertices within distance r from v in G .
37. Building Blocks of the Technique
r
For vertex v of a graph G and integer r ≥ 1, we denote by Gv the
subgraph of G induced by vertices within distance r from v in G .
Lemma
Let G be a planar graph, v ∈ V (G ) and r ≥ 1. Then
r
tw(Gv ) ≤ 18(r + 1).
Proof.
On board.
38. Building Blocks of the Technique
r
For vertex v of a graph G and integer r ≥ 1, we denote by Gv the
subgraph of G induced by vertices within distance r from v in G .
Lemma
Let G be a planar graph, v ∈ V (G ) and r ≥ 1. Then
r
tw(Gv ) ≤ 18(r + 1).
Proof.
On board.
18(r + 1) in the above proof can be made 3r + 1.
Lemma
Let v be a vertex of a planar graph G and let Li , be the vertices of
G at distance i, 0 ≤ i ≤ n, from v . Then for any i, j ≥ 0, the
treewidth of the subgraph Gi,i+j induced by vertices in
Li ∪ Li+1 ∪ · · · ∪ Li+ j does not exceed 3j + 1.
Proof.
On board.
39. Intuition
The idea behind the shifting technique is as follows.
Pick a vertex v of planar graph G and run breadth-first search
(BFS) from v .
For any i, j ≥ 0, the treewidth of the subgraph Gi,i+j induced
by vertices in levels i, i + 1, . . . , i + j of BFS does not exceed
3j + 1.
Now for an appropriate choice of parameters, we can find
a“shift” of “windows”, i.e. a disjoint set of a small number of
consecutive levels of BFS, “covering” the solution. Because
every window is of small treewidth, we can employ the
dynamic programing or the power of Courcelle’s theorem to
solve the problem.
We will see two examples.
40. Intuition
The idea behind the shifting technique is as follows.
Pick a vertex v of planar graph G and run breadth-first search
(BFS) from v .
For any i, j ≥ 0, the treewidth of the subgraph Gi,i+j induced
by vertices in levels i, i + 1, . . . , i + j of BFS does not exceed
3j + 1.
Now for an appropriate choice of parameters, we can find
a“shift” of “windows”, i.e. a disjoint set of a small number of
consecutive levels of BFS, “covering” the solution. Because
every window is of small treewidth, we can employ the
dynamic programing or the power of Courcelle’s theorem to
solve the problem.
We will see two examples.
41. Intuition
The idea behind the shifting technique is as follows.
Pick a vertex v of planar graph G and run breadth-first search
(BFS) from v .
For any i, j ≥ 0, the treewidth of the subgraph Gi,i+j induced
by vertices in levels i, i + 1, . . . , i + j of BFS does not exceed
3j + 1.
Now for an appropriate choice of parameters, we can find
a“shift” of “windows”, i.e. a disjoint set of a small number of
consecutive levels of BFS, “covering” the solution. Because
every window is of small treewidth, we can employ the
dynamic programing or the power of Courcelle’s theorem to
solve the problem.
We will see two examples.
42. Intuition
The idea behind the shifting technique is as follows.
Pick a vertex v of planar graph G and run breadth-first search
(BFS) from v .
For any i, j ≥ 0, the treewidth of the subgraph Gi,i+j induced
by vertices in levels i, i + 1, . . . , i + j of BFS does not exceed
3j + 1.
Now for an appropriate choice of parameters, we can find
a“shift” of “windows”, i.e. a disjoint set of a small number of
consecutive levels of BFS, “covering” the solution. Because
every window is of small treewidth, we can employ the
dynamic programing or the power of Courcelle’s theorem to
solve the problem.
We will see two examples.
43. Subgraph Isomorphism
Subgraph Isomorphism: given graphs H and G , find a copy of
H in G as subgraph. Parameter k := |V (H)|.
EMSO formula of size k O(1) for Subgraph Isomorphism exists.
This now using Courcelle’s Theorem implies that we have
f (k, w ) · n time algorithm for Subgraph Isomorphism on
graphs of treewidth w .
44. Subgraph Isomorphism
Subgraph Isomorphism: given graphs H and G , find a copy of
H in G as subgraph. Parameter k := |V (H)|.
EMSO formula of size k O(1) for Subgraph Isomorphism exists.
This now using Courcelle’s Theorem implies that we have
f (k, w ) · n time algorithm for Subgraph Isomorphism on
graphs of treewidth w .
45. Subgraph Isomorphism
Subgraph Isomorphism: given graphs H and G , find a copy of
H in G as subgraph. Parameter k := |V (H)|.
EMSO formula of size k O(1) for Subgraph Isomorphism exists.
This now using Courcelle’s Theorem implies that we have
f (k, w ) · n time algorithm for Subgraph Isomorphism on
graphs of treewidth w .
46. Baker’s shifting strategy
Subgraph Isomorphism for planar graphs: given planar graphs H and
G , find a copy of H in G as subgraph. Parameter k := |V (H)|.
Layers of the planar
graph:
(as in the definition of
k-outerplanar):
For a fixed 0 ≤ s < k + 1, delete every layer Li with i = s
(mod k + 1)
The resulting graph is k-outerplanar, hence it has treewidth at most
3k + 1.
Using the f (k, w ) · n time algorithm for Subgraph Isomorphism,
the problem can be solved in time f (k, 3k + 1) · n.
We do this for every 0 ≤ s < k + 1: for at least one value of s, we
do not delete any of the k vertices of the solution =⇒ we find a
copy of H in G if there is one.
Subgraph Isomorphism for planar graphs is FPT parameterized
by k := |V (H)|.
47. Baker’s shifting strategy
Subgraph Isomorphism for planar graphs: given planar graphs H and
G , find a copy of H in G as subgraph. Parameter k := |V (H)|.
Layers of the planar
graph:
(as in the definition of
k-outerplanar):
For a fixed 0 ≤ s < k + 1, delete every layer Li with i = s
(mod k + 1)
The resulting graph is k-outerplanar, hence it has treewidth at most
3k + 1.
Using the f (k, w ) · n time algorithm for Subgraph Isomorphism,
the problem can be solved in time f (k, 3k + 1) · n.
We do this for every 0 ≤ s < k + 1: for at least one value of s, we
do not delete any of the k vertices of the solution =⇒ we find a
copy of H in G if there is one.
Subgraph Isomorphism for planar graphs is FPT parameterized
by k := |V (H)|.
48. Baker’s shifting strategy
Subgraph Isomorphism for planar graphs: given planar graphs H and
G , find a copy of H in G as subgraph. Parameter k := |V (H)|.
Layers of the planar
graph:
(as in the definition of
k-outerplanar):
For a fixed 0 ≤ s < k + 1, delete every layer Li with i = s
(mod k + 1)
The resulting graph is k-outerplanar, hence it has treewidth at most
3k + 1.
Using the f (k, w ) · n time algorithm for Subgraph Isomorphism,
the problem can be solved in time f (k, 3k + 1) · n.
We do this for every 0 ≤ s < k + 1: for at least one value of s, we
do not delete any of the k vertices of the solution =⇒ we find a
copy of H in G if there is one.
Subgraph Isomorphism for planar graphs is FPT parameterized
by k := |V (H)|.
49. Baker’s shifting strategy
Subgraph Isomorphism for planar graphs: given planar graphs H and
G , find a copy of H in G as subgraph. Parameter k := |V (H)|.
Layers of the planar
graph:
(as in the definition of
k-outerplanar):
For a fixed 0 ≤ s < k + 1, delete every layer Li with i = s
(mod k + 1)
The resulting graph is k-outerplanar, hence it has treewidth at most
3k + 1.
Using the f (k, w ) · n time algorithm for Subgraph Isomorphism,
the problem can be solved in time f (k, 3k + 1) · n.
We do this for every 0 ≤ s < k + 1: for at least one value of s, we
do not delete any of the k vertices of the solution =⇒ we find a
copy of H in G if there is one.
Subgraph Isomorphism for planar graphs is FPT parameterized
by k := |V (H)|.
50. Baker’s shifting strategy
Subgraph Isomorphism for planar graphs: given planar graphs H and
G , find a copy of H in G as subgraph. Parameter k := |V (H)|.
Layers of the planar
graph:
(as in the definition of
k-outerplanar):
For a fixed 0 ≤ s < k + 1, delete every layer Li with i = s
(mod k + 1)
The resulting graph is k-outerplanar, hence it has treewidth at most
3k + 1.
Using the f (k, w ) · n time algorithm for Subgraph Isomorphism,
the problem can be solved in time f (k, 3k + 1) · n.
We do this for every 0 ≤ s < k + 1: for at least one value of s, we
do not delete any of the k vertices of the solution =⇒ we find a
copy of H in G if there is one.
Subgraph Isomorphism for planar graphs is FPT parameterized
by k := |V (H)|.
51. Baker’s shifting strategy
Subgraph Isomorphism for planar graphs: given planar graphs H and
G , find a copy of H in G as subgraph. Parameter k := |V (H)|.
Layers of the planar
graph:
(as in the definition of
k-outerplanar):
For a fixed 0 ≤ s < k + 1, delete every layer Li with i = s
(mod k + 1)
The resulting graph is k-outerplanar, hence it has treewidth at most
3k + 1.
Using the f (k, w ) · n time algorithm for Subgraph Isomorphism,
the problem can be solved in time f (k, 3k + 1) · n.
We do this for every 0 ≤ s < k + 1: for at least one value of s, we
do not delete any of the k vertices of the solution =⇒ we find a
copy of H in G if there is one.
Subgraph Isomorphism for planar graphs is FPT parameterized
by k := |V (H)|.
52. Baker’s shifting strategy
Subgraph Isomorphism for planar graphs: given planar graphs H and
G , find a copy of H in G as subgraph. Parameter k := |V (H)|.
Layers of the planar
graph:
(as in the definition of
k-outerplanar):
For a fixed 0 ≤ s < k + 1, delete every layer Li with i = s
(mod k + 1)
The resulting graph is k-outerplanar, hence it has treewidth at most
3k + 1.
Using the f (k, w ) · n time algorithm for Subgraph Isomorphism,
the problem can be solved in time f (k, 3k + 1) · n.
We do this for every 0 ≤ s < k + 1: for at least one value of s, we
do not delete any of the k vertices of the solution =⇒ we find a
copy of H in G if there is one.
Subgraph Isomorphism for planar graphs is FPT parameterized
by k := |V (H)|.
53. Baker’s shifting strategy
Subgraph Isomorphism for planar graphs: given planar graphs H and
G , find a copy of H in G as subgraph. Parameter k := |V (H)|.
Layers of the planar
graph:
(as in the definition of
k-outerplanar):
For a fixed 0 ≤ s < k + 1, delete every layer Li with i = s
(mod k + 1)
The resulting graph is k-outerplanar, hence it has treewidth at most
3k + 1.
Using the f (k, w ) · n time algorithm for Subgraph Isomorphism,
the problem can be solved in time f (k, 3k + 1) · n.
We do this for every 0 ≤ s < k + 1: for at least one value of s, we
do not delete any of the k vertices of the solution =⇒ we find a
copy of H in G if there is one.
Subgraph Isomorphism for planar graphs is FPT parameterized
by k := |V (H)|.
54. Baker’s shifting strategy
Subgraph Isomorphism for planar graphs: given planar graphs H and
G , find a copy of H in G as subgraph. Parameter k := |V (H)|.
Layers of the planar
graph:
(as in the definition of
k-outerplanar):
For a fixed 0 ≤ s < k + 1, delete every layer Li with i = s
(mod k + 1)
The resulting graph is k-outerplanar, hence it has treewidth at most
3k + 1.
Using the f (k, w ) · n time algorithm for Subgraph Isomorphism,
the problem can be solved in time f (k, 3k + 1) · n.
We do this for every 0 ≤ s < k + 1: for at least one value of s, we
do not delete any of the k vertices of the solution =⇒ we find a
copy of H in G if there is one.
Subgraph Isomorphism for planar graphs is FPT parameterized
by k := |V (H)|.
55. Baker’s shifting strategy
Subgraph Isomorphism for planar graphs: given planar graphs H and
G , find a copy of H in G as subgraph. Parameter k := |V (H)|.
Layers of the planar
graph:
(as in the definition of
k-outerplanar):
For a fixed 0 ≤ s < k + 1, delete every layer Li with i = s
(mod k + 1)
The resulting graph is k-outerplanar, hence it has treewidth at most
3k + 1.
Using the f (k, w ) · n time algorithm for Subgraph Isomorphism,
the problem can be solved in time f (k, 3k + 1) · n.
We do this for every 0 ≤ s < k + 1: for at least one value of s, we
do not delete any of the k vertices of the solution =⇒ we find a
copy of H in G if there is one.
Subgraph Isomorphism for planar graphs is FPT parameterized
by k := |V (H)|.
56. Bisection
For a given n-vertex graph G , weight function w : V (G ) → N and
integer k, the task is to decide if there is a partition of V (G ) into
sets V1 and V2 of weights w (V (G ))/2 and w (V (G )/2 and
such that the number of edges between V1 and V2 is at most k. In
other words, we are looking for a balanced partition (V1 , V2 ) with
a (V1 , V2 )-cut at most k.
57. Bisection
For a given n-vertex graph G , weight function w : V (G ) → N and
integer k, the task is to decide if there is a partition of V (G ) into
sets V1 and V2 of weights w (V (G ))/2 and w (V (G )/2 and
such that the number of edges between V1 and V2 is at most k. In
other words, we are looking for a balanced partition (V1 , V2 ) with
a (V1 , V2 )-cut at most k.
Lemma
Bisection is solvable in time 2t · nO(1) on an n-vertex given
together with its tree decomposition of width t.
Theorem
Bisection on planar graphs is solvable in time 2O(k) · nO(1) .
Proof.
On board.
58. Approximation schemes
Definition: A polynomial-time approximation scheme (PTAS) for a
problem P is an algorithm that takes an instance of P and a
rational number ε > 0,
always finds a (1 + ε)-approximate solution,
the running time is polynomial in n for every fixed ε > 0.
2
Typical running times: 21/ε · n, n1/ε , (n/ε)2 , n1/ε .
Some classical problems that have a PTAS:
Independent Set for planar graphs
TSP in the Euclidean plane
Steiner Tree in planar graphs
Knapsack
59. Baker’s shifting strategy for EPTAS
Fact: There is a 2O(1/ε) · n time PTAS for Independent Set for
planar graphs.
Let D := 1/ε. For a fixed 0 ≤ s < D, delete every layer Li
with i = s (mod D)
The resulting graph is D-outerplanar, hence it has treewidth
at most 3D + 1 = O(1/ε).
Using the O(2w · n) time algorithm for Independent Set,
the problem can be solved in time 2O(1/ε) · n.
We do this for every 0 ≤ s < D: for at least one value of s,
we delete at most 1/D = ε fraction of the solution =⇒ we
get a (1 − ε)-approximate solution.