KIT | KIT-Bibliothek | Impressum

Some Notes on Permutations

Schmitt, Peter H.

Abstract:
This note states and proves a theorem on permutations that solves a problem that turned up during the verification of a Java program implementing the dual pivot quicksort algorithm.


Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Forschungsbericht
Jahr 2017
Sprache Englisch
Identifikator DOI(KIT): 10.5445/IR/1000068624
ISSN: 2190-4782
URN: urn:nbn:de:swb:90-686245
KITopen ID: 1000068624
Verlag Karlsruhe
Umfang 27 S.
Serie Karlsruhe Reports in Informatics ; 2017,7
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page