diff -r ceae9bb06f42 -r 0d0e9abd157b code/dijkstra.code
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/code/dijkstra.code	Tue Feb 22 19:02:39 2011 +0100
@@ -0,0 +1,13 @@
+DIST[s]=0;
+Insert(U,0,s);
+forall(v:V\{s}) {
+	DIST[v]=infty;
+	Insert(U, infty, v);
+}
+while !Empty(U) {
+    (d,u)=DeleteMin(U);
+    forall(e=(u,v):E) {
+        if(DIST[v]>DIST[u]+c(u,v)){
+            DIST[v]=DIST[u]+c(u,v);
+            DecreaseKey(U,v,DIST[v]);
+}}}
\ No newline at end of file