SlideShare a Scribd company logo
Combinatorial Optimization on Graphs of Bounded Treewidth
Combinatorial Optimization on Graphs of Bounded
Treewidth
HANS L. BODLAENDER AND ARIE M. C. A. KOSTER
The Computer Journal Volume 51 Issue 3, May 2008
Yu LIU @ IPL Camp
Aug 10th, 2014
1 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Main Topic
This Paper:
Introduce the concepts of treewidth and tree decompositions
Introduce a useful approach for obtaining fixed-parameter
tractable algorithms
surveys some of the latest (till 2007) developments
Applicability
Algorithms that exploit tree decompositions
Algorithms that determine or approximate treewidth and find
optimal tree decompositions
2 / 42
Outline
1 Background
2 Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Generalization of DP Algorithms Using Tree Decompositions
3 Designing Algorithms To Solve problems on Graphs Given with
A Tree Decomposition with Small Treewidth
Weighted Independent Set
Treewidth and Fixed-Parameter Tractability
4 Determining The Treewidth of A Given Graph
Exact Algorithms
Approximation Algorithms
Algorithmic Results for Planar Graphs
5 Remarks and Conclusions
6 Appendix
Combinatorial Optimization on Graphs of Bounded Treewidth
Background
Turn NP-hard Problems to Be More Tractable
Many combinatorial optimization problems defined on graphs
belong to the class of NP-hard problems in general. However, in
many cases, if the graphs are
trees (connected graphs without cycles), or
can construct some special trees form them
the problem becomes polynomial time solvable.
3 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Background
Weighted Independent Set Problem (WIS)
Definition ((Maximum) Weighted Independent Set)
Input is a graph G = (V , E) with vertex weights
c(v) ∈ Z+, v ∈ V .
Output is a subset S ⊆ V such that ∀v ∈ S are pairwise
non-adjacent so that the sum of the weights
c(S) = v∈S c(v) is maximized.
NP-hard for general cases
Linear solvable on trees
4 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Background
Linear Algorithm for WIS on Trees
Root the tree at an arbitrary vertex r
let T(v) denote the subtree with v as root:
A(v) denotes the maximum weight of an independent set in
T(v)
B(v) denotes the maximum weight of an independent set in
T(v) not containing v
For a non-leaf vertex v its children are x1, ..., xr
Algorithm
leaf: A(v) := c(v) and B(v) := 0
non-leaf:
A(v) := c(v) + B(x1) + ... + B(xr ) ↑ A(x1) + ... + A(xr )
bottom-to-top compute A(v) for every v, until A(r)
5 / 42
Outline
1 Background
2 Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Generalization of DP Algorithms Using Tree Decompositions
3 Designing Algorithms To Solve problems on Graphs Given with
A Tree Decomposition with Small Treewidth
Weighted Independent Set
Treewidth and Fixed-Parameter Tractability
4 Determining The Treewidth of A Given Graph
Exact Algorithms
Approximation Algorithms
Algorithmic Results for Planar Graphs
5 Remarks and Conclusions
6 Appendix
Combinatorial Optimization on Graphs of Bounded Treewidth
Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Series-Parallel Graphs
A two-terminal labeled graph (G, s, t) consists of a graph G with a
marked source s ∈ V , and sink t ∈ V . New graphs can be
composed from two two-terminal labeled graphs in two ways: in
series or in parallel.
6 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
SP-Tree
For every series-parallel graph, we can construct a so-called
SP-tree:
The leafs of the SP-tree T(G) correspond to the edges e ∈ E
the internal nodes are either labelled S or P for series and
parallel composition of the series-parallel graphs associated by
the child-subtrees
7 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Polynomial-Time Algorithm for WIS on SP-Trees
G(i) denotes the series-parallel graph that is associated with node
i of the SP-tree.
AA(i): maximum weight of independent set containing both s
and t
AB(i): maximum weight of independent set containing both s
but not t,
BA(i): maximum weight of independent set containing both t
but not s
BB(i): maximum weight of independent set containing
neither s nor t,
8 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Polynomial-Time Algorithm for WIS on SP-Trees
For leaves,
AA(i) := −∞
AB(i) := c(s)
BA(i) := c(t)
BB(i) := 0
8 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Polynomial-Time Algorithm for WIS on SP-Trees
For non-leaves (S-node),
AA(i) := AA(i1) + AA(i2) + c(s ) ↑
AB(i1) + BA(i2)
AB(i) := AA(i1) + AB(i2) + c(s ) ↑
AB(i1) + BB(i2)
BA(i) := BA(i1) + AA(i2) + c(s ) ↑
BB(i1) + BA(i2)
BB(i) := BA(i1) + AB(i2) + c(s ) ↑
BB(i1) + BB(i2)
8 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Polynomial-Time Algorithm for WIS on SP-Trees
For non-leaves (P-node),
AA(i) := AA(i1) + AA(i2) − c(s) − c(t)
AB(i) := AB(i1) + AB(i2) − c(s)
BA(i) := BA(i1) + BA(i2) − c(t)
BB(i) := BB(i1) + BB(i2)
8 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Graphs of Bounded Treewidth
Similar approach can be found for more general graphs, if they
have bounded treewidth.
9 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Tree Decompositions (TD) of Graphs
A Tree Decomposition [Robertson and Seymour ’86] of a graph
G(V , E) is a pair: ({Xi |i ∈ I}, T(I, F)).
10 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Tree Decompositions of Graphs
Tree Decomposition
Related concepts:
Path-decomposition [Robertson and Seymour ’83]
Branch-decomposition [Robertson and Seymour ’91]
11 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Treewidth of Graph
Treewidth is a decisive parameter on the computation complexity.
The width of a tree decomposition (T, {Xi |i ∈ I}):
maxi∈I ||Xi | − 1|
The treewidth of G is the minimum width over all tree
decompositions of G.
Computing treewidth of general graphs is a NP-hard problem
[Arnborg’87]
12 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Nice Tree Decomposition
A special type of tree decomposition that is very useful for
describing dynamic programming algorithms.
Definition (Nice Tree Decomposition)
13 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Nice Tree Decomposition
A special type of tree decomposition that is very useful for
describing dynamic programming algorithms.
13 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Efficient DP Algorithms on Graphs of Small Treewidth
Generalization of DP Algorithms Using Tree Decompositions
Dynamic Programming on Tree Decompositions
Constructing DP tables in
bottom-up manner [Arn-
borg+’87,Bodlaender+’88].
The computation finished
when achieve the root node.
The size of table is decided
by the treewidth.
14 / 42
Outline
1 Background
2 Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Generalization of DP Algorithms Using Tree Decompositions
3 Designing Algorithms To Solve problems on Graphs Given with
A Tree Decomposition with Small Treewidth
Weighted Independent Set
Treewidth and Fixed-Parameter Tractability
4 Determining The Treewidth of A Given Graph
Exact Algorithms
Approximation Algorithms
Algorithmic Results for Planar Graphs
5 Remarks and Conclusions
6 Appendix
Combinatorial Optimization on Graphs of Bounded Treewidth
Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth
Weighted Independent Set
Polynomial-Time Algorithm for WIS on Nice TD
Suppose input is a graph G(V , E) and a (nice) tree decomposition
of G of width k, say ({Xi |i ∈ I}, T(I, F), an O(2k n)-time
algorithm exists.
For each node i ∈ I, we compute a table, which we term Ci
that contains an integer value for each subset S ⊆ Xi . Each
table Ci contains at most 2k+1 values.
For a node i, we use Gi (Vi , Ei ) to denote the subgraph
induced by Xi and all its descendant (corresponding to the
subtree rooted by i).
Each of these values Ci (S), for S ⊆ Xi , equals the maximum
weight of an independent set W ⊆ Vi in Gi such that
Xi ∩ W = S.
In case no independent set exists, we set Ci (S) = −∞
15 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth
Weighted Independent Set
Computing Leaf-Node Table
If i is a leaf of T, then |Xi | = 1, say Xi = {v}. The table Ci has
only two entries, and we can compute these trivially: Ci (∅) = 0
and Ci ({v}) = c(v).
16 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth
Weighted Independent Set
Computing Introduce-Node Table
Suppose i is an introduce node with child j. Suppose
Xi = Xj ∪ {v}.
Each of the at most 2k+1 entries can be computed in O(k) time.
17 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth
Weighted Independent Set
Computing Forget-Node Table
Suppose i is an forget node with child j. Suppose Xi = Xj − {v}.
18 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth
Weighted Independent Set
Computing Join-Node Table
Suppose i is a join node with children j1 and j2.
Any two vertices picked form Gj1 and Gj2 are not adjacent if they
are not in Xi .
19 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth
Weighted Independent Set
Computing Join-Node Table
Suppose i is a join node with children j1 and j2.
x y z
x y z
x y z
...
...
19 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth
Weighted Independent Set
Putting It All Together
When we have computed the table for root node we can find the
WIS.
20 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth
Treewidth and Fixed-Parameter Tractability
On Fixed-Parameter Tractab (FPT) Problems
Many problems that can be solved in O(f (k).n) time when the
graph is given with a (nice) tree decomposition of width k (with
O(n) nodes), for some function f .
Hamiltonian Circuit
Chromatic Number (vertex colouring),
Vertex Cover
Steiner Tree
Feedback Vertex Set ...
Similar algorithms (as to WIS) exist [Telle and Proskurowski],
[Koster et al.], [Arnborg and Proskurowski], [Bern et al.] and
[Wimer et al.].
21 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth
Treewidth and Fixed-Parameter Tractability
Establishing Fixed-Parameter Tractability
Treewidth can be used in several cases to quickly establish that a
problem is FPT. For example,
Longest Cycle problem: given an undirected graph G(V , E),
and an integer k, and ask if G has a cycle of at least k edges.
Feedback Vertex Set problem: given an undirected graph
G(V , E) and an integer k, and ask for a set of vertices W of
size at most k that is a feedback vertex set, i.e. G[V − W ] is
a forest.
22 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth
Treewidth and Fixed-Parameter Tractability
Other Results
If we have a bounded width tree decomposition of G.
For each graph property that can be formulated in Monadic
Second-Order Logic (MSOL), there is a linear time algorithm
that verifies if the property holds for the given graph G
[Courcelle]
in [Arnborg et al.] and [Borie et al.], it is shown that the
above result can be extended to optimisation problems
A more extensive overview of MSOL and its applications can
be found in [Hlineny et al].
The use of tree decompositions for solving problems can also
be found in the area of probabilistic networks [Cooper],
[Lauritzen and Spiegelhalter].
23 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth
Treewidth and Fixed-Parameter Tractability
The Theoretical and Actual Table Sizes
The picture shows partial constraint satisfaction graph and actual
table sizes versus theoretical table sizes during dynamic
programming algorithm.
With pre-processing and reduction techniques the actual table sizes
could be kept within the main memory size [Koster et al] .
24 / 42
Outline
1 Background
2 Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Generalization of DP Algorithms Using Tree Decompositions
3 Designing Algorithms To Solve problems on Graphs Given with
A Tree Decomposition with Small Treewidth
Weighted Independent Set
Treewidth and Fixed-Parameter Tractability
4 Determining The Treewidth of A Given Graph
Exact Algorithms
Approximation Algorithms
Algorithmic Results for Planar Graphs
5 Remarks and Conclusions
6 Appendix
Combinatorial Optimization on Graphs of Bounded Treewidth
Determining The Treewidth of A Given Graph
Exact Algorithms
FPT and Exact Algorithms
Treewidth belongs to FPT. [Bodlaender’96] gives a linear
algorithm.
O(nk+2) algorithm [Arnborg et al. ’87]
An O(nn−k) branch and bound algorithm based on
vertex-ordering has been proposed by [Gogate and Dechter]
Others: O(2np(n)) [Arnborg et al. ’87], O(1.8899np(n))
[Fomin et al.] (p(n) denotes a polynomial in n)
25 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Determining The Treewidth of A Given Graph
Approximation Algorithms
Overview
Algorithms with algorithmic guarantee
(log k)-approximation algorithm (O(k log k), O(k
√
log k))
exit algorithms that run in time polynomial in n but
exponential in the treewidth k
not known whether there exist constant approximation
algorithms that run in time polynomial in n and k.
Heuristic algorithms (without algorithmic guarantee)
based on Lexicographic Breadth First Search (LBFS)
/Maximum Cardinality Search (MCS)
fill-in based algorithms ∗
meta-heuristics have been applied to find good tree
decompositions (Tabu search [Clautiaux et al. ’04], genetic
algorithms (Larranaga et al. ’97)
∗
The Fill-In problem is to determine the minimum number of edges to be
added to a graph G such that the result is chordal.
26 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Determining The Treewidth of A Given Graph
Approximation Algorithms
Some Definiations on Graph Theory
27 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Determining The Treewidth of A Given Graph
Approximation Algorithms
Important Lemmers for Approximation Algorithm
28 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Determining The Treewidth of A Given Graph
Approximation Algorithms
Lower Bound
The lower bound bounds the treewidth from below.
A good estimate of the true treewidth of a graph might
obtained
A high lower bound on the treewidth for a particular class of
graphs indicates that the applicability of the dynamic
programming methodology is limited
29 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Determining The Treewidth of A Given Graph
Approximation Algorithms
Key Points for Approximation
The treewidth of graphs is closed under taking subgraphs and
minors
However, easy-to-compute lower bounds for treewidth are not
closed under taking subgraphs and minors
30 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Determining The Treewidth of A Given Graph
Approximation Algorithms
Some Results of Lower Bound
let the minimum degree of graph G be denoted as
δ(G) := minv∈V |N(v)| [Scheffler ’89] then δ(G) ≤ tw(G),
and we can also have two bounds:
δD(G) := maxH⊆G δ(H) (H is a subset)
δC(G) := maxH G δ(H) (H is a minor)
δC(G) can only be approximated (from below)
MCS algorithm can also be used for lower bounding
31 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Determining The Treewidth of A Given Graph
Algorithmic Results for Planar Graphs
Some Results
A polynomial time algorithm for branchwidth exits [Seymour
and Thomas ’94]
Hicks [’05a, ’05b] has shown that it is practical.
It is an open question whether the treewidth of planar graphs
can be computed in polynomial time.
32 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Determining The Treewidth of A Given Graph
Algorithmic Results for Planar Graphs
Some Results
In polynomial time we can obtain a tree decomposition of
width at most 1.5 k
It is an open question whether the treewidth of planar graphs
can be computed in polynomial time.
33 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Determining The Treewidth of A Given Graph
Algorithmic Results for Planar Graphs
Treewidth of Planar Graphs
For instance, a planar graph of treewidth k has a 1/2-balanced
separator † of size at most k + 1.
†
A set S is a 1/2-balanced separator in a graph G(V , E), if each connected
component of G[V − S] has at most 1/2n vertices.
34 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Determining The Treewidth of A Given Graph
Algorithmic Results for Planar Graphs
Theorem 14 can be used to obtain faster exponential time
algorithms for NP-hard problems on planar graphs.
O∗(c
√
n)-time algorithm (for some constant c) for WIS,
Dominating Set, Vertex Cover, etc.
If a problem has an algorithm solving it in O(ckn) time when
a tree decomposition of width k is given, then it can be solved
on planar graphs in O∗(c
√
n) time. [Dorn et al.]
If a planar graph G has a dominating set of size at most k,
then its treewidth is O(
√
k).
35 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Determining The Treewidth of A Given Graph
Algorithmic Results for Planar Graphs
Approximation Algorithms on Planar Graphs
Given a plane embedding of a planar graph G(V , E), we divide its
vertices into layersL1, L2, ..., LT in the following way.
All vertices that are incident to the exterior face are in layer
L1.
For i ≤ 1, suppose we remove from the embedding all vertices
in layers L1, ..., Li , and their incident edges.
All vertices that are then incident to the exterior face are in
layer Li+1. LT is thus the last nonempty layer.
A plane graph that has an embedding where the vertices are in k
layers is called k-outerplanar.
36 / 42
Outline
1 Background
2 Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Generalization of DP Algorithms Using Tree Decompositions
3 Designing Algorithms To Solve problems on Graphs Given with
A Tree Decomposition with Small Treewidth
Weighted Independent Set
Treewidth and Fixed-Parameter Tractability
4 Determining The Treewidth of A Given Graph
Exact Algorithms
Approximation Algorithms
Algorithmic Results for Planar Graphs
5 Remarks and Conclusions
6 Appendix
Combinatorial Optimization on Graphs of Bounded Treewidth
Remarks and Conclusions
This paper surveyed the concept of treewidth in the context of
FPT algorithms.
Treewidth provides a powerful tool for determining the
fixed-parameter tractability of general NP-hard combinatorial
optimization problems.
Research about treewidth has exposed the strong potential of
the concept of bounded treewidth for addressing the
challenges posed by NP-hard combinatorial optimization
problems
37 / 42
Outline
1 Background
2 Efficient DP Algorithms on Graphs of Small Treewidth
For Series-Parallel Graphs
Generalization of DP Algorithms Using Tree Decompositions
3 Designing Algorithms To Solve problems on Graphs Given with
A Tree Decomposition with Small Treewidth
Weighted Independent Set
Treewidth and Fixed-Parameter Tractability
4 Determining The Treewidth of A Given Graph
Exact Algorithms
Approximation Algorithms
Algorithmic Results for Planar Graphs
5 Remarks and Conclusions
6 Appendix
Combinatorial Optimization on Graphs of Bounded Treewidth
Appendix
FPT
38 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Appendix
MCS/LBFS
39 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Appendix
Branch-decomposition
40 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Appendix
Branch-decomposition
41 / 42
Combinatorial Optimization on Graphs of Bounded Treewidth
Appendix
Path-decomposition
A path-decomposition is a tree decomposition ({Xi |i ∈ I}, T(I, F))
in which the underlying tree T of the decomposition is a path
graph.
For each edge of G, there exists an i such that both endpoints
of the edge belong to Xi , and
For every three indices i ≤ j ≤ k, Xi ∩ Xk ⊆ Xj .
42 / 42

More Related Content

What's hot (18)

Trimming the L1 Regularizer: Statistical Analysis, Optimization, and Applicat...
Trimming the L1 Regularizer: Statistical Analysis, Optimization, and Applicat...Trimming the L1 Regularizer: Statistical Analysis, Optimization, and Applicat...
Trimming the L1 Regularizer: Statistical Analysis, Optimization, and Applicat...
Jihun Yun
 
Investigation on the Pattern Synthesis of Subarray Weights for Low EMI Applic...
Investigation on the Pattern Synthesis of Subarray Weights for Low EMI Applic...Investigation on the Pattern Synthesis of Subarray Weights for Low EMI Applic...
Investigation on the Pattern Synthesis of Subarray Weights for Low EMI Applic...
IOSRJECE
 
MLHEP Lectures - day 1, basic track
MLHEP Lectures - day 1, basic trackMLHEP Lectures - day 1, basic track
MLHEP Lectures - day 1, basic track
arogozhnikov
 
Reweighting and Boosting to uniforimty in HEP
Reweighting and Boosting to uniforimty in HEPReweighting and Boosting to uniforimty in HEP
Reweighting and Boosting to uniforimty in HEP
arogozhnikov
 
A review on structure learning in GNN
A review on structure learning in GNNA review on structure learning in GNN
A review on structure learning in GNN
tuxette
 
Sets functions-sequences-exercises
Sets functions-sequences-exercisesSets functions-sequences-exercises
Sets functions-sequences-exercises
Roshayu Mohamad
 
Tree and graph
Tree and graphTree and graph
Tree and graph
Muhaiminul Islam
 
Lindley smith 1972
Lindley smith 1972Lindley smith 1972
Lindley smith 1972
Julyan Arbel
 
Sol8
Sol8Sol8
Sol8
eli priyatna laidan
 
The Digital Image Processing Q@A
The Digital Image Processing Q@AThe Digital Image Processing Q@A
The Digital Image Processing Q@A
Chung Hua Universit
 
An application of gd
An application of gdAn application of gd
An application of gd
graphhoc
 
Skiena algorithm 2007 lecture13 minimum spanning trees
Skiena algorithm 2007 lecture13 minimum spanning treesSkiena algorithm 2007 lecture13 minimum spanning trees
Skiena algorithm 2007 lecture13 minimum spanning trees
zukun
 
CLUSTER ANALYSIS ALGORITHMS.pptx
CLUSTER ANALYSIS ALGORITHMS.pptxCLUSTER ANALYSIS ALGORITHMS.pptx
CLUSTER ANALYSIS ALGORITHMS.pptx
ShwetapadmaBabu1
 
A Study on Power Mean Labeling of the Graphs and Vertex Odd Power Mean Labeli...
A Study on Power Mean Labeling of the Graphs and Vertex Odd Power Mean Labeli...A Study on Power Mean Labeling of the Graphs and Vertex Odd Power Mean Labeli...
A Study on Power Mean Labeling of the Graphs and Vertex Odd Power Mean Labeli...
ijtsrd
 
MLHEP Lectures - day 2, basic track
MLHEP Lectures - day 2, basic trackMLHEP Lectures - day 2, basic track
MLHEP Lectures - day 2, basic track
arogozhnikov
 
On an extension of a c algebra
On an extension of a  c algebraOn an extension of a  c algebra
On an extension of a c algebra
Alexander Decker
 
Internal workshop jub talk jan 2013
Internal workshop jub talk jan 2013Internal workshop jub talk jan 2013
Internal workshop jub talk jan 2013
Jurgen Riedel
 
Tailored Bregman Ball Trees for Effective Nearest Neighbors
Tailored Bregman Ball Trees for Effective Nearest NeighborsTailored Bregman Ball Trees for Effective Nearest Neighbors
Tailored Bregman Ball Trees for Effective Nearest Neighbors
Frank Nielsen
 
Trimming the L1 Regularizer: Statistical Analysis, Optimization, and Applicat...
Trimming the L1 Regularizer: Statistical Analysis, Optimization, and Applicat...Trimming the L1 Regularizer: Statistical Analysis, Optimization, and Applicat...
Trimming the L1 Regularizer: Statistical Analysis, Optimization, and Applicat...
Jihun Yun
 
Investigation on the Pattern Synthesis of Subarray Weights for Low EMI Applic...
Investigation on the Pattern Synthesis of Subarray Weights for Low EMI Applic...Investigation on the Pattern Synthesis of Subarray Weights for Low EMI Applic...
Investigation on the Pattern Synthesis of Subarray Weights for Low EMI Applic...
IOSRJECE
 
MLHEP Lectures - day 1, basic track
MLHEP Lectures - day 1, basic trackMLHEP Lectures - day 1, basic track
MLHEP Lectures - day 1, basic track
arogozhnikov
 
Reweighting and Boosting to uniforimty in HEP
Reweighting and Boosting to uniforimty in HEPReweighting and Boosting to uniforimty in HEP
Reweighting and Boosting to uniforimty in HEP
arogozhnikov
 
A review on structure learning in GNN
A review on structure learning in GNNA review on structure learning in GNN
A review on structure learning in GNN
tuxette
 
Sets functions-sequences-exercises
Sets functions-sequences-exercisesSets functions-sequences-exercises
Sets functions-sequences-exercises
Roshayu Mohamad
 
Lindley smith 1972
Lindley smith 1972Lindley smith 1972
Lindley smith 1972
Julyan Arbel
 
The Digital Image Processing Q@A
The Digital Image Processing Q@AThe Digital Image Processing Q@A
The Digital Image Processing Q@A
Chung Hua Universit
 
An application of gd
An application of gdAn application of gd
An application of gd
graphhoc
 
Skiena algorithm 2007 lecture13 minimum spanning trees
Skiena algorithm 2007 lecture13 minimum spanning treesSkiena algorithm 2007 lecture13 minimum spanning trees
Skiena algorithm 2007 lecture13 minimum spanning trees
zukun
 
CLUSTER ANALYSIS ALGORITHMS.pptx
CLUSTER ANALYSIS ALGORITHMS.pptxCLUSTER ANALYSIS ALGORITHMS.pptx
CLUSTER ANALYSIS ALGORITHMS.pptx
ShwetapadmaBabu1
 
A Study on Power Mean Labeling of the Graphs and Vertex Odd Power Mean Labeli...
A Study on Power Mean Labeling of the Graphs and Vertex Odd Power Mean Labeli...A Study on Power Mean Labeling of the Graphs and Vertex Odd Power Mean Labeli...
A Study on Power Mean Labeling of the Graphs and Vertex Odd Power Mean Labeli...
ijtsrd
 
MLHEP Lectures - day 2, basic track
MLHEP Lectures - day 2, basic trackMLHEP Lectures - day 2, basic track
MLHEP Lectures - day 2, basic track
arogozhnikov
 
On an extension of a c algebra
On an extension of a  c algebraOn an extension of a  c algebra
On an extension of a c algebra
Alexander Decker
 
Internal workshop jub talk jan 2013
Internal workshop jub talk jan 2013Internal workshop jub talk jan 2013
Internal workshop jub talk jan 2013
Jurgen Riedel
 
Tailored Bregman Ball Trees for Effective Nearest Neighbors
Tailored Bregman Ball Trees for Effective Nearest NeighborsTailored Bregman Ball Trees for Effective Nearest Neighbors
Tailored Bregman Ball Trees for Effective Nearest Neighbors
Frank Nielsen
 

Viewers also liked (9)

Plenary Speaker slides at the 2016 International Workshop on Biodesign Automa...
Plenary Speaker slides at the 2016 International Workshop on Biodesign Automa...Plenary Speaker slides at the 2016 International Workshop on Biodesign Automa...
Plenary Speaker slides at the 2016 International Workshop on Biodesign Automa...
Natalio Krasnogor
 
Elementary Landscape Decomposition of Combinatorial Optimization Problems
Elementary Landscape Decomposition of Combinatorial Optimization ProblemsElementary Landscape Decomposition of Combinatorial Optimization Problems
Elementary Landscape Decomposition of Combinatorial Optimization Problems
jfrchicanog
 
Local search algorithms
Local search algorithmsLocal search algorithms
Local search algorithms
bambangsueb
 
DENSA:An effective negative selection algorithm with flexible boundaries for ...
DENSA:An effective negative selection algorithm with flexible boundaries for ...DENSA:An effective negative selection algorithm with flexible boundaries for ...
DENSA:An effective negative selection algorithm with flexible boundaries for ...
Mario Pavone
 
Search Algprithms
Search AlgprithmsSearch Algprithms
Search Algprithms
Shivam Singh
 
Search algorithms for discrete optimization
Search algorithms for discrete optimizationSearch algorithms for discrete optimization
Search algorithms for discrete optimization
Sally Salem
 
2 lectures 16 17-informed search algorithms ch 4.3
2 lectures 16 17-informed search algorithms ch 4.32 lectures 16 17-informed search algorithms ch 4.3
2 lectures 16 17-informed search algorithms ch 4.3
Ravi Balout
 
The Search Landscape in 2017
The Search Landscape in 2017The Search Landscape in 2017
The Search Landscape in 2017
Rand Fishkin
 
Landscape Design and Principles
Landscape Design and PrinciplesLandscape Design and Principles
Landscape Design and Principles
Catherine Patterson
 
Plenary Speaker slides at the 2016 International Workshop on Biodesign Automa...
Plenary Speaker slides at the 2016 International Workshop on Biodesign Automa...Plenary Speaker slides at the 2016 International Workshop on Biodesign Automa...
Plenary Speaker slides at the 2016 International Workshop on Biodesign Automa...
Natalio Krasnogor
 
Elementary Landscape Decomposition of Combinatorial Optimization Problems
Elementary Landscape Decomposition of Combinatorial Optimization ProblemsElementary Landscape Decomposition of Combinatorial Optimization Problems
Elementary Landscape Decomposition of Combinatorial Optimization Problems
jfrchicanog
 
Local search algorithms
Local search algorithmsLocal search algorithms
Local search algorithms
bambangsueb
 
DENSA:An effective negative selection algorithm with flexible boundaries for ...
DENSA:An effective negative selection algorithm with flexible boundaries for ...DENSA:An effective negative selection algorithm with flexible boundaries for ...
DENSA:An effective negative selection algorithm with flexible boundaries for ...
Mario Pavone
 
Search algorithms for discrete optimization
Search algorithms for discrete optimizationSearch algorithms for discrete optimization
Search algorithms for discrete optimization
Sally Salem
 
2 lectures 16 17-informed search algorithms ch 4.3
2 lectures 16 17-informed search algorithms ch 4.32 lectures 16 17-informed search algorithms ch 4.3
2 lectures 16 17-informed search algorithms ch 4.3
Ravi Balout
 
The Search Landscape in 2017
The Search Landscape in 2017The Search Landscape in 2017
The Search Landscape in 2017
Rand Fishkin
 
Ad

Similar to Paper introduction to Combinatorial Optimization on Graphs of Bounded Treewidth (20)

26 spanning
26 spanning26 spanning
26 spanning
Aŕŷa Ķĥaŕel
 
Lecture 2.3.1 Graph.pptx
Lecture 2.3.1 Graph.pptxLecture 2.3.1 Graph.pptx
Lecture 2.3.1 Graph.pptx
king779879
 
cdrw
cdrwcdrw
cdrw
Andreas Poyias
 
matrixMultiplication
matrixMultiplicationmatrixMultiplication
matrixMultiplication
CNP Slagle
 
Graph theory concepts complex networks presents-rouhollah nabati
Graph theory concepts   complex networks presents-rouhollah nabatiGraph theory concepts   complex networks presents-rouhollah nabati
Graph theory concepts complex networks presents-rouhollah nabati
nabati
 
Asymptotic Notation and Data Structures
Asymptotic Notation and Data StructuresAsymptotic Notation and Data Structures
Asymptotic Notation and Data Structures
Amrinder Arora
 
Dynamic Programming Over Graphs of Bounded Treewidth
Dynamic Programming Over Graphs of Bounded TreewidthDynamic Programming Over Graphs of Bounded Treewidth
Dynamic Programming Over Graphs of Bounded Treewidth
ASPAK2014
 
Dijkstra
DijkstraDijkstra
Dijkstra
jagdeeparora86
 
d
dd
d
jagdeeparora86
 
ON ALGORITHMIC PROBLEMS CONCERNING GRAPHS OF HIGHER DEGREE OF SYMMETRY
ON ALGORITHMIC PROBLEMS CONCERNING GRAPHS OF HIGHER DEGREE OF SYMMETRYON ALGORITHMIC PROBLEMS CONCERNING GRAPHS OF HIGHER DEGREE OF SYMMETRY
ON ALGORITHMIC PROBLEMS CONCERNING GRAPHS OF HIGHER DEGREE OF SYMMETRY
Fransiskeran
 
On Algorithmic Problems Concerning Graphs of Higher Degree of Symmetry
On Algorithmic Problems Concerning Graphs of Higher Degree of SymmetryOn Algorithmic Problems Concerning Graphs of Higher Degree of Symmetry
On Algorithmic Problems Concerning Graphs of Higher Degree of Symmetry
GiselleginaGloria
 
Ch18
Ch18Ch18
Ch18
leminhvuong
 
On algorithmic problems concerning graphs of higher degree of symmetry
On algorithmic problems concerning graphs of higher degree of symmetryOn algorithmic problems concerning graphs of higher degree of symmetry
On algorithmic problems concerning graphs of higher degree of symmetry
graphhoc
 
Preparation Data Structures 11 graphs
Preparation Data Structures 11 graphsPreparation Data Structures 11 graphs
Preparation Data Structures 11 graphs
Andres Mendez-Vazquez
 
Decision Trees and Bayes Classifiers
Decision Trees and Bayes ClassifiersDecision Trees and Bayes Classifiers
Decision Trees and Bayes Classifiers
Alexander Jung
 
Spanning trees
Spanning treesSpanning trees
Spanning trees
Shareb Ismaeel
 
Graph terminology and algorithm and tree.pptx
Graph terminology and algorithm and tree.pptxGraph terminology and algorithm and tree.pptx
Graph terminology and algorithm and tree.pptx
asimshahzad8611
 
Data Applied:Tree Maps
Data Applied:Tree MapsData Applied:Tree Maps
Data Applied:Tree Maps
DataminingTools Inc
 
Data Applied:Tree Maps
Data Applied:Tree MapsData Applied:Tree Maps
Data Applied:Tree Maps
dataapplied content
 
Greedy Algorithms Chapter for new students 4.ppt
Greedy Algorithms Chapter for new students 4.pptGreedy Algorithms Chapter for new students 4.ppt
Greedy Algorithms Chapter for new students 4.ppt
AKBARABBAS11
 
Lecture 2.3.1 Graph.pptx
Lecture 2.3.1 Graph.pptxLecture 2.3.1 Graph.pptx
Lecture 2.3.1 Graph.pptx
king779879
 
matrixMultiplication
matrixMultiplicationmatrixMultiplication
matrixMultiplication
CNP Slagle
 
Graph theory concepts complex networks presents-rouhollah nabati
Graph theory concepts   complex networks presents-rouhollah nabatiGraph theory concepts   complex networks presents-rouhollah nabati
Graph theory concepts complex networks presents-rouhollah nabati
nabati
 
Asymptotic Notation and Data Structures
Asymptotic Notation and Data StructuresAsymptotic Notation and Data Structures
Asymptotic Notation and Data Structures
Amrinder Arora
 
Dynamic Programming Over Graphs of Bounded Treewidth
Dynamic Programming Over Graphs of Bounded TreewidthDynamic Programming Over Graphs of Bounded Treewidth
Dynamic Programming Over Graphs of Bounded Treewidth
ASPAK2014
 
ON ALGORITHMIC PROBLEMS CONCERNING GRAPHS OF HIGHER DEGREE OF SYMMETRY
ON ALGORITHMIC PROBLEMS CONCERNING GRAPHS OF HIGHER DEGREE OF SYMMETRYON ALGORITHMIC PROBLEMS CONCERNING GRAPHS OF HIGHER DEGREE OF SYMMETRY
ON ALGORITHMIC PROBLEMS CONCERNING GRAPHS OF HIGHER DEGREE OF SYMMETRY
Fransiskeran
 
On Algorithmic Problems Concerning Graphs of Higher Degree of Symmetry
On Algorithmic Problems Concerning Graphs of Higher Degree of SymmetryOn Algorithmic Problems Concerning Graphs of Higher Degree of Symmetry
On Algorithmic Problems Concerning Graphs of Higher Degree of Symmetry
GiselleginaGloria
 
On algorithmic problems concerning graphs of higher degree of symmetry
On algorithmic problems concerning graphs of higher degree of symmetryOn algorithmic problems concerning graphs of higher degree of symmetry
On algorithmic problems concerning graphs of higher degree of symmetry
graphhoc
 
Preparation Data Structures 11 graphs
Preparation Data Structures 11 graphsPreparation Data Structures 11 graphs
Preparation Data Structures 11 graphs
Andres Mendez-Vazquez
 
Decision Trees and Bayes Classifiers
Decision Trees and Bayes ClassifiersDecision Trees and Bayes Classifiers
Decision Trees and Bayes Classifiers
Alexander Jung
 
Graph terminology and algorithm and tree.pptx
Graph terminology and algorithm and tree.pptxGraph terminology and algorithm and tree.pptx
Graph terminology and algorithm and tree.pptx
asimshahzad8611
 
Greedy Algorithms Chapter for new students 4.ppt
Greedy Algorithms Chapter for new students 4.pptGreedy Algorithms Chapter for new students 4.ppt
Greedy Algorithms Chapter for new students 4.ppt
AKBARABBAS11
 
Ad

More from Yu Liu (20)

A TPC Benchmark of Hive LLAP and Comparison with Presto
A TPC Benchmark of Hive LLAP and Comparison with PrestoA TPC Benchmark of Hive LLAP and Comparison with Presto
A TPC Benchmark of Hive LLAP and Comparison with Presto
Yu Liu
 
Cloud Era Transactional Processing -- Problems, Strategies and Solutions
Cloud Era Transactional Processing -- Problems, Strategies and SolutionsCloud Era Transactional Processing -- Problems, Strategies and Solutions
Cloud Era Transactional Processing -- Problems, Strategies and Solutions
Yu Liu
 
Introduction to NTCIR 2016 MedNLPDoc
Introduction to NTCIR 2016 MedNLPDocIntroduction to NTCIR 2016 MedNLPDoc
Introduction to NTCIR 2016 MedNLPDoc
Yu Liu
 
高性能データ処理プラットフォーム (Talk on July Tech Festa 2015)
高性能データ処理プラットフォーム (Talk on July Tech Festa 2015)高性能データ処理プラットフォーム (Talk on July Tech Festa 2015)
高性能データ処理プラットフォーム (Talk on July Tech Festa 2015)
Yu Liu
 
Survey on Parallel/Distributed Search Engines
Survey on Parallel/Distributed Search EnginesSurvey on Parallel/Distributed Search Engines
Survey on Parallel/Distributed Search Engines
Yu Liu
 
Paper Introduction: Combinatorial Model and Bounds for Target Set Selection
Paper Introduction: Combinatorial Model and Bounds for Target Set SelectionPaper Introduction: Combinatorial Model and Bounds for Target Set Selection
Paper Introduction: Combinatorial Model and Bounds for Target Set Selection
Yu Liu
 
An accumulative computation framework on MapReduce ppl2013
An accumulative computation framework on MapReduce ppl2013An accumulative computation framework on MapReduce ppl2013
An accumulative computation framework on MapReduce ppl2013
Yu Liu
 
An Enhanced MapReduce Model (on BSP)
An Enhanced MapReduce Model (on BSP)An Enhanced MapReduce Model (on BSP)
An Enhanced MapReduce Model (on BSP)
Yu Liu
 
A Homomorphism-based Framework for Systematic Parallel Programming with MapRe...
A Homomorphism-based Framework for Systematic Parallel Programming with MapRe...A Homomorphism-based Framework for Systematic Parallel Programming with MapRe...
A Homomorphism-based Framework for Systematic Parallel Programming with MapRe...
Yu Liu
 
An Introduction of Recent Research on MapReduce (2011)
An Introduction of Recent Research on MapReduce (2011)An Introduction of Recent Research on MapReduce (2011)
An Introduction of Recent Research on MapReduce (2011)
Yu Liu
 
A Generate-Test-Aggregate Parallel Programming Library on Spark
A Generate-Test-Aggregate Parallel Programming Library on SparkA Generate-Test-Aggregate Parallel Programming Library on Spark
A Generate-Test-Aggregate Parallel Programming Library on Spark
Yu Liu
 
Introduction of A Lightweight Stage-Programming Framework
Introduction of A Lightweight Stage-Programming FrameworkIntroduction of A Lightweight Stage-Programming Framework
Introduction of A Lightweight Stage-Programming Framework
Yu Liu
 
Start From A MapReduce Graph Pattern-recognize Algorithm
Start From A MapReduce Graph Pattern-recognize AlgorithmStart From A MapReduce Graph Pattern-recognize Algorithm
Start From A MapReduce Graph Pattern-recognize Algorithm
Yu Liu
 
Introduction of the Design of A High-level Language over MapReduce -- The Pig...
Introduction of the Design of A High-level Language over MapReduce -- The Pig...Introduction of the Design of A High-level Language over MapReduce -- The Pig...
Introduction of the Design of A High-level Language over MapReduce -- The Pig...
Yu Liu
 
On Extending MapReduce - Survey and Experiments
On Extending MapReduce - Survey and ExperimentsOn Extending MapReduce - Survey and Experiments
On Extending MapReduce - Survey and Experiments
Yu Liu
 
Tree representation in map reduce world
Tree representation  in map reduce worldTree representation  in map reduce world
Tree representation in map reduce world
Yu Liu
 
Introduction to Ultra-succinct representation of ordered trees with applications
Introduction to Ultra-succinct representation of ordered trees with applicationsIntroduction to Ultra-succinct representation of ordered trees with applications
Introduction to Ultra-succinct representation of ordered trees with applications
Yu Liu
 
On Implementation of Neuron Network(Back-propagation)
On Implementation of Neuron Network(Back-propagation)On Implementation of Neuron Network(Back-propagation)
On Implementation of Neuron Network(Back-propagation)
Yu Liu
 
ScrewDriver Rebirth: Generate-Test-and-Aggregate Framework on Hadoop
ScrewDriver Rebirth: Generate-Test-and-Aggregate Framework on HadoopScrewDriver Rebirth: Generate-Test-and-Aggregate Framework on Hadoop
ScrewDriver Rebirth: Generate-Test-and-Aggregate Framework on Hadoop
Yu Liu
 
A Homomorphism-based MapReduce Framework for Systematic Parallel Programming
A Homomorphism-based MapReduce Framework for Systematic Parallel ProgrammingA Homomorphism-based MapReduce Framework for Systematic Parallel Programming
A Homomorphism-based MapReduce Framework for Systematic Parallel Programming
Yu Liu
 
A TPC Benchmark of Hive LLAP and Comparison with Presto
A TPC Benchmark of Hive LLAP and Comparison with PrestoA TPC Benchmark of Hive LLAP and Comparison with Presto
A TPC Benchmark of Hive LLAP and Comparison with Presto
Yu Liu
 
Cloud Era Transactional Processing -- Problems, Strategies and Solutions
Cloud Era Transactional Processing -- Problems, Strategies and SolutionsCloud Era Transactional Processing -- Problems, Strategies and Solutions
Cloud Era Transactional Processing -- Problems, Strategies and Solutions
Yu Liu
 
Introduction to NTCIR 2016 MedNLPDoc
Introduction to NTCIR 2016 MedNLPDocIntroduction to NTCIR 2016 MedNLPDoc
Introduction to NTCIR 2016 MedNLPDoc
Yu Liu
 
高性能データ処理プラットフォーム (Talk on July Tech Festa 2015)
高性能データ処理プラットフォーム (Talk on July Tech Festa 2015)高性能データ処理プラットフォーム (Talk on July Tech Festa 2015)
高性能データ処理プラットフォーム (Talk on July Tech Festa 2015)
Yu Liu
 
Survey on Parallel/Distributed Search Engines
Survey on Parallel/Distributed Search EnginesSurvey on Parallel/Distributed Search Engines
Survey on Parallel/Distributed Search Engines
Yu Liu
 
Paper Introduction: Combinatorial Model and Bounds for Target Set Selection
Paper Introduction: Combinatorial Model and Bounds for Target Set SelectionPaper Introduction: Combinatorial Model and Bounds for Target Set Selection
Paper Introduction: Combinatorial Model and Bounds for Target Set Selection
Yu Liu
 
An accumulative computation framework on MapReduce ppl2013
An accumulative computation framework on MapReduce ppl2013An accumulative computation framework on MapReduce ppl2013
An accumulative computation framework on MapReduce ppl2013
Yu Liu
 
An Enhanced MapReduce Model (on BSP)
An Enhanced MapReduce Model (on BSP)An Enhanced MapReduce Model (on BSP)
An Enhanced MapReduce Model (on BSP)
Yu Liu
 
A Homomorphism-based Framework for Systematic Parallel Programming with MapRe...
A Homomorphism-based Framework for Systematic Parallel Programming with MapRe...A Homomorphism-based Framework for Systematic Parallel Programming with MapRe...
A Homomorphism-based Framework for Systematic Parallel Programming with MapRe...
Yu Liu
 
An Introduction of Recent Research on MapReduce (2011)
An Introduction of Recent Research on MapReduce (2011)An Introduction of Recent Research on MapReduce (2011)
An Introduction of Recent Research on MapReduce (2011)
Yu Liu
 
A Generate-Test-Aggregate Parallel Programming Library on Spark
A Generate-Test-Aggregate Parallel Programming Library on SparkA Generate-Test-Aggregate Parallel Programming Library on Spark
A Generate-Test-Aggregate Parallel Programming Library on Spark
Yu Liu
 
Introduction of A Lightweight Stage-Programming Framework
Introduction of A Lightweight Stage-Programming FrameworkIntroduction of A Lightweight Stage-Programming Framework
Introduction of A Lightweight Stage-Programming Framework
Yu Liu
 
Start From A MapReduce Graph Pattern-recognize Algorithm
Start From A MapReduce Graph Pattern-recognize AlgorithmStart From A MapReduce Graph Pattern-recognize Algorithm
Start From A MapReduce Graph Pattern-recognize Algorithm
Yu Liu
 
Introduction of the Design of A High-level Language over MapReduce -- The Pig...
Introduction of the Design of A High-level Language over MapReduce -- The Pig...Introduction of the Design of A High-level Language over MapReduce -- The Pig...
Introduction of the Design of A High-level Language over MapReduce -- The Pig...
Yu Liu
 
On Extending MapReduce - Survey and Experiments
On Extending MapReduce - Survey and ExperimentsOn Extending MapReduce - Survey and Experiments
On Extending MapReduce - Survey and Experiments
Yu Liu
 
Tree representation in map reduce world
Tree representation  in map reduce worldTree representation  in map reduce world
Tree representation in map reduce world
Yu Liu
 
Introduction to Ultra-succinct representation of ordered trees with applications
Introduction to Ultra-succinct representation of ordered trees with applicationsIntroduction to Ultra-succinct representation of ordered trees with applications
Introduction to Ultra-succinct representation of ordered trees with applications
Yu Liu
 
On Implementation of Neuron Network(Back-propagation)
On Implementation of Neuron Network(Back-propagation)On Implementation of Neuron Network(Back-propagation)
On Implementation of Neuron Network(Back-propagation)
Yu Liu
 
ScrewDriver Rebirth: Generate-Test-and-Aggregate Framework on Hadoop
ScrewDriver Rebirth: Generate-Test-and-Aggregate Framework on HadoopScrewDriver Rebirth: Generate-Test-and-Aggregate Framework on Hadoop
ScrewDriver Rebirth: Generate-Test-and-Aggregate Framework on Hadoop
Yu Liu
 
A Homomorphism-based MapReduce Framework for Systematic Parallel Programming
A Homomorphism-based MapReduce Framework for Systematic Parallel ProgrammingA Homomorphism-based MapReduce Framework for Systematic Parallel Programming
A Homomorphism-based MapReduce Framework for Systematic Parallel Programming
Yu Liu
 

Recently uploaded (20)

Agentic AI - The New Era of Intelligence
Agentic AI - The New Era of IntelligenceAgentic AI - The New Era of Intelligence
Agentic AI - The New Era of Intelligence
Muzammil Shah
 
Evaluation Challenges in Using Generative AI for Science & Technical Content
Evaluation Challenges in Using Generative AI for Science & Technical ContentEvaluation Challenges in Using Generative AI for Science & Technical Content
Evaluation Challenges in Using Generative AI for Science & Technical Content
Paul Groth
 
Cyber Security Legal Framework in Nepal.pptx
Cyber Security Legal Framework in Nepal.pptxCyber Security Legal Framework in Nepal.pptx
Cyber Security Legal Framework in Nepal.pptx
Ghimire B.R.
 
Measuring Microsoft 365 Copilot and Gen AI Success
Measuring Microsoft 365 Copilot and Gen AI SuccessMeasuring Microsoft 365 Copilot and Gen AI Success
Measuring Microsoft 365 Copilot and Gen AI Success
Nikki Chapple
 
ECS25 - The adventures of a Microsoft 365 Platform Owner - Website.pptx
ECS25 - The adventures of a Microsoft 365 Platform Owner - Website.pptxECS25 - The adventures of a Microsoft 365 Platform Owner - Website.pptx
ECS25 - The adventures of a Microsoft 365 Platform Owner - Website.pptx
Jasper Oosterveld
 
Improving Developer Productivity With DORA, SPACE, and DevEx
Improving Developer Productivity With DORA, SPACE, and DevExImproving Developer Productivity With DORA, SPACE, and DevEx
Improving Developer Productivity With DORA, SPACE, and DevEx
Justin Reock
 
LSNIF: Locally-Subdivided Neural Intersection Function
LSNIF: Locally-Subdivided Neural Intersection FunctionLSNIF: Locally-Subdivided Neural Intersection Function
LSNIF: Locally-Subdivided Neural Intersection Function
Takahiro Harada
 
New Ways to Reduce Database Costs with ScyllaDB
New Ways to Reduce Database Costs with ScyllaDBNew Ways to Reduce Database Costs with ScyllaDB
New Ways to Reduce Database Costs with ScyllaDB
ScyllaDB
 
Protecting Your Sensitive Data with Microsoft Purview - IRMS 2025
Protecting Your Sensitive Data with Microsoft Purview - IRMS 2025Protecting Your Sensitive Data with Microsoft Purview - IRMS 2025
Protecting Your Sensitive Data with Microsoft Purview - IRMS 2025
Nikki Chapple
 
Nix(OS) for Python Developers - PyCon 25 (Bologna, Italia)
Nix(OS) for Python Developers - PyCon 25 (Bologna, Italia)Nix(OS) for Python Developers - PyCon 25 (Bologna, Italia)
Nix(OS) for Python Developers - PyCon 25 (Bologna, Italia)
Peter Bittner
 
Introducing FME Realize: A New Era of Spatial Computing and AR
Introducing FME Realize: A New Era of Spatial Computing and ARIntroducing FME Realize: A New Era of Spatial Computing and AR
Introducing FME Realize: A New Era of Spatial Computing and AR
Safe Software
 
End-to-end Assurance for SD-WAN & SASE with ThousandEyes
End-to-end Assurance for SD-WAN & SASE with ThousandEyesEnd-to-end Assurance for SD-WAN & SASE with ThousandEyes
End-to-end Assurance for SD-WAN & SASE with ThousandEyes
ThousandEyes
 
Dr Jimmy Schwarzkopf presentation on the SUMMIT 2025 A
Dr Jimmy Schwarzkopf presentation on the SUMMIT 2025 ADr Jimmy Schwarzkopf presentation on the SUMMIT 2025 A
Dr Jimmy Schwarzkopf presentation on the SUMMIT 2025 A
Dr. Jimmy Schwarzkopf
 
Cyber security cyber security cyber security cyber security cyber security cy...
Cyber security cyber security cyber security cyber security cyber security cy...Cyber security cyber security cyber security cyber security cyber security cy...
Cyber security cyber security cyber security cyber security cyber security cy...
pranavbodhak
 
Let’s Get Slack Certified! 🚀- Slack Community
Let’s Get Slack Certified! 🚀- Slack CommunityLet’s Get Slack Certified! 🚀- Slack Community
Let’s Get Slack Certified! 🚀- Slack Community
SanjeetMishra29
 
Agentic AI Explained: The Next Frontier of Autonomous Intelligence & Generati...
Agentic AI Explained: The Next Frontier of Autonomous Intelligence & Generati...Agentic AI Explained: The Next Frontier of Autonomous Intelligence & Generati...
Agentic AI Explained: The Next Frontier of Autonomous Intelligence & Generati...
Aaryan Kansari
 
Data Virtualization: Bringing the Power of FME to Any Application
Data Virtualization: Bringing the Power of FME to Any ApplicationData Virtualization: Bringing the Power of FME to Any Application
Data Virtualization: Bringing the Power of FME to Any Application
Safe Software
 
Gihbli AI and Geo sitution |use/misuse of Ai Technology
Gihbli AI and Geo sitution |use/misuse of Ai TechnologyGihbli AI and Geo sitution |use/misuse of Ai Technology
Gihbli AI and Geo sitution |use/misuse of Ai Technology
zainkhurram1111
 
TrustArc Webinar: Mastering Privacy Contracting
TrustArc Webinar: Mastering Privacy ContractingTrustArc Webinar: Mastering Privacy Contracting
TrustArc Webinar: Mastering Privacy Contracting
TrustArc
 
6th Power Grid Model Meetup - 21 May 2025
6th Power Grid Model Meetup - 21 May 20256th Power Grid Model Meetup - 21 May 2025
6th Power Grid Model Meetup - 21 May 2025
DanBrown980551
 
Agentic AI - The New Era of Intelligence
Agentic AI - The New Era of IntelligenceAgentic AI - The New Era of Intelligence
Agentic AI - The New Era of Intelligence
Muzammil Shah
 
Evaluation Challenges in Using Generative AI for Science & Technical Content
Evaluation Challenges in Using Generative AI for Science & Technical ContentEvaluation Challenges in Using Generative AI for Science & Technical Content
Evaluation Challenges in Using Generative AI for Science & Technical Content
Paul Groth
 
Cyber Security Legal Framework in Nepal.pptx
Cyber Security Legal Framework in Nepal.pptxCyber Security Legal Framework in Nepal.pptx
Cyber Security Legal Framework in Nepal.pptx
Ghimire B.R.
 
Measuring Microsoft 365 Copilot and Gen AI Success
Measuring Microsoft 365 Copilot and Gen AI SuccessMeasuring Microsoft 365 Copilot and Gen AI Success
Measuring Microsoft 365 Copilot and Gen AI Success
Nikki Chapple
 
ECS25 - The adventures of a Microsoft 365 Platform Owner - Website.pptx
ECS25 - The adventures of a Microsoft 365 Platform Owner - Website.pptxECS25 - The adventures of a Microsoft 365 Platform Owner - Website.pptx
ECS25 - The adventures of a Microsoft 365 Platform Owner - Website.pptx
Jasper Oosterveld
 
Improving Developer Productivity With DORA, SPACE, and DevEx
Improving Developer Productivity With DORA, SPACE, and DevExImproving Developer Productivity With DORA, SPACE, and DevEx
Improving Developer Productivity With DORA, SPACE, and DevEx
Justin Reock
 
LSNIF: Locally-Subdivided Neural Intersection Function
LSNIF: Locally-Subdivided Neural Intersection FunctionLSNIF: Locally-Subdivided Neural Intersection Function
LSNIF: Locally-Subdivided Neural Intersection Function
Takahiro Harada
 
New Ways to Reduce Database Costs with ScyllaDB
New Ways to Reduce Database Costs with ScyllaDBNew Ways to Reduce Database Costs with ScyllaDB
New Ways to Reduce Database Costs with ScyllaDB
ScyllaDB
 
Protecting Your Sensitive Data with Microsoft Purview - IRMS 2025
Protecting Your Sensitive Data with Microsoft Purview - IRMS 2025Protecting Your Sensitive Data with Microsoft Purview - IRMS 2025
Protecting Your Sensitive Data with Microsoft Purview - IRMS 2025
Nikki Chapple
 
Nix(OS) for Python Developers - PyCon 25 (Bologna, Italia)
Nix(OS) for Python Developers - PyCon 25 (Bologna, Italia)Nix(OS) for Python Developers - PyCon 25 (Bologna, Italia)
Nix(OS) for Python Developers - PyCon 25 (Bologna, Italia)
Peter Bittner
 
Introducing FME Realize: A New Era of Spatial Computing and AR
Introducing FME Realize: A New Era of Spatial Computing and ARIntroducing FME Realize: A New Era of Spatial Computing and AR
Introducing FME Realize: A New Era of Spatial Computing and AR
Safe Software
 
End-to-end Assurance for SD-WAN & SASE with ThousandEyes
End-to-end Assurance for SD-WAN & SASE with ThousandEyesEnd-to-end Assurance for SD-WAN & SASE with ThousandEyes
End-to-end Assurance for SD-WAN & SASE with ThousandEyes
ThousandEyes
 
Dr Jimmy Schwarzkopf presentation on the SUMMIT 2025 A
Dr Jimmy Schwarzkopf presentation on the SUMMIT 2025 ADr Jimmy Schwarzkopf presentation on the SUMMIT 2025 A
Dr Jimmy Schwarzkopf presentation on the SUMMIT 2025 A
Dr. Jimmy Schwarzkopf
 
Cyber security cyber security cyber security cyber security cyber security cy...
Cyber security cyber security cyber security cyber security cyber security cy...Cyber security cyber security cyber security cyber security cyber security cy...
Cyber security cyber security cyber security cyber security cyber security cy...
pranavbodhak
 
Let’s Get Slack Certified! 🚀- Slack Community
Let’s Get Slack Certified! 🚀- Slack CommunityLet’s Get Slack Certified! 🚀- Slack Community
Let’s Get Slack Certified! 🚀- Slack Community
SanjeetMishra29
 
Agentic AI Explained: The Next Frontier of Autonomous Intelligence & Generati...
Agentic AI Explained: The Next Frontier of Autonomous Intelligence & Generati...Agentic AI Explained: The Next Frontier of Autonomous Intelligence & Generati...
Agentic AI Explained: The Next Frontier of Autonomous Intelligence & Generati...
Aaryan Kansari
 
Data Virtualization: Bringing the Power of FME to Any Application
Data Virtualization: Bringing the Power of FME to Any ApplicationData Virtualization: Bringing the Power of FME to Any Application
Data Virtualization: Bringing the Power of FME to Any Application
Safe Software
 
Gihbli AI and Geo sitution |use/misuse of Ai Technology
Gihbli AI and Geo sitution |use/misuse of Ai TechnologyGihbli AI and Geo sitution |use/misuse of Ai Technology
Gihbli AI and Geo sitution |use/misuse of Ai Technology
zainkhurram1111
 
TrustArc Webinar: Mastering Privacy Contracting
TrustArc Webinar: Mastering Privacy ContractingTrustArc Webinar: Mastering Privacy Contracting
TrustArc Webinar: Mastering Privacy Contracting
TrustArc
 
6th Power Grid Model Meetup - 21 May 2025
6th Power Grid Model Meetup - 21 May 20256th Power Grid Model Meetup - 21 May 2025
6th Power Grid Model Meetup - 21 May 2025
DanBrown980551
 

Paper introduction to Combinatorial Optimization on Graphs of Bounded Treewidth

  • 1. Combinatorial Optimization on Graphs of Bounded Treewidth Combinatorial Optimization on Graphs of Bounded Treewidth HANS L. BODLAENDER AND ARIE M. C. A. KOSTER The Computer Journal Volume 51 Issue 3, May 2008 Yu LIU @ IPL Camp Aug 10th, 2014 1 / 42
  • 2. Combinatorial Optimization on Graphs of Bounded Treewidth Main Topic This Paper: Introduce the concepts of treewidth and tree decompositions Introduce a useful approach for obtaining fixed-parameter tractable algorithms surveys some of the latest (till 2007) developments Applicability Algorithms that exploit tree decompositions Algorithms that determine or approximate treewidth and find optimal tree decompositions 2 / 42
  • 3. Outline 1 Background 2 Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Generalization of DP Algorithms Using Tree Decompositions 3 Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Weighted Independent Set Treewidth and Fixed-Parameter Tractability 4 Determining The Treewidth of A Given Graph Exact Algorithms Approximation Algorithms Algorithmic Results for Planar Graphs 5 Remarks and Conclusions 6 Appendix
  • 4. Combinatorial Optimization on Graphs of Bounded Treewidth Background Turn NP-hard Problems to Be More Tractable Many combinatorial optimization problems defined on graphs belong to the class of NP-hard problems in general. However, in many cases, if the graphs are trees (connected graphs without cycles), or can construct some special trees form them the problem becomes polynomial time solvable. 3 / 42
  • 5. Combinatorial Optimization on Graphs of Bounded Treewidth Background Weighted Independent Set Problem (WIS) Definition ((Maximum) Weighted Independent Set) Input is a graph G = (V , E) with vertex weights c(v) ∈ Z+, v ∈ V . Output is a subset S ⊆ V such that ∀v ∈ S are pairwise non-adjacent so that the sum of the weights c(S) = v∈S c(v) is maximized. NP-hard for general cases Linear solvable on trees 4 / 42
  • 6. Combinatorial Optimization on Graphs of Bounded Treewidth Background Linear Algorithm for WIS on Trees Root the tree at an arbitrary vertex r let T(v) denote the subtree with v as root: A(v) denotes the maximum weight of an independent set in T(v) B(v) denotes the maximum weight of an independent set in T(v) not containing v For a non-leaf vertex v its children are x1, ..., xr Algorithm leaf: A(v) := c(v) and B(v) := 0 non-leaf: A(v) := c(v) + B(x1) + ... + B(xr ) ↑ A(x1) + ... + A(xr ) bottom-to-top compute A(v) for every v, until A(r) 5 / 42
  • 7. Outline 1 Background 2 Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Generalization of DP Algorithms Using Tree Decompositions 3 Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Weighted Independent Set Treewidth and Fixed-Parameter Tractability 4 Determining The Treewidth of A Given Graph Exact Algorithms Approximation Algorithms Algorithmic Results for Planar Graphs 5 Remarks and Conclusions 6 Appendix
  • 8. Combinatorial Optimization on Graphs of Bounded Treewidth Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Series-Parallel Graphs A two-terminal labeled graph (G, s, t) consists of a graph G with a marked source s ∈ V , and sink t ∈ V . New graphs can be composed from two two-terminal labeled graphs in two ways: in series or in parallel. 6 / 42
  • 9. Combinatorial Optimization on Graphs of Bounded Treewidth Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs SP-Tree For every series-parallel graph, we can construct a so-called SP-tree: The leafs of the SP-tree T(G) correspond to the edges e ∈ E the internal nodes are either labelled S or P for series and parallel composition of the series-parallel graphs associated by the child-subtrees 7 / 42
  • 10. Combinatorial Optimization on Graphs of Bounded Treewidth Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Polynomial-Time Algorithm for WIS on SP-Trees G(i) denotes the series-parallel graph that is associated with node i of the SP-tree. AA(i): maximum weight of independent set containing both s and t AB(i): maximum weight of independent set containing both s but not t, BA(i): maximum weight of independent set containing both t but not s BB(i): maximum weight of independent set containing neither s nor t, 8 / 42
  • 11. Combinatorial Optimization on Graphs of Bounded Treewidth Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Polynomial-Time Algorithm for WIS on SP-Trees For leaves, AA(i) := −∞ AB(i) := c(s) BA(i) := c(t) BB(i) := 0 8 / 42
  • 12. Combinatorial Optimization on Graphs of Bounded Treewidth Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Polynomial-Time Algorithm for WIS on SP-Trees For non-leaves (S-node), AA(i) := AA(i1) + AA(i2) + c(s ) ↑ AB(i1) + BA(i2) AB(i) := AA(i1) + AB(i2) + c(s ) ↑ AB(i1) + BB(i2) BA(i) := BA(i1) + AA(i2) + c(s ) ↑ BB(i1) + BA(i2) BB(i) := BA(i1) + AB(i2) + c(s ) ↑ BB(i1) + BB(i2) 8 / 42
  • 13. Combinatorial Optimization on Graphs of Bounded Treewidth Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Polynomial-Time Algorithm for WIS on SP-Trees For non-leaves (P-node), AA(i) := AA(i1) + AA(i2) − c(s) − c(t) AB(i) := AB(i1) + AB(i2) − c(s) BA(i) := BA(i1) + BA(i2) − c(t) BB(i) := BB(i1) + BB(i2) 8 / 42
  • 14. Combinatorial Optimization on Graphs of Bounded Treewidth Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Graphs of Bounded Treewidth Similar approach can be found for more general graphs, if they have bounded treewidth. 9 / 42
  • 15. Combinatorial Optimization on Graphs of Bounded Treewidth Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Tree Decompositions (TD) of Graphs A Tree Decomposition [Robertson and Seymour ’86] of a graph G(V , E) is a pair: ({Xi |i ∈ I}, T(I, F)). 10 / 42
  • 16. Combinatorial Optimization on Graphs of Bounded Treewidth Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Tree Decompositions of Graphs Tree Decomposition Related concepts: Path-decomposition [Robertson and Seymour ’83] Branch-decomposition [Robertson and Seymour ’91] 11 / 42
  • 17. Combinatorial Optimization on Graphs of Bounded Treewidth Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Treewidth of Graph Treewidth is a decisive parameter on the computation complexity. The width of a tree decomposition (T, {Xi |i ∈ I}): maxi∈I ||Xi | − 1| The treewidth of G is the minimum width over all tree decompositions of G. Computing treewidth of general graphs is a NP-hard problem [Arnborg’87] 12 / 42
  • 18. Combinatorial Optimization on Graphs of Bounded Treewidth Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Nice Tree Decomposition A special type of tree decomposition that is very useful for describing dynamic programming algorithms. Definition (Nice Tree Decomposition) 13 / 42
  • 19. Combinatorial Optimization on Graphs of Bounded Treewidth Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Nice Tree Decomposition A special type of tree decomposition that is very useful for describing dynamic programming algorithms. 13 / 42
  • 20. Combinatorial Optimization on Graphs of Bounded Treewidth Efficient DP Algorithms on Graphs of Small Treewidth Generalization of DP Algorithms Using Tree Decompositions Dynamic Programming on Tree Decompositions Constructing DP tables in bottom-up manner [Arn- borg+’87,Bodlaender+’88]. The computation finished when achieve the root node. The size of table is decided by the treewidth. 14 / 42
  • 21. Outline 1 Background 2 Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Generalization of DP Algorithms Using Tree Decompositions 3 Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Weighted Independent Set Treewidth and Fixed-Parameter Tractability 4 Determining The Treewidth of A Given Graph Exact Algorithms Approximation Algorithms Algorithmic Results for Planar Graphs 5 Remarks and Conclusions 6 Appendix
  • 22. Combinatorial Optimization on Graphs of Bounded Treewidth Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Weighted Independent Set Polynomial-Time Algorithm for WIS on Nice TD Suppose input is a graph G(V , E) and a (nice) tree decomposition of G of width k, say ({Xi |i ∈ I}, T(I, F), an O(2k n)-time algorithm exists. For each node i ∈ I, we compute a table, which we term Ci that contains an integer value for each subset S ⊆ Xi . Each table Ci contains at most 2k+1 values. For a node i, we use Gi (Vi , Ei ) to denote the subgraph induced by Xi and all its descendant (corresponding to the subtree rooted by i). Each of these values Ci (S), for S ⊆ Xi , equals the maximum weight of an independent set W ⊆ Vi in Gi such that Xi ∩ W = S. In case no independent set exists, we set Ci (S) = −∞ 15 / 42
  • 23. Combinatorial Optimization on Graphs of Bounded Treewidth Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Weighted Independent Set Computing Leaf-Node Table If i is a leaf of T, then |Xi | = 1, say Xi = {v}. The table Ci has only two entries, and we can compute these trivially: Ci (∅) = 0 and Ci ({v}) = c(v). 16 / 42
  • 24. Combinatorial Optimization on Graphs of Bounded Treewidth Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Weighted Independent Set Computing Introduce-Node Table Suppose i is an introduce node with child j. Suppose Xi = Xj ∪ {v}. Each of the at most 2k+1 entries can be computed in O(k) time. 17 / 42
  • 25. Combinatorial Optimization on Graphs of Bounded Treewidth Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Weighted Independent Set Computing Forget-Node Table Suppose i is an forget node with child j. Suppose Xi = Xj − {v}. 18 / 42
  • 26. Combinatorial Optimization on Graphs of Bounded Treewidth Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Weighted Independent Set Computing Join-Node Table Suppose i is a join node with children j1 and j2. Any two vertices picked form Gj1 and Gj2 are not adjacent if they are not in Xi . 19 / 42
  • 27. Combinatorial Optimization on Graphs of Bounded Treewidth Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Weighted Independent Set Computing Join-Node Table Suppose i is a join node with children j1 and j2. x y z x y z x y z ... ... 19 / 42
  • 28. Combinatorial Optimization on Graphs of Bounded Treewidth Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Weighted Independent Set Putting It All Together When we have computed the table for root node we can find the WIS. 20 / 42
  • 29. Combinatorial Optimization on Graphs of Bounded Treewidth Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Treewidth and Fixed-Parameter Tractability On Fixed-Parameter Tractab (FPT) Problems Many problems that can be solved in O(f (k).n) time when the graph is given with a (nice) tree decomposition of width k (with O(n) nodes), for some function f . Hamiltonian Circuit Chromatic Number (vertex colouring), Vertex Cover Steiner Tree Feedback Vertex Set ... Similar algorithms (as to WIS) exist [Telle and Proskurowski], [Koster et al.], [Arnborg and Proskurowski], [Bern et al.] and [Wimer et al.]. 21 / 42
  • 30. Combinatorial Optimization on Graphs of Bounded Treewidth Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Treewidth and Fixed-Parameter Tractability Establishing Fixed-Parameter Tractability Treewidth can be used in several cases to quickly establish that a problem is FPT. For example, Longest Cycle problem: given an undirected graph G(V , E), and an integer k, and ask if G has a cycle of at least k edges. Feedback Vertex Set problem: given an undirected graph G(V , E) and an integer k, and ask for a set of vertices W of size at most k that is a feedback vertex set, i.e. G[V − W ] is a forest. 22 / 42
  • 31. Combinatorial Optimization on Graphs of Bounded Treewidth Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Treewidth and Fixed-Parameter Tractability Other Results If we have a bounded width tree decomposition of G. For each graph property that can be formulated in Monadic Second-Order Logic (MSOL), there is a linear time algorithm that verifies if the property holds for the given graph G [Courcelle] in [Arnborg et al.] and [Borie et al.], it is shown that the above result can be extended to optimisation problems A more extensive overview of MSOL and its applications can be found in [Hlineny et al]. The use of tree decompositions for solving problems can also be found in the area of probabilistic networks [Cooper], [Lauritzen and Spiegelhalter]. 23 / 42
  • 32. Combinatorial Optimization on Graphs of Bounded Treewidth Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Treewidth and Fixed-Parameter Tractability The Theoretical and Actual Table Sizes The picture shows partial constraint satisfaction graph and actual table sizes versus theoretical table sizes during dynamic programming algorithm. With pre-processing and reduction techniques the actual table sizes could be kept within the main memory size [Koster et al] . 24 / 42
  • 33. Outline 1 Background 2 Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Generalization of DP Algorithms Using Tree Decompositions 3 Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Weighted Independent Set Treewidth and Fixed-Parameter Tractability 4 Determining The Treewidth of A Given Graph Exact Algorithms Approximation Algorithms Algorithmic Results for Planar Graphs 5 Remarks and Conclusions 6 Appendix
  • 34. Combinatorial Optimization on Graphs of Bounded Treewidth Determining The Treewidth of A Given Graph Exact Algorithms FPT and Exact Algorithms Treewidth belongs to FPT. [Bodlaender’96] gives a linear algorithm. O(nk+2) algorithm [Arnborg et al. ’87] An O(nn−k) branch and bound algorithm based on vertex-ordering has been proposed by [Gogate and Dechter] Others: O(2np(n)) [Arnborg et al. ’87], O(1.8899np(n)) [Fomin et al.] (p(n) denotes a polynomial in n) 25 / 42
  • 35. Combinatorial Optimization on Graphs of Bounded Treewidth Determining The Treewidth of A Given Graph Approximation Algorithms Overview Algorithms with algorithmic guarantee (log k)-approximation algorithm (O(k log k), O(k √ log k)) exit algorithms that run in time polynomial in n but exponential in the treewidth k not known whether there exist constant approximation algorithms that run in time polynomial in n and k. Heuristic algorithms (without algorithmic guarantee) based on Lexicographic Breadth First Search (LBFS) /Maximum Cardinality Search (MCS) fill-in based algorithms ∗ meta-heuristics have been applied to find good tree decompositions (Tabu search [Clautiaux et al. ’04], genetic algorithms (Larranaga et al. ’97) ∗ The Fill-In problem is to determine the minimum number of edges to be added to a graph G such that the result is chordal. 26 / 42
  • 36. Combinatorial Optimization on Graphs of Bounded Treewidth Determining The Treewidth of A Given Graph Approximation Algorithms Some Definiations on Graph Theory 27 / 42
  • 37. Combinatorial Optimization on Graphs of Bounded Treewidth Determining The Treewidth of A Given Graph Approximation Algorithms Important Lemmers for Approximation Algorithm 28 / 42
  • 38. Combinatorial Optimization on Graphs of Bounded Treewidth Determining The Treewidth of A Given Graph Approximation Algorithms Lower Bound The lower bound bounds the treewidth from below. A good estimate of the true treewidth of a graph might obtained A high lower bound on the treewidth for a particular class of graphs indicates that the applicability of the dynamic programming methodology is limited 29 / 42
  • 39. Combinatorial Optimization on Graphs of Bounded Treewidth Determining The Treewidth of A Given Graph Approximation Algorithms Key Points for Approximation The treewidth of graphs is closed under taking subgraphs and minors However, easy-to-compute lower bounds for treewidth are not closed under taking subgraphs and minors 30 / 42
  • 40. Combinatorial Optimization on Graphs of Bounded Treewidth Determining The Treewidth of A Given Graph Approximation Algorithms Some Results of Lower Bound let the minimum degree of graph G be denoted as δ(G) := minv∈V |N(v)| [Scheffler ’89] then δ(G) ≤ tw(G), and we can also have two bounds: δD(G) := maxH⊆G δ(H) (H is a subset) δC(G) := maxH G δ(H) (H is a minor) δC(G) can only be approximated (from below) MCS algorithm can also be used for lower bounding 31 / 42
  • 41. Combinatorial Optimization on Graphs of Bounded Treewidth Determining The Treewidth of A Given Graph Algorithmic Results for Planar Graphs Some Results A polynomial time algorithm for branchwidth exits [Seymour and Thomas ’94] Hicks [’05a, ’05b] has shown that it is practical. It is an open question whether the treewidth of planar graphs can be computed in polynomial time. 32 / 42
  • 42. Combinatorial Optimization on Graphs of Bounded Treewidth Determining The Treewidth of A Given Graph Algorithmic Results for Planar Graphs Some Results In polynomial time we can obtain a tree decomposition of width at most 1.5 k It is an open question whether the treewidth of planar graphs can be computed in polynomial time. 33 / 42
  • 43. Combinatorial Optimization on Graphs of Bounded Treewidth Determining The Treewidth of A Given Graph Algorithmic Results for Planar Graphs Treewidth of Planar Graphs For instance, a planar graph of treewidth k has a 1/2-balanced separator † of size at most k + 1. † A set S is a 1/2-balanced separator in a graph G(V , E), if each connected component of G[V − S] has at most 1/2n vertices. 34 / 42
  • 44. Combinatorial Optimization on Graphs of Bounded Treewidth Determining The Treewidth of A Given Graph Algorithmic Results for Planar Graphs Theorem 14 can be used to obtain faster exponential time algorithms for NP-hard problems on planar graphs. O∗(c √ n)-time algorithm (for some constant c) for WIS, Dominating Set, Vertex Cover, etc. If a problem has an algorithm solving it in O(ckn) time when a tree decomposition of width k is given, then it can be solved on planar graphs in O∗(c √ n) time. [Dorn et al.] If a planar graph G has a dominating set of size at most k, then its treewidth is O( √ k). 35 / 42
  • 45. Combinatorial Optimization on Graphs of Bounded Treewidth Determining The Treewidth of A Given Graph Algorithmic Results for Planar Graphs Approximation Algorithms on Planar Graphs Given a plane embedding of a planar graph G(V , E), we divide its vertices into layersL1, L2, ..., LT in the following way. All vertices that are incident to the exterior face are in layer L1. For i ≤ 1, suppose we remove from the embedding all vertices in layers L1, ..., Li , and their incident edges. All vertices that are then incident to the exterior face are in layer Li+1. LT is thus the last nonempty layer. A plane graph that has an embedding where the vertices are in k layers is called k-outerplanar. 36 / 42
  • 46. Outline 1 Background 2 Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Generalization of DP Algorithms Using Tree Decompositions 3 Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Weighted Independent Set Treewidth and Fixed-Parameter Tractability 4 Determining The Treewidth of A Given Graph Exact Algorithms Approximation Algorithms Algorithmic Results for Planar Graphs 5 Remarks and Conclusions 6 Appendix
  • 47. Combinatorial Optimization on Graphs of Bounded Treewidth Remarks and Conclusions This paper surveyed the concept of treewidth in the context of FPT algorithms. Treewidth provides a powerful tool for determining the fixed-parameter tractability of general NP-hard combinatorial optimization problems. Research about treewidth has exposed the strong potential of the concept of bounded treewidth for addressing the challenges posed by NP-hard combinatorial optimization problems 37 / 42
  • 48. Outline 1 Background 2 Efficient DP Algorithms on Graphs of Small Treewidth For Series-Parallel Graphs Generalization of DP Algorithms Using Tree Decompositions 3 Designing Algorithms To Solve problems on Graphs Given with A Tree Decomposition with Small Treewidth Weighted Independent Set Treewidth and Fixed-Parameter Tractability 4 Determining The Treewidth of A Given Graph Exact Algorithms Approximation Algorithms Algorithmic Results for Planar Graphs 5 Remarks and Conclusions 6 Appendix
  • 49. Combinatorial Optimization on Graphs of Bounded Treewidth Appendix FPT 38 / 42
  • 50. Combinatorial Optimization on Graphs of Bounded Treewidth Appendix MCS/LBFS 39 / 42
  • 51. Combinatorial Optimization on Graphs of Bounded Treewidth Appendix Branch-decomposition 40 / 42
  • 52. Combinatorial Optimization on Graphs of Bounded Treewidth Appendix Branch-decomposition 41 / 42
  • 53. Combinatorial Optimization on Graphs of Bounded Treewidth Appendix Path-decomposition A path-decomposition is a tree decomposition ({Xi |i ∈ I}, T(I, F)) in which the underlying tree T of the decomposition is a path graph. For each edge of G, there exists an i such that both endpoints of the edge belong to Xi , and For every three indices i ≤ j ≤ k, Xi ∩ Xk ⊆ Xj . 42 / 42