]> mj.ucw.cz Git - saga.git/commitdiff
Corrections: Epilogue.
authorMartin Mares <mj@ucw.cz>
Sat, 3 May 2008 18:33:15 +0000 (20:33 +0200)
committerMartin Mares <mj@ucw.cz>
Sat, 3 May 2008 18:33:15 +0000 (20:33 +0200)
epilog.tex

index 45111d7b044ba5dc0e64b92fafd39eaa611e7dd2..cbdc03ad56b600874cd390ea1386f939142f8a46 100644 (file)
@@ -40,7 +40,9 @@ which we have used, seem to be applicable to other ranking problems. On the othe
 hand, ranking of general restricted permutations has turned out to balance on the
 verge of $\#P$-completeness (Theorem \ref{pcomplete}). All our algorithms run
 on the RAM model, which seems to be the only sensible choice for problems of
-inherently arithmetic nature.
+inherently arithmetic nature. While the unit-cost assumption on arithmetic operations
+is not universally accepted, our results imply that the complexity of our algorithm
+is dominated by the necessary arithmetics.
 
 Aside from the concrete problems we have solved, we have also built several algorithmic
 techniques of general interest: the unification procedures using pointer-based