Diverse nyttiga 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.
• Douglas Wikströms JavaScriptbibliotek för bigint-heltalsaritmetik Links to an external site. och introduktion till aritmetik Download introduktion till aritmetik
  (övning 1), samt bevis av mästarsatsen Download bevis av mästarsatsen
  (föreläsning och övning 1), slumpalgoritm och deterministisk algoritm för medianproblemet Download slumpalgoritm och deterministisk algoritm för medianproblemet
  (föreläsning 14 och 19).
• Effektiv in- och utmatning i Java för Kattis Links to an external site. (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.
• RosettaCode Links to an external site. - en massa algoritmer implementerade i olika språk.
• Datastrukturer och algoritmer för sökning och sortering av Thomas Niemann. Links to an external site.
• 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.
• Math has a fatal flaw Links to an external site. - en film om ofullständighet och oavgörbarhet
• Reducing reductions to intuition Download Reducing reductions to intuition - Douglas Wikström beskriver och definierar dom olika typerna av reduktioner som ingår i ADK.
• 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å /afs/kth.se/misc/info/kurser/DD2350/adk21/BrainFuck
• PowerPoint är turingekvivalent Links to an external site.
• 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.)
• Att se vem som ska vinna spelet Magic: The Gathering är oavgörbart Links to an external site.. Artikeln visar hur man kan simulera en Turingmaskin med spelet.
• 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 Download C för den som kan Java
  .
• Java collections framework Links to an external site..
• Oracles dokumentation av API för Java 11 Links to an external site..
• HPs Javaprofileringsverktyg Links to an external site.. Profileringslogg skrivs ut om programmet körs med java -Xrunhprof