the pebble game geri grolinger york university. the pebble game used for studying time-space...
DESCRIPTION
Output nodes Nodes Input nodes Formalization: Directed acyclic graph Directed acyclic graph Bounded in-degree Bounded in-degreeTRANSCRIPT
![Page 1: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/1.jpg)
The Pebble GameThe Pebble Game
Geri GrolingerGeri GrolingerYork UniversityYork University
![Page 2: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/2.jpg)
The Pebble GameThe Pebble Game
• Used for studying time-space Used for studying time-space trade-off trade-off
• One player game, played on a DAGOne player game, played on a DAG
![Page 3: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/3.jpg)
Output nodes
Nodes
Input nodes
Formalization:Formalization:• Directed acyclic graphDirected acyclic graph
• Bounded in-degreeBounded in-degree
![Page 4: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/4.jpg)
Three main rules:Three main rules:
2.2. A pebble can be placed on a node A pebble can be placed on a node vv if all predecessors of the node if all predecessors of the node vv are are marked with pebbles marked with pebbles3.3. A pebble can be removed from a A pebble can be removed from a node at any time node at any time
NoteNote: : a pebble removed from the graph can be ‘reused’a pebble removed from the graph can be ‘reused’
1.1. A pebble can be placed A pebble can be placed on any input nodeon any input node
![Page 5: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/5.jpg)
Strategy:Strategy:sequence of legal moves which ends sequence of legal moves which ends in pebbling the distinguished node in pebbling the distinguished node ff
The Goal:The Goal:to place a pebble on some to place a pebble on some previously distinguished node previously distinguished node ff while minimizing the number while minimizing the number of pebbles usedof pebbles used
A move:A move:placing or removing one of the placing or removing one of the pebblespebblesaccording to the three given according to the three given rulesrules
f
![Page 6: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/6.jpg)
30
7060
50
40
20107 moves and 7 pebbles
Example 1
![Page 7: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/7.jpg)
30
7060
50
40
201011 moves and 3 pebbles
Example 2
![Page 8: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/8.jpg)
Interpretation:Interpretation:
1.1. A pebble can be placed A pebble can be placed on any input node ~ LOADon any input node ~ LOAD
2.2. A pebble can be placed on A pebble can be placed on a node a node vv if all predecessors of the node if all predecessors of the node vv are marked with pebbles ~ COMPUTE are marked with pebbles ~ COMPUTE
3.3. A pebble can be removed form a A pebble can be removed form a node at any time ~ DELETE node at any time ~ DELETE• Use as few pebbles as possible ~ # ~ # REGISERSREGISERS• Use as few moves as possible ~ TIME~ TIME
input nodes
nodes
output nodes
![Page 9: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/9.jpg)
In general:In general:
How many pebbles How many pebbles are required to pebble a are required to pebble a
graphgraph with n nodes?with n nodes?
![Page 10: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/10.jpg)
Pyramid graph PPyramid graph Pkk::
![Page 11: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/11.jpg)
Pyramid graph PPyramid graph Pkk::
Fact 1:
Every pebbling strategy for Pk (k > 1)must use AT LEAST k + 1 pebbles.
That is Ω( ) pebbles expressed in number of edges n.
n√
![Page 12: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/12.jpg)
Pyramid graph PPyramid graph Pkk: :
k = 5
We needat least:
k + 1 = 6
![Page 13: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/13.jpg)
Pyramid graph PPyramid graph Pkk: :
Let’s considerhaving
k = 5 pebbles
![Page 14: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/14.jpg)
Arbitrary graph with restricted Arbitrary graph with restricted in-degree (d =2):in-degree (d =2):
Fact 2:
Number of pebbles needed to pebblea graph of in-degree 2 is O(n/log n) (n = # nodes in the graph).
![Page 15: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/15.jpg)
Arbitrary graph with restricted Arbitrary graph with restricted in-degree (d =2):in-degree (d =2):
Proof:
• Recursive pebbling strategy• Cases
• Recursions for each case
• Solutions:P(n) ≤ cn / log n = O(n/log n)
O(n/log n)
![Page 16: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/16.jpg)
References:
1. Gems of theoretical computer science U. Schöning, R. J. Pruim
2. Asymptotically Tight Bounds on Time-Space Trade-offs in a Pebble Game T. Lengauer, R. E. Tarjan
3. Theoretical Models 2002/03 P. van Emde Boas
![Page 17: The Pebble Game Geri Grolinger York University. The Pebble Game Used for studying time-space trade-off Used for studying time-space trade-off One player](https://reader036.vdocument.in/reader036/viewer/2022062504/5a4d1b247f8b9ab059996784/html5/thumbnails/17.jpg)
Thank you for your attention Thank you for your attention
Questions ?Questions ?