]> mj.ucw.cz Git - saga.git/commitdiff
Split the large section on restricted permutations.
authorMartin Mares <mj@ucw.cz>
Wed, 27 Feb 2008 19:45:16 +0000 (20:45 +0100)
committerMartin Mares <mj@ucw.cz>
Wed, 27 Feb 2008 19:45:16 +0000 (20:45 +0100)
macros.tex
rank.tex

index ec1cb6d89b0c475f3dc99652d0f8f4477efcb769..3e0ba4e83c81292b22acb084cc624d3e884bed10 100644 (file)
 \def\algn{\alg\label}
 \def\notan{\nota\labelx}
 \def\examplen{\example\labelx}
+\def\problemn{\problem\labelx}
 
 \def\proof{\noindent {\sl Proof.}\enspace}
 \def\proofsketch{\noindent {\sl Proof sketch.}\enspace}
index 60a3be2bf43a79b98ff43863234e0a9de1ea5bd9..fe43933d28740f4a95bb7bb47c5b70ac2cb0316e 100644 (file)
--- a/rank.tex
+++ b/rank.tex
@@ -290,7 +290,7 @@ constant time. The time bound follows. \qed
 
 %--------------------------------------------------------------------------------
 
-\section{Hatcheck lady and other derangements}
+\section{Restricted permutations}
 
 Another interesting class of combinatorial objects which can be counted and
 ranked are restricted permutations. An~archetypal member of this class are
@@ -560,8 +560,12 @@ spend time $\O(n^2)$ on operations with the set~$A$, $\O(n^4)$ on matrix manipul
 and $\O(n^2\cdot t(n))$ by the computations of the~$N_0$'s.
 \qed
 
-\rem
-This time bound is obviously very coarse, its main purpose was to demonstrate that
+%--------------------------------------------------------------------------------
+
+\section{Hatcheck lady and other derangements}
+
+The time bound for ranking of general restricted permutations shown in the previous
+section is obviously very coarse. Its main purpose was to demonstrate that
 many special cases of the ranking problem can be indeed computed in polynomial time.
 For most families of restriction matrices, we can do much better. One of the possible improvements
 is to replace the matrix~$M$ by the corresponding restriction graph and instead of
@@ -571,9 +575,9 @@ matrices using information already computed for the larger matrices.
 
 These speedups are hard to state formally in general (they depend on the
 structure of the matrices), so we will concentrate on a~specific example
-instead. We will show that for derangements one can achieve linear time complexity.
+instead. We will show that for the derangements one can achieve linear time complexity.
 
-\examplen{Ranking of hatcheck permutations a.k.a.~derangements}\id{hatrank}%
+\nota\id{hatrank}%
 As we already know, the hatcheck permutations correspond to restriction
 matrices which contain zeroes only on the main diagonal and graphs which are
 complete bipartite with the matching $\{(i,i) : i\in[n]\}$ deleted. For