3rd amore meeting, leiden amore meeting, 1-4 october, leiden, holland a graph theoretical approach...
Post on 21-Dec-2015
216 views
TRANSCRIPT
![Page 1: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/1.jpg)
3rd AMORE meeting, Leiden
AMORE meeting, 1-4 October, Leiden, Holland
A graph theoretical approach to shunting problems
L. Koci, G. Di Stefano
Dipartimento di Ingegneria Elettrica,
Università dell’Aquila, Italy
![Page 2: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/2.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Instance
Depot Incoming trainsOutcoming trains
![Page 3: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/3.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Goal– Arrange the trains on a minimum number of depot tracks
– Put the trains in a “correct” order to minimize shunting operations
![Page 4: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/4.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Constraints – Trains
• sequences, types, lengths
– Tracks • topologies, lengths
![Page 5: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/5.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Methods– Combinatorics
– Graph theory (reduction to graph problems)
– Heuristics
![Page 6: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/6.jpg)
3rd AMORE meeting, Leiden
Train scheduling
• Train arrival and departure time
Evening MorningMidnight
time
A
B
C
A: first incoming trainB: secondC: third
B: first outcoming trainA: secondC: third
![Page 7: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/7.jpg)
3rd AMORE meeting, Leiden
Train numbering
• Train arrival and departure time
Evening MorningMidnight
time
2: first incoming train1: second3: third
1: first outcoming train2: second3: third
12
3
12
3
![Page 8: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/8.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
Train assignment– Trains are numbered from 1 to N
– Incoming train permutation = [1 , 2 … N]
• Each train i is represented by an integer
– Outgoing train sequence S = [1, 2, ... N]
Depot [1 , 2 … N][1, 2, ... N]
ex. [3, 7, …, 5]
![Page 9: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/9.jpg)
3rd AMORE meeting, Leiden
Depot topologies
• Shunting area
![Page 10: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/10.jpg)
3rd AMORE meeting, Leiden
Depot topologies
• Marshalling area
![Page 11: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/11.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Train assignment– Marshalling problem
4 1 8 5 7 2 6 3
Train depot algorithms
Evening
![Page 12: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/12.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Train assignment– Marshalling problem
1 8 5 7 2 6 3
Train depot algorithms
4
![Page 13: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/13.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Train assignment– Marshalling problem
18 5 7 2 6 3
Train depot algorithms
4
![Page 14: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/14.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Train assignment– Marshalling problem
1
8
5 7 2 6 3
Train depot algorithms
4
![Page 15: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/15.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Train assignment– Marshalling problem
Train depot algorithms
4
1
8
5 7
2
3
6
Night
![Page 16: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/16.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Train assignment– Marshalling problem
1
Train depot algorithms
4 8
5 7
2
3
6
Morning
![Page 17: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/17.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Train assignment– Marshalling problem
1
Train depot algorithms
4 8
5 72
3
6
![Page 18: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/18.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Train assignment– Marshalling problem
41 85 72 63
Train depot algorithms
![Page 19: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/19.jpg)
3rd AMORE meeting, Leiden
Ordering problem (1)
The storage of N trains in a marshalling depot using the minimum number of tracks
is equivalent to
The ordering of a sequence of N numbers using the minimun number of queues
![Page 20: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/20.jpg)
3rd AMORE meeting, Leiden
• Train assignment
Ordering problem (1)
4 1 8 5 7 2 6 3 = [ ]
1 2 3 4 5 6 7 8S = [ ]
4 1 8 5 7 2 6 34
1S
![Page 21: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/21.jpg)
3rd AMORE meeting, Leiden
• Train assignment
Graph equivalence
4 1 8 5 7 2 6 3 = [ ]
1 2 3 4 5 6 7 8S = [ ]
4
1
8
57
2
6
3
Permutation graphOrdering problem Permutation graph coloring
![Page 22: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/22.jpg)
3rd AMORE meeting, Leiden
– Minimum colouring (colour = track) of a general graph is NP-complete
Colouring solution
– Minimum colouring of a permutation graph is solved in O (n lg n) time
4
1
8
57
2
6
3
4, 1, 8, 5, 7, 2, 6, 3 = [ ]
![Page 23: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/23.jpg)
3rd AMORE meeting, Leiden
• Train assignment
4
1
8
5 7
2 6
3
Colouring solution
Depot Permutation graph
4
1
8
57
2
6
3
4, 1, 8, 5, 7, 2, 6, 3 = [ ]
![Page 24: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/24.jpg)
3rd AMORE meeting, Leiden
Ordering problem (2)
The storage of N trains in a shunting depot using the minimum number of tracks
is equivalent to
The ordering of a sequence of N numbers using the minimun number of stacks
![Page 25: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/25.jpg)
3rd AMORE meeting, Leiden
• Train assignment
Ordering problem (2)
4 1 8 5 7 2 6 34 1
4 1 8 5 7 2 6 3 = [ ]
1 2 3 4 5 6 7 8S = [ ]
4
1
8
57
2
6
3
![Page 26: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/26.jpg)
3rd AMORE meeting, Leiden
• Colouring
Complement graph
Permutation graph
4
1
8
57
2
6
3
Complement permutation graph
4
1
8
57
2
6
3
![Page 27: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/27.jpg)
3rd AMORE meeting, Leiden
• What is the complement graph of a permutation graph?
Coloring complexity
Permutation graph
(Marshalling area)
Complement permutation graph
(Shunting area)
Colouring in O (n lg n) time
![Page 28: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/28.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Train assignment– Shunting area
Train depot algorithms
4
5
1
6
8
37
2
1 2 3 4 5 6 7 8 4 1 8 5 7 2 6 3
4
1
8
57
2
6
3
![Page 29: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/29.jpg)
3rd AMORE meeting, Leiden
Online Problem (3)
• Train assignment– Offline
• The algorithm is given the entire sequence of trains to store in the depot
– Coloring of permutation graph
– Online • When assigning a train to a depot track, there is no knowledge
of the remaining incoming trains– Greedy assignment to tracks
![Page 30: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/30.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Train assignment
– conclusions
• These train storage problems are ordering problems
• The problems are equiv. to coloring of permutation graphs
• The coloring is solvable in O (n lg n) [Pnueli et al., ‘71]
• Offline solution Online solution
![Page 31: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/31.jpg)
3rd AMORE meeting, Leiden
Circle Graphs
• Definition: Intersection graphs of chords in a circle.
ab
c
d
a
b
cd
![Page 32: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/32.jpg)
3rd AMORE meeting, Leiden
Circle Graphs
• Permutation Graphs are Circle Graphs 4 1 8 5 7 2 6 3 = [ ]
1 2 3 4 5 6 7 8S = [ ]
equator
with an equator
![Page 33: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/33.jpg)
3rd AMORE meeting, Leiden
Evening MorningMidnight
time
A
B
C
Removing the “night” in a shunting area
![Page 34: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/34.jpg)
3rd AMORE meeting, Leiden
time
A
B
C
D
Removing the “night” in a shunting area
![Page 35: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/35.jpg)
3rd AMORE meeting, Leiden
Removing the “night” in a shunting area
time
A
B
C
D
Let X and Y be two trains, and let IX and IY be the relative intervals
If IX and IY overlap (i.e. IX IY but neither IX IY nor IY IX )
Then two different tracks for X and Y
A B
C
![Page 36: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/36.jpg)
3rd AMORE meeting, Leiden
Transf. into a circle graph
time
A
B
C
D
No equatorthat isNo night
A
B C
D
![Page 37: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/37.jpg)
3rd AMORE meeting, Leiden
Transf. into a circle graph
time
A
B
C
D
A
B C
D
A
B
D
C
A B
C
Circle graph Shunting tracks
![Page 38: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/38.jpg)
3rd AMORE meeting, Leiden
Transf. into a circle graph
time
A
B
C
D
A
B C
D
A
B
D
C C
D
Circle graph Shunting tracks
![Page 39: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/39.jpg)
3rd AMORE meeting, Leiden
Train depot algorithms
• Assignament on a shunting area without “night”
– conclusions
• This train storage problem is equiv. coloring of circle graphs
• Coloring of circle graphs is NP-complete [GT4]
• Is 2-Approx. but not (3/2)-Approx.
• 3-coloring is in P; 4-coloring is NP-complete [Unger, 88]
• The same problem for a marshalling area is solvable in O(n lg n)
![Page 40: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/40.jpg)
3rd AMORE meeting, Leiden
Generalized problems
• Track access constraints• Single Input Single Output (SISO)
• Double Input Single Output (DISO)
• Single Input Double Output (SIDO)
• Double Input Double Output (DIDO)
station
![Page 41: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/41.jpg)
3rd AMORE meeting, Leiden
Hypergraphs
H = ( V , E )
V is a set of vertices
E is a set of subsets (hyperedges) of V
If all hyperedges have size k, H is called k-uniform
2-uniform hypergraphs are normal graphs
H
![Page 42: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/42.jpg)
3rd AMORE meeting, Leiden
• Train assignment– Two tracks are enough
4 1 8 5 7 2 6 3
4
1
8
5
7
2
6 3
4 18 57 26 3
Single Input Double Output
![Page 43: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/43.jpg)
3rd AMORE meeting, Leiden
SIDO constraint
• Train assignment– SIDO triple constraint
23
11
23
Evening Morning
Midnight
32 1
Can we use a single track?
No
![Page 44: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/44.jpg)
3rd AMORE meeting, Leiden
Single Input Double Output
• Why?– triple constraint: three trains in the input sequence
form a valley.
Forbidden sequences: [2 1 3] and [3 1 2]
admissible sequences : [1 2 3], [1 3 2], [2 3 1], and [3 2 1]
![Page 45: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/45.jpg)
3rd AMORE meeting, Leiden
Single Input Double Output
• Input sequence representation: =[ 4,1,8,5,7,2,6,3 ]
0
1
2
3
4
5
6
7
8
9
1 2 3 4 5 6 7 8
time
trains
![Page 46: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/46.jpg)
3rd AMORE meeting, Leiden
Single Input Double Output
• Modelling as a 3-uniform hypergraph:
0
1
2
3
4
5
6
7
8
9
1 2 3 4 5 6 7 8
time
trains Valley hypergraph
H()
![Page 47: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/47.jpg)
3rd AMORE meeting, Leiden
Single Input Double Output
• Track assignament = coloring of H()
0
1
2
3
4
5
6
7
8
9
1 2 3 4 5 6 7 8
time
trains At least two nodes
in a hyperedge havea different color.
![Page 48: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/48.jpg)
3rd AMORE meeting, Leiden
Single Input Double Output
• SIDO track assignament coloring of H()
0
1
2
3
4
5
6
7
8
9
1 2 3 4 5 6 7 8
time
trains
4
1
8
5
7
2
6 3
![Page 49: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/49.jpg)
3rd AMORE meeting, Leiden
SIDO vs. DISO
• These two problems are equivalent– Relation SIDO/DISO
• Given an arbitrary train permutation = [1 , 2 ... N] , the permutation index -1 = [1
-1 , 2-1 , ... , N
-1] , and the time reversing operator R, s.t. ( -1) R = [N
-1 , ... , 2-1, 1
-1], then
SIDO () DISO (-1)R
![Page 50: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/50.jpg)
3rd AMORE meeting, Leiden
SIDO/DISO conclusions
• Coloring 3-uniform hypergraphs:– NP-hard
– k-coloring is approx. within O(n/( lgk-1 n)2)
[Hofmaister, Lefmann, ’98; ]
– 2-coloring is NP-complete for 3-uniform hypergraphs
[Approx. results: Krivelevich et al., 2001]
– 2-coloring is in P for valley hypergraphs
– k-coloring of valley hypergraphs ? Open!
![Page 51: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/51.jpg)
3rd AMORE meeting, Leiden
Double Input Double Output
• Train assignment– SIDO (DISO)
• Model: coloring of valley hypergraphs
– DIDO • Model: coloring of certain 4-uniform hypergraphs
Open!
![Page 52: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/52.jpg)
3rd AMORE meeting, Leiden
Other generalizations
• Take care of train/tracks lengths– Equivalence with bin packing problems (?)
• Take care of types of trains – Subgraphs of permutation graphs
• Take care of specific depot topologies– Open
Input: [ A B A C ]
Output:[ A C A B ]
![Page 53: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/53.jpg)
3rd AMORE meeting, Leiden
Other generalizations
• Take care of train/tracks lengths– Equivalence with bin packing problems. (?)
• Take care of types of trains – Subgraphs of permutation graphs
• Take care of specific depot topologies– ??
Input: [ A B A C ]
Output:[ A C A B ]
![Page 54: 3rd AMORE meeting, Leiden AMORE meeting, 1-4 October, Leiden, Holland A graph theoretical approach to shunting problems L. Koci, G. Di Stefano Dipartimento](https://reader036.vdocuments.us/reader036/viewer/2022062516/56649d565503460f94a34c09/html5/thumbnails/54.jpg)
3rd AMORE meeting, LeidenTHE END