Flip Distances between Graph Orientations Jean Cardinal Joint work - - PowerPoint PPT Presentation

flip distances between graph orientations
SMART_READER_LITE
LIVE PREVIEW

Flip Distances between Graph Orientations Jean Cardinal Joint work - - PowerPoint PPT Presentation

Flip Distances between Graph Orientations Jean Cardinal Joint work with Oswin Aichholzer, Tony Huynh, Kolja Knauer, Torsten Mtze, Raphael Steiner, and Birgit Vogtenhuber October 2020 1 / 21 Flip Graphs 2 / 21 Polytope 3 / 21 Flip


slide-1
SLIDE 1

Flip Distances between Graph Orientations

Jean Cardinal

Joint work with Oswin Aichholzer, Tony Huynh, Kolja Knauer, Torsten Mütze, Raphael Steiner, and Birgit Vogtenhuber

October 2020

1 / 21

slide-2
SLIDE 2

Flip Graphs

2 / 21

slide-3
SLIDE 3

Polytope

3 / 21

slide-4
SLIDE 4

Flip Distances

  • Diameter of associahedra

Sleator, Tarjan, Thurston 1988, Pournin 2014

  • Computational question: given two objects, what is their flip

distance?

  • Flip distance between triangulations of point sets is NP-hard.

Lubiw and Pathak 2015

  • Flip distance between triangulations of simple polygons is

NP-hard.

Aichholzer, Mulzer, Pilz 2015

  • Flip distance between triangulations of a convex polygon:

Major open question.

4 / 21

slide-5
SLIDE 5

Flip Distances

Complexity of flip distances on “nice” combinatorial polytopes?

  • Matroid polytopes: easy
  • Associahedra and polymatroids: open
  • Intersection of two matroids?

5 / 21

slide-6
SLIDE 6

α-orientations

An α-orientation of G is an orientation of the edges of G in which every vertex v has outdegree α(v).

6 / 21

slide-7
SLIDE 7

Perfect Matchings in Bipartite Graphs

1 1 1 1 1 1 2 2 1 2

7 / 21

slide-8
SLIDE 8

Flips in α-orientations

1 1 1 1 1 1 2 2 1 2 1 1 1 1 1 1 2 2 1 2

8 / 21

slide-9
SLIDE 9

Flip Graph on Perfect Matchings

9 / 21

slide-10
SLIDE 10

Adjacency

  • The common base polytope of two matroids is the intersection
  • f the two matroid polytopes.
  • α-orientations are intersections of two partition matroids.
  • Adjacency is characterized by cycle exchanges.

Frank and Tardos 1988, Iwata 2002

  • Adjacency on perfect matching polytope: symmetric difference

induces a single cycle.

Balinski and Russakoff 1974

10 / 21

slide-11
SLIDE 11

Adjacency

A = {1, 3, 5, 7, 8} 2 4 6 1 3 5 7 8 B = {2, 4, 6, 7, 8} 1 3 5 7 8 6 4 2 5 3 1 6 4 2 A \ B B \ A

11 / 21

slide-12
SLIDE 12

Flip Distance

2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 2 1 1 1 C1 C2 C3 C4 D1 D2 D3

  • Symmetric difference composed of four cycles: C1, C2, C3, C4
  • Flip distance three: D1, D2, D3

12 / 21

slide-13
SLIDE 13

NP-completeness

Theorem

Given a two-connected bipartite subcubic planar graph G and a pair X, Y of perfect matchings in G, deciding whether the flip distance between X and Y is at most two is NP-complete.

13 / 21

slide-14
SLIDE 14

NP-hardness

Reduction from Hamiltonian cycle in planar, degree 1/2-2/1 digraphs.

14 / 21

slide-15
SLIDE 15

Planar Duality

15 / 21

slide-16
SLIDE 16

Dual Flips

A c-orientation is an orientation in which the number of forward edges in any cycle C is equal to c(C).

Propp 2002, Knauer 2008

primal dual α-orientation c-orientation directed cycle flip directed cut flip facial cycle flip source/sink flip

16 / 21

slide-17
SLIDE 17

Source/sink flips

  • What is the complexity of computing the source/sink flip

distance?

  • Here the flip graphs is known to have a nice structure.

Propp 2002, Felsner and Knauer 2009,2011

17 / 21

slide-18
SLIDE 18

A Distributive Latice

18 / 21

slide-19
SLIDE 19

Source/sink flip distance

Theorem

There is an algorithm that, given a graph G with a fixed vertex ⊤ and a pair X, Y of c-orientations of G, outputs a shortest source/sink flip sequence between X and Y, and runs in time O(m3) where m is the number of edges of G.

19 / 21

slide-20
SLIDE 20

Flip distance with Larger Cut Sets

Theorem

Let X, Y be c-orientations of a connected graph G with fixed vertex ⊤. It is NP-hard to determine the length of a shortest cut flip sequence transforming X into Y, which consists only of minimal directed cuts with interiors of order at most two. Reduction from the problem of computing the jump number of a poset.

20 / 21

slide-21
SLIDE 21

Thank you!

Algorithmica htps://doi.org/10.1007/s00453-020-00751-1

21 / 21