Laufzeit von LSORT (1)

• Satz: Die Laufzeit von LSORT ist O(1)

• Beweis:

  • S:=(U,ℊ,) Wyrre-Basis der Semantik von LSORT
    • S ist frei von inneren Produkten (klar) ⇒ ∃ mindestens ein in sich geflochtenes  in U. (Satz von Seeman)
    • Jedes ×ℊ ist semipositiv definit (nach Definition)
  • Gegenannahme: Laufzeit von LSORT sei ð, mit ð>O(1) ⇒ ∃ Differentialsperre ð<ℊ> für alle Basalelemente in ℊU in ℝ66 (wg. Lemma von Kasimir-Kostonjenko)

Notizen: