Slides.
Slides.
Slides.
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
STEPHAN KREUTZER COMPLEXITY OF MODEL-CHECKING PROBLEMS 35/81<br />
INTRODUCTION COMPLEXITY UPPER BOUNDS COMPOSITION LOCALITY LOCALISATION GRIDS GRID-LIKE MINORS LABELLED WEBS<br />
Proof of Theorem<br />
Suppose<br />
∧<br />
m∧<br />
ϕ := ∃x 1 ...∃x m dist(x i , x j ) > 2r ∧ ψ(x i )<br />
for some r-local formula ψ(x).<br />
Let G be a graph of maximum degree d.<br />
1≤i 2r whose r-neighbourhoods satisfy ψ.