1
General Roadmap
▶
1.1
The goal
2
definitions
▶
2.1
General Idea
2.2
Speedup function
2.3
Markov Chain definitions
2.4
Scheduling Policy
3
lemma 2.1
▶
3.1
General Idea
4
lemma 2.3
▶
4.1
Change in difficulty
4.2
Step-by-step idea
▶
4.2.1
General expression of invariant distribution
4.2.2
Non-negative distribution values
4.2.3
Calculating the changed invariant distribution
4.2.4
Our goal
Dependency graph
BscThesisFormalisation
Rik Heurter
1
General Roadmap
1.1
The goal
2
definitions
2.1
General Idea
2.2
Speedup function
2.3
Markov Chain definitions
2.4
Scheduling Policy
3
lemma 2.1
3.1
General Idea
4
lemma 2.3
4.1
Change in difficulty
4.2
Step-by-step idea
4.2.1
General expression of invariant distribution
4.2.2
Non-negative distribution values
4.2.3
Calculating the changed invariant distribution
4.2.4
Our goal