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.
* 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