Minor update

Algoritmer/Sortering/counting_sort.md

@@ -18,7 +18,7 @@ Counting sort er en effektiv sorteringsalgoritme om det er mange elementer, men
 <!-- Korrekhet: algoritmer virker, gir det svaret den skal -->
 <!-- Eks: Binary search må ha en sortert liste -->
 
-* Listen må bestå av heltall-verdier
+- Listen må bestå av heltall-verdier
 
 ## Trinn for trinn
 <!-- Pseudokode med forklaring -->
@@ -28,9 +28,9 @@ Counting sort er en effektiv sorteringsalgoritme om det er mange elementer, men
 
 ## Styrker og svakheter sammenlignet med andre
 
-* Stabil
-* **Counting sort** slår **radix sort** hvis antallet elementer $n \gg k$ forskjellige elementer. (_Dette er også det tilfellet hvor algoritmen er mest effektiv._)
-* Sorterer basert på at alle input-elementene $n$ er heltall med en range mellom $0$ og $k$.
+- **Counting sort** slår **radix sort** hvis antallet elementer $n \gg k$ forskjellige elementer. (_Dette er også det tilfellet hvor algoritmen er mest effektiv._)
+- Sorterer basert på at alle input-elementene $n$ er heltall med en range mellom $0$ og $k$.
+- Stabil: den relative rekkefølgen til elementene i listen opprettholdes under sorteringen
 
 ## Kjøretid og utregning
 <!-- Under ulike omstendigheter -->

Algoritmer/Sortering/insertion_sort.md

@@ -13,6 +13,8 @@ En effektiv algoritme for å sortere et lavt antall elementer.
 
 ## Den formelle definisjonen av det generelle problemet
 <!-- Et problem er relasjonen mellom input og output -->
+Input: En sekvens med $n$ nummer $(a_1,a_2,...\space a_n)$  
+Output: En permutasjon (omorganisering) av input sekvensen slik at $(a'_1 \leq a'_2 \leq ... a'_n)$
 
 ## Tilleggskrav for korrekthet
 <!-- Korrekhet: algoritmer virker, gir det svaret den skal -->
@@ -26,7 +28,8 @@ En effektiv algoritme for å sortere et lavt antall elementer.
 
 ## Styrker og svakheter sammenlignet med andre
 
-Insertion sort er in-place da den aldri lager en kopi av sekvensen under kjøringen, så den er lite plasskrevende.
+- In-place: Insertion sort lager aldri en kopi av sekvensen under kjøringen, så den er lite plasskrevende.
+- Stabil: den relative rekkefølgen til elementene i listen opprettholdes under sorteringen
 
 ## Kjøretid og utregning
 <!-- Under ulike omstendigheter -->

Algoritmer/Sortering/merge_sort.md

@@ -31,7 +31,8 @@ Output: En permutasjon (omorganisering) av input sekvensen slik at $(a'_1 \leq a
 
 ## Styrker og svakheter sammenlignet med andre
 
-Merge sort lager en kopi av hele sekvensen som skal sorteres, med en øvre og en nedre halvdel. Da den kopierer mer enn et konstant nummer av elementer på en gang, merge sort er **ikke in-place**.
+- Ikke in-place: Merge sort lager en kopi av hele sekvensen som skal sorteres, med en øvre og en nedre halvdel. Da den kopierer mer enn et konstant nummer av elementer på en gang, merge sort er **ikke in-place**
+- Stabil: den relative rekkefølgen til elementene i listen opprettholdes under sorteringen
 
 ## Kjøretid og utregning
 

Algoritmer/Sortering/selection_sort.md

@@ -31,7 +31,8 @@ En tidkrevende sorteringsalgoritme som søker gjennom en usortert liste og flytt
 
 ## Styrker og svakheter sammenlignet med andre
 
-- In-place: Det blir ikke opprettet kopier av lista, elementer blir kun flyttet.
+- In-place: det blir ikke opprettet kopier av lista, elementer blir kun flyttet.
+- Ustabil: garanterer ikke at den relative rekkefølgen til like elementer er lik under sorteringen av listen.
 
 ## Kjøretid og utregning
 <!-- Under ulike omstendigheter -->

README.md

@@ -204,7 +204,7 @@ $$T(n) \in \Theta(n^{\log_3 2})$$
 <!-- TODO: Utdyp -->
 
 - Eks: summere elementene i en tabell
-- Rekursjon: summer alle unntatt siste
+- Rekursjon: summer alle unntatt siste - en funksjon kaller seg selv
 - Grunntilfelle: tom sum er null
 - Induktivt premiss: summen er rett
 - Induksjonstrinn: legg til siste element
@@ -225,6 +225,9 @@ Syntese: Bygg løsning av hypotetiske delløsninger
 #### Induksjon: iterativ utgave
 
 - Invariant: egenskap som ikke endres
+  - Initialize: før start
+  - Vedlikehold: Holder den før/etter interasjon
+  - Terminering: Løkken sier noe nyttig
 - Initialisering: inv. er sann ved start
 - Vedlikehold i hver iterasjon