On Strict (Outer-)Confluent Graphs Henry F orster, Robert Ganian, - - PowerPoint PPT Presentation

on strict outer confluent graphs
SMART_READER_LITE
LIVE PREVIEW

On Strict (Outer-)Confluent Graphs Henry F orster, Robert Ganian, - - PowerPoint PPT Presentation

On Strict (Outer-)Confluent Graphs Henry F orster, Robert Ganian, Fabian Klute, Martin N ollenburg Graph Drawing 2019 September 18, 2019 1/21 Confluence Technique to bundle edges 2/21 Henry F orster, Robert Ganian, Fabian Klute,


slide-1
SLIDE 1

1/21

Graph Drawing 2019 · September 18, 2019

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg

On Strict (Outer-)Confluent Graphs

slide-2
SLIDE 2

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

2/21

Confluence

Technique to bundle edges

slide-3
SLIDE 3

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

2/21

Confluence

Technique to bundle edges

slide-4
SLIDE 4

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

2/21

Confluence

Technique to bundle edges

slide-5
SLIDE 5

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

2/21

Confluence

Technique to bundle edges

slide-6
SLIDE 6

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

2/21

Confluence

Technique to bundle edges

slide-7
SLIDE 7

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

2/21

Confluence

Technique to bundle edges

slide-8
SLIDE 8

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

2/21

Confluence

Technique to bundle edges

slide-9
SLIDE 9

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

2/21

Confluence

Technique to bundle edges

slide-10
SLIDE 10

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

3/21

Definitions

Plane drawing, i.e. no “real” intersections No wrong adjacencies No double paths ⇒ strict confluency All vertices on a circle ⇒ outer confluency

slide-11
SLIDE 11

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

3/21

Definitions

Junction Plane drawing, i.e. no “real” intersections No wrong adjacencies No double paths ⇒ strict confluency All vertices on a circle ⇒ outer confluency Node

slide-12
SLIDE 12

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

3/21

Definitions

Junction Arc Plane drawing, i.e. no “real” intersections No wrong adjacencies No double paths ⇒ strict confluency All vertices on a circle ⇒ outer confluency Node

slide-13
SLIDE 13

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

3/21

Definitions

Junction Arc Path Plane drawing, i.e. no “real” intersections No wrong adjacencies No double paths ⇒ strict confluency All vertices on a circle ⇒ outer confluency Node

slide-14
SLIDE 14

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

3/21

Definitions

Junction Arc Path Plane drawing, i.e. no “real” intersections No wrong adjacencies No double paths ⇒ strict confluency All vertices on a circle ⇒ outer confluency Node Every plane drawing is (strict) confluent ⇒ Questions mainly interesting for non-planar graphs

slide-15
SLIDE 15

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

4/21

Known Results

Only known for a few classes of graphs E.g. Interval graphs, bipartite permutation graphs [Dickerson et al 2005, Hui et al. 2007] Negative case also only known for a few classes of graphs E.g. Petersen graph, Chordal graphs [Dickerson et al. 2005] Does a graph G admit a confluent drawing? Recognizing strict-confluent graphs is NP-hard [Eppstein et al. 2016]

slide-16
SLIDE 16

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

4/21

Known Results

One main open question Which graphs have a strict outer-confluent drawing? Only known for a few classes of graphs E.g. Interval graphs, bipartite permutation graphs [Dickerson et al 2005, Hui et al. 2007] Negative case also only known for a few classes of graphs E.g. Petersen graph, Chordal graphs [Dickerson et al. 2005] Does a graph G admit a confluent drawing? Recognizing strict-confluent graphs is NP-hard [Eppstein et al. 2016]

slide-17
SLIDE 17

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

5/21

SC Drawings of Unit Interval Graphs

v1 v4 w1 w5 x1 x2 Graphs that can be represented as intersection of unit intervals

slide-18
SLIDE 18

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

5/21

SC Drawings of Unit Interval Graphs

C1 C3 v1 v4 w1 C2 w5 x1 x2 Graphs that can be represented as intersection of unit intervals Decompose into cliques

slide-19
SLIDE 19

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

5/21

SC Drawings of Unit Interval Graphs

C1 C3 v1 v4 w1 C2 w5 x1 x2 v1 v2 v3 v4 x1 x2 d2 d2 d3 d3 d4 w1 w2 w3 w4 w5 Graphs that can be represented as intersection of unit intervals Decompose into cliques

slide-20
SLIDE 20

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

5/21

SC Drawings of Unit Interval Graphs

C1 C3 v1 v4 w1 C2 w5 x1 x2 v1 v2 v3 v4 x1 x2 d2 d2 b2 d3 d3 d4 b3 b4 w1 w2 w3 w4 w5 b4 b3 Graphs that can be represented as intersection of unit intervals Decompose into cliques

slide-21
SLIDE 21

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

5/21

SC Drawings of Unit Interval Graphs

C1 C3 v1 v4 w1 C2 w5 x1 x2 v1 v2 v3 v4 x1 x2 d2 d2 b2 H d3 d3 d4 b3 b4 w1 w2 w3 w4 w5 b4 b3 br Graphs that can be represented as intersection of unit intervals Decompose into cliques Connect the cliques with confluent paths

slide-22
SLIDE 22

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

strict-outerconfluent strict-confluent

slide-23
SLIDE 23

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent

slide-24
SLIDE 24

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free

slide-25
SLIDE 25

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free

slide-26
SLIDE 26

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free

slide-27
SLIDE 27

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free bipartite permutation

slide-28
SLIDE 28

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free bipartite permutation bipartite permutation

slide-29
SLIDE 29

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free bipartite permutation bipartite permutation

slide-30
SLIDE 30

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free bipartite permutation comparability circle trapezoid circular arc bipartite permutation

slide-31
SLIDE 31

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free bipartite permutation comparability circle trapezoid circular arc circle-trapezoid bipartite permutation

slide-32
SLIDE 32

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle bipartite permutation

slide-33
SLIDE 33

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability bipartite permutation

slide-34
SLIDE 34

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament bipartite permutation

slide-35
SLIDE 35

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament bipartite permutation

slide-36
SLIDE 36

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament bipartite permutation

slide-37
SLIDE 37

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament bipartite permutation

slide-38
SLIDE 38

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament ∆-confluent bipartite permutation

slide-39
SLIDE 39

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent bipartite permutation

slide-40
SLIDE 40

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent bipartite permutation

slide-41
SLIDE 41

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent bipartite permutation

slide-42
SLIDE 42

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent bipartite permutation

slide-43
SLIDE 43

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent

bounded cliquewidth

bipartite permutation

slide-44
SLIDE 44

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent

bounded cliquewidth

bipartite permutation

slide-45
SLIDE 45

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent

bounded cliquewidth

bipartite permutation

?

slide-46
SLIDE 46

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent

bounded cliquewidth

bipartite permutation

? Cop number: c [Gavenˇ

ciak et al. 18]

slide-47
SLIDE 47

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent

bounded cliquewidth

bipartite permutation

? Cop number: c [Gavenˇ

ciak et al. 18]

3 ≤ c ≤ 15

slide-48
SLIDE 48

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent

bounded cliquewidth

bipartite permutation

? Cop number: c [Gavenˇ

ciak et al. 18]

3 ≤ c ≤ 15 3 ≤ c ≤ 4

slide-49
SLIDE 49

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent

bounded cliquewidth

bipartite permutation

? Cop number: c [Gavenˇ

ciak et al. 18]

3 ≤ c ≤ 15 3 ≤ c ≤ 4 c = 2

slide-50
SLIDE 50

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent

bounded cliquewidth

bipartite permutation

? Cop number: c [Gavenˇ

ciak et al. 18]

3 ≤ c ≤ 15 3 ≤ c ≤ 4 c = 2 c = 1 c = 1

slide-51
SLIDE 51

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent

bounded cliquewidth

bipartite permutation

? Cop number: c [Gavenˇ

ciak et al. 18]

3 ≤ c ≤ 15 3 ≤ c ≤ 4 c = 2 c = 2 c = 1 c = 1

slide-52
SLIDE 52

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent

bounded cliquewidth

bipartite permutation

? Cop number: c [Gavenˇ

ciak et al. 18]

3 ≤ c ≤ 15 3 ≤ c ≤ 4 c = 2 c = 2

?

c = 1 c = 1

slide-53
SLIDE 53

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

6/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent

bounded cliquewidth

bipartite permutation

? Cop number: c [Gavenˇ

ciak et al. 18]

3 ≤ c ≤ 15 3 ≤ c ≤ 4 c = 2 c = 2

?

c = 1 c = 1

slide-54
SLIDE 54

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins?

slide-55
SLIDE 55

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A path

slide-56
SLIDE 56

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A path

slide-57
SLIDE 57

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A path

slide-58
SLIDE 58

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A path

slide-59
SLIDE 59

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A path

slide-60
SLIDE 60

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A path

slide-61
SLIDE 61

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A path

slide-62
SLIDE 62

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A path

slide-63
SLIDE 63

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A path

slide-64
SLIDE 64

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A path

slide-65
SLIDE 65

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A path

slide-66
SLIDE 66

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-67
SLIDE 67

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-68
SLIDE 68

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-69
SLIDE 69

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-70
SLIDE 70

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-71
SLIDE 71

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-72
SLIDE 72

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-73
SLIDE 73

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-74
SLIDE 74

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-75
SLIDE 75

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-76
SLIDE 76

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-77
SLIDE 77

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-78
SLIDE 78

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-79
SLIDE 79

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-80
SLIDE 80

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-81
SLIDE 81

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-82
SLIDE 82

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-83
SLIDE 83

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-84
SLIDE 84

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-85
SLIDE 85

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-86
SLIDE 86

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-87
SLIDE 87

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

7/21

Cops and Robbers

Simple two player game on a graph Cop player has k cop tokens Robber player has 1 robber token In a turn player can move their token to adjacent vertices Robber is caught if it coincides with a cop Cop-number: What is the smallest k such that cop player wins? Example: A circle

slide-88
SLIDE 88

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

8/21

Cops and Robbers meeting SOC Graphs

Result: Strict outer-confluent graphs have cop-number 2

slide-89
SLIDE 89

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

8/21

Cops and Robbers meeting SOC Graphs

Result: Strict outer-confluent graphs have cop-number 2 v Using one cop, robber is “locked” between u and v r u

slide-90
SLIDE 90

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

8/21

Cops and Robbers meeting SOC Graphs

Result: Strict outer-confluent graphs have cop-number 2 v Using one cop, robber is “locked” between u and v r u

slide-91
SLIDE 91

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

8/21

Cops and Robbers meeting SOC Graphs

Result: Strict outer-confluent graphs have cop-number 2 v Using one cop, robber is “locked” between u and v r u

slide-92
SLIDE 92

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

8/21

Cops and Robbers meeting SOC Graphs

Result: Strict outer-confluent graphs have cop-number 2 v Using one cop, robber is “locked” between u and v r u

slide-93
SLIDE 93

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

8/21

Cops and Robbers meeting SOC Graphs

Result: Strict outer-confluent graphs have cop-number 2 v Using one cop, robber is “locked” between u and v r u

slide-94
SLIDE 94

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

8/21

Cops and Robbers meeting SOC Graphs

Result: Strict outer-confluent graphs have cop-number 2 v Using one cop, robber is “locked” between u and v r u

slide-95
SLIDE 95

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

8/21

Cops and Robbers meeting SOC Graphs

Result: Strict outer-confluent graphs have cop-number 2 v Using one cop, robber is “locked” between u and v r u

slide-96
SLIDE 96

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

8/21

Cops and Robbers meeting SOC Graphs

Result: Strict outer-confluent graphs have cop-number 2 v Using one cop, robber is “locked” between u and v r u

slide-97
SLIDE 97

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

8/21

Cops and Robbers meeting SOC Graphs

Result: Strict outer-confluent graphs have cop-number 2 v Using one cop, robber is “locked” between u and v r u

slide-98
SLIDE 98

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

8/21

Cops and Robbers meeting SOC Graphs

Result: Strict outer-confluent graphs have cop-number 2 v Using one cop, robber is “locked” between u and v r u

slide-99
SLIDE 99

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

8/21

Cops and Robbers meeting SOC Graphs

Result: Strict outer-confluent graphs have cop-number 2 v Using one cop, robber is “locked” between u and v r u

slide-100
SLIDE 100

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

8/21

Cops and Robbers meeting SOC Graphs

Result: Strict outer-confluent graphs have cop-number 2 v Using one cop, robber is “locked” between u and v r How to lock robber to smaller set of vertices? u

slide-101
SLIDE 101

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

9/21

Moving cops – Case 1

u w v r Result: Strict outer-confluent graphs have cop-number 2 ∃uw-path under which we can lock the robber

slide-102
SLIDE 102

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

9/21

Moving cops – Case 1

u w v r Result: Strict outer-confluent graphs have cop-number 2 ∃uw-path under which we can lock the robber

slide-103
SLIDE 103

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

9/21

Moving cops – Case 1

u w v r Result: Strict outer-confluent graphs have cop-number 2 ∃uw-path under which we can lock the robber

slide-104
SLIDE 104

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

10/21

Moving Cops – Case 2

Result: Strict outer-confluent graphs have cop-number 2 u v r x w ∃xw-path with x, w neighbors of u, v under which we can lock the robber

slide-105
SLIDE 105

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

10/21

Moving Cops – Case 2

Result: Strict outer-confluent graphs have cop-number 2 u v r x w ∃xw-path with x, w neighbors of u, v under which we can lock the robber

slide-106
SLIDE 106

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

10/21

Moving Cops – Case 2

Result: Strict outer-confluent graphs have cop-number 2 u v r x w ∃xw-path with x, w neighbors of u, v under which we can lock the robber

slide-107
SLIDE 107

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

11/21

Moving Cops – Case 3

Result: Strict outer-confluent graphs have cop-number 2 u x v w r y z

slide-108
SLIDE 108

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

11/21

Moving Cops – Case 3

Result: Strict outer-confluent graphs have cop-number 2 u x v w r y z

slide-109
SLIDE 109

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

11/21

Moving Cops – Case 3

Result: Strict outer-confluent graphs have cop-number 2 u x v w r y z If no wx-path exists, we find y, z such that we can lock a robber that is inside the red region

slide-110
SLIDE 110

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

12/21

Catching the Robber

Result: Strict outer-confluent graphs have cop-number 2 Each case makes the set of nodes the robber can use smaller

slide-111
SLIDE 111

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

12/21

Catching the Robber

Result: Strict outer-confluent graphs have cop-number 2 Each case makes the set of nodes the robber can use smaller We show that one case always applies ⇒ Two cops suffice to catch the roober

slide-112
SLIDE 112

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

12/21

Catching the Robber

Result: Strict outer-confluent graphs have cop-number 2 Each case makes the set of nodes the robber can use smaller We show that one case always applies ⇒ Two cops suffice to catch the roober

slide-113
SLIDE 113

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

13/21

Conclusions

One main open question Which graphs have a strict outer-confluent drawing?

slide-114
SLIDE 114

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

13/21

Conclusions

One main open question Which graphs have a strict outer-confluent drawing? The question remains open Not even good intuition if the problem is in P or NP-hard

slide-115
SLIDE 115

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

13/21

Conclusions

One main open question Which graphs have a strict outer-confluent drawing? The question remains open Not even good intuition if the problem is in P or NP-hard Many other questions Do strict outer-confluent graphs have bounded cliquewidth? Complexity of other types of confluence? What other graph classes admit (strict) confluent drawings? Confluence, but with some allowed crossings? [Bach et al. 16]

slide-116
SLIDE 116

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

14/21

slide-117
SLIDE 117

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

15/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent

bounded cliquewidth

bipartite permutation

? Cop number: c

3 ≤ c ≤ 15 3 ≤ c ≤ 4 c = 2 c = 2

?

c = 1 c = 1

slide-118
SLIDE 118

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

15/21

Our Results

unit interval strict-outerconfluent strict-confluent strict bipartite outerconfluent bipartite permutation ∩ domino-free string

  • uter-string

bipartite permutation comparability circle trapezoid circular arc circle-trapezoid series-parallel pseudo-split chordal polygon-circle interval-filament co-comparability subtree-filament distance-hereditary ∆-confluent tree-like ∆-strict-outerconfluent

bounded cliquewidth

bipartite permutation

? Cop number: c

3 ≤ c ≤ 15 3 ≤ c ≤ 4 c = 2 c = 2

?

c = 1 c = 1

slide-119
SLIDE 119

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

16/21

Construction of Traces

For each u define trace t(u) (these will be the strings) Each trace starts at u in D Viewed from u, t(u) stays on the left side of the paths Given strict confluent drawing D

slide-120
SLIDE 120

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

16/21

Construction of Traces

t(u) t(v) t(u) t(v) i i w t(w) w t(w)

For each u define trace t(u) (these will be the strings) Each trace starts at u in D Viewed from u, t(u) stays on the left side of the paths Given strict confluent drawing D

slide-121
SLIDE 121

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

17/21

Two Problems for Strictness

Domino

slide-122
SLIDE 122

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

17/21

Two Problems for Strictness

Domino

slide-123
SLIDE 123

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

17/21

Two Problems for Strictness

Domino

slide-124
SLIDE 124

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

17/21

Two Problems for Strictness

Domino K3,3

slide-125
SLIDE 125

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

17/21

Two Problems for Strictness

Domino K3,3

slide-126
SLIDE 126

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

17/21

Two Problems for Strictness

Domino K3,3

slide-127
SLIDE 127

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

17/21

Two Problems for Strictness

Domino K3,3

slide-128
SLIDE 128

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

17/21

Two Problems for Strictness

Domino K3,3

slide-129
SLIDE 129

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

17/21

Two Problems for Strictness

Domino K3,3

slide-130
SLIDE 130

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

17/21

Two Problems for Strictness

Domino K3,3

slide-131
SLIDE 131

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

17/21

Two Problems for Strictness

Domino K3,3 Twisted domino Alternating K3,3

slide-132
SLIDE 132

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

18/21

SOC Drawings of Bipartite Permutation Graphs

Bipartite Permutation graphs (BP) are graphs that are

slide-133
SLIDE 133

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

18/21

SOC Drawings of Bipartite Permutation Graphs

Bipartite Permutation graphs (BP) are graphs that are Bipartite

slide-134
SLIDE 134

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

18/21

SOC Drawings of Bipartite Permutation Graphs

Bipartite Permutation graphs (BP) are graphs that are Bipartite Permutation

slide-135
SLIDE 135

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

18/21

SOC Drawings of Bipartite Permutation Graphs

Bipartite Permutation graphs (BP) are graphs that are Bipartite Permutation Better characerization for us: A B

slide-136
SLIDE 136

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

18/21

SOC Drawings of Bipartite Permutation Graphs

Bipartite Permutation graphs (BP) are graphs that are Bipartite Permutation Better characerization for us: A B ⇒ Confluent drawing easily possible (Formal proof [Hui et al. 09]) Domino graph is a Bipartite Permutation graph ⇒ strictness?

slide-137
SLIDE 137

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

19/21

BP Without Dominos

BP without dominos have soc drawings

slide-138
SLIDE 138

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

19/21

BP Without Dominos

BP without dominos have soc drawings Draw given graph with algorithm by Hui et al.

slide-139
SLIDE 139

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

19/21

BP Without Dominos

BP without dominos have soc drawings Draw given graph with algorithm by Hui et al. Observations: K3,3 is never alternating Dominos might be twisted

slide-140
SLIDE 140

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

19/21

BP Without Dominos

BP without dominos have soc drawings Draw given graph with algorithm by Hui et al. Observations: K3,3 is never alternating Dominos might be twisted We can always untwist dominos u1 u2 u3 v1 v2 v3

slide-141
SLIDE 141

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

19/21

BP Without Dominos

BP without dominos have soc drawings Draw given graph with algorithm by Hui et al. Observations: K3,3 is never alternating Dominos might be twisted We can always untwist dominos u1 u2 u3 v1 v2 v3 u1 u2 u3 v1 v2 v3

slide-142
SLIDE 142

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

20/21

Bipartite Strict Confluent Drawings

Drawings such that u1 u2 u3 v1 v2 v3

slide-143
SLIDE 143

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

20/21

Bipartite Strict Confluent Drawings

Drawings such that u1 u2 u3 v1 v2 v3 Vertices drawn in bipartite “manner”

slide-144
SLIDE 144

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

20/21

Bipartite Strict Confluent Drawings

Drawings such that u1 u2 u3 v1 v2 v3 Vertices drawn in bipartite “manner” Edges drawn as strict confluent network between them

slide-145
SLIDE 145

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

20/21

Bipartite Strict Confluent Drawings

Drawings such that u1 u2 u3 v1 v2 v3 Vertices drawn in bipartite “manner” Edges drawn as strict confluent network between them Slide before Bipartite permutation graphs without domino have such drawings

slide-146
SLIDE 146

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

20/21

Bipartite Strict Confluent Drawings

Drawings such that u1 u2 u3 v1 v2 v3 Vertices drawn in bipartite “manner” Edges drawn as strict confluent network between them Slide before Such drawings are bipartite permutation graphs without dominos: Twisted domino is only order admitting bipartite confluent drawing But twisted domino can not be drawn strict outer-confluent Bipartite permutation graphs without domino have such drawings

slide-147
SLIDE 147

Henry F¨

  • rster, Robert Ganian, Fabian Klute, Martin N¨
  • llenburg · On SOC Graphs

21/21

Counterexample for BP ⊂ SOC