Till KTH:s startsida Till KTH:s startsida

Ändringar mellan två versioner

Här visas ändringar i "Diverse länkar" mellan 2013-08-21 14:06 av Viggo Kann och 2013-08-28 23:12 av Viggo Kann.

Visa nästa > ändring.

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