Diverse länkar
Användbara och roliga länkar i ADK
Skicka gärna brev till Viggo om du har tips på lämpliga länkar för denna lista.
- Kattis, den automatiska labbrättaren.
- Marcus Dicanders filer om effektiv Java från föreläsning 2
- Effektiv in- och utmatning i Java för Kattis, föreläsning 2.
- Stefan Nilssons tips om effektiv Java, föreläsning 2.
- Oracles tips om effektiv Java, föreläsning 2.
- The fastest sorting algorithm? Sorting in n log log n time.
- Induktion och rekursiva funktioner, att bevisa korrekthet med induktion.
- Loopinvariant, att bevisa korrekthet med invariant.
- Applet som beräknar maxflöde.
- Maximum flow, minimum cut, lecture notes, Princeton
- Teoretisk datalogi, forskningsgruppen på Nada som sysslar med algoritmer, datastrukturer och komplexitet.
- Viggos lista över NP-fullständiga optimeringsproblem och deras approximerbarhet.
- Stony Brook, ett stort algoritmbibliotek.
- Datastrukturer och algoritmer för sökning och sortering av Thomas Niemann.
- Sorteringsvisualisering med ljud och dans.
- Alan Turing 100 år 2012.
- En dikt som bevisar stopproblemets oavgörbarhet.
- BrainFuck - ett litet men turingekvivalent språk. Exempelprogram finns på /info/adk01/BrainFuck
- Verkliga turingmaskiner: i Minecraft, mekanisk. Kolla på videorna!
- Bevis för kakelormsproblemen från föreläsning 23. Tabell 12 (sidan 24 alias sidan 266) sammanfattar läget. (R.e.-rekursivt uppräkningsbar, betyder i detta sammanhang oavgörbart.)
- Serier om NP-svåra problem: restaurangbeställning, försäljning.
- Häftet C för den som kan Java.
- Java collections framework.
- Oracles dokumentation av API för Java 7.
- HPs Javaprofileringsverktyg. Profileringslogg skrivs ut om programmet körs med java -Xrunhprof