Diverse länkar

Användbara och roliga länkar i adk12

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.

• 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 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.5.

• HPs Javaprofileringsverktyg. Profileringslogg skrivs ut om programmet körs med java -Xrunhprof