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