Diverse länkar

Användbara och roliga länkar i adk12ADK 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 12.

* Stefan Nilssons tips om effektiv Java, föreläsning 12.

* Oracles tips om effektiv Java, föreläsning 12.

* Java Platform Performance - Strategies and Tactics, effektiv Java, föreläsning 12.

* TPTP - profileringsverktyg för Java, föreläsning 12.

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

* SunOracles dokumentation av API för Java 1.5.

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