From 73b32769841797a95bb57105e25c109b25bfe116 Mon Sep 17 00:00:00 2001 From: Marco Ammon Date: Thu, 13 Aug 2020 11:24:13 +0200 Subject: [PATCH] Klarstellung Lengauer-Tarjan-Algorithmus --- verfahren.pdf | Bin 241100 -> 241161 bytes verfahren.tex | 6 +++--- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/verfahren.pdf b/verfahren.pdf index be6a7cbbc4bae5d10f21c7ac59fd91cfacab7ac7..80a1e3825ce622c102bf885263282303c800e1d5 100644 GIT binary patch delta 6479 zcmai%MN}IAgM@+L#a&w5o#2!p#VMt@7A-EpU4pxn&;rGs26wjrrMN@T;zfdMp}_uc z_p*E1!@Tz$<~na?##agA)(Gl8W1@)*Ly4grkY?j$kJVA);5!2Wf3!-z;YPwu6Zfxr z-#+!IyJD83yl}KqRWzf95-wBCKTd@wy+)Z&!x|$IM`j&L1V4BYo;!mE8VPI9 zH(uDs3~Hy)^N5qFGQ3*4@;DRUaoVX_MV4mr8Z`2wX7NY%_5bDLzFN2SjEk#?XPVre zfJ`xEK}?^0ED*-593*hVp+<~76`XB6rrr^6y5GO?sB~u%Ey%WF?IRSJC~)fHzr?Nq z`8oT$`Fo{{i|$wv*|=NGLjUB`$|2(pRBH$HHri}g7&w=I!v!gV#0^KDaVaKO!nGBc zpG#PC>^gxX8}mB)%SVpIz0$Axz0;>CAXM&qK6mCk|CAudR0)T9Ua3olF=P!Ke)hgKv&1ex-pXON-sFs z*OM_Eaq5pLkf6ze3ag{+XU2LHYN>s6mc>6zkz)>XzPNGhLD6KX6gJ6F1Yz~MST|@Y-z^3`+{gP`9q8aezTN@3BHa>sGAFNVJ3@> zN#I=jxh&t<=y=RyIQMrdDv&@^xHsonWh|;R(i{oZJF;Cb<12crRhAEFwDZIey}mdg zR&*=`ks#6CNAoC=Z(HLuB-?=Yxj%?d)7YLGG?qkj=CrTqhx+5nFqI%hoB0pp(60Ri z5x=@NA@D^M;0q%OEH1{i$1hYR^3%SOp*cK~J2X8`Vn@>Nd_-~m2HdFO@#4HGJo0_n z>cv@CodjP_8x}DAbqY_p0e@RenwbP=7IA;rh>H43+@^#+@8<GfI-Z=blHepm%*<#HE_l2;FEbJ-_x=2rD^kwKGej8${3a?O%aBa zo-9ipv@PhH`k~qT=ySFG@D(%K&c*$vVJ#dW9l)h=TZdL2%@_->fH=0Q4#elz?&!s! z{4>!zH)T>{q+nX?c{EyECwlp1b?%VmAxV}9hDBG zj++4$MS)I7Safc>W3d^TxKC4o_I_RxXq+2H`0jDXo%$ihlv%w}zeMCgH_TRp_`o zThDmAK$psW?x$&Jy=!Wp-q{sb*Dw5w1&!15x~rM)4T}%m<&FclPuxC~S1mMeugR*Z zj;qQrqS}c*kv>OPMew-_t^49Y&)FI!T}D8L$iShLq@U)sm&XOI&ij!~ius7GHod0= zZrG=AK}f_levl#J_f+$DF=kv4&9#O$qL;UEt5-t`-~3&BLD!G@ZKY z{t*yef?*kyE}C>X*jEk07pjULNG76AJ)a1fbtXL9_X=``%Y|JA2QR0fgO9{zY^42! z)mo>~Bef>*3Q$$%R*Jkmk6A{bGGL$yirQX0#F#VNdy1Oia%CXZx?>EN6Yk==+5LvO z7*rA8(m(AO*2B8F)*?9?D}+KD83JMuK}{ z9Lkk>^8qeQB!XIWy+?~U=ik)>?4`ze?_HI+jA-*b2pG4A#};$cX@VqD(UHtoABv2VD*$#ujA8ASd! zU(C|o%?Nx;nSz675AMQddr2*!uYwA7F8CC^S5fwL)o-s}A(rot~( zjob9=J_mEZq)FAX>fTY5&kVaF1(N(BD>1;dw2TYBK$d;wQ4=>^<@z=o)Tov&CxZn` zU1WATQz`UQzMnadedjsC>ELG5{lw)J)5f;+74_i<>|G2XliLt!#pJ0oE{??o(UP4qMNQ$Q2cUTTOs4Y6kQc3vV%3g<(0qQ^%E)@Q7tL zy24Kjt?e!&Kq~R}PMBmdm6^GwOvg+7_2M!Lds<6s)tEwt&D+xavDz`=c8!K2k5aX~ z63yDo{qC{evYTSGVBcLyvEqO{&d@TCfQ_21+SHmIt`W*He}xDH$L%Ua{Ht`;^N)C@`cf zKZMHjZ`klU=<6wMHK_@cPL0!x{bjV+$0cv@ldemvD!6nkySw@qh_EkA^jjvO9M++S(dU}}DtjfuS=B;L$vA8LDEbvH*oU=v zXD#jTYQBBG`&yN!Bw0g(ru6wejhf-vAm}~G$r!;tYtHw728Uc=aSg0xkBf&D)>k4q zJW`TD=JW#ba69X2mxwd4%R6U@Qd-kV+dWQqafB3y`>tl(mBdGVfJjEqpYlf)BuyHT z*md2eBnM>e`@%ot?i(iKrA4Xl&5ty3M10q^6A9EIv&APv{m(<6f{`bM*;TE6xt&XN zd$M+yL%PetL0*{g=>C!+&);l+bYuL!rOEq;ax+2ugPD)ra^A&-Fpb11_>?bdrlyyw_J z-2+}Cd}22JYWGr(ORJ%}Vax{TuBY%uR%42Y4YL@|qz09L4lv_KM1v|bIj}rvWOr_k z?|NEA&#fi;p{-Nri)WRUcE7v7j6_`|`lUp-kC>frQECgLjca))jl=<|u z)_u25I~v2^uc?ZW0zqCIbj-Kvz=}HI|6JquyneRDOJ`MjTk=_7&pC?ZemS^FS8#e8 z;Hr-TcT~vaA`{xs4mtN!O5j#-TbsP!teDCs5l@}T?F@3^4=a>%p;+-uB~PxdR3GT} zmZ10Gj#+~pXxEz68pu&_mdC#L2PP;UN#ITA)T7VKvJ1h9ASqB#I*wdJaZr+k*>7?h z3JYiYDQyO|0~{WJ&85{VG^@z$EGrc*OrG~FrEX_WPBM<6zAHGVc25>8HH}@sf5Tee z|Aer=WO7kdkChgRe!&S3giX30#!PPZv$%3NOPVwu`O#cnzmgQUX>%tDO#J&tMYpK+M1Q~I0 z=(=CAKgV)*p_-e!NZ6`&QEsP@M2*l8)++ z3NbLb|3|)&WQwshADdzO+um+FXj)O`6(Cy|(m*P&2bli`E(H&O$tk(Uh9`sY9*y8c z7-GO;GE4P*zH9)+{?KQWg*Mjgm)6i-0yylYo`tJBVm(c}Td432|wTx2G z$mfU{TNj)z+C9JQ1f-j%ty6Sh{~Ru~#R$S74jb12%loWuHEhh8ing{!u=pS+(0BKT zI~8X>&I_XwVI3lAbM#sS_qB8)X@{I^(;sA&av4o`q z;GL^t*64;SR=}{e6-wy%*R+gQ-}Xt0j_JLpbYhM|+{SX~`_X$I|L2;FGPMPrKcx-(NM85p|eieqLWbsOs{d z5-&WZdxl1@R%dUtx>-7|^v!2gof>Ay}VX{7zfsh|qvS!eX+Q^ZxUrpjQ<>WYm^C?C%>E6Td-<2uTH%N(r+{nyun zC2)3{t2Y-kWA1c^Zd6LN=;W+W-a61IYuyo!HuyQbsiVzL)`slecVN%VQDSasqxsy* zUzw=bqTwIa z&6;$^@`sZ%DtAQP{wzDqQ;W(I@}m;#);^P^b*3ejQK&e_C%gGUPzppQkl+XWPbyj3 zry8YwDgpK)NzT=|VN>s8ac+bQ3kguqr{_!8tX^)lzG-8c+7XaW=zicP?(C`xX2*ZE z*D-$dR;)GPv<%T_iOGhVn#znJhW?f**rW^FDF>U{X&pE&XO4#mp@umq zbEgDC6Tv*#u*;+uo?=&=q8r8Rap-O1MCZ$W)k|oiTG6|11NnH%8yv;L0L%M2;?fMJ0=DbbdbcXuKRQE!)n8D4VWkrG?&#xV|bc z70u5&=-^F!`MXDVx%2{dch~CBZbwM=)Q6Nks$gdRooJ6&U}D^Lzc&_M|Ep_GJf4lu zf)x8B?>Etj)#tzcj0M!QNwjS{?#;EBqMRJ#^O8V_>V}!-9_nxsw39uV zuQVCaR{g@?=oY;Djrr)C$+ReT{!EhC{aUSy4_21V&sK$h#EhsVZ>gIz?u%6W=!E!=sQ9fOy5NC{(xA#3?2zwp4J^0P!T09?j~Em{WWF#=np--Sb1@ zdbq@uF!C<<+9;d2=umQ{l){u@LbB)U9}_e@N&fE)4m2p`0a}#mpKVhrmEkmG9ynbugOT}9o_jD3CV7C78n>%CtTi?%oj z#Q`i)IYMG+DGA0G1nB9x2~viL^*`Z}-ZKwTLv(LLifb(&QK|8$d*Lcg z2G%|zA1X3N(zkw%+0_0bwZSi%AoL2+Sy&JcTB)5+q`xt*YEBd8{g_d%H76&NNmyOU z*mE011+Zzcuy*pjKK5P05Ui0(ZgZ$XQ=oz3R>`d;Rgm(O6sZ=_?7e3)n2jOv&(tXCs3i}8&bUPhdXna9|3yXF~RMN&&(xU!H zXswmBfYewFL7=dJXohSFfbM^=^>Ycp1w%^_D5@a;PFPG-TtQAuP)t!mPC-oUow&Hb zJ8@AtaZyES2C4toVv5VJZUeUSvS$z%5zker`2Sy7Q}-XS@Ag?1CEkxt8B-ibCGz2&m z(l|m2D2@u~7Ucj{F-rFCjcP8{IHK13LvrH3>avbdt_Li|(b?NqFljAGoul~>m~Sm9 zk*LPn(?u~BL<9rG;sorQ!Z}f#nPE;|X-ep>WD|85e#Qq5Z>Ep*|5GgKh+Q12(C+bO zoi|azeHUbgrFCywI`q~Tx^t%iZ`Wv^9cv)8O{3t}7XI(Y7}c|X7B7rFA2&Jh+Pv?a zG@e!g!2;ts55D6rFWcJk0%!wZ`Fs&yT$03&BtAZG%*lTLHWW%ryq{Yn>U}nuQQY7i z!lphJ^#Q$GkHlxrPo7|**1xLQ9yGhczZ_EM7|P`|B62V#@I7d3z^;G1X^j#*T1_DB z(UBt9PDG0gRdR+Ab(og;a2gS$4YuDQL#Ec5PwV?iqE&_#Ip+vyGFxkmn3p%8NtQc3 z)B>{~FPs`(XeA7q90d(osSK1jWGJe4o1H2X9#+L##-9WRtmVnfM6DxJaxk&zBPDNv z%Av)C;)f-o#MhheRUO|r5ccGi_&|;b(lY0*a?xt@=Y2pCNH$PL#h?J;_hRiB4WV88 zi0MHN`Ct}wmPz3508SCfA8NBwCVuxXjKtXQNO$o5&WG;~qRVTO46>69aO+y7F=pYd z3r=YE&Rq)O#hKajH{vxPy#DI{oN4H%mE!fw0?)$`ZN(fl-VOB|95_A369WN?V{u!s z9!!iCqD{)OR-rZjz||k1F?_X9K(zSo&HR9*edx{ftE6f4hsJqx>sL+hMotC-yKS;p z??re~VBZvM$8 z+b;jpg3nY)k5==*)xTO8cnXpYsaQGuyV(UZ&HMPQzp(T7Mj4jwtmrs+l>r)O4am0- zEINrxW|z#f_bFPAlV*R&v3D;TiaTZN$UXoUb^c$Vk%9>JrY0?&A!T?3YZw3bK?Ga7 gS~=o+dRcmS`FYsb;{GS(0>Warn5?XdAC++b3)g;df&c&j delta 6405 zcmai&MNk_Ipl)$@clYA%uEkT_gHv3C2P+V~1&Tv)cTM?mEm}Odl;S~)+r2Y)^;U0j zX3pX)ztsoXz?)jfYqCQ_5)#i6uteqnx0{*zu8$Lj-#6M^qZsix9n$qzyJZ@7SWvU3 zxR$dRHoqY7Fk%s5)_6VW(Os`B`0nf@{7^m|XhFdX34VHbI;Gngaf~Ftu-+YbcQS4a zmn9EW5Vy6MA6bGc0!cnX^@y0cNA^DVJdmXQ{fI$han>rh?b*4K9bdz-$GsH}=KJ>d zu(po|qXU4M5W^3+vQ?1)M2Sa^^ZBHYrGl7|4BHqeRK%Ig7{11;A!;0xu7<&6S*UL$oGM0SMEz*jl}tcjgjqn zOPpm=`zLNf6~>BlZa$$ym3&hvUgP|Ponu$Ch+wWR&6X#KzHmFZU^SYEiNJ2xS10#4 zRUxaX7MmHv4sd!s%5z+c?NoM)#ow-rlP|}j-*YteA(oN%l=MzL$CwpN#Yoih$Dw{f zI*6m*zXhgJq1F(eHavHwmRxI_zCo22_3lV30ae25_NZH zT^1>Y{Fa4pVHbFFoaka~X5?JT1RAXYt7X)AGcMIvse3zGO32J${Yzc=4NK#dEixH5 zU6N_&vAlhJ%;)RfL_T^3;^Oa6(&g_>yHtu3`}qR2(hoZ==K+12EKsl*f3E$sM>ANA z%P}&Rfzz<(Xp}vcd6n(TwTJ+M;$k0q|0^Qqi?~BsQQ_z%F&&8-6#sVwKXqhCV|`4D zkc1b`(R?b`JjxPS*NTHUzSFrgdPfJ#%LEA01>k;+L8Hf=sdMsYvcV^-)_5OiY`dLK zpE2iIDrZNT-U6U@-oEi_{%0O}qO6+!HfQcF7*Bdh70ZHE+PiX|jz%iCHF}DN@Q_-w z)2*x(YZ7nb`o@l}CqvVs$F8j}UGsT^;sH%2OaT85Lt_?9R~kdukBOj$4B;&muL)vq z|L+P;$As8_`)F}RQgXmb#|Qwnp6AiyD=yK5)Qjj6b2QKaX-e z)z*jI89ah_3z_E!Ppgv6%nbkju}A>Q`%0YlICi^RY%YHZs4Pcv(;+vnpvjc`lAICr zWTPp2`sM9XoUuQa1@0a3`O5%bAMCxS!WJp8)tM0H=8YXw+w^d4kaNQ$Zouq}eR!hy z*rv^1H?2Qj`sWYeN!VlWYBu~gJZdY{&u!ja0xl1pp!}wszu#{SlJZ(-_pG7%>F1UZ z)`91PONWm|O&KI6JQ22K4|ArpCqm4W2;R<3O+k{vf4piU?N+=Q5M@P}^(hosYvSTI zjV^Vi){@fUDx;9AR`BEwCZ?uBfa9Ox_ZynkC^zBZN!GqB{{skiq2Jl?dsx2j<#HL@ zOqGBGvFXX~?y;v2rV|t!(R$NK?mVeKbq{8#WSo?W<=n*)+OjG~lagg==QZ3vuKCH> zEk^OnV&=sL+4e8f#Zfv90psG6^d1hRT}0zSe`x7*y=;Djj`Ka|^lQ@}#!a!~s~wBx z5 k-ZS+lRBJbHY7E#_wT!>L?Zyu3M24@>ILhNf|WT%f|hZ88q>xM+SZzgAXQ9_ zGdd0r`H?2llzVsS6g#?Yxf*A@<)WM$jP%c-9(~PZ(i632|23Iy3q%4a=Asm9!trbm zHipIc)sjo@fQil*RjV zqo1aSTh~&i*j15Wv2l6}_%aBFOZ`;0Q5~+*Ay*;%W~77?06Ub7KHU_S6 z4g~2Za~V3-AtCKDk;U=&+D9VVluCcmC`g$*%cFfo~I!@OA=Gz6S{SBY0R!2JB{J?4t<~gyN+pp$6bxk4&^A$BJBlYa(Bt~6z za|t!~nnFswz#?KLDBUq9V@VvZ$?+r{d#%D*@7vDjqS~VV8%mfSd@(I=*mNHGH8>Ac z&SYWEj{VEK++$YqRKs-LSNgLyjLhK`n-PWnLMnt(@MLTuEn!BNNr?MNkd$4QR>1L3 zV(iA^YW5}+RB zYQ2A%L95}WPHXA!m+{2+nFA=38e%{M$HqTU$)|c>IhHKsyH6^)jA3eXwQXN_C0M6B z9>`2L4KgFc6T~+olUQyEol3t|$1lHtAM@AzjAGeGka7DFOA84ft2Yc{N`wCH6TQ%T zXohsC2)*snn!yVwxAlN7i<$*Dox+;%%&P`5+WpPTqtBu_JuFE-eRt;09N^Vqv|oaF zvNYoH5Pytymu^J2Uo=>~;sc+fn$ukg*%3vu1Qe0Ez|&@$zU!()z0by8_b48e=|MJh zUR>zi+)|Ja)dppo2K9fDS@1ZO8IF+TClBcE8a-!``943i1@xesBYW{LEWG;Pui)y#)Z$&CG*$e`xk-QteSX)GYHrQB{s7Yav^?v697XbuOe8nY&IE z`_mVq(e+IFm;AW{EW-RYA=$1ar&BDJw7G)rPw<7oRx3t%#$)QMUk;-aPk9GwS5H-A4D#&VABpce27XJx)JS*6 zt3rJtV!W@%W6&@Sj>XzZwS>iX&?ZKMMTkap2{!|EwJRv z^x|dT3aC!desp+A`J)GPcNu_9W$+H{U}Kz0B!lW&oP*i2wChNOj=L{hjNE1Wd4U6o zHofRZwls2xW5&9yBoZ7;DQE4O@&ZuMdO=eT#KRd)n#luAhDN_puIrkakbOG^ZrEq}w zS=%u9b)mSc@QBGLbub9p+e4cM^A;xVpH9VxG~r-s*z0Y=@0|iEHxB>UneHg~5a2Kl zF++Z1b-jwvC}WaXtV^zL0d3AzD4_k}4!LG`lR3cvJ_EI&T~nP0+_c&N=KJH8SGFXU znNOe{$)EMd){f#fVXa6cBL`Dv7=dY5pkU1|z@hcR3-u`6;9E=+YW% zly{qE#kQ@oFg&ugPXqv}yDl zvfgKAu&TDu0M;Vj_Kk|etR)swA?nHSu>88T1L2 zwV)a9Gl`Ow0bh0qG69a(!L#$9cpmlSGbk?>UsrGK51M8dT#w5mrlN0E76?oy&zy${ zxF9pJ9?#~%MK|0}cE;-p8W9~4_|$a%Ef&YvEW;;0FB1WOxmwhjj$tQbu6 zbsr3++=2bhJ~@E5MKUhvEzY79nItxr8>o=|fRVh2M{lqTwEoV5E&ebApS1Lky26f9 z*COBT=#IT8RH<1=Sr>SkWcG+mZm|I#Z>TFL*L#TR`sywd!>X=A0pF*?r>V%_NthDo zoH}YQ-%i@Yj;-2Y$}Mu)V{GJ@7nm=8x`8qL&0r-1Zv^0;z~C@mOpegEg803Dz~YL0 zf^vl=U47CIeCT#PuB@M~wcy_&G0^?)1KYRVknc9x%GJT2H_nMFJdv}r)b7fD1{_-K zizWBjEdm#EOLc{x+zTI9i;^@3r&R{W(}3tI5z-tMPK*08sdCSSdSAAQ0Sr)!TnN&rjD8D%9q_Zuz%q+xlfBlG5Ol=VOS{ry9xk z{V&a7eiTVm8!U+Pn3+e6)*jYTQGZ#-r9{Cm+Ey3NAMgBOgl)wkx9(!LFzGOk#QMWR zhd?=-a|a2QQ)@ryC6LrHb1P*!k{7ftB`pWCZs<lx*5jg4lpxvnTL+;xjg2isj1 zc~0A$;{9e)=5poT!`oXQ3V?0|huQtnx+lcOxXHsNtyWeX|8pr~4Z5g&O0enJLIC#t zn(Ac>6@@3Q;cn$BwuLv-OZ6LMdV_O!tKS2n!-F= z>i@=Zw|WHbx6z(K*-Xn~mv2NzG%alZxb;{(hqur8%(7fh7hPfs~BTw0S#9fs?AY){VVzuG$sdxghu1IyMv5Ls(~ zI`J2D5Wfyyt-UrdjdOmC0o=emF$I z(Td7!URi1l{>cmR{_8!g?MuqgB5GiB?BS-b7h9#C@-lAQ#_zTEli$*}wW0MdAj_LN zHv1LkjZz+Dv|?W4@~*f#lqPsA@Uxu zd7YfH<@+apL4)es{WMZVBRCF3B>91X4J71_B{D(MEGGG`K$)S0${k1AM8pLIlh(zG z=%Kn6Q!Nh!SAkju-Rsdl3*Fe#pE;SRwd3C@%F#rWTDV8y{>GsO3b{qXn~(#Lc{rWt zkbk4UdJ&}bGvEw)i{meNL3HNhcalr+%pxnl6fUFTdW;bEXffx}#8||5FZi~i=4+RQz7@gR53sCV}fiwJ$vGlF`+ZyX0=q^KsJy9Qr%02@Qxl zNEIW3;YzT~P^VyGM;bzjU?qv+XaL=Ot2T^xCs=3b7|>8lUVja+tp5`19HGjPt-v2` zgEo*vwo_(zUPk}A+>`G|FqbWLJl3B3r!4vm&55$WLwC#{$o|Y+IWT};oFX$txO0T0 zBU!DDBJ%+FW~R0l-N;@IF8CSE!q#q5*?-F3ZaK@)tuf2WB`_TAShZLTjHPiW$fa$RXVnp4K~iwG{l-{imXV1sT4i$;`G@XHx=M*i>!1 zJi5dx^R;D7;EEye52*^fa_~zxnSRQUfo%pRQTkeO#nAEGV?5G%C0M0AMbZdmphVxrcPHuN58z zmi&P@vgZ~Y`IgK=$k@&Dk334cA?IvA^Zp;HUb}H>^<51N8hS(ieb>g3wNsBwiz6f< OAufW&%BrHPiuFHEY diff --git a/verfahren.tex b/verfahren.tex index 81dbef9..4a63e26 100644 --- a/verfahren.tex +++ b/verfahren.tex @@ -83,11 +83,11 @@ \end{itemize} \item Dominatoren $D(n)$ liegen auf jeden Fall \enquote{über} $n$ in $T$ \item Berechnung der Semidominatoren $\mathrm{SemDom}\lbrack w\rbrack$ in Reihenfolge fallender DFS-Nummern: \begin{itemize} - \item Direkte Vorgänger auf $T$ sind Kandidaten - \item $\min_{u\in \mathrm{Pred}(w)} \mathrm{SemDom}\lbrack u\rbrack$ ist Kandidat + \item Direkte Vorgänger auf $T$ sind Kandidaten (T-/fortschreitende Kanten) + \item $\min_{u\in \mathrm{Pred}(w), u > w} \mathrm{SemDom}\lbrack u\rbrack$ ist Kandidat (Kreuz-/rückschreitende Kanten) \item Minimum der Kandidaten ist $\mathrm{SemDom}\lbrack w\rbrack$ \end{itemize} - \item Berechnung von $\mathrm{ImmDom}\lbrack w\rbrack$ durch Durchlaufen in Tiefenordnung von $\mathrm{SemDom}\lbrack w\rbrack$ nach $w$:\begin{itemize} + \item Berechnung von $\mathrm{ImmDom}\lbrack w\rbrack$ durch Durchlaufen in Tiefenordnung von $\mathrm{SemDom}\lbrack w\rbrack$ nach $w$ (ohne $\mathrm{SemDom}\lbrack w\rbrack$):\begin{itemize} \item Jeweils alle Vorgänger $u$ untersuchen und $u$ mit kleinstem $\mathrm{SemDom}\lbrack u\rbrack$ finden \item \begin{equation*} \mathrm{ImmDom}\lbrack w\rbrack = \begin{cases}