Gruppwebben som samarbetsyta stängs 1 oktober 2026. Du som administratör behöver nu exportera gruppens innehåll och/eller radera gruppen.
Observera: Från och med den 1 oktober 2026 kommer delar av gruppwebben som inte längre används, successivt att stängas ned, exempelvis gruppwebbar som redan har flyttats eller varit inaktiva under en längre tid.
Mer information hittar du i nyheten: Gruppwebben och Social stänger den 1 oktober 2026. Stöd och instruktioner för hur du exporterar en gruppwebb finns i: Gruppwebben som samarbetsyta stängs 1 oktober 2026..
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.
- The fastest sorting algorithm? Sorting in n log log n time.
- Induktion och rekursiva funktioner, att bevisa korrekthet med induktion.
- Loopinvariant, att bevisa korrekthet med invariant.
- Applet som beräknar maxflöde.
- Maximum flow, minimum cut, lecture notes, Princeton
- 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.
- Sorteringsvisualisering med ljud och dans.
- 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