Sliding Window Temporal Graph Coloring George B. Mertzios 1 Hendrik - - PowerPoint PPT Presentation

sliding window temporal graph coloring
SMART_READER_LITE
LIVE PREVIEW

Sliding Window Temporal Graph Coloring George B. Mertzios 1 Hendrik - - PowerPoint PPT Presentation

Sliding Window Temporal Graph Coloring George B. Mertzios 1 Hendrik Molter 2 Viktor Zamaraev 1 1 Department of Computer Science, Durham University, Durham, UK 2 Algorithmics and Computational Complexity, TU Berlin, Germany AAAI 2019, Honolulu This


slide-1
SLIDE 1

Sliding Window Temporal Graph Coloring

George B. Mertzios1 Hendrik Molter2 Viktor Zamaraev1

1Department of Computer Science, Durham University, Durham, UK 2Algorithmics and Computational Complexity, TU Berlin, Germany

AAAI 2019, Honolulu

This is a preliminary (unfinished) version. Subject to updates.

slide-2
SLIDE 2

Introduction

Motivation

Motivating Scenario:

Mobile agents broadcast information When agents meet they can exchange information Information can only be exchanged if agents broadcast

  • n different channels

Agents should be able to exchange information within reasonable time windows around their meetings

“Channel Assignment Problem” A B C

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 2 / 11

slide-3
SLIDE 3

Introduction

Motivation

Motivating Scenario:

Mobile agents broadcast information When agents meet they can exchange information Information can only be exchanged if agents broadcast

  • n different channels

Agents should be able to exchange information within reasonable time windows around their meetings

“Channel Assignment Problem”

Time: 1

A B C 1 A B C

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 2 / 11

slide-4
SLIDE 4

Introduction

Motivation

Motivating Scenario:

Mobile agents broadcast information When agents meet they can exchange information Information can only be exchanged if agents broadcast

  • n different channels

Agents should be able to exchange information within reasonable time windows around their meetings

“Channel Assignment Problem”

Time: 2

A B C 1 2 A B C

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 2 / 11

slide-5
SLIDE 5

Introduction

Motivation

Motivating Scenario:

Mobile agents broadcast information When agents meet they can exchange information Information can only be exchanged if agents broadcast

  • n different channels

Agents should be able to exchange information within reasonable time windows around their meetings

“Channel Assignment Problem”

Time: 3

A B C 1 2 3 A B C

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 2 / 11

slide-6
SLIDE 6

Introduction

Motivation

Motivating Scenario:

Mobile agents broadcast information When agents meet they can exchange information Information can only be exchanged if agents broadcast

  • n different channels

Agents should be able to exchange information within reasonable time windows around their meetings

“Channel Assignment Problem”

Time: 4

A B C 1 2 3 4 A B C

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 2 / 11

slide-7
SLIDE 7

Introduction

Motivation

Motivating Scenario:

Mobile agents broadcast information When agents meet they can exchange information Information can only be exchanged if agents broadcast

  • n different channels

Agents should be able to exchange information within reasonable time windows around their meetings

“Channel Assignment Problem”

Time: 5

A B C 1 2 3 4 5 A B C

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 2 / 11

slide-8
SLIDE 8

Introduction

Motivation

Motivating Scenario:

Mobile agents broadcast information When agents meet they can exchange information Information can only be exchanged if agents broadcast

  • n different channels

Agents should be able to exchange information within reasonable time windows around their meetings

“Channel Assignment Problem”

Time: 6

A B C 1 2 3 4 5 6 A B C

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 2 / 11

slide-9
SLIDE 9

Introduction

Motivation

Motivating Scenario:

Mobile agents broadcast information When agents meet they can exchange information Information can only be exchanged if agents broadcast

  • n different channels

Agents should be able to exchange information within reasonable time windows around their meetings

“Channel Assignment Problem”

Time: 7

A B C 1 2 3 4 5 6 7 A B C

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 2 / 11

slide-10
SLIDE 10

Introduction

Motivation II

Channel Assignment Problems are often modeled as graph coloring problems Movement of agents / changes over time are modeled as a temporal graph Naturally leads to a temporal graph coloring problem Time windows around meetings of agents → “sliding windows”

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 3 / 11

slide-11
SLIDE 11

Introduction

Temporal Graphs

Temporal Graph A temporal graph (G = (V,E),λ) is defined as a graph G = (V,E) with a labeling function λ : E → 2N that assigns time labels to edges.

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 4 / 11

slide-12
SLIDE 12

Introduction

Temporal Graphs

Temporal Graph A temporal graph (G = (V,E),λ) is defined as a graph G = (V,E) with a labeling function λ : E → 2N that assigns time labels to edges.

(G,λ):

2 1 1 1 2 3 3

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 4 / 11

slide-13
SLIDE 13

Introduction

Temporal Graphs

Temporal Graph A temporal graph (G = (V,E),λ) is defined as a graph G = (V,E) with a labeling function λ : E → 2N that assigns time labels to edges.

(G,λ):

2 1 1 1 2 3 3

G1:

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 4 / 11

slide-14
SLIDE 14

Introduction

Temporal Graphs

Temporal Graph A temporal graph (G = (V,E),λ) is defined as a graph G = (V,E) with a labeling function λ : E → 2N that assigns time labels to edges.

(G,λ):

2 1 1 1 2 3 3

G1: G2:

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 4 / 11

slide-15
SLIDE 15

Introduction

Temporal Graphs

Temporal Graph A temporal graph (G = (V,E),λ) is defined as a graph G = (V,E) with a labeling function λ : E → 2N that assigns time labels to edges.

(G,λ):

2 1 1 1 2 3 3

G1: G2: G3:

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 4 / 11

slide-16
SLIDE 16

Introduction

Temporal Graphs

Temporal Graph A temporal graph (G = (V,E),λ) is defined as a graph G = (V,E) with a labeling function λ : E → 2N that assigns time labels to edges.

(G,λ):

2 1 1 1 2 3 3

G1: G2: G3: G:

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 4 / 11

slide-17
SLIDE 17

Introduction

Temporal Graphs

Temporal Graph A temporal graph (G = (V,E),λ) is defined as a graph G = (V,E) with a labeling function λ : E → 2N that assigns time labels to edges.

(G,λ):

2 1 1 1 2 3 3

G1: G2: G3: G: layers underlying graph

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 4 / 11

slide-18
SLIDE 18

Introduction

Sliding Window Temporal Graph Coloring

Sliding Window Temporal Coloring, Example, Motivation, Definition Sliding Window Temporal Coloring Input: A temporal graph (G,λ), and two integers k ∈ N and ∆ ≤ T. Question: Does there exist a proper sliding ∆-window temporal coloring φ of (G,λ) using at most k colors?

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 5 / 11

slide-19
SLIDE 19

Introduction

Parameterized Complexity Primer

Parameterized Tractability

FPT (fixed-parameter tractable): Solvable in f(k)· nO(1) time.

n: instance size k: parameter

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 6 / 11

slide-20
SLIDE 20

Introduction

Parameterized Complexity Primer

Parameterized Tractability

FPT (fixed-parameter tractable): Solvable in f(k)· nO(1) time. XP: Solvable in ng(k) time.

n: instance size k: parameter

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 6 / 11

slide-21
SLIDE 21

Introduction

Parameterized Complexity Primer

Parameterized Tractability

FPT (fixed-parameter tractable): Solvable in f(k)· nO(1) time. XP: Solvable in ng(k) time. Polynomial Kernel: Poly-time algorithm transforming an instance (I,k) into an equivalent instance (I′,k′) s.t. |(I′,k′)| ≤ kO(1).

n: instance size k: parameter

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 6 / 11

slide-22
SLIDE 22

Introduction

Parameterized Complexity Primer

Parameterized Tractability

FPT (fixed-parameter tractable): Solvable in f(k)· nO(1) time. XP: Solvable in ng(k) time. Polynomial Kernel: Poly-time algorithm transforming an instance (I,k) into an equivalent instance (I′,k′) s.t. |(I′,k′)| ≤ kO(1).

Parameterized Hardness

W[1]-hard: Presumably no FPT algorithm (XP algorithm possible).

n: instance size k: parameter

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 6 / 11

slide-23
SLIDE 23

Introduction

Parameterized Complexity Primer

Parameterized Tractability

FPT (fixed-parameter tractable): Solvable in f(k)· nO(1) time. XP: Solvable in ng(k) time. Polynomial Kernel: Poly-time algorithm transforming an instance (I,k) into an equivalent instance (I′,k′) s.t. |(I′,k′)| ≤ kO(1).

Parameterized Hardness

W[1]-hard: Presumably no FPT algorithm (XP algorithm possible). para-NP-hard: NP-hard for constant k (no XP algorithm).

n: instance size k: parameter

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 6 / 11

slide-24
SLIDE 24

Temporal Graph Coloring

Table of Results

Hardness Results:

Sliding Window Temporal Coloring is NP-hard, even if k, ∆, and T are constant and G is k + 1-colorable and has O(k) max. degree, and every snapshot has connected components of size O(k). Every snapshot is a cluster graph. Every snapshot has a dominating set of size one. Sliding Window Temporal Coloring is NP-hard, even if k and ∆ are constant and the vertex cover number of the underlying graph is in O(k).

Algorithmic Results:

Exponential Time Algorithm that is optimal assuming ETH. Extension for small number of agents (FPT Algorithm). FPT-Approximation algorithm for parameter “feedback vertex number of G” (additive error of one).

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 7 / 11

slide-25
SLIDE 25

Sliding Window Temporal Graph Coloring

Main Algorithm

Sketch of the main exponential time Algorithm (Thm 4.5)

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 8 / 11

slide-26
SLIDE 26

Sliding Window Temporal Graph Coloring

Main Algorithm II

How to exploit few vertices? → Preprocessing Step and FPT algorithm for # of vertices (Thm 4.6) (Motivation + Main Ideas)

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 9 / 11

slide-27
SLIDE 27

Temporal Graph Coloring

Approximation Algorithm

Vertex Cover FPT algorithm (Thm 4.9) (Motivation + Main Ideas)

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 10 / 11

slide-28
SLIDE 28

Outlook

and Future Work

Hendrik Molter, TU Berlin Sliding Window Temporal Graph Coloring 11 / 11