-#LyX 2.2 created this file. For more info see http://www.lyx.org/
-\lyxformat 501
+#LyX 2.3 created this file. For more info see http://www.lyx.org/
+\lyxformat 544
\begin_document
\begin_header
+\save_transient_properties true
\origin /systemlyxdir/examples/
\textclass beamer
\begin_preamble
\language_package default
\inputencoding auto
\fontencoding global
-\font_roman "times" "default"
-\font_sans "default" "default"
-\font_typewriter "default" "default"
+\font_roman "lmodern" "default"
+\font_sans "lmss" "default"
+\font_typewriter "lmtt" "default"
\font_math "auto" "auto"
\font_default_family default
\use_non_tex_fonts false
\font_osf false
\font_sf_scale 100 100
\font_tt_scale 100 100
+\use_microtype false
+\use_dash_ligatures false
\graphics default
\default_output_format default
\output_sync 0
\spacing single
\use_hyperref false
\papersize default
-\use_geometry false
+\use_geometry true
\use_package amsmath 2
\use_package amssymb 2
\use_package cancel 0
\suppress_date false
\justification true
\use_refstyle 0
+\use_minted 0
\index Index
\shortcut idx
\color #008000
\tocdepth 2
\paragraph_separation indent
\paragraph_indentation default
-\quotes_language english
+\is_math_indent 0
+\math_numbering_side default
+\quotes_style english
+\dynamic_quotes 0
\papercolumns 1
\papersides 1
\paperpagestyle default
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\begin_layout Columns
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\begin_layout Columns
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\color inherit
is a
-\color inherit
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 2
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout ExampleBlock
\begin_inset Argument 2
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout ExampleBlock
\begin_inset Argument 2
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 1
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\begin_layout Examples
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\begin_layout Examples
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\begin_layout Examples
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\begin_layout Corollary
For directed graphs, we can solve
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_layout
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Fact
\begin_inset Formula $\Lang{reach}_{\operatorname{path}}$
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
such that
-\color inherit
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
such that
-\color inherit
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Block
\begin_inset Argument 2
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\color inherit
gets as input
-\color inherit
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
.
- \SpecialCharNoPassThru LyX
+ \SpecialChar LyX
has the FragileFrame layout for this.
\end_layout
\begin_layout FragileFrame
This is some program code:
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Block
\begin_inset Argument 2
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "Moon1968"
+literal "true"
\end_inset
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "NickelsenT2002"
+literal "true"
\end_inset
\begin_inset CommandInset bibitem
LatexCommand bibitem
key "Tantau2004b"
+literal "true"
\end_inset
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_deeper
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Frame
\begin_inset Argument 4
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_layout
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Theorem
For each
\end_layout
\begin_layout Standard
-
-\begin_inset Separator parbreak
+\begin_inset Separator plain
\end_inset
-\end_layout
+\end_layout
\begin_layout Theorem
For each
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\begin_layout Corollary
For undirected graphs, we can solve
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\end_inset
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper
\begin_layout Proof
-\begin_inset Separator parbreak
-\end_inset
-
\end_layout
\begin_deeper