polynomial time algorithms for the subset feedback vertex
play

Polynomial-Time Algorithms for the Subset Feedback Vertex Set - PowerPoint PPT Presentation

Nov 02, 2022 •454 likes •1.5k views

Polynomial-Time Algorithms for the Subset Feedback Vertex Set Problem on Interval Graphs and Permutation Graphs Charis Papadopoulos Spyridon Tzimas 21st International Symposium on Fundamentals of Computation Theory - FCT 2017 Bordeaux, France,

  1. Interval Graphs e c b f g a d I : representation of closed intervals interval graphs: V ↔ I such that ( u , v ) ∈ E iff u and v intersect Every induced cycle of an interval graph is a triangle Compute maximal S -forests F S based on I Dynamic programming approach C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 8 / 21

  2. Interval Graphs e c b f g a d I : representation of closed intervals interval graphs: V ↔ I such that ( u , v ) ∈ E iff u and v intersect Every induced cycle of an interval graph is a triangle Compute maximal S -forests F S based on I Dynamic programming approach Scan vertices from left-to-right according to their right endpoint C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 8 / 21

  3. Interval Graphs e V a c b f g a d I : representation of closed intervals interval graphs: V ↔ I such that ( u , v ) ∈ E iff u and v intersect Every induced cycle of an interval graph is a triangle Compute maximal S -forests F S based on I Dynamic programming approach Scan vertices from left-to-right according to their right endpoint We grow appropriately each maximal S -forest C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 8 / 21

  4. Interval Graphs e V b c b f g a d I : representation of closed intervals interval graphs: V ↔ I such that ( u , v ) ∈ E iff u and v intersect Every induced cycle of an interval graph is a triangle Compute maximal S -forests F S based on I Dynamic programming approach Scan vertices from left-to-right according to their right endpoint We grow appropriately each maximal S -forest C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 8 / 21

  5. Interval Graphs e V c c b f g a d I : representation of closed intervals interval graphs: V ↔ I such that ( u , v ) ∈ E iff u and v intersect Every induced cycle of an interval graph is a triangle Compute maximal S -forests F S based on I Dynamic programming approach Scan vertices from left-to-right according to their right endpoint We grow appropriately each maximal S -forest C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 8 / 21

  6. Interval Graphs e V d c b f g a d I : representation of closed intervals interval graphs: V ↔ I such that ( u , v ) ∈ E iff u and v intersect Every induced cycle of an interval graph is a triangle Compute maximal S -forests F S based on I Dynamic programming approach Scan vertices from left-to-right according to their right endpoint We grow appropriately each maximal S -forest C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 8 / 21

  7. Interval Graphs e V e c b f g a d I : representation of closed intervals interval graphs: V ↔ I such that ( u , v ) ∈ E iff u and v intersect Every induced cycle of an interval graph is a triangle Compute maximal S -forests F S based on I Dynamic programming approach Scan vertices from left-to-right according to their right endpoint We grow appropriately each maximal S -forest C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 8 / 21

  8. Interval Graphs e V f c b f g a d I : representation of closed intervals interval graphs: V ↔ I such that ( u , v ) ∈ E iff u and v intersect Every induced cycle of an interval graph is a triangle Compute maximal S -forests F S based on I Dynamic programming approach Scan vertices from left-to-right according to their right endpoint We grow appropriately each maximal S -forest C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 8 / 21

  9. Interval Graphs e V g = V c b f g a d I : representation of closed intervals interval graphs: V ↔ I such that ( u , v ) ∈ E iff u and v intersect Every induced cycle of an interval graph is a triangle Compute maximal S -forests F S based on I Dynamic programming approach Scan vertices from left-to-right according to their right endpoint We grow appropriately each maximal S -forest C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 8 / 21

  10. Predecessors e c b f g a d The left and right endpoints of the intervals define ≤ ℓ and ≤ r : j i ≤ l j ⇐ ⇒ ℓ ( i ) ≤ ℓ ( j ) i i ≤ r j ⇐ ⇒ r ( i ) ≤ r ( j ) ℓ ( i ) ℓ ( j ) r ( i ) r ( j ) 1 C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 9 / 21

  11. Predecessors e c b f g a d The left and right endpoints of the intervals define ≤ ℓ and ≤ r : j i ≤ l j ⇐ ⇒ ℓ ( i ) ≤ ℓ ( j ) i i ≤ r j ⇐ ⇒ r ( i ) ≤ r ( j ) ℓ ( i ) ℓ ( j ) r ( i ) r ( j ) 1 Predecessors of an interval i : < i = r - max( V i \ { i } ) the last interval that finishes before i finishes ≪ i = r - max( V i \ ( { i } ∪ { h ∈ V : { h , i } ∈ E } )) the last interval that finishes before i starts C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 9 / 21

  12. Predecessors e c b f g a d The left and right endpoints of the intervals define ≤ ℓ and ≤ r : j i ≤ l j ⇐ ⇒ ℓ ( i ) ≤ ℓ ( j ) i i ≤ r j ⇐ ⇒ r ( i ) ≤ r ( j ) ℓ ( i ) ℓ ( j ) r ( i ) r ( j ) 1 Predecessors of an interval i : < i = r - max( V i \ { i } ) the last interval that finishes before i finishes ≪ i = r - max( V i \ ( { i } ∪ { h ∈ V : { h , i } ∈ E } )) the last interval that finishes before i starts C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 9 / 21

  13. Predecessors e V f c b f g a d The left and right endpoints of the intervals define ≤ ℓ and ≤ r : j i ≤ l j ⇐ ⇒ ℓ ( i ) ≤ ℓ ( j ) i i ≤ r j ⇐ ⇒ r ( i ) ≤ r ( j ) ℓ ( i ) ℓ ( j ) r ( i ) r ( j ) 1 Predecessors of an interval i : < i = r - max( V i \ { i } ) the last interval that finishes before i finishes ≪ i = r - max( V i \ ( { i } ∪ { h ∈ V : { h , i } ∈ E } )) the last interval that finishes before i starts C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 9 / 21

  14. Predecessors e < f V f c b f g a d The left and right endpoints of the intervals define ≤ ℓ and ≤ r : j i ≤ l j ⇐ ⇒ ℓ ( i ) ≤ ℓ ( j ) i i ≤ r j ⇐ ⇒ r ( i ) ≤ r ( j ) ℓ ( i ) ℓ ( j ) r ( i ) r ( j ) 1 Predecessors of an interval i : < i = r - max( V i \ { i } ) the last interval that finishes before i finishes ≪ i = r - max( V i \ ( { i } ∪ { h ∈ V : { h , i } ∈ E } )) the last interval that finishes before i starts C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 9 / 21

  15. Predecessors e < f V f c b f ≪ f g a d The left and right endpoints of the intervals define ≤ ℓ and ≤ r : j i ≤ l j ⇐ ⇒ ℓ ( i ) ≤ ℓ ( j ) i i ≤ r j ⇐ ⇒ r ( i ) ≤ r ( j ) ℓ ( i ) ℓ ( j ) r ( i ) r ( j ) 1 Predecessors of an interval i : < i = r - max( V i \ { i } ) the last interval that finishes before i finishes ≪ i = r - max( V i \ ( { i } ∪ { h ∈ V : { h , i } ∈ E } )) the last interval that finishes before i starts C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 9 / 21

  16. Basic sets: A , B , C Sets used by our dynamic programming algorithm A : corresponds to a maximum S -forest B and C : choose a solution only from a predescribed set x , y ∈ V − V i such that x < ℓ y V i A i = max w { X ⊆ V i : G [ X ] ∈ F S } i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 10 / 21

  17. Basic sets: A , B , C Sets used by our dynamic programming algorithm A : corresponds to a maximum S -forest B and C : choose a solution only from a predescribed set x , y ∈ V − V i such that x < ℓ y V i A i = max w { X ⊆ V i : G [ X ] ∈ F S } i V i B x x i = max w { X ⊆ V i : G [ X ∪ { x } ] ∈ F S } i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 10 / 21

  18. Basic sets: A , B , C Sets used by our dynamic programming algorithm A : corresponds to a maximum S -forest B and C : choose a solution only from a predescribed set x , y ∈ V − V i such that x < ℓ y V i A i = max w { X ⊆ V i : G [ X ] ∈ F S } i V i B x x i = max w { X ⊆ V i : G [ X ∪ { x } ] ∈ F S } i y V i C x , y = max w { X ⊆ V i : G [ X ∪ { x , y } ] ∈ F S } x i i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 10 / 21

  19. Recursive formulation for A i A-set: A < i , B i � < i ∪ { i } � A i = max w V i i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 11 / 21

  20. Recursive formulation for A i A-set: A < i , B i � < i ∪ { i } � A i = max w V < i < i i If i / ∈ A i then i is irrelevant ⇒ A i = A < i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 11 / 21

  21. Recursive formulation for A i A-set: A < i , B i � < i ∪ { i } � A i = max w V < i < i i If i / ∈ A i then i is irrelevant ⇒ A i = A < i If i ∈ A i then B i < i ∪ { i } contains no S -cycle C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 11 / 21

  22. Recursive formulation for B x i Let x ′ = ℓ - min { i , x } and let y ′ = { i , x } \ x ′ : ∈ E , then B x If { i , x } / i = A i  � � < i , B x ′ B x max w ≪ y ′ ∪ { i } , if i or x ∈ S  If { i , x } ∈ E , then B x i = � � < i , C x ′ , y ′ B x max w ∪ { i } , if i , x / ∈ S  < i V i x i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 12 / 21

  23. Recursive formulation for B x i Let x ′ = ℓ - min { i , x } and let y ′ = { i , x } \ x ′ : ∈ E , then B x If { i , x } / i = A i  � � < i , B x ′ B x max w ≪ y ′ ∪ { i } , if i or x ∈ S  If { i , x } ∈ E , then B x i = � � < i , C x ′ , y ′ B x max w ∪ { i } , if i , x / ∈ S  < i V i x = x ′ i = y ′ C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 12 / 21

  24. Recursive formulation for B x i Let x ′ = ℓ - min { i , x } and let y ′ = { i , x } \ x ′ : ∈ E , then B x If { i , x } / i = A i  � � < i , B x ′ B x max w ≪ y ′ ∪ { i } , if i or x ∈ S  If { i , x } ∈ E , then B x i = � � < i , C x ′ , y ′ B x max w ∪ { i } , if i , x / ∈ S  < i V i x = y ′ i = x ′ C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 12 / 21

  25. Recursive formulation for B x i Let x ′ = ℓ - min { i , x } and let y ′ = { i , x } \ x ′ : ∈ E , then B x If { i , x } / i = A i  � � < i , B x ′ B x max w ≪ y ′ ∪ { i } , if i or x ∈ S  If { i , x } ∈ E , then B x i = � � < i , C x ′ , y ′ B x max w ∪ { i } , if i , x / ∈ S  < i V i x i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 12 / 21

  26. Recursive formulation for B x i Let x ′ = ℓ - min { i , x } and let y ′ = { i , x } \ x ′ : ∈ E , then B x If { i , x } / i = A i  � � < i , B x ′ B x max w ≪ y ′ ∪ { i } , if i or x ∈ S  If { i , x } ∈ E , then B x i = � � < i , C x ′ , y ′ B x max w ∪ { i } , if i , x / ∈ S  < i V i x i If { i , x } / ∈ E : x is non-adjacent to any vertex of V i ⇒ A i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 12 / 21

  27. Recursive formulation for B x i Let x ′ = ℓ - min { i , x } and let y ′ = { i , x } \ x ′ : ∈ E , then B x If { i , x } / i = A i  � � < i , B x ′ B x max w ≪ y ′ ∪ { i } , if i or x ∈ S  If { i , x } ∈ E , then B x i = � � < i , C x ′ , y ′ B x max w ∪ { i } , if i , x / ∈ S  < i V < i < i x i If { i , x } / ∈ E : x is non-adjacent to any vertex of V i ⇒ A i ∈ B x i : i is irrelevant ⇒ B x If { i , x } ∈ E and i / < i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 12 / 21

  28. Recursive formulation for B x i Let x ′ = ℓ - min { i , x } and let y ′ = { i , x } \ x ′ : ∈ E , then B x If { i , x } / i = A i  � � < i , B x ′ B x max w ≪ y ′ ∪ { i } , if i or x ∈ S  If { i , x } ∈ E , then B x i = � � < i , C x ′ , y ′ B x max w ∪ { i } , if i , x / ∈ S  < i V < i < i x i If { i , x } / ∈ E : x is non-adjacent to any vertex of V i ⇒ A i ∈ B x i : i is irrelevant ⇒ B x If { i , x } ∈ E and i / < i If { i , x } ∈ E and i ∈ B x i : C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 12 / 21

  29. Recursive formulation for B x i Let x ′ = ℓ - min { i , x } and let y ′ = { i , x } \ x ′ : ∈ E , then B x If { i , x } / i = A i  � � < i , B x ′ B x max w ≪ y ′ ∪ { i } , if i or x ∈ S  If { i , x } ∈ E , then B x i = � � < i , C x ′ , y ′ B x max w ∪ { i } , if i , x / ∈ S  < i V ≪ x < i ≪ x x i If { i , x } / ∈ E : x is non-adjacent to any vertex of V i ⇒ A i ∈ B x i : i is irrelevant ⇒ B x If { i , x } ∈ E and i / < i If { i , x } ∈ E and i ∈ B x i : i or x ∈ S : every vertex between ≪ x and i induces an S -triangle ( B i ≪ x ) C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 12 / 21

  30. Recursive formulation for B x i Let x ′ = ℓ - min { i , x } and let y ′ = { i , x } \ x ′ : ∈ E , then B x If { i , x } / i = A i  � � < i , B x ′ B x max w ≪ y ′ ∪ { i } , if i or x ∈ S  If { i , x } ∈ E , then B x i = � � < i , C x ′ , y ′ B x max w ∪ { i } , if i , x / ∈ S  < i V < i < i ≪ x x i If { i , x } / ∈ E : x is non-adjacent to any vertex of V i ⇒ A i ∈ B x i : i is irrelevant ⇒ B x If { i , x } ∈ E and i / < i If { i , x } ∈ E and i ∈ B x i : i or x ∈ S : every vertex between ≪ x and i induces an S -triangle ( B i ≪ x ) ∈ S : C i , x i / ∈ S and x / < i contains no S -cycle C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 12 / 21

  31. Recursive formulation for C x , y i Let x ′ = ℓ - min { i , x , y } and let y ′ = ℓ - min( { i , x , y } \ { x ′ } ): ∈ E , then C x , y = B x If { i , y } / i i C x , y � , if i ∈ S < i If { i , y } ∈ E , then C x , y = � � < i , C x ′ , y ′ C x , y i ∪ { i } ∈ S max w , if i / < i V i y x i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 13 / 21

  32. Recursive formulation for C x , y i Let x ′ = ℓ - min { i , x , y } and let y ′ = ℓ - min( { i , x , y } \ { x ′ } ): ∈ E , then C x , y = B x If { i , y } / i i C x , y � , if i ∈ S < i If { i , y } ∈ E , then C x , y = � � < i , C x ′ , y ′ C x , y i ∪ { i } ∈ S max w , if i / < i V i y x i ∈ E : y is non-adjacent to any vertex of V i ⇒ B x If { i , y } / i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 13 / 21

  33. Recursive formulation for C x , y i Let x ′ = ℓ - min { i , x , y } and let y ′ = ℓ - min( { i , x , y } \ { x ′ } ): ∈ E , then C x , y = B x If { i , y } / i i C x , y � , if i ∈ S < i If { i , y } ∈ E , then C x , y = � � < i , C x ′ , y ′ C x , y i ∪ { i } ∈ S max w , if i / < i V i y x i ∈ E : y is non-adjacent to any vertex of V i ⇒ B x If { i , y } / i If { i , y } ∈ E : ∈ C x , y i ∈ S : < i , x , y > is an S -triangle ⇒ i / i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 13 / 21

  34. Recursive formulation for C x , y i Let x ′ = ℓ - min { i , x , y } and let y ′ = ℓ - min( { i , x , y } \ { x ′ } ): ∈ E , then C x , y = B x If { i , y } / i i C x , y � , if i ∈ S < i If { i , y } ∈ E , then C x , y = � � < i , C x ′ , y ′ C x , y i ∪ { i } ∈ S max w , if i / < i V < i < i y x i ∈ E : y is non-adjacent to any vertex of V i ⇒ B x If { i , y } / i If { i , y } ∈ E : ∈ C x , y i ∈ S : < i , x , y > is an S -triangle ⇒ i / i ∈ C x , y : i is irrelevant ⇒ C x , y i / i < i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 13 / 21

  35. Recursive formulation for C x , y i Let x ′ = ℓ - min { i , x , y } and let y ′ = ℓ - min( { i , x , y } \ { x ′ } ): ∈ E , then C x , y = B x If { i , y } / i i C x , y � , if i ∈ S < i If { i , y } ∈ E , then C x , y = � � < i , C x ′ , y ′ C x , y i ∪ { i } ∈ S max w , if i / < i V < i < i y x i ∈ E : y is non-adjacent to any vertex of V i ⇒ B x If { i , y } / i If { i , y } ∈ E : ∈ C x , y i ∈ S : < i , x , y > is an S -triangle ⇒ i / i ∈ C x , y : i is irrelevant ⇒ C x , y i / i < i If { i , y } ∈ E and i ∈ C x , y : S ∩ { i , x , y } = ∅ i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 13 / 21

  36. Recursive formulation for C x , y i Let x ′ = ℓ - min { i , x , y } and let y ′ = ℓ - min( { i , x , y } \ { x ′ } ): ∈ E , then C x , y = B x If { i , y } / i i C x , y � , if i ∈ S < i If { i , y } ∈ E , then C x , y = � � < i , C x ′ , y ′ C x , y i ∪ { i } ∈ S max w , if i / < i V < i < i y x i ∈ E : y is non-adjacent to any vertex of V i ⇒ B x If { i , y } / i If { i , y } ∈ E : ∈ C x , y i ∈ S : < i , x , y > is an S -triangle ⇒ i / i ∈ C x , y : i is irrelevant ⇒ C x , y i / i < i If { i , y } ∈ E and i ∈ C x , y : S ∩ { i , x , y } = ∅ i C i , x < i ∪ { i } : none of its subset can induce an S -cycle with y C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 13 / 21

  37. Poly-time for SFVS on Interval Graphs Theorem There is a poly-time algorithm that computes SFVS of an interval graph. C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 14 / 21

  38. Poly-time for SFVS on Interval Graphs Theorem There is a poly-time algorithm that computes SFVS of an interval graph. 1 We compute the predecessors < i and ≪ i for each i in linear time C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 14 / 21

  39. Poly-time for SFVS on Interval Graphs Theorem There is a poly-time algorithm that computes SFVS of an interval graph. 1 We compute the predecessors < i and ≪ i for each i in linear time 2 Scan all intervals in an ascending order with respect to < ℓ : Compute first A i i and C x , y Then compute B x for every x , y such that ℓ ( i ) < ℓ ( x ) < ℓ ( y ) i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 14 / 21

  40. Poly-time for SFVS on Interval Graphs Theorem There is a poly-time algorithm that computes SFVS of an interval graph. 1 We compute the predecessors < i and ≪ i for each i in linear time 2 Scan all intervals in an ascending order with respect to < ℓ : Compute first A i i and C x , y Then compute B x for every x , y such that ℓ ( i ) < ℓ ( x ) < ℓ ( y ) i 3 At the end, output A n C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 14 / 21

  41. Poly-time for SFVS on Interval Graphs Theorem There is a poly-time algorithm that computes SFVS of an interval graph. 1 We compute the predecessors < i and ≪ i for each i in linear time 2 Scan all intervals in an ascending order with respect to < ℓ : Compute first A i i and C x , y Then compute B x for every x , y such that ℓ ( i ) < ℓ ( x ) < ℓ ( y ) i 3 At the end, output A n The total running time of the algorithm is O ( n 3 ). C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 14 / 21

  42. Permutation Graphs g a c e b d f h t b g c a e b h f d D : permutation diagram with S egments between two parallel lines permutation graphs: V ↔ S such that ( u , v ) ∈ E iff u and v intersect Every induced cycle of a permutation graph is a triangle or a square g a d e c b h f C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 15 / 21 ✶

  43. Permutation Graphs g a c e b d f h t b g c a e b h f d D : permutation diagram with S egments between two parallel lines permutation graphs: V ↔ S such that ( u , v ) ∈ E iff u and v intersect Every induced cycle of a permutation graph is a triangle or a square Compute maximal S -forests F S based on D Dynamic programming approach C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 15 / 21

  44. Permutation Graphs g a c e b d f h t b g c a e b h f d D : permutation diagram with S egments between two parallel lines permutation graphs: V ↔ S such that ( u , v ) ∈ E iff u and v intersect Every induced cycle of a permutation graph is a triangle or a square Compute maximal S -forests F S based on D Dynamic programming approach based on crossing pairs C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 15 / 21

  45. Crossing Pairs g a c e b d f h t b g c a e b h f d X : ij with i ≤ t j and j ≤ b i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 16 / 21

  46. Crossing Pairs g a c e b d f h t b g c a e b h f d X : ij with i ≤ t j and j ≤ b i Given gh , ij ∈ X , we define ≤ ℓ and ≤ r : C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 16 / 21

  47. Crossing Pairs g a c e b d f h t b g c a e b h f d X : ij with i ≤ t j and j ≤ b i Given gh , ij ∈ X , we define ≤ ℓ and ≤ r : gh ≤ ℓ ij ⇔ g ≤ t i and h ≤ b j j j i i t t b b j j i i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 16 / 21

  48. Crossing Pairs g a c e b d f h t b g c a e b h f d X : ij with i ≤ t j and j ≤ b i Given gh , ij ∈ X , we define ≤ ℓ and ≤ r : gh ≤ ℓ ij ⇔ g ≤ t i and h ≤ b j j j i i t t b b j j i i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 16 / 21

  49. Crossing Pairs g a c e b d f h t b g c a e b h f d X : ij with i ≤ t j and j ≤ b i Given gh , ij ∈ X , we define ≤ ℓ and ≤ r : gh ≤ ℓ ij ⇔ g ≤ t i and h ≤ b j g j j i h i t t b b g j j h i i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 16 / 21

  50. Crossing Pairs g a c e b d f h t b g c a e b h f d X : ij with i ≤ t j and j ≤ b i Given gh , ij ∈ X , we define ≤ ℓ and ≤ r : gh ≤ ℓ ij ⇔ g ≤ t i and h ≤ b j gh ≤ r ij ⇔ g ≤ b i and h ≤ t j g j j i h i t t b b g j j h i i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 16 / 21

  51. Crossing Pairs g a c e b d f h t b g c a e b h f d X : ij with i ≤ t j and j ≤ b i Given gh , ij ∈ X , we define ≤ ℓ and ≤ r : gh ≤ ℓ ij ⇔ g ≤ t i and h ≤ b j gh ≤ r ij ⇔ g ≤ b i and h ≤ t j g j j i h i t t b b g j j h i i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 16 / 21

  52. Crossing Pairs g a c e b d f h t b g c a e b h f d X : ij with i ≤ t j and j ≤ b i Given gh , ij ∈ X , we define ≤ ℓ and ≤ r : gh ≤ ℓ ij ⇔ g ≤ t i and h ≤ b j gh ≤ r ij ⇔ g ≤ b i and h ≤ t j g g j j i h i h t t b b g g j j h i h i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 16 / 21

  53. Predecessors of Crossing Pairs g a c e b d f h t b g c a e b h f d C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 17 / 21

  54. Predecessors of Crossing Pairs g a c e b d f h t V eg b g c a e b h f d C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 17 / 21

  55. Predecessors of Crossing Pairs g a c e b d f h t V eg b g c a e b h f d � ij = r - max X [ V ij \ { j } ] the iy with y the rightmost top C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 17 / 21

  56. Predecessors of Crossing Pairs g a c e b d f h t V eg b g c a e b h f d � ij = r - max X [ V ij \ { j } ] the iy with y the rightmost top � ij = r - max X [ V ij \ { i } ] the xj with x the rightmost bottom C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 17 / 21

  57. Predecessors of Crossing Pairs g a c e b d f h t V eg b g c a e b h f d � ij = r - max X [ V ij \ { j } ] the iy with y the rightmost top � ij = r - max X [ V ij \ { i } ] the xj with x the rightmost bottom < ij = r - max X [ V ij \ { i , j } ] the xy with x and y the rightmost bottom and top C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 17 / 21

  58. Predecessors of Crossing Pairs g a c e b d f h t V eg b g c a e b h f d � ij = r - max X [ V ij \ { j } ] the iy with y the rightmost top � ij = r - max X [ V ij \ { i } ] the xj with x the rightmost bottom < ij = r - max X [ V ij \ { i , j } ] the xy with x and y the rightmost bottom and top ≪ ij = r - max X [ V ij \ ( { i , j } ∪ { h ∈ V : { h , i } ∈ E or { h , j } ∈ E } )] non-adjacent xy with x and y the rightmost bottom and top C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 17 / 21

  59. ✶ Basic sets: A , B , C Sets used by our dynamic programming algorithm A : corresponds to a maximum S -forest B and C : choose a solution only from a predescribed set xy , zw ∈ V − V ij such that xy < ℓ zw and { x , w } , { y , z } ∈ E w { X ⊆ V ij : G [ X ] ∈ F S } A ij = max j i t V ij b j i ✶ C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 18 / 21

  60. ✶ Basic sets: A , B , C Sets used by our dynamic programming algorithm A : corresponds to a maximum S -forest B and C : choose a solution only from a predescribed set xy , zw ∈ V − V ij such that xy < ℓ zw and { x , w } , { y , z } ∈ E w { X ⊆ V ij : G [ X ] ∈ F S } A ij = max B xy = max w { X ⊆ V ij : G [ X ∪ { x , y } ] ∈ F S } ij y x j i t V ij b y j x i ✶ C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 18 / 21

  61. Basic sets: A , B , C Sets used by our dynamic programming algorithm A : corresponds to a maximum S -forest B and C : choose a solution only from a predescribed set xy , zw ∈ V − V ij such that xy < ℓ zw and { x , w } , { y , z } ∈ E w { X ⊆ V ij : G [ X ] ∈ F S } A ij = max B xy = max w { X ⊆ V ij : G [ X ∪ { x , y } ] ∈ F S } ij C xy , zw = max w { X ⊆ V ij : G [ X ∪ { x , y , z , w } ] ∈ F S } ij y x z j w i t V ij b y j w x z i ✶ C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 18 / 21

  62. Recursive formulations for A , B , C i j t V ij A ij = max w { X ⊆ V ij : G [ X ] ∈ F S } b j i ✶ x y i j t B xy V ij ij = max w { X ⊆ V ij : G [ X ∪ { x , y } ] ∈ F S } b j y x i ✶ x z j y w i t C xy , zw V ij = max w { X ⊆ V ij : G [ X ∪ { x , y , z , w } ] ∈ F S } ij b j y w x z i ✶ The basic idea: we support any big S -cycle with a smaller S -cycle ⇒ j i t V ij b j i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 19 / 21

  63. Recursive formulations for A , B , C i j t V ij A ij = max w { X ⊆ V ij : G [ X ] ∈ F S } b j i ✶ x y i j t B xy V ij ij = max w { X ⊆ V ij : G [ X ∪ { x , y } ] ∈ F S } b j y x i ✶ x z j y w i t C xy , zw V ij = max w { X ⊆ V ij : G [ X ∪ { x , y , z , w } ] ∈ F S } ij b j y w x z i ✶ The basic idea: we support any big S -cycle with a smaller S -cycle ⇒ j i t V � ij A � ij b j i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 19 / 21

  64. Recursive formulations for A , B , C i j t V ij A ij = max w { X ⊆ V ij : G [ X ] ∈ F S } b j i ✶ x y i j t B xy V ij ij = max w { X ⊆ V ij : G [ X ∪ { x , y } ] ∈ F S } b j y x i ✶ x z j y w i t C xy , zw V ij = max w { X ⊆ V ij : G [ X ∪ { x , y , z , w } ] ∈ F S } ij b j y w x z i ✶ The basic idea: we support any big S -cycle with a smaller S -cycle ⇒ j i t V � ij A � ij b j i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 19 / 21

  65. Recursive formulations for A , B , C i j t V ij A ij = max w { X ⊆ V ij : G [ X ] ∈ F S } b j i ✶ x y i j t B xy V ij ij = max w { X ⊆ V ij : G [ X ∪ { x , y } ] ∈ F S } b j y x i ✶ x z j y w i t C xy , zw V ij = max w { X ⊆ V ij : G [ X ∪ { x , y , z , w } ] ∈ F S } ij b j y w x z i ✶ The basic idea: we support any big S -cycle with a smaller S -cycle ⇒ j i t B ij V < ij < ij b j i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 19 / 21

  66. Recursive formulations for A , B , C i j t V ij A ij = max w { X ⊆ V ij : G [ X ] ∈ F S } b j i ✶ x y i j t B xy V ij ij = max w { X ⊆ V ij : G [ X ∪ { x , y } ] ∈ F S } b j y x i ✶ x z j y w i t C xy , zw V ij = max w { X ⊆ V ij : G [ X ∪ { x , y , z , w } ] ∈ F S } ij b j y w x z i ✶ The basic idea: we support any big S -cycle with a smaller S -cycle ⇒ j i t V ≪ ij A ≪ ij b j i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 19 / 21

  67. Recursive formulations for A , B , C i j t V ij A ij = max w { X ⊆ V ij : G [ X ] ∈ F S } b j i ✶ x y i j t B xy V ij ij = max w { X ⊆ V ij : G [ X ∪ { x , y } ] ∈ F S } b j y x i ✶ x z j y w i t C xy , zw V ij = max w { X ⊆ V ij : G [ X ∪ { x , y , z , w } ] ∈ F S } ij b j y w x z i ✶ The basic idea: we support any big S -cycle with a smaller S -cycle ⇒ j i t B ii V ≪ jj ≪ jj b j i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 19 / 21

  68. Recursive formulations for A , B , C i j t V ij A ij = max w { X ⊆ V ij : G [ X ] ∈ F S } b j i ✶ x y i j t B xy V ij ij = max w { X ⊆ V ij : G [ X ∪ { x , y } ] ∈ F S } b j y x i ✶ x z j y w i t C xy , zw V ij = max w { X ⊆ V ij : G [ X ∪ { x , y , z , w } ] ∈ F S } ij b j y w x z i ✶ The basic idea: we support any big S -cycle with a smaller S -cycle ⇒ j i t B jj V ≪ ii ≪ ii b j i C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 19 / 21

  69. Poly-time for SFVS on Permutation Graphs Theorem There is a poly-time algorithm that computes SFVS of a permutation graph. C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 20 / 21

  70. Poly-time for SFVS on Permutation Graphs Theorem There is a poly-time algorithm that computes SFVS of a permutation graph. 1 X : there are n + m crossing pairs C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 20 / 21

  71. Poly-time for SFVS on Permutation Graphs Theorem There is a poly-time algorithm that computes SFVS of a permutation graph. 1 X : there are n + m crossing pairs 2 For each ij ∈ X , we compute its { � , � , <, ≪} ⇒ O ( n 2 m ) C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 20 / 21

  72. Poly-time for SFVS on Permutation Graphs Theorem There is a poly-time algorithm that computes SFVS of a permutation graph. 1 X : there are n + m crossing pairs 2 For each ij ∈ X , we compute its { � , � , <, ≪} ⇒ O ( n 2 m ) 3 Scan all crossing pairs in an ascending order with respect to < r : First compute A ij Then compute B xy for every xy ∈ V − V ij ij And for each xy we compute C xy , zw for every zw ∈ V − V xy ij C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 20 / 21

  73. Poly-time for SFVS on Permutation Graphs Theorem There is a poly-time algorithm that computes SFVS of a permutation graph. 1 X : there are n + m crossing pairs 2 For each ij ∈ X , we compute its { � , � , <, ≪} ⇒ O ( n 2 m ) 3 Scan all crossing pairs in an ascending order with respect to < r : First compute A ij Then compute B xy for every xy ∈ V − V ij ij And for each xy we compute C xy , zw for every zw ∈ V − V xy ij 4 At the end, output A π ( n ) n C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 20 / 21

  74. Poly-time for SFVS on Permutation Graphs Theorem There is a poly-time algorithm that computes SFVS of a permutation graph. 1 X : there are n + m crossing pairs 2 For each ij ∈ X , we compute its { � , � , <, ≪} ⇒ O ( n 2 m ) 3 Scan all crossing pairs in an ascending order with respect to < r : First compute A ij Then compute B xy for every xy ∈ V − V ij ij And for each xy we compute C xy , zw for every zw ∈ V − V xy ij 4 At the end, output A π ( n ) n The total running time of the algorithm is O ( n + m 3 ). C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 20 / 21

  75. Conclusion - Future work AT-free SFVS: ? chordal SFVS: NP-c FVS: P ⊂ ⊃ ⊂ ⊃ ⊃ permutation co-bipartite interval split SFVS: NP-c SFVS: P SFVS: P SFVS: P 1 Complexity on other graph classes: ⊲ AT-free graphs ⊃ co-comparability graphs, I 3 -free graphs ⊲ strongly chordal graphs, circular-arc graphs C. Papadopoulos (UoI) SFVS on Interval and Permutation Bordeaux, FCT 2017 21 / 21

Recommend

Node Multiway Cut and Subset Feedback Vertex Set on Graphs of Bounded Mim-width Benjamin

Node Multiway Cut and Subset Feedback Vertex Set on Graphs of Bounded Mim-width Benjamin

Node Multiway Cut and Subset Feedback Vertex Set on Graphs of Bounded Mim-width Benjamin Bergougnoux , Charis Papadopoulos and Jan Arne Telle . WG 2020, June 26, 2020 University of Bergen, Norway University of Ioannina, Greece

1.29k views • 42 slides
Halt return result; } true 5 6 1 The Halting Problem Undecidability Alan Turing, 1936

Halt return result; } true 5 6 1 The Halting Problem Undecidability Alan Turing, 1936

Polynomial-time Algorithms Most of the algorithms we have seen so far have been polynomial-time algorithms Introduction to NP Completeness Input size n =&gt; worst-case running time of n k , Chapter 9 where k is a constant CPTR 318 Can

212 views • 5 slides
NP-Completeness 1 Almost all the algorithms we have studies so far are polynomial-time

NP-Completeness 1 Almost all the algorithms we have studies so far are polynomial-time

Chapter 5 NP-Completeness 1 Almost all the algorithms we have studies so far are polynomial-time algorithms, i.e., the running time is O ( n k ) for some constant k . Generally, we think of problems that are solvable by polynomial-time

532 views • 42 slides
Subset Feedback Vertex Set is fixed-parameter tractable Marek Cygan, Marcin Pilipczuk, Micha

Subset Feedback Vertex Set is fixed-parameter tractable Marek Cygan, Marcin Pilipczuk, Micha

Subset Feedback Vertex Set is fixed-parameter tractable Marek Cygan, Marcin Pilipczuk, Micha l Pilipczuk, Jakub Onufry Wojtaszczyk Institute of Informatics University of Warsaw Google Inc., Cracow, Poland 06 July 2011, Zurich Cygan,

911 views • 66 slides
Advanced Algorithms COMS31900 Approximation algorithms part four Asymptotic Polynomial Time

Advanced Algorithms COMS31900 Approximation algorithms part four Asymptotic Polynomial Time

Advanced Algorithms COMS31900 Approximation algorithms part four Asymptotic Polynomial Time Approximation Schemes Rapha el Clifford Slides by Benjamin Sach Approximation Algorithms Recap A polynomial time algorithm A is an

1.52k views • 134 slides
Low Weight Discrete Logarithms and Subset Sum in 2 0 . 65 n with Polynomial Memory EUROCRYPT 2020 ,

Low Weight Discrete Logarithms and Subset Sum in 2 0 . 65 n with Polynomial Memory EUROCRYPT 2020 ,

Low Weight Discrete Logarithms and Subset Sum in 2 0 . 65 n with Polynomial Memory EUROCRYPT 2020 , May 11.-15. 2020 Andre Esser and Alexander May Horst Grtz Institute for IT Security Ruhr University Bochum Subset Sum Subset Sum Problem 0

464 views • 23 slides
W4231: Analysis of Algorithms Subset Sum The Subset Sum problem is defined as follows: 11/30/99

W4231: Analysis of Algorithms Subset Sum The Subset Sum problem is defined as follows: 11/30/99

W4231: Analysis of Algorithms Subset Sum The Subset Sum problem is defined as follows: 11/30/99 Given a sequence of integers a 1 , . . . , a n and a parameter k , NP-completeness of Subset Sum, Partition, Minimum Bin Packing. Decide

214 views • 3 slides
Quantum algorithms Subset-sum example: for the subset-sum problem Is there a subsequence of (499

Quantum algorithms Subset-sum example: for the subset-sum problem Is there a subsequence of (499

Quantum algorithms Subset-sum example: for the subset-sum problem Is there a subsequence of (499 852 1927 2535 3596 3608 D. J. Bernstein 4688 5989 6385 7353 7650 9413) University of Illinois at

2.02k views • 163 slides
Approximation Algorithms Subset Sum III Instance : X = { x 1 , . . . , x n } n integer

Approximation Algorithms Subset Sum III Instance : X = { x 1 , . . . , x n } n integer

NEW CS 473: Theory II, Fall 2015 Subset Sum Approximation Algorithms Subset Sum III Instance : X = { x 1 , . . . , x n } n integer positive num- bers, t - target number Question: subset of X s.t. sum of its elements is t ? Lecture 10

200 views • 8 slides
MA/CSSE 473 Day 38 Problems Decision Problems P and NP Polynomial time algorithms INTRO TO

MA/CSSE 473 Day 38 Problems Decision Problems P and NP Polynomial time algorithms INTRO TO

MA/CSSE 473 Day 38 Problems Decision Problems P and NP Polynomial time algorithms INTRO TO COMPUTATIONAL COMPLEXITY 1 The Law of the Algorithm Jungle Polynomial good, exponential bad! The latter is obvious, the former may need some

510 views • 16 slides
A Naive Algorithm for Feedback Vertex Set Yixin Cao Department of Computing,

A Naive Algorithm for Feedback Vertex Set Yixin Cao Department of Computing,

A Naive Algorithm for Feedback Vertex Set Yixin Cao Department of Computing, Hong Kong Polytechnic University Symposium on Simplicity in Algorithms New Orleans, LA January 10,

1.1k views • 62 slides
Polynomial-Time Problems Lecture 4: The polynomial method Part II: All-pairs shortest paths

Polynomial-Time Problems Lecture 4: The polynomial method Part II: All-pairs shortest paths

Complexity Theory of Polynomial-Time Problems Lecture 4: The polynomial method Part II: All-pairs shortest paths Sebastian Krinninger Overview on APSP Algorithms Floyd-Warshall algorithm: ( 3 ) Inserts one node at a time

687 views • 42 slides
A Cubic Kernel for Feedback Vertex Set Hans L. Bodlaender Department of Information and Computing

A Cubic Kernel for Feedback Vertex Set Hans L. Bodlaender Department of Information and Computing

A Cubic Kernel for Feedback Vertex Set Hans L. Bodlaender Department of Information and Computing Sciences Utrecht University The Netherlands 1 Overview Kernels and FPT Kernels and FPT Feedback Vertex Set Feedback Vertex Problem

748 views • 27 slides
Matrix Scaling: A New Heuristic for the Feedback Vertex Set Problem James Shook 1 Isabel Beichl 1

Matrix Scaling: A New Heuristic for the Feedback Vertex Set Problem James Shook 1 Isabel Beichl 1

Matrix Scaling: A New Heuristic for the Feedback Vertex Set Problem James Shook 1 Isabel Beichl 1 1 National Institute of Standards and Technology June 10, 2014 Feedback Vertex Sets G = ( V , A ) are digraphs. Feedback Vertex Sets G = (

927 views • 74 slides
Advanced Algorithms COMS31900 Approximation algorithms part three (Fully) Polynomial Time

Advanced Algorithms COMS31900 Approximation algorithms part three (Fully) Polynomial Time

Advanced Algorithms COMS31900 Approximation algorithms part three (Fully) Polynomial Time Approximation Schemes Rapha el Clifford Slides by Benjamin Sach Approximation Algorithms Recap An algorithm A is an -approximation algorithm for

1.72k views • 161 slides
Complexity Theory So far in this course, almost all algorithms had polynomial running time , i.e.,

Complexity Theory So far in this course, almost all algorithms had polynomial running time , i.e.,

Complexity Theory So far in this course, almost all algorithms had polynomial running time , i.e., on inputs of size n , worst-case running time is O ( n k ) for some constant k . Is this always the case? Obviously no (just consider basic FF

986 views • 47 slides
The Vertex Cover Problem Theorem 7.44 Pavan Kantharaju Drexel University - Department of

The Vertex Cover Problem Theorem 7.44 Pavan Kantharaju Drexel University - Department of

The Vertex Cover Problem Theorem 7.44 Pavan Kantharaju Drexel University - Department of Computer Science March 13, 2015 Reduction Definition (7.28) A function f : is a polynomial time computable function if some polynomial

380 views • 12 slides
Bypassing Combinatorial Protections Polynomial-Time Algorithms for Single-Peaked Electorates

Bypassing Combinatorial Protections Polynomial-Time Algorithms for Single-Peaked Electorates

Bypassing Combinatorial Protections Polynomial-Time Algorithms for Single-Peaked Electorates Markus Brill COMSOC 2010 Dsseldorf Joint work with Felix Brandt, Edith Hemaspaandra, and Lane Hemaspaandra Voting Rules C = {a,b,c,...} is a

660 views • 11 slides
Super-polynomial time approximability of inapproximable problems Edouard Bonnet, Michael

Super-polynomial time approximability of inapproximable problems Edouard Bonnet, Michael

Introduction Min Independent Dominating Set Max Induced Path/Forest/Tree Max Minimal Vertex Cover Super-polynomial time approximability of inapproximable problems Edouard Bonnet, Michael Lampis, Vangelis Paschos SZTAKI, Hungarian Academy

1.35k views • 88 slides
Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of

Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of

Polynomial Time corresponds to Solutions of Polynomial Ordinary Differential Equations of Polynomial Length Olivier Bournez, Daniel Graa and Amaury Pouly July 13, 2015 Main result and consequences Theorem (Informal) PTIME = PIVP of

633 views • 47 slides
Polynomial-Time Approximation Algorithms for Weighted LCS Problem Marek Cygan 1 , Marcin Kubica 1

Polynomial-Time Approximation Algorithms for Weighted LCS Problem Marek Cygan 1 , Marcin Kubica 1

Polynomial-Time Approximation Algorithms for Weighted LCS Problem Marek Cygan 1 , Marcin Kubica 1 , Jakub Radoszewski 1 , Wojciech Rytter 1 , 2 and Tomasz Wale 1 1 University of Warsaw, Poland 2 Copernicus University, Toru, Poland CPM 2011,

682 views • 26 slides
Polynomial-time reductions We have seen several reductions: Polynomial-time reductions Informal

Polynomial-time reductions We have seen several reductions: Polynomial-time reductions Informal

Polynomial-time reductions We have seen several reductions: Polynomial-time reductions Informal explanation of reductions: We have two problems, X and Y. Suppose we have a black-box solving problem X in polynomial-time. Can we use the black-box

1.38k views • 32 slides
Backtracking And Branch And Bound Subset &amp; Permutation Problems Subset problem of size n.

Backtracking And Branch And Bound Subset &amp; Permutation Problems Subset problem of size n.

Backtracking And Branch And Bound Subset &amp; Permutation Problems Subset problem of size n. Nonsystematic search of the space for the answer takes O(p2 n ) time, where p is the time needed to evaluate each member of the solution space.

65 views • 5 slides
Backtracking And Branch And Bound Subset &amp; Permutation Problems Subset problem of size n.

Backtracking And Branch And Bound Subset &amp; Permutation Problems Subset problem of size n.

Backtracking And Branch And Bound Subset &amp; Permutation Problems Subset problem of size n. Nonsystematic search of the space for the answer takes O(p2 n ) time, where p is the time needed to evaluate each member of the solution space.

310 views • 4 slides

More recommend