SlideShare a Scribd company logo
Connected Dominating Set and
        Short Cycles
Connected Dominating Set and
        Short Cycles
   Joint work with Geevarghese Philip, Venkatesh Raman
                    and Saket Saurabh


          The Institute of Mathematical Sciences, Chennai
Polynomial Kernels
   No Polynomial Kernels, but FPT
              W-hard


๎€„e impact of excluding short cycles.




     Talk Outline
Polynomial Kernels
   No Polynomial Kernels, but FPT
              W-hard


๎€„e impact of excluding short cycles.




     Talk Outline
Polynomial Kernels
No Polynomial Kernels, but FPT
           W-hard


      Girth: at least seven




  Talk Outline
Polynomial Kernels ( 7)
No Polynomial Kernels, but FPT
          W-hard


        Girth: ๏ฌve or six




  Talk Outline
Polynomial Kernels ( 7)
No Polynomial Kernels, but FPT (5, 6)
              W-hard


          Girth: at most four




     Talk Outline
Polynomial Kernels ( 7)
No Polynomial Kernels, but FPT (5, 6)
          W-hard ( 4)


           Girth: at least seven




     Talk Outline
Polynomial Kernels ( 7)
                No Polynomial Kernels, but FPT (5, 6)
                          W-hard ( 4)


๎€„e longer the cycles we exclude, the easier the problem becomes to solve.




                      Talk Outline
Polynomial Kernels ( 7)
                No Polynomial Kernels, but FPT (5, 6)
                          W-hard ( 4)


๎€„e longer the cycles we exclude, the easier the problem becomes to solve.




                      Talk Outline
Part 1

    Why Its Useful
to not have short cycles
Consider the problem of domination:
Consider the problem of domination:


Find a subset of at most k vertices S such that every v โˆˆ V is either in S or
has a neighbor in S.
Consider the problem of domination:


Find a subset of at most k vertices S such that every v โˆˆ V is either in S or
has a neighbor in S.


Let us consider graphs of girth at least ๏ฌve.
Consider the problem of domination:


Find a subset of at most k vertices S such that every v โˆˆ V is either in S or
has a neighbor in S.


Let us consider graphs of girth at least ๏ฌve.
We begin by examining vertices of degree more than k.
Does there exist a dominating set of size at most k that does not include
                            the red vertex?
Who dominates the neighbors of the red vertex?
Does there exist a dominating set of size at most k that does not include
                            the red vertex?
Who dominates the neighbors of the red vertex?
Clearly, it is not the case that each one dominates itself.
Who dominates the neighbors of the red vertex?
Clearly, it is not the case that each one dominates itself.
Either a vertex from within the neighborhood dominates at least two of
                               vertices...
or a vertex from โ€œoutsideโ€ the neighborhood dominates at least two of the
                                 vertices...
High Degree Vertices


                 On graphs that have girth at least ๏ฌve:

Any vertex of degree more than k belongs to any dominating set of size at
                                most k.
Notice that the number of reds is at most k and the number of blues is at
                                most k2 .
Greens in the neighborhood of a blue vertex cannot have a common red
                             neighbor.
๎€„us, for every blue vertex, there are at most k green vertices.
vertices that have been dominated that have
      no edges into blue are irrelevant.
So now all is bounded, and we have a happy ending: a kernel on at most

                           O(k + k2 + k3 )

vertices.
Part 2

   FPT Algorithms
and Polynomial Kernels
In the connected dominating set situation, we have to backtrack a small
way in the story so far to see what fails, and how badly.
High Degree Vertices


                 On graphs that have girth at least ๏ฌve:


Any vertex of degree more than k belongs to any dominating set of size at
                                most k.
High Degree Vertices


                 On graphs that have girth at least ๏ฌve:

                                        connected
Any vertex of degree more than k belongs to any dominating set of size at
                                most k.
Notice that the number of reds is at most k and the number of blues is
                         again at most k2 .
Greens in the neighborhood of a blue vertex cannot have a common red
                             neighbor.
๎€„us, for every blue vertex, there are at most k green vertices.
vertices that have been dominated that have
      no edges into blue are irrelevant.
vertices that have been dominated that have
      no edges into blue are irrelevant.



            Not any more...
any connected dom set contains a minimal dom set
  that resides in the bounded part of the graph.
Now we know what to do:
Now we know what to do:


Guess the minimal dominating set.
Now we know what to do:


Guess the minimal dominating set.


Extend it to a connected dominating set by an application of a Steiner
Tree algorithm.
Now we know what to do:


Guess the minimal dominating set.


Extend it to a connected dominating set by an application of a Steiner
Tree algorithm.


๎€„is is evidently FPT.
Now we know what to do:


Guess the minimal dominating set.


Extend it to a connected dominating set by an application of a Steiner
Tree algorithm.


๎€„is is evidently FPT. What about kernels?
It turns out that if G did not admit cycles of length six and less, then the
number of green vertices can be bounded.
It turns out that if G did not admit cycles of length six and less, then the
number of green vertices can be bounded.


And we will show (later) that on graphs of girth ๏ฌve, connected
dominating set is unlikely to admit polynomial kernels.
Low Degree Vertices


If there is blue pendant vertex, make its neighbor red.

  If there is a green vertex that is pendant, delete it.

   If there is a blue vertex that is isolated, say no.
no pair 'sees' more than one vertex.
So now the green vertices are bounded:
  โ€ข At most O(k3 ) with at least one neighbor in the blues,
  โ€ข At most O(k2 ) with only red neighbors,
  โ€ข At most O(k2 ) with no blue neighbors and at least one white
     neighbor.
So now the green vertices are bounded:
   โ€ข At most O(k3 ) with at least one neighbor in the blues,
   โ€ข At most O(k2 ) with only red neighbors,
   โ€ข At most O(k2 ) with no blue neighbors and at least one white
     neighbor.


๎€„is gives us a O(k3 ) vertex kernel.
The Hard Part

Infeasibility of Polynomial Kernelization
             and W-hardness
Introducing...
Introducing...


F๏ก๏ฉ๏ฒ C๏ฏ๏ฎ๏ฎ๏ฅ๏ฃ๏ด๏ฅ๏ค C๏ฏ๏ฌ๏ฏ๏ฒ๏ณ
Introducing...


F๏ก๏ฉ๏ฒ C๏ฏ๏ฎ๏ฎ๏ฅ๏ฃ๏ด๏ฅ๏ค C๏ฏ๏ฌ๏ฏ๏ฒ๏ณ


NP-complete      FPT   Compositional
Introducing...


F๏ก๏ฉ๏ฒ C๏ฏ๏ฎ๏ฎ๏ฅ๏ฃ๏ด๏ฅ๏ค C๏ฏ๏ฌ๏ฏ๏ฒ๏ณ


NP-complete      FPT   Compositional


Ready for reduction!
Promise: Every vertex has degree at most one into
any color class, and every color class is independent.

     Question: Does there exist a colorful tree?
Add global vertices (with guards) to each of the color classes. subdivide
                              the edges,
   add a global vertex for the newly added vertices (with guards).
Between a pair of color classes:
Between a pair of color classes:
โ€ข subdivide the edges,
Between a pair of color classes:
โ€ข subdivide the edges,
โ€ข add a global vertex for the newly added vertices
Between a pair of color classes:
โ€ข subdivide the edges,
โ€ข add a global vertex for the newly added vertices (with guards).
For vertices that donโ€™t look inside the neighboring color class, add a path of
 length two to the global vertex. add a global vertex for the newly added
                            vertices (with guards).
Here is (1/k2 )th of the full picture. subdivide the edges,
add a global vertex for the newly added vertices (with guards).
Notice that we have ended up with a bipartite graph... subdivide the edges,
     add a global vertex for the newly added vertices (with guards).
....with a cycle of length six. subdivide the edges,
add a global vertex for the newly added vertices (with guards).
Suppose we have a colorful tree in the source instance.
Consider the same subset.
(along with the subdivided vertices along the edges of the tree)
๎€„is is a connected subset, but not dominating.
To ๏ฌx this, add all the global vertices to this set.
(k)
๎€„ere are k +    2    such vertices.
Now we have a dominating set, but itโ€™s not connected any more!
Letโ€™s look more closely.
๎€„e vertices global to color classes are connected to the tree.
Some of the other vertices are connected too!
Each of the rest corresponds to a non-edge in the tree,
for which we add the path of length two to the picture.
๎€„e size of the connected dominating set thus obtained is:
๎€„e size of the connected dominating set thus obtained is:


                                  (k)
                              2    2    + 2k
๎€„e size of the connected dominating set thus obtained is:


                                    (k)
                                2    2    + 2k

        Two vertices for every pair of original vertices in the tree.
                   (A global vertex, and a neighbor.)
๎€„e size of the connected dominating set thus obtained is:


                                   (k)
                               2    2    + 2k

            Two vertices for every original vertex in the tree:
              itself, and the corresponding global vertex.
And that works out to...


                               (k)
                           2    2    + 2k

                           = k2 + k
Let S be a connected dominating set of size at most:
                        ( ) ( )
                          k        k
                              +        +k+k
                          2        2
Let S be a connected dominating set of size at most:
                        ( ) ( )
                          k        k
                              +        +k+k
                          2        2
Of course, global vertices are forced in S, because of the guard vertices.
Let S be a connected dominating set of size at most:
                        ( ) ( )
                          k        k
                              +        +k+k
                          2        2
   Since S is a connected subset, each of these vertices have at least one
                              neighbor in S.
Let S be a connected dominating set of size at most:
                        ( ) ( )
                          k        k
                              +        +k+k
                          2        2
   Since S is a connected subset, each of these vertices have at least one
                              neighbor in S.


                Because of the budget, each of them have...
Let S be a connected dominating set of size at most:
                        ( ) ( )
                          k        k
                              +        +k+k
                          2        2
   Since S is a connected subset, each of these vertices have exactly one
                              neighbor in S.


                Because of the budget, each of them have...
๎€„us, the dominating set picks exactly one vertex from each color class.
๎€„us, the dominating set picks exactly one vertex from each color class.

 โ€ข Neglect the global vertices and โ€œsubdivision verticesโ€ of degree one, to
   be left with a connected subtree with subdivided edges.
๎€„us, the dominating set picks exactly one vertex from each color class.

 โ€ข Neglect the global vertices and โ€œsubdivision verticesโ€ of degree one, to
   be left with a connected subtree with subdivided edges.
 โ€ข ๎€„is can be easily pulled back to a colorful tree of the original graph.
๎€„e W-hardness result.
A dominating set
        instance



G
We begin by
    making a copy of the graph.



G
G   G
๎€„en, for every edge in G,
we stretch it across the copies.
๎€„en, for every edge in G,
we stretch it across the copies.
Finally, add a new vertex to each copy,
with one of them global to the other copy.
Any old dominating set + new global vertex
    = new connected dominating set.
Any new dominating set contains the newly added
           global vertex WLOG.
Consider now the vertices of the
new connected dominating set.
Observe that they form a
 dominating set of G.
Takk

More Related Content

Viewers also liked

Dominating set of fixed size in degenerated graph
Dominating set of fixed size in degenerated graphDominating set of fixed size in degenerated graph
Dominating set of fixed size in degenerated graph
Abner Chih Yi Huang
ย 
Steiner Tree Parameterized by Treewidth
Steiner Tree Parameterized by TreewidthSteiner Tree Parameterized by Treewidth
Steiner Tree Parameterized by Treewidth
ASPAK2014
ย 
Steiner Minimal Trees
Steiner Minimal TreesSteiner Minimal Trees
Steiner Minimal Trees
tbadri
ย 
Connected Total Dominating Sets and Connected Total Domination Polynomials of...
Connected Total Dominating Sets and Connected Total Domination Polynomials of...Connected Total Dominating Sets and Connected Total Domination Polynomials of...
Connected Total Dominating Sets and Connected Total Domination Polynomials of...
iosrjce
ย 
Dynamic Parameterized Problems - Algorithms and Complexity
Dynamic Parameterized Problems - Algorithms and ComplexityDynamic Parameterized Problems - Algorithms and Complexity
Dynamic Parameterized Problems - Algorithms and Complexity
cseiitgn
ย 
Connected Dominating Set Construction Algorithm for Wireless Sensor Networks ...
Connected Dominating Set Construction Algorithm for Wireless Sensor Networks ...Connected Dominating Set Construction Algorithm for Wireless Sensor Networks ...
Connected Dominating Set Construction Algorithm for Wireless Sensor Networks ...
ijsrd.com
ย 
Internet of Things
Internet of ThingsInternet of Things
Internet of Things
pandey97
ย 
Exact Algorithms for Minimum Edge Dominating Set and Lowest Edge Dominating Set
Exact Algorithms for Minimum Edge Dominating Set and Lowest Edge Dominating SetExact Algorithms for Minimum Edge Dominating Set and Lowest Edge Dominating Set
Rapport d'expose (supply chain management)
Rapport d'expose (supply chain management)Rapport d'expose (supply chain management)
Rapport d'expose (supply chain management)
youness jabbar
ย 
Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...
Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...
Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...
Moses Boudourides
ย 
La logistique et le transport
La logistique et le transportLa logistique et le transport
La logistique et le transport
Karl Miville de Chene EMBA PACI
ย 
Traรงabilitรฉ, son rรดle dans logistique inverse
Traรงabilitรฉ, son rรดle dans logistique inverseTraรงabilitรฉ, son rรดle dans logistique inverse
Traรงabilitรฉ, son rรดle dans logistique inverse
Ayoub Elotmani
ย 
Diagnostic performances
Diagnostic performancesDiagnostic performances
Diagnostic performances
Claude Falguiere
ย 

Viewers also liked (13)

Dominating set of fixed size in degenerated graph
Dominating set of fixed size in degenerated graphDominating set of fixed size in degenerated graph
Dominating set of fixed size in degenerated graph
ย 
Steiner Tree Parameterized by Treewidth
Steiner Tree Parameterized by TreewidthSteiner Tree Parameterized by Treewidth
Steiner Tree Parameterized by Treewidth
ย 
Steiner Minimal Trees
Steiner Minimal TreesSteiner Minimal Trees
Steiner Minimal Trees
ย 
Connected Total Dominating Sets and Connected Total Domination Polynomials of...
Connected Total Dominating Sets and Connected Total Domination Polynomials of...Connected Total Dominating Sets and Connected Total Domination Polynomials of...
Connected Total Dominating Sets and Connected Total Domination Polynomials of...
ย 
Dynamic Parameterized Problems - Algorithms and Complexity
Dynamic Parameterized Problems - Algorithms and ComplexityDynamic Parameterized Problems - Algorithms and Complexity
Dynamic Parameterized Problems - Algorithms and Complexity
ย 
Connected Dominating Set Construction Algorithm for Wireless Sensor Networks ...
Connected Dominating Set Construction Algorithm for Wireless Sensor Networks ...Connected Dominating Set Construction Algorithm for Wireless Sensor Networks ...
Connected Dominating Set Construction Algorithm for Wireless Sensor Networks ...
ย 
Internet of Things
Internet of ThingsInternet of Things
Internet of Things
ย 
Exact Algorithms for Minimum Edge Dominating Set and Lowest Edge Dominating Set
Exact Algorithms for Minimum Edge Dominating Set and Lowest Edge Dominating SetExact Algorithms for Minimum Edge Dominating Set and Lowest Edge Dominating Set
Exact Algorithms for Minimum Edge Dominating Set and Lowest Edge Dominating Set
ย 
Rapport d'expose (supply chain management)
Rapport d'expose (supply chain management)Rapport d'expose (supply chain management)
Rapport d'expose (supply chain management)
ย 
Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...
Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...
Short version of Dominating Sets, Multiple Egocentric Networks and Modularity...
ย 
La logistique et le transport
La logistique et le transportLa logistique et le transport
La logistique et le transport
ย 
Traรงabilitรฉ, son rรดle dans logistique inverse
Traรงabilitรฉ, son rรดle dans logistique inverseTraรงabilitรฉ, son rรดle dans logistique inverse
Traรงabilitรฉ, son rรดle dans logistique inverse
ย 
Diagnostic performances
Diagnostic performancesDiagnostic performances
Diagnostic performances
ย 

Similar to Connected Dominating Set and Short Cycles

Cheat Sheets for Hard Problems
Cheat Sheets for Hard ProblemsCheat Sheets for Hard Problems
Cheat Sheets for Hard Problems
Neeldhara Misra
ย 
Algorithm chapter 9
Algorithm chapter 9Algorithm chapter 9
Algorithm chapter 9
chidabdu
ย 
Approx
ApproxApprox
Approx
guest0264d3b
ย 
Polynomial Kernel for Interval Vertex Deletion
Polynomial Kernel for Interval Vertex DeletionPolynomial Kernel for Interval Vertex Deletion
Polynomial Kernel for Interval Vertex Deletion
AkankshaAgrawal55
ย 
Kernel for Chordal Vertex Deletion
Kernel for Chordal Vertex DeletionKernel for Chordal Vertex Deletion
Kernel for Chordal Vertex Deletion
AkankshaAgrawal55
ย 
B.TECH Math project
B.TECH Math projectB.TECH Math project
B.TECH Math project
arunsarkar9
ย 
Linear Programming- Leacture-16-lp1.pptx
Linear Programming- Leacture-16-lp1.pptxLinear Programming- Leacture-16-lp1.pptx
Linear Programming- Leacture-16-lp1.pptx
SarahKoech1
ย 
G374044.pdf
G374044.pdfG374044.pdf
G374044.pdf
ajmrdjournals
ย 
G374044.pdf
G374044.pdfG374044.pdf
G374044.pdf
ajmrdjournals
ย 
33 spanning-trees
33 spanning-trees33 spanning-trees
33 spanning-trees
guruganesh10
ย 
Community Detection
Community DetectionCommunity Detection
Community Detection
Ilio Catallo
ย 
From FVS to F-Deletion
From FVS to F-DeletionFrom FVS to F-Deletion
From FVS to F-Deletion
Neeldhara Misra
ย 
Algorithm chapter 11
Algorithm chapter 11Algorithm chapter 11
Algorithm chapter 11
chidabdu
ย 
An FPT Algorithm for Maximum Edge Coloring
An FPT Algorithm for Maximum Edge ColoringAn FPT Algorithm for Maximum Edge Coloring
An FPT Algorithm for Maximum Edge Coloring
Neeldhara Misra
ย 
A superglue for string comparison
A superglue for string comparisonA superglue for string comparison
A superglue for string comparison
BioinformaticsInstitute
ย 
MinFill_Presentation
MinFill_PresentationMinFill_Presentation
MinFill_Presentation
Anna Lasota
ย 
SPLIT BLOCK SUBDIVISION DOMINATION IN GRAPHS
SPLIT BLOCK SUBDIVISION DOMINATION IN GRAPHSSPLIT BLOCK SUBDIVISION DOMINATION IN GRAPHS
SPLIT BLOCK SUBDIVISION DOMINATION IN GRAPHS
International Journal of Technical Research & Application
ย 
Skiena algorithm 2007 lecture20 satisfiability
Skiena algorithm 2007 lecture20 satisfiabilitySkiena algorithm 2007 lecture20 satisfiability
Skiena algorithm 2007 lecture20 satisfiability
zukun
ย 
CS-102 BT_24_3_14 Binary Tree Lectures.pdf
CS-102 BT_24_3_14 Binary Tree Lectures.pdfCS-102 BT_24_3_14 Binary Tree Lectures.pdf
CS-102 BT_24_3_14 Binary Tree Lectures.pdf
ssuser034ce1
ย 
Spanning trees
Spanning treesSpanning trees
Spanning trees
Shareb Ismaeel
ย 

Similar to Connected Dominating Set and Short Cycles (20)

Cheat Sheets for Hard Problems
Cheat Sheets for Hard ProblemsCheat Sheets for Hard Problems
Cheat Sheets for Hard Problems
ย 
Algorithm chapter 9
Algorithm chapter 9Algorithm chapter 9
Algorithm chapter 9
ย 
Approx
ApproxApprox
Approx
ย 
Polynomial Kernel for Interval Vertex Deletion
Polynomial Kernel for Interval Vertex DeletionPolynomial Kernel for Interval Vertex Deletion
Polynomial Kernel for Interval Vertex Deletion
ย 
Kernel for Chordal Vertex Deletion
Kernel for Chordal Vertex DeletionKernel for Chordal Vertex Deletion
Kernel for Chordal Vertex Deletion
ย 
B.TECH Math project
B.TECH Math projectB.TECH Math project
B.TECH Math project
ย 
Linear Programming- Leacture-16-lp1.pptx
Linear Programming- Leacture-16-lp1.pptxLinear Programming- Leacture-16-lp1.pptx
Linear Programming- Leacture-16-lp1.pptx
ย 
G374044.pdf
G374044.pdfG374044.pdf
G374044.pdf
ย 
G374044.pdf
G374044.pdfG374044.pdf
G374044.pdf
ย 
33 spanning-trees
33 spanning-trees33 spanning-trees
33 spanning-trees
ย 
Community Detection
Community DetectionCommunity Detection
Community Detection
ย 
From FVS to F-Deletion
From FVS to F-DeletionFrom FVS to F-Deletion
From FVS to F-Deletion
ย 
Algorithm chapter 11
Algorithm chapter 11Algorithm chapter 11
Algorithm chapter 11
ย 
An FPT Algorithm for Maximum Edge Coloring
An FPT Algorithm for Maximum Edge ColoringAn FPT Algorithm for Maximum Edge Coloring
An FPT Algorithm for Maximum Edge Coloring
ย 
A superglue for string comparison
A superglue for string comparisonA superglue for string comparison
A superglue for string comparison
ย 
MinFill_Presentation
MinFill_PresentationMinFill_Presentation
MinFill_Presentation
ย 
SPLIT BLOCK SUBDIVISION DOMINATION IN GRAPHS
SPLIT BLOCK SUBDIVISION DOMINATION IN GRAPHSSPLIT BLOCK SUBDIVISION DOMINATION IN GRAPHS
SPLIT BLOCK SUBDIVISION DOMINATION IN GRAPHS
ย 
Skiena algorithm 2007 lecture20 satisfiability
Skiena algorithm 2007 lecture20 satisfiabilitySkiena algorithm 2007 lecture20 satisfiability
Skiena algorithm 2007 lecture20 satisfiability
ย 
CS-102 BT_24_3_14 Binary Tree Lectures.pdf
CS-102 BT_24_3_14 Binary Tree Lectures.pdfCS-102 BT_24_3_14 Binary Tree Lectures.pdf
CS-102 BT_24_3_14 Binary Tree Lectures.pdf
ย 
Spanning trees
Spanning treesSpanning trees
Spanning trees
ย 

More from Neeldhara Misra

Efficient algorithms for hard problems on structured electorates
Efficient algorithms for hard problems on structured electoratesEfficient algorithms for hard problems on structured electorates
Efficient algorithms for hard problems on structured electorates
Neeldhara Misra
ย 
On the Parameterized Complexity of Party Nominations
On the Parameterized Complexity of Party NominationsOn the Parameterized Complexity of Party Nominations
On the Parameterized Complexity of Party Nominations
Neeldhara Misra
ย 
Graph Modification Problems: A Modern Perspective
Graph Modification Problems: A Modern PerspectiveGraph Modification Problems: A Modern Perspective
Graph Modification Problems: A Modern Perspective
Neeldhara Misra
ย 
Deleting to Structured Trees
Deleting to Structured TreesDeleting to Structured Trees
Deleting to Structured Trees
Neeldhara Misra
ย 
Elicitation for Preferences Single Peaked on Trees
Elicitation for Preferences Single Peaked on Trees Elicitation for Preferences Single Peaked on Trees
Elicitation for Preferences Single Peaked on Trees
Neeldhara Misra
ย 
Graph Modification Algorithms
Graph Modification AlgorithmsGraph Modification Algorithms
Graph Modification Algorithms
Neeldhara Misra
ย 
Wg qcolorable
Wg qcolorableWg qcolorable
Wg qcolorable
Neeldhara Misra
ย 
Research in CS
Research in CSResearch in CS
Research in CS
Neeldhara Misra
ย 
EKR for Matchings
EKR for MatchingsEKR for Matchings
EKR for Matchings
Neeldhara Misra
ย 
Separators with Non-Hereditary Properties
Separators with Non-Hereditary PropertiesSeparators with Non-Hereditary Properties
Separators with Non-Hereditary Properties
Neeldhara Misra
ย 
A Kernel for Planar F-deletion: The Connected Case
A Kernel for Planar F-deletion: The Connected CaseA Kernel for Planar F-deletion: The Connected Case
A Kernel for Planar F-deletion: The Connected Case
Neeldhara Misra
ย 
Kernels for Planar F-Deletion (Restricted Variants)
Kernels for Planar F-Deletion (Restricted Variants)Kernels for Planar F-Deletion (Restricted Variants)
Kernels for Planar F-Deletion (Restricted Variants)
Neeldhara Misra
ย 
Efficient Simplification: The (im)possibilities
Efficient Simplification: The (im)possibilitiesEfficient Simplification: The (im)possibilities
Efficient Simplification: The (im)possibilities
Neeldhara Misra
ย 
Kernelization Complexity of Colorful Motifs
Kernelization Complexity of Colorful MotifsKernelization Complexity of Colorful Motifs
Kernelization Complexity of Colorful Motifs
Neeldhara Misra
ย 
Expansions for Reductions
Expansions for ReductionsExpansions for Reductions
Expansions for Reductions
Neeldhara Misra
ย 
Lower Bounds In Kernelization
Lower Bounds In KernelizationLower Bounds In Kernelization
Lower Bounds In Kernelization
Neeldhara Misra
ย 

More from Neeldhara Misra (16)

Efficient algorithms for hard problems on structured electorates
Efficient algorithms for hard problems on structured electoratesEfficient algorithms for hard problems on structured electorates
Efficient algorithms for hard problems on structured electorates
ย 
On the Parameterized Complexity of Party Nominations
On the Parameterized Complexity of Party NominationsOn the Parameterized Complexity of Party Nominations
On the Parameterized Complexity of Party Nominations
ย 
Graph Modification Problems: A Modern Perspective
Graph Modification Problems: A Modern PerspectiveGraph Modification Problems: A Modern Perspective
Graph Modification Problems: A Modern Perspective
ย 
Deleting to Structured Trees
Deleting to Structured TreesDeleting to Structured Trees
Deleting to Structured Trees
ย 
Elicitation for Preferences Single Peaked on Trees
Elicitation for Preferences Single Peaked on Trees Elicitation for Preferences Single Peaked on Trees
Elicitation for Preferences Single Peaked on Trees
ย 
Graph Modification Algorithms
Graph Modification AlgorithmsGraph Modification Algorithms
Graph Modification Algorithms
ย 
Wg qcolorable
Wg qcolorableWg qcolorable
Wg qcolorable
ย 
Research in CS
Research in CSResearch in CS
Research in CS
ย 
EKR for Matchings
EKR for MatchingsEKR for Matchings
EKR for Matchings
ย 
Separators with Non-Hereditary Properties
Separators with Non-Hereditary PropertiesSeparators with Non-Hereditary Properties
Separators with Non-Hereditary Properties
ย 
A Kernel for Planar F-deletion: The Connected Case
A Kernel for Planar F-deletion: The Connected CaseA Kernel for Planar F-deletion: The Connected Case
A Kernel for Planar F-deletion: The Connected Case
ย 
Kernels for Planar F-Deletion (Restricted Variants)
Kernels for Planar F-Deletion (Restricted Variants)Kernels for Planar F-Deletion (Restricted Variants)
Kernels for Planar F-Deletion (Restricted Variants)
ย 
Efficient Simplification: The (im)possibilities
Efficient Simplification: The (im)possibilitiesEfficient Simplification: The (im)possibilities
Efficient Simplification: The (im)possibilities
ย 
Kernelization Complexity of Colorful Motifs
Kernelization Complexity of Colorful MotifsKernelization Complexity of Colorful Motifs
Kernelization Complexity of Colorful Motifs
ย 
Expansions for Reductions
Expansions for ReductionsExpansions for Reductions
Expansions for Reductions
ย 
Lower Bounds In Kernelization
Lower Bounds In KernelizationLower Bounds In Kernelization
Lower Bounds In Kernelization
ย 

Recently uploaded

HYPERTENSION - SLIDE SHARE PRESENTATION.
HYPERTENSION - SLIDE SHARE PRESENTATION.HYPERTENSION - SLIDE SHARE PRESENTATION.
HYPERTENSION - SLIDE SHARE PRESENTATION.
deepaannamalai16
ย 
Oliver Asks for More by Charles Dickens (9)
Oliver Asks for More by Charles Dickens (9)Oliver Asks for More by Charles Dickens (9)
Oliver Asks for More by Charles Dickens (9)
nitinpv4ai
ย 
THE SACRIFICE HOW PRO-PALESTINE PROTESTS STUDENTS ARE SACRIFICING TO CHANGE T...
THE SACRIFICE HOW PRO-PALESTINE PROTESTS STUDENTS ARE SACRIFICING TO CHANGE T...THE SACRIFICE HOW PRO-PALESTINE PROTESTS STUDENTS ARE SACRIFICING TO CHANGE T...
THE SACRIFICE HOW PRO-PALESTINE PROTESTS STUDENTS ARE SACRIFICING TO CHANGE T...
indexPub
ย 
REASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdf
REASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdfREASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdf
REASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdf
giancarloi8888
ย 
Gender and Mental Health - Counselling and Family Therapy Applications and In...
Gender and Mental Health - Counselling and Family Therapy Applications and In...Gender and Mental Health - Counselling and Family Therapy Applications and In...
Gender and Mental Health - Counselling and Family Therapy Applications and In...
PsychoTech Services
ย 
Geography as a Discipline Chapter 1 __ Class 11 Geography NCERT _ Class Notes...
Geography as a Discipline Chapter 1 __ Class 11 Geography NCERT _ Class Notes...Geography as a Discipline Chapter 1 __ Class 11 Geography NCERT _ Class Notes...
Geography as a Discipline Chapter 1 __ Class 11 Geography NCERT _ Class Notes...
ImMuslim
ย 
SWOT analysis in the project Keeping the Memory @live.pptx
SWOT analysis in the project Keeping the Memory @live.pptxSWOT analysis in the project Keeping the Memory @live.pptx
SWOT analysis in the project Keeping the Memory @live.pptx
zuzanka
ย 
Accounting for Restricted Grants When and How To Record Properly
Accounting for Restricted Grants  When and How To Record ProperlyAccounting for Restricted Grants  When and How To Record Properly
Accounting for Restricted Grants When and How To Record Properly
TechSoup
ย 
How to Download & Install Module From the Odoo App Store in Odoo 17
How to Download & Install Module From the Odoo App Store in Odoo 17How to Download & Install Module From the Odoo App Store in Odoo 17
How to Download & Install Module From the Odoo App Store in Odoo 17
Celine George
ย 
How to Manage Reception Report in Odoo 17
How to Manage Reception Report in Odoo 17How to Manage Reception Report in Odoo 17
How to Manage Reception Report in Odoo 17
Celine George
ย 
220711130083 SUBHASHREE RAKSHIT Internet resources for social science
220711130083 SUBHASHREE RAKSHIT  Internet resources for social science220711130083 SUBHASHREE RAKSHIT  Internet resources for social science
220711130083 SUBHASHREE RAKSHIT Internet resources for social science
Kalna College
ย 
Philippine Edukasyong Pantahanan at Pangkabuhayan (EPP) Curriculum
Philippine Edukasyong Pantahanan at Pangkabuhayan (EPP) CurriculumPhilippine Edukasyong Pantahanan at Pangkabuhayan (EPP) Curriculum
Philippine Edukasyong Pantahanan at Pangkabuhayan (EPP) Curriculum
MJDuyan
ย 
Juneteenth Freedom Day 2024 David Douglas School District
Juneteenth Freedom Day 2024 David Douglas School DistrictJuneteenth Freedom Day 2024 David Douglas School District
Juneteenth Freedom Day 2024 David Douglas School District
David Douglas School District
ย 
Bonku-Babus-Friend by Sathyajith Ray (9)
Bonku-Babus-Friend by Sathyajith Ray  (9)Bonku-Babus-Friend by Sathyajith Ray  (9)
Bonku-Babus-Friend by Sathyajith Ray (9)
nitinpv4ai
ย 
Andreas Schleicher presents PISA 2022 Volume III - Creative Thinking - 18 Jun...
Andreas Schleicher presents PISA 2022 Volume III - Creative Thinking - 18 Jun...Andreas Schleicher presents PISA 2022 Volume III - Creative Thinking - 18 Jun...
Andreas Schleicher presents PISA 2022 Volume III - Creative Thinking - 18 Jun...
EduSkills OECD
ย 
Observational Learning
Observational Learning Observational Learning
Observational Learning
sanamushtaq922
ย 
Level 3 NCEA - NZ: A Nation In the Making 1872 - 1900 SML.ppt
Level 3 NCEA - NZ: A  Nation In the Making 1872 - 1900 SML.pptLevel 3 NCEA - NZ: A  Nation In the Making 1872 - 1900 SML.ppt
Level 3 NCEA - NZ: A Nation In the Making 1872 - 1900 SML.ppt
Henry Hollis
ย 
Electric Fetus - Record Store Scavenger Hunt
Electric Fetus - Record Store Scavenger HuntElectric Fetus - Record Store Scavenger Hunt
Electric Fetus - Record Store Scavenger Hunt
RamseyBerglund
ย 
KHUSWANT SINGH.pptx ALL YOU NEED TO KNOW ABOUT KHUSHWANT SINGH
KHUSWANT SINGH.pptx ALL YOU NEED TO KNOW ABOUT KHUSHWANT SINGHKHUSWANT SINGH.pptx ALL YOU NEED TO KNOW ABOUT KHUSHWANT SINGH
KHUSWANT SINGH.pptx ALL YOU NEED TO KNOW ABOUT KHUSHWANT SINGH
shreyassri1208
ย 
ู…ุตุญู ุงู„ู‚ุฑุงุกุงุช ุงู„ุนุดุฑ ุฃุนุฏ ุฃุญุฑู ุงู„ุฎู„ุงู ุณู…ูŠุฑ ุจุณูŠูˆู†ูŠ.pdf
ู…ุตุญู ุงู„ู‚ุฑุงุกุงุช ุงู„ุนุดุฑ   ุฃุนุฏ ุฃุญุฑู ุงู„ุฎู„ุงู ุณู…ูŠุฑ ุจุณูŠูˆู†ูŠ.pdfู…ุตุญู ุงู„ู‚ุฑุงุกุงุช ุงู„ุนุดุฑ   ุฃุนุฏ ุฃุญุฑู ุงู„ุฎู„ุงู ุณู…ูŠุฑ ุจุณูŠูˆู†ูŠ.pdf
ู…ุตุญู ุงู„ู‚ุฑุงุกุงุช ุงู„ุนุดุฑ ุฃุนุฏ ุฃุญุฑู ุงู„ุฎู„ุงู ุณู…ูŠุฑ ุจุณูŠูˆู†ูŠ.pdf
ุณู…ูŠุฑ ุจุณูŠูˆู†ูŠ
ย 

Recently uploaded (20)

HYPERTENSION - SLIDE SHARE PRESENTATION.
HYPERTENSION - SLIDE SHARE PRESENTATION.HYPERTENSION - SLIDE SHARE PRESENTATION.
HYPERTENSION - SLIDE SHARE PRESENTATION.
ย 
Oliver Asks for More by Charles Dickens (9)
Oliver Asks for More by Charles Dickens (9)Oliver Asks for More by Charles Dickens (9)
Oliver Asks for More by Charles Dickens (9)
ย 
THE SACRIFICE HOW PRO-PALESTINE PROTESTS STUDENTS ARE SACRIFICING TO CHANGE T...
THE SACRIFICE HOW PRO-PALESTINE PROTESTS STUDENTS ARE SACRIFICING TO CHANGE T...THE SACRIFICE HOW PRO-PALESTINE PROTESTS STUDENTS ARE SACRIFICING TO CHANGE T...
THE SACRIFICE HOW PRO-PALESTINE PROTESTS STUDENTS ARE SACRIFICING TO CHANGE T...
ย 
REASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdf
REASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdfREASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdf
REASIGNACION 2024 UGEL CHUPACA 2024 UGEL CHUPACA.pdf
ย 
Gender and Mental Health - Counselling and Family Therapy Applications and In...
Gender and Mental Health - Counselling and Family Therapy Applications and In...Gender and Mental Health - Counselling and Family Therapy Applications and In...
Gender and Mental Health - Counselling and Family Therapy Applications and In...
ย 
Geography as a Discipline Chapter 1 __ Class 11 Geography NCERT _ Class Notes...
Geography as a Discipline Chapter 1 __ Class 11 Geography NCERT _ Class Notes...Geography as a Discipline Chapter 1 __ Class 11 Geography NCERT _ Class Notes...
Geography as a Discipline Chapter 1 __ Class 11 Geography NCERT _ Class Notes...
ย 
SWOT analysis in the project Keeping the Memory @live.pptx
SWOT analysis in the project Keeping the Memory @live.pptxSWOT analysis in the project Keeping the Memory @live.pptx
SWOT analysis in the project Keeping the Memory @live.pptx
ย 
Accounting for Restricted Grants When and How To Record Properly
Accounting for Restricted Grants  When and How To Record ProperlyAccounting for Restricted Grants  When and How To Record Properly
Accounting for Restricted Grants When and How To Record Properly
ย 
How to Download & Install Module From the Odoo App Store in Odoo 17
How to Download & Install Module From the Odoo App Store in Odoo 17How to Download & Install Module From the Odoo App Store in Odoo 17
How to Download & Install Module From the Odoo App Store in Odoo 17
ย 
How to Manage Reception Report in Odoo 17
How to Manage Reception Report in Odoo 17How to Manage Reception Report in Odoo 17
How to Manage Reception Report in Odoo 17
ย 
220711130083 SUBHASHREE RAKSHIT Internet resources for social science
220711130083 SUBHASHREE RAKSHIT  Internet resources for social science220711130083 SUBHASHREE RAKSHIT  Internet resources for social science
220711130083 SUBHASHREE RAKSHIT Internet resources for social science
ย 
Philippine Edukasyong Pantahanan at Pangkabuhayan (EPP) Curriculum
Philippine Edukasyong Pantahanan at Pangkabuhayan (EPP) CurriculumPhilippine Edukasyong Pantahanan at Pangkabuhayan (EPP) Curriculum
Philippine Edukasyong Pantahanan at Pangkabuhayan (EPP) Curriculum
ย 
Juneteenth Freedom Day 2024 David Douglas School District
Juneteenth Freedom Day 2024 David Douglas School DistrictJuneteenth Freedom Day 2024 David Douglas School District
Juneteenth Freedom Day 2024 David Douglas School District
ย 
Bonku-Babus-Friend by Sathyajith Ray (9)
Bonku-Babus-Friend by Sathyajith Ray  (9)Bonku-Babus-Friend by Sathyajith Ray  (9)
Bonku-Babus-Friend by Sathyajith Ray (9)
ย 
Andreas Schleicher presents PISA 2022 Volume III - Creative Thinking - 18 Jun...
Andreas Schleicher presents PISA 2022 Volume III - Creative Thinking - 18 Jun...Andreas Schleicher presents PISA 2022 Volume III - Creative Thinking - 18 Jun...
Andreas Schleicher presents PISA 2022 Volume III - Creative Thinking - 18 Jun...
ย 
Observational Learning
Observational Learning Observational Learning
Observational Learning
ย 
Level 3 NCEA - NZ: A Nation In the Making 1872 - 1900 SML.ppt
Level 3 NCEA - NZ: A  Nation In the Making 1872 - 1900 SML.pptLevel 3 NCEA - NZ: A  Nation In the Making 1872 - 1900 SML.ppt
Level 3 NCEA - NZ: A Nation In the Making 1872 - 1900 SML.ppt
ย 
Electric Fetus - Record Store Scavenger Hunt
Electric Fetus - Record Store Scavenger HuntElectric Fetus - Record Store Scavenger Hunt
Electric Fetus - Record Store Scavenger Hunt
ย 
KHUSWANT SINGH.pptx ALL YOU NEED TO KNOW ABOUT KHUSHWANT SINGH
KHUSWANT SINGH.pptx ALL YOU NEED TO KNOW ABOUT KHUSHWANT SINGHKHUSWANT SINGH.pptx ALL YOU NEED TO KNOW ABOUT KHUSHWANT SINGH
KHUSWANT SINGH.pptx ALL YOU NEED TO KNOW ABOUT KHUSHWANT SINGH
ย 
ู…ุตุญู ุงู„ู‚ุฑุงุกุงุช ุงู„ุนุดุฑ ุฃุนุฏ ุฃุญุฑู ุงู„ุฎู„ุงู ุณู…ูŠุฑ ุจุณูŠูˆู†ูŠ.pdf
ู…ุตุญู ุงู„ู‚ุฑุงุกุงุช ุงู„ุนุดุฑ   ุฃุนุฏ ุฃุญุฑู ุงู„ุฎู„ุงู ุณู…ูŠุฑ ุจุณูŠูˆู†ูŠ.pdfู…ุตุญู ุงู„ู‚ุฑุงุกุงุช ุงู„ุนุดุฑ   ุฃุนุฏ ุฃุญุฑู ุงู„ุฎู„ุงู ุณู…ูŠุฑ ุจุณูŠูˆู†ูŠ.pdf
ู…ุตุญู ุงู„ู‚ุฑุงุกุงุช ุงู„ุนุดุฑ ุฃุนุฏ ุฃุญุฑู ุงู„ุฎู„ุงู ุณู…ูŠุฑ ุจุณูŠูˆู†ูŠ.pdf
ย 

Connected Dominating Set and Short Cycles

  • 1. Connected Dominating Set and Short Cycles
  • 2. Connected Dominating Set and Short Cycles Joint work with Geevarghese Philip, Venkatesh Raman and Saket Saurabh The Institute of Mathematical Sciences, Chennai
  • 3. Polynomial Kernels No Polynomial Kernels, but FPT W-hard ๎€„e impact of excluding short cycles. Talk Outline
  • 4. Polynomial Kernels No Polynomial Kernels, but FPT W-hard ๎€„e impact of excluding short cycles. Talk Outline
  • 5. Polynomial Kernels No Polynomial Kernels, but FPT W-hard Girth: at least seven Talk Outline
  • 6. Polynomial Kernels ( 7) No Polynomial Kernels, but FPT W-hard Girth: ๏ฌve or six Talk Outline
  • 7. Polynomial Kernels ( 7) No Polynomial Kernels, but FPT (5, 6) W-hard Girth: at most four Talk Outline
  • 8. Polynomial Kernels ( 7) No Polynomial Kernels, but FPT (5, 6) W-hard ( 4) Girth: at least seven Talk Outline
  • 9. Polynomial Kernels ( 7) No Polynomial Kernels, but FPT (5, 6) W-hard ( 4) ๎€„e longer the cycles we exclude, the easier the problem becomes to solve. Talk Outline
  • 10. Polynomial Kernels ( 7) No Polynomial Kernels, but FPT (5, 6) W-hard ( 4) ๎€„e longer the cycles we exclude, the easier the problem becomes to solve. Talk Outline
  • 11. Part 1 Why Its Useful to not have short cycles
  • 12. Consider the problem of domination:
  • 13. Consider the problem of domination: Find a subset of at most k vertices S such that every v โˆˆ V is either in S or has a neighbor in S.
  • 14. Consider the problem of domination: Find a subset of at most k vertices S such that every v โˆˆ V is either in S or has a neighbor in S. Let us consider graphs of girth at least ๏ฌve.
  • 15. Consider the problem of domination: Find a subset of at most k vertices S such that every v โˆˆ V is either in S or has a neighbor in S. Let us consider graphs of girth at least ๏ฌve. We begin by examining vertices of degree more than k.
  • 16. Does there exist a dominating set of size at most k that does not include the red vertex?
  • 17. Who dominates the neighbors of the red vertex? Does there exist a dominating set of size at most k that does not include the red vertex?
  • 18. Who dominates the neighbors of the red vertex? Clearly, it is not the case that each one dominates itself.
  • 19. Who dominates the neighbors of the red vertex? Clearly, it is not the case that each one dominates itself.
  • 20. Either a vertex from within the neighborhood dominates at least two of vertices...
  • 21.
  • 22.
  • 23. or a vertex from โ€œoutsideโ€ the neighborhood dominates at least two of the vertices...
  • 24.
  • 25.
  • 26. High Degree Vertices On graphs that have girth at least ๏ฌve: Any vertex of degree more than k belongs to any dominating set of size at most k.
  • 27. Notice that the number of reds is at most k and the number of blues is at most k2 .
  • 28. Greens in the neighborhood of a blue vertex cannot have a common red neighbor.
  • 29. ๎€„us, for every blue vertex, there are at most k green vertices.
  • 30. vertices that have been dominated that have no edges into blue are irrelevant.
  • 31. So now all is bounded, and we have a happy ending: a kernel on at most O(k + k2 + k3 ) vertices.
  • 32. Part 2 FPT Algorithms and Polynomial Kernels
  • 33. In the connected dominating set situation, we have to backtrack a small way in the story so far to see what fails, and how badly.
  • 34. High Degree Vertices On graphs that have girth at least ๏ฌve: Any vertex of degree more than k belongs to any dominating set of size at most k.
  • 35. High Degree Vertices On graphs that have girth at least ๏ฌve: connected Any vertex of degree more than k belongs to any dominating set of size at most k.
  • 36. Notice that the number of reds is at most k and the number of blues is again at most k2 .
  • 37. Greens in the neighborhood of a blue vertex cannot have a common red neighbor.
  • 38. ๎€„us, for every blue vertex, there are at most k green vertices.
  • 39. vertices that have been dominated that have no edges into blue are irrelevant.
  • 40. vertices that have been dominated that have no edges into blue are irrelevant. Not any more...
  • 41. any connected dom set contains a minimal dom set that resides in the bounded part of the graph.
  • 42. Now we know what to do:
  • 43. Now we know what to do: Guess the minimal dominating set.
  • 44. Now we know what to do: Guess the minimal dominating set. Extend it to a connected dominating set by an application of a Steiner Tree algorithm.
  • 45. Now we know what to do: Guess the minimal dominating set. Extend it to a connected dominating set by an application of a Steiner Tree algorithm. ๎€„is is evidently FPT.
  • 46. Now we know what to do: Guess the minimal dominating set. Extend it to a connected dominating set by an application of a Steiner Tree algorithm. ๎€„is is evidently FPT. What about kernels?
  • 47. It turns out that if G did not admit cycles of length six and less, then the number of green vertices can be bounded.
  • 48. It turns out that if G did not admit cycles of length six and less, then the number of green vertices can be bounded. And we will show (later) that on graphs of girth ๏ฌve, connected dominating set is unlikely to admit polynomial kernels.
  • 49. Low Degree Vertices If there is blue pendant vertex, make its neighbor red. If there is a green vertex that is pendant, delete it. If there is a blue vertex that is isolated, say no.
  • 50.
  • 51.
  • 52.
  • 53. no pair 'sees' more than one vertex.
  • 54.
  • 55.
  • 56. So now the green vertices are bounded: โ€ข At most O(k3 ) with at least one neighbor in the blues, โ€ข At most O(k2 ) with only red neighbors, โ€ข At most O(k2 ) with no blue neighbors and at least one white neighbor.
  • 57. So now the green vertices are bounded: โ€ข At most O(k3 ) with at least one neighbor in the blues, โ€ข At most O(k2 ) with only red neighbors, โ€ข At most O(k2 ) with no blue neighbors and at least one white neighbor. ๎€„is gives us a O(k3 ) vertex kernel.
  • 58. The Hard Part Infeasibility of Polynomial Kernelization and W-hardness
  • 63. Promise: Every vertex has degree at most one into any color class, and every color class is independent. Question: Does there exist a colorful tree?
  • 64. Add global vertices (with guards) to each of the color classes. subdivide the edges, add a global vertex for the newly added vertices (with guards).
  • 65. Between a pair of color classes:
  • 66. Between a pair of color classes: โ€ข subdivide the edges,
  • 67. Between a pair of color classes: โ€ข subdivide the edges, โ€ข add a global vertex for the newly added vertices
  • 68. Between a pair of color classes: โ€ข subdivide the edges, โ€ข add a global vertex for the newly added vertices (with guards).
  • 69. For vertices that donโ€™t look inside the neighboring color class, add a path of length two to the global vertex. add a global vertex for the newly added vertices (with guards).
  • 70. Here is (1/k2 )th of the full picture. subdivide the edges, add a global vertex for the newly added vertices (with guards).
  • 71. Notice that we have ended up with a bipartite graph... subdivide the edges, add a global vertex for the newly added vertices (with guards).
  • 72. ....with a cycle of length six. subdivide the edges, add a global vertex for the newly added vertices (with guards).
  • 73. Suppose we have a colorful tree in the source instance.
  • 74. Consider the same subset.
  • 75. (along with the subdivided vertices along the edges of the tree)
  • 76. ๎€„is is a connected subset, but not dominating.
  • 77. To ๏ฌx this, add all the global vertices to this set.
  • 78. (k) ๎€„ere are k + 2 such vertices.
  • 79. Now we have a dominating set, but itโ€™s not connected any more!
  • 81. ๎€„e vertices global to color classes are connected to the tree.
  • 82. Some of the other vertices are connected too!
  • 83. Each of the rest corresponds to a non-edge in the tree,
  • 84. for which we add the path of length two to the picture.
  • 85. ๎€„e size of the connected dominating set thus obtained is:
  • 86. ๎€„e size of the connected dominating set thus obtained is: (k) 2 2 + 2k
  • 87. ๎€„e size of the connected dominating set thus obtained is: (k) 2 2 + 2k Two vertices for every pair of original vertices in the tree. (A global vertex, and a neighbor.)
  • 88. ๎€„e size of the connected dominating set thus obtained is: (k) 2 2 + 2k Two vertices for every original vertex in the tree: itself, and the corresponding global vertex.
  • 89. And that works out to... (k) 2 2 + 2k = k2 + k
  • 90. Let S be a connected dominating set of size at most: ( ) ( ) k k + +k+k 2 2
  • 91. Let S be a connected dominating set of size at most: ( ) ( ) k k + +k+k 2 2 Of course, global vertices are forced in S, because of the guard vertices.
  • 92. Let S be a connected dominating set of size at most: ( ) ( ) k k + +k+k 2 2 Since S is a connected subset, each of these vertices have at least one neighbor in S.
  • 93. Let S be a connected dominating set of size at most: ( ) ( ) k k + +k+k 2 2 Since S is a connected subset, each of these vertices have at least one neighbor in S. Because of the budget, each of them have...
  • 94. Let S be a connected dominating set of size at most: ( ) ( ) k k + +k+k 2 2 Since S is a connected subset, each of these vertices have exactly one neighbor in S. Because of the budget, each of them have...
  • 95. ๎€„us, the dominating set picks exactly one vertex from each color class.
  • 96. ๎€„us, the dominating set picks exactly one vertex from each color class. โ€ข Neglect the global vertices and โ€œsubdivision verticesโ€ of degree one, to be left with a connected subtree with subdivided edges.
  • 97. ๎€„us, the dominating set picks exactly one vertex from each color class. โ€ข Neglect the global vertices and โ€œsubdivision verticesโ€ of degree one, to be left with a connected subtree with subdivided edges. โ€ข ๎€„is can be easily pulled back to a colorful tree of the original graph.
  • 99. A dominating set instance G
  • 100. We begin by making a copy of the graph. G
  • 101. G G
  • 102. ๎€„en, for every edge in G, we stretch it across the copies.
  • 103. ๎€„en, for every edge in G, we stretch it across the copies.
  • 104. Finally, add a new vertex to each copy, with one of them global to the other copy.
  • 105. Any old dominating set + new global vertex = new connected dominating set.
  • 106. Any new dominating set contains the newly added global vertex WLOG.
  • 107. Consider now the vertices of the new connected dominating set.
  • 108. Observe that they form a dominating set of G.
  • 109. Takk