Användbara och roliga länkar i ADK, hösten 2011

Skicka gärna brev till Viggo om du har tips på lämpliga länkar för denna lista.

• Kattis, den automatiska labbrättaren.
• Effektiv in- och utmatning i Java för Kattis, föreläsning 1.
• Stefan Nilssons tips om effektiv Java, föreläsning 1.
• Oracles tips om effektiv Java, föreläsning 1.
• Java Platform Performance - Strategies and Tactics, effektiv Java, föreläsning 1.
• TPTP - profileringsverktyg för Java, föreläsning 1.
• Skipplistor, fria implementationer i massor av programspråk
• Applet som beräknar maxflöde.
• 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.
• Wirths klassiker Algorithms and Data Structures - hela boken i PDF (skriv inte ut den på KTH!)
• 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 22. 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.
• Suns dokumentation av API för Java 1.4 och API för Java 1.5.
• HPs Javaprofileringsverktyg. Profileringslogg skrivs ut om programmet körs med java -Xrunhprof