]> mj.ucw.cz Git - saga.git/commitdiff
Abstract: Minor typographic details.
authorMartin Mares <mj@ucw.cz>
Mon, 16 Jun 2008 08:35:07 +0000 (10:35 +0200)
committerMartin Mares <mj@ucw.cz>
Mon, 16 Jun 2008 08:35:07 +0000 (10:35 +0200)
abstract.tex
fonts10.tex

index c05f657ee5f8f4db9766b35457642bc337e4466d..12f2e6191e370f2e9c2120ba9372463af3de55ad 100644 (file)
@@ -6,7 +6,6 @@
 \advance\hsize by 1cm
 \advance\vsize by 20pt
 
-\font\chapfont=csb14 at 16pt
 \def\rawchapter#1{\vensure{0.5in}\bigskip\goodbreak
 \leftline{\chapfont #1}
 }
@@ -210,8 +209,8 @@ and also to analyse:
 \endalgo
 
 \thm
-The Contractive Bor\o{u}vka's algorithm finds the MST of the input graph in
-time $\O(\min(n^2,m\log n))$.
+The Contractive Bor\o{u}vka's algorithm finds the MST of the graph given as
+its input in time $\O(\min(n^2,m\log n))$.
 
 We also show that this time bound is tight --- we construct an~explicit
 family of graphs on which the algorithm spends $\Theta(m\log n)$ steps.
@@ -671,6 +670,7 @@ of non-overlapping contractible subgraphs called \df{clusters} and we put aside
 We recursively compute the MSF of those subgraphs and of the contracted graph. Then we take the
 union of these MSF's and add the corrupted edges. According to the previous lemma, this does not produce
 the MSF of~$G$, but a~sparser graph containing it, on which we can continue.
+%%The following theorem describes the properties of this partition:
 
 \thmn{Partitioning to contractible clusters, Chazelle \cite{chazelle:almostacker}}\id{partthm}%
 Given a~weighted graph~$G$ and parameters $\varepsilon$ ($0<\varepsilon\le 1/2$)
@@ -691,7 +691,8 @@ and~$t$, we can construct a~collection $\C=\{C_1,\ldots,C_k\}$ of clusters and a
 
 The Pettie's and Ramachandran's algorithm combines the idea of robust partitioning with optimal decision
 trees constructed by brute force for very small subgraphs.
-Formally, the decision trees are defined as follows:
+%%Formally, the decision trees are defined as follows:
+Let us define them first:
 
 \defnn{Decision trees and their complexity}\id{decdef}%
 A~\df{MSF decision tree} for a~graph~$G$ is a~binary tree. Its internal vertices
index 9aff2726227f60a56bc7d6667d005ae79015d29d..7bf40d7a32ee30fcadceb6249e0619e2143a0df3 100644 (file)
@@ -61,7 +61,7 @@
 \rm
 
 % Other fonts
-\font\chapfont=csssdc17 scaled \magstep1
+\font\chapfont=csb14 at 16pt
 \font\secfont=csb14
 \font\secitfont=csbxti14