Maxflo?desproblemet har ma?nga praktiska tilla?mpningar och probleminstanserna kan bli mycket stora. Effektiva implementationer a?r da?rfo?r no?dva?ndigt fo?r att ko?rtiden inte ska bli alltfo?r ho?g. I den ha?r studien har tva? maxflo?desalgoritmer, Edmonds-Karps algoritm och Goldberg-Tarjans push-relabel-algoritm, implementerats i Java med tva? olika da- tastrukturer och ja?mfo?rts med varandra.

Aanderaa-Karp-Rosenberg f?rmodan ?r en f?rmodan ang?ende hur vissa egenskaper hos booleska funktioner relaterar till undflyende. ?ven om f?rmodan inte bevisats ?n har man lyckats visa att f?rmodan ?r sann om man antar vissa ytterligare krav p? funktionen. Denna uppsats kommer presentera den relevanta teorin kring f?rmodan samt simplicialtopologi som ett tillv?gag?ngss?tt att angripa problemet. F?rkunskaperna arbetet antar av l?saren ?r de som man l?r sig under de f?rsta tre ?ren p? matematikprogrammet.