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.


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


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


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