1.1 --- /dev/null Thu Jan 01 00:00:00 1970 +0000
1.2 +++ b/src/work/jacint/README_FLOW Mon Mar 01 17:24:34 2004 +0000
1.3 @@ -0,0 +1,55 @@
1.4 + Heurisztikak:
1.5 +
1.6 +gap: ha egy 0<i<n szint kiurul, az [i+1,n-1] szinten levoket felrakjuk az
1.7 + n szintre, ezzel nem sertve a tavolsagcimke tulajdonsagot
1.8 +
1.9 +highest label: a legnagyobb szintu aktivon pumpalunk (2 phase eseten
1.10 + persze az n alattiak kozul a legnagyobb szintun)
1.11 +
1.12 +bound_decrease: nem highest label. Egy b valtozoval lepegetunk lefele
1.13 + mig 0-hoz erunk, amikor megemeljuk n-ig (vagy k-ig ha
1.14 + az nyilvan volt tartva). Mindig egy b szintu aktivon
1.15 + pumpalunk (ha van ilyen, ha nem: --b). Relabel utan tehat
1.16 + nem megyunk a csucs utan, ot majd csak b ujboli felemelese utan
1.17 + tudjuk pumpalni. Meglepoen hatekony.
1.18 +
1.19 +highest label + bound_decrease: preflow.h-ban H0*n relabel-enkent a
1.20 + bound_decrease, mig H1*n relabel-enkent a highest label valtozatot
1.21 + futtatjuk az 1. fazisban (a masodik fazis igen gyors az elsohoz
1.22 + kepest, igy itt sima highest label fut). Ez igen hatekonynak
1.23 + tunik, ugy latszik, hogy egyesul a ket eljaras elonye. Teszteles
1.24 + alapjan a H0=20, H1=1 valasztas elfogadhatonak tunik.
1.25 +
1.26 +2 phase: az elso fazisban csak az [1,n-1] szintu aktivokon pumpalunk,
1.27 + es alkalmazzuk gap-et. Ha alul nincs aktiv, fentrol kifujjuk
1.28 + s-bol a fenti csucsokat a segedgraf egy vissza bfs-evel, es
1.29 + visszacsurgatunk ugyanugy, mint az elso fazisban. Az elso fazis
1.30 + utan az n. szint alatti csucsok egy min vagast adnak, es t
1.31 + excesse a max folyamertek.
1.32 +
1.33 +level_list: kezzel irunk egy listat minden szintre az ottani csucsokrol.
1.34 + Ha meg egy k valtozoban nyilvantartjuk a legnagyobb nemures
1.35 + szintet az [1,n] intervallumban, akkor nagyon gyorsan tudunk
1.36 + gap eseten a gap feletti csucsokat az n szintre tenni. Ilyenkor
1.37 + arra sincs szukseg (ami maskor igen hasznos), hogy nyilvantartsuk
1.38 + melyik szinten hany csucs van.
1.39 +
1.40 +
1.41 + A LEDA flowja
1.42 +
1.43 +max_flow.t tartalmazza a LEDA flowjait, a legutolso fuggveny,
1.44 +MAX_FLOW_T a default. Semmi kulonoset nem csinal, 2 fazisu highest label,
1.45 +gap eseten bfs-sel szivja fel a csucsokat az n szintre (ez igen rossz
1.46 +megoldas suru grafnal). Nyilvan tartja az aktivokat egy valamilyen stackben,
1.47 +es hogy melyik szinten hany pont van. 5*m lepesenkent (h=5 defaultbol)
1.48 +csinal egy bfs-t vagy t-bol (1. fazis) vagy s-bol (2. fazis). Van benne
1.49 +par rossz megoldas, pl. az elsorol a 2. fazisra valo atteresnel nem kell
1.50 +egy bfs a t-bol.
1.51 +
1.52 +
1.53 +
1.54 + Egy erdekes tapasztalat:
1.55 +
1.56 +Meglepo modon nagyon sokat gyorsitott amikor az stl stack-jet kezzel
1.57 +megirtam. Ez talan a G.id(NodeIt v) hatekonysaganak koszonheto.
1.58 +