64
ETH Zurich – Distributed Computing – www.disco.ethz.ch Roger Wattenhofer Graph Drawing Distributed Computing

Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

  • Upload
    others

  • View
    4

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

ETH Zurich – Distributed Computing – www.disco.ethz.ch

Roger Wattenhofer

Graph DrawingDistributed Computing

Page 2: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Zwei Seelen wohnen, ach! in meiner Brust

PODC

SODA

STOCFOCS

ICALPSPAA

EC

SenSysOSDI

Mobicom

Multimedia

Ubicomp

SIGCOMM

HotNets

Page 3: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

My Talk: Open Problem

Draw wireless networks modeled by something

by using something to do something.

(plus a few other stories)

Page 4: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Bittorrent Graph[Decker et al., 2013]

Page 5: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

But Graph Drawing?

Page 6: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Democrats vs. Republicans Puzzle

Page 7: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Offended by Ugly Graphs….?

Page 8: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Democrats vs. Republicans Lower Bound Graph[Frischknecht et al., 2013]

Page 9: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Nodes Coordinates

Page 10: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

MusicGraphs

[Bossard et al., 2009]

Page 11: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Drawing Graphs Without Edges!

Page 12: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

“Only Tiny Graphs Should Have Edges!”

Page 13: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Wireless Networks

Page 14: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Which Node is Which?

Page 15: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Position only from Connectivity

Page 16: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Unit Disk Graph (UDG)

Page 17: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

UDG Embedding

1D

Easy greedy “Hop-Skip” algorithm [O’Dell et al., 2005]

2D

Page 18: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

UDG Embedding 2D: Heuristics

e.g., [Priyanta et al., 2003], [Gotsman et al., 2004], [Bruck et al., 2005], [Kröller et al., 2006]

Page 19: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

UDG Embedding 2D: Hardness Results

2D

NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information [Aspnes et al., 2004] and [Bruck et al., 2004]. Also APX-hard: [Kuhn et al., 2004]

Approximation? max𝑑no edge with 𝑑edge ≤ 1

Approximation algorithms: First [Moscibroda et al., 2004]

Still best: 𝑂(log2.5 𝑛) approximation [Pemmaraju et al., 2006]

Page 20: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Wireless Beyond UDG

Page 21: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

If you gave me $100 for each paper written with

the unit disk assumption, I still could not buy a radio

that is unit disk!

Page 22: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Quasi Unit Disk Graph (QUDG)

Page 23: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information
Page 24: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Bounded Independence Graph (BIG)

Size of any independent set grows polynomially with hop distance r

Page 25: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Unit Ball Graph (UBG)

Ametric with constant doubling dimension

you only need a constant number of balls of half the radius

Page 26: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Overview Wireless Connectivity Models

too pessimistic too optimistic

GeneralGraph

UDG

QuasiUDG

Bounded Independence

Unit BallGraph

Page 27: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Wireless Beyond Connectivity

Page 28: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

InterferenceRange

Protocol Model

ReceptionRange

Page 29: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

29

Page 30: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Physical (SINR) Model

Page 31: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information
Page 32: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

From Audio to Wireless

… even with very simple hardware

Time for transmitting 20‘000 packets:

u1 u2 u3 u4 u5 u6

[Moscibroda et al., 2006]

Page 33: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

The Power of Power Control

Page 34: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Improving Protocols with Graph Drawing

Page 35: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Possible Application: Hotspots in WLAN

X

Y

Z

Page 36: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Possible Application: Hotspots in WLAN

X

Y

Z

Page 37: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

MIMO et al.

Page 38: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

The Capture Effect – Power Difference

[König et al., 2016]

Page 39: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Two Transmitters, One Receiver

[König et al., 2016]

Page 40: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Using Distance Information

Page 41: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information
Page 42: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Trilateration

Page 43: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Disca:Distributed Discussion Statistics

Disca:Distributed Discussion

Statistics

[Bissig et al., 2016]

Page 44: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Distance & Angle?

Page 45: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

„People who are really serious about softwareshould make their own hardware.”

Alan Kay

Page 46: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

46Ad Hoc and Sensor Networks, Roger

Wattenhofer

SpiderBat

[Oberholzer et al., 2010]

Page 47: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Angle-of-Arrival MeasurementsReceiver Sender

North

East

South

West

Page 48: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Learning Environment with SpiderBat?

Page 49: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information
Page 50: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

SpiderBat: Iterative Art Gallery Problem?

Page 51: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Mother of All NodeCoordinate

Problems

Page 52: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

GPS

Page 53: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Audio Radio343 m/s 299 792 458 m/s

Page 54: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

GPS Trilateration

Least Squares to Compute Position & Time

Page 55: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Spoofing

Page 56: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Spoofing

Page 57: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Spoofing

Page 58: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Spoofing

How Expensive is Spoofing?

Page 59: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Alternative Approach: Collective Detection

Page 60: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Drawing Routing

Page 61: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Anchor-Based Routing

[W et al., 2005]

Page 62: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Greedy Geometric Routing

[Flury et al., 2009]

1

2

3

9

4

5

6

8

7

1

3

9

8

4

5

6

7

2

Related: self-approaching graph drawings, increasing-chord drawings,

monotone drawings, hyperbolic geometry, …

Page 63: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Summary

1

2

39

4

5

6

8

7

Open Problem

Draw wireless networks modeled by UDG, QUDG, BIG,

UBG by using connectivitiy, interference, distance, angle,

or multipath information to understand which node is which,

or for better protocols (routing, media access).

Page 64: Distributed Computing Graph Drawing - ETH Z 20… · UDG Embedding 2D: Hardness Results 2D NP-hard, even with exact distance information [Breu, Kirkpatrick, 1998], or angle information

Thank You!Questions & Comments?

www.disco.ethz.ch