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 Links to an external site., den automatiska labbrättaren.
- Marcus Dicanders filer om effektiv Java Links to an external site. från föreläsning 2
- Effektiv in- och utmatning i Java för Kattis Links to an external site., föreläsning 2.
- Stefan Nilssons tips om effektiv Java, föreläsning 2.
- Oracles tips om effektiv Java Links to an external site., föreläsning 2.
- The fastest sorting algorithm? Sorting in n log log n time.
- Maximum flow, minimum cut, lecture notes, Princeton Links to an external site.
- Teoretisk datalogi, forskningsgruppen på EECS som sysslar med algoritmer, datastrukturer och komplexitet.
- Viggos lista över NP-fullständiga optimeringsproblem och deras approximerbarhet.
- On difficult topics in theoretical computer science education Links to an external site., Emma Enströms doktorsavhandling om ADK-kursen
- Stony Brook Links to an external site., ett stort algoritmbibliotek.
- Datastrukturer och algoritmer för sökning och sortering Links to an external site. av Thomas Niemann.
- Sorteringsvisualisering med ljud Links to an external site.och dans Links to an external site..
- Alan Turing 100 år Links to an external site. 2012.
- En dikt som bevisar stopproblemets oavgörbarhet Links to an external site..
- BrainFuck Links to an external site. - ett litet men turingekvivalent språk. Exempelprogram finns på /info/adk01/BrainFuck
- Verkliga turingmaskiner: i Minecraft
Links to an external site.
, mekanisk
Links to an external site.. Kolla på videorna! - Bevis för kakelormsproblemen från föreläsning 23 Links to an external site.. Tabell 12 (sidan 24 alias sidan 266) sammanfattar läget. (R.e.-rekursivt uppräkningsbar, betyder i detta sammanhang oavgörbart.)
- A terminological proposal Links to an external site. - Donald Knuth berättar historien om uppkomsten av termen NP-hard.
- Serier om NP-svåra problem: restaurangbeställning Links to an external site., försäljning Links to an external site..
- Häftet C för den som kan Java.
- Java collections framework Links to an external site..
- Oracles dokumentation av API för Java 7 Links to an external site. och Java 8 Links to an external site..
- HPs Javaprofileringsverktyg Links to an external site.. Profileringslogg skrivs ut om programmet körs med java -Xrunhprof