120 likes | 225 Views
On Fixed-Parameter Tractability of Some Routing Problems Hong Lu. Overview. Motivation Problem Statements First Edge Disjoint Problem(FEDP) Special Case Normal Form General Case Complexities. Motivation. Routing Issue: Starvation. a. Node: computer. c. Edge: network link. 1. 2.
E N D
On Fixed-Parameter Tractability of Some Routing ProblemsHong Lu
Overview • Motivation • Problem Statements • First Edge Disjoint Problem(FEDP) • Special Case • Normal Form • General Case • Complexities
Motivation • Routing Issue: Starvation a Node: computer c Edge: network link 1 2 Path: end to end connection 3 d G b
Problem Statements • Given directed graph G and k source-sink pairs s1t1,s2t2,…sktk, find a routing of k paths p1,p2,…,pk such that • no two paths share the same edge(EDP) • no two paths share the same second node(SNDP) • no two paths share the same first edge(FEDP) • NP-Complete: SAT • Fixed Parameter Tractable (kernelization)
FEDP: Special Case N T1 k1 N T1 k1 N T2 <k k2 small sink p1’ N p1 T2 k k2 S p2 N k3 T3 S N k3 T3 >k big sink p2’ Tm km N Tm km G G’ N N1 bipartite k new nodes Nk P = {p1,p2,…pk} P’ = {p1’,p2’,…pk’}
Normal Form - FEDP 1 n k m k k1 k2 K1+k2+…+km = k 2 km T-nodes S- nodes m N-nodes
Normalization I G’ G ST S T Source-Sink Separation
T Normalization II G’ G T Sink Normalization
Normalization III S1 S1 S2 S2 Source Normalization
Normalization IV 1 n k m k k1 k2 2 km T-nodes S- nodes m N-nodes
Complexities • FEDP can be solved in O(mk + k5(ek)k) • st-SNDP is FPT • Is general SNDP FPT? Open!
Reference • Aleksandrs Slivkins, Martin Pál, “On Fixed-Parameter Tractability of Some Routing Problems”, Technical Report, PSU