From 261100a0fc3fc0ae4379bb8929611e01f37484da Mon Sep 17 00:00:00 2001 From: Janis Hutz Date: Wed, 10 Dec 2025 16:18:26 +0100 Subject: [PATCH] [TI] Compact: fix translation --- semester3/ti-compact/parts/05_complexity.tex | 4 ++-- semester3/ti-compact/ti-compact.pdf | Bin 397980 -> 397980 bytes 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/semester3/ti-compact/parts/05_complexity.tex b/semester3/ti-compact/parts/05_complexity.tex index b2059f0..b2b6f32 100644 --- a/semester3/ti-compact/parts/05_complexity.tex +++ b/semester3/ti-compact/parts/05_complexity.tex @@ -102,8 +102,8 @@ The rest of the definition is equivalent to the one for deterministic TM and MTM For all $f, g: \N \rightarrow \R^+$, we define \rmvspace \begin{align*} - \text{NTIME}(f) & = \{ L(M) \divides M \text{ ist eine NMTM mit } \tc_M(n) \in \tco{f(n)} \} \\ - \text{NSPACE}(g) & = \{ L(M) \divides M \text{ ist eine NMTM mit } \spc_M(n) \in \tco{g(n)} \} \\ + \text{NTIME}(f) & = \{ L(M) \divides M \text{ is an NMTM with } \tc_M(n) \in \tco{f(n)} \} \\ + \text{NSPACE}(g) & = \{ L(M) \divides M \text{ is an NMTM with } \spc_M(n) \in \tco{g(n)} \} \\ \text{NLOG} & = \text{NSPACE}(\log_2(n)) \\ \text{NP} & = \bigcup_{c \in \N} \text{NTIME}(n^c) \\ \text{NPSPACE} & = \bigcup_{c \in \N} \text{NSPACE}(n^c) diff --git a/semester3/ti-compact/ti-compact.pdf b/semester3/ti-compact/ti-compact.pdf index 690ceb54641a17a12d199e59fcb832d160dc0f9b..18a8968e7cc877f47fd582f8264e7d2652c0d380 100644 GIT binary patch delta 5407 zcmV+)72xWer5K#07_e8>f7@~!x03Jripd*U8zQ&^lT)c$pWHSnTd|K_sjc$KgF;g> zHxwz0bR3_r-)>xHFhgK?5hXiusuFY5zyOU#qc1==hE`Vv4Nv*lA zUR+kPCYtKX)RNRjRWDvuFGnw4&sMjy&3t;X7*B){qpw%jH*Ytye_Q-Zj-F5Fv*mQ= zizXh1H7=%`@r3JIv(b+i%lX=u{LkCXf5yMO`0?!97iVwI7@$Eb)^^JXvvoDSK708K ztzJRdj};}Nw$(dV^BQVuLbZVBMfLpb*%=K(>9?dfu`ncP=}iTdzOP)(GuN1c))4&0 z{SD)XR|(_r^ILWHf5pw!<$q5v7=ilh>WmS|jDU6tR}ApDZb3DX6ov$dG$2NSk`_k5 ziMCpbigCh)sq5zb1~9G8G<3q0HZ2gE(wr#ExNL!15UVJ3)U@6}A_~}8gvFi~2`r-1 zHXaaeQ3wENsX;Y>prK|sah&0|509@xE3d1w%j)czqjHa?e*lToCE!K>56l#n)9`=# zJiYdF6{foX8{3*F0fW)i#3&7UNQz zbw+E4FBwmys!?A!7N|$FKj!Prx@Cv$CMSYwVrx}R7$da`)B32uzQXfTp6lhIgLzaY z{Dd1b`YKN~V^2#puQ)H3uYx))tPv&|(W|1&qY(~xgw)8$pOOH#U z3>&ueLY-|(PaSOOwcXvp(rX!Zz|!j?U9j{xe^_gInFJ-RrH9q#*I?+amg~*!uxZCd z$+Q#Hn|9EeH|^jdn0D~=0y@Z9b}$Z3_gn5VUG68d>~^WG%?TthE7)EvFM-*B2nJFf zWZl6C_`}#KP8ri^-2tABbr(3I#G*N+JK?njf!sCw28=s#TI0@s5aUjiRte*lpm24o ze`MHHsjH;UDQ!FMjozQ~!>Ludv(2dtzldK(%WDe?kcoY?yp~SO3&l~TNPDoVx4Nh5 z;WennQdJLpO`4FfT+>bC6&i2XxL5tOL;2#T0A?M5Zv zbp97o^18;Y5izLbW1VEf@;a({eyEyHe>yx~%_kh|uYWU-#OIhKAG27K-r-7Rz(^tR#&0Sr1F$m&?>g$`sExINu;@>uN<7! z9WLtAv6Udvq0ZOej#;^%^{GW^$sUT-U>&BciISB8qHs@-=Q;n42#R`}5~+iIe>x4- zL{hCGxa~r7Y{oP}PX!!9@ObKn3510bb!f1Ub<{}@l0&Nm561e2b&n3MZ8;g+Q>=2fYLImoM0 zEctBLJADTlsNnr&sr2aPc6H+&^xMsRwl2_3X9ww~0CzTb4AZH%eSGQzwK9&esFkrW zua%{M$9;6NuJ5drv*fgSp5dBM&h}s$$~xr4BW=gp{uC|UT=8>^Zr>s6e*vT)fwh-g z5GS8kH%~bycmm`n#>lQ~zB$&OAC;hNpawB6Nyto7q;v4b!K`$uZ~Aj`@jcXhi$ zlknX->=LZsU*Bw2F3@7}-oq|0)=i+r=Jmz0xIL1kxHd$gKtG(HSU7r#XL;@r#-6>C?CX{DeoOocHrKT+er|o+d9gT#&5CgL6{R+LO4ZV6({dN+b%aC2|8S|hqLXV z5CoF3&|cS0jrPi}9l5~`rmSOW$wS&GFEA4ChbLn;I?zG^mZatw6E+}h*j%UxVce)HP~!J-b-H1w{pOA=t>B5dw5| z>3^rI>zl>wkNE}*-xus6WpI(~bKs*Z{GU~~R}X3q8G$>FtY;1>0*+tD9@4~cWo%*) zMM!E9MObPQMOb4KHH`;^TNM66Mv=0VSUY^$6YDr`{ATuVf6C-?zL~F<(K0fJT1H8) z$6H1T&*m&6Lkt-09o)Y|Ph^GuotC3>A65ZR9sZ0tStf{`3Ew5aN2DWQe0k*y!3mwdU0ejJ`qwkN1t5c& z?49Em0!S>ye<{(($V+j$nd`e-oNLL`fi!Tn`bF$q$G+N1Fa%}kPZ8rkAr!ZtwgWmFor z4GV-bp;4W=Zn-5!8yMdr0KkUjxRV8ZAejYaAi&zUR-5M47J@p%YFNa$quhd_DOoe3 zxxtW=e+KN+Z)#zZPFhfd2sYY)W1ou@7*T6GLCjlB91W|p_%8m5?}xV{mD9gt)t>sI zu&yfi&!CBr(6rH$DP0>NxTWCLP+lp*Vf;u+1CA;aDj{x!^oSe5juI3@-b@MxbBt)k zsZ4rFU|s4)aEH1P7;#H_iAugjr!^WH#9O1Ge;HlRXz0TWRFACAB!OyfJe2LTVD2cg zv;=&dtz93zIzti+uPPb>(q-)buxv4Hj?lZ{Yt+XBY9U#bSbi9sKhfufD? zH2|1P_#w)o``$ot5daGcj5BVb7&HJJrjqs>NI<|f7htikMFMLOYFhVFEn*NvL3}lc ze}ec{OXBwLShX(-1_;Oq@TgTO5hExeWCJpow4%^9r&gg!jsdL3nZtpY5zr-Ogu3yA zL8vTvh7Hs$aYl90K>|w28G#*oMqq&D~dyfGy?-$kB1reX8Kr z?8=&8aydA!POa85GUt9l09S(14e+GY++;j{Anl6suO1p zehT^w7;F`~f0^MZ6m$|p_~DnXDdY0zy)& zB^bu})zp6VNt4!L5%SW67Lj(_Ft#z|v1 z_I$CDp-6$86i872ooxOoCYuXm2p-@LolM3$+sWqo&?CvDyW@`}g%RLw?MOE7Al>>j z81qx|X_zTxo)1I{VcEL)Ryoa#*^e~M3@l4-k^@=CFMByW6+84MFv}gpFNs^>!=sb?~-= z`<8!Kc1T{Cg1q8**OuZBl!7xDh1XSvfRVPuNZddIKavKXWTac`q2|? zWNrPRs!$g^NZce8grR73+#3ig^W6LNIHrH<`S(N1M&&#Hc-YdE*b+<&ZtX{5qWyXA z5GeVGl~ts!4W?9~R~%xov#f#}h`YHob0Oi=PIEn+aRWq<=qZ}Q^61`nu?GWf+mzq_ z@6+h$bQX#0J#=sXREuPLj1P=x&VQALaNKEVMPo5pU`u{B>9xPgv%{I=S^*5*(Ouyj7@UUO`&3<*Xqc{_vgiPwMrb~;KVFxNy!4Wo$)=_pTcG1{6nnI^wuP|xgk zjtA9KAIe_1L=@PF^AmaG_m9DTA=8S2W5;0@VaBLA8lTY2Bx&a^ zA=4ChV>CBSbR;#zN(BuxG1ItFZjBagSZ@RAhV?e!Zp?H8P6DLcUJ_VD<*$DcG@Vkm z1sWIu$MBgLJ`A>>H8dq|0Q6`Zpxub+2u*^cn;ueFhq8aJfN6>`IOhHXrUgh(UEeKe zIka(b!1Vp~{qOrF7ShJ|Hn1eTx2+e@X&Ogl zo9_Sg!O|@ulUQkk$&(y>#Rh-qZ=XW*AhzB@5<*5;O2`O{=(LRogj*CobdWT^k05D~ z{lv)jOb{bgw}PZ&C1+vX!T4#WB@uBi`jOAk;s27R~5H1E=vcXM&_HE2w6G+6|xkyjU}J$dMAJWj)N@)S3ud% zd8e9-GBzI^%8;bEDc}p6kBOvv!2+WvW#?!ZYKrV87KV}a zBHAtR(B%<~_xd7mUPuhbAuksGGPgN?NbAZ&Gxzua4zTJB?|pyqs5z>3`%0_Z-@@ne zR?9ZIz<(8IdGmG?3JXMGOt|a8vP9_+9%N)KdwbBdurtHCW1_at?$I*yy9G($`LBK} z2L7d^)gr$G4#K+^tIl$>?BYw0nBy;do7r_5u{B`|e24Bd;0WhiJD6L<06kWU(-$@2 zQl0K5|95UPGGu>_{BcxRQ~BE$H>dde(7Qt4Lth{ANinN%vEl4uid_FX;qV=|H{OjZ zc2qv4E3GL5GgcBb_qnFTJ+3L48%}Y#aB!UPxXy*o#!u6@1(RDbJ)+}^u?Mh^plVd! zq<;L5{O4AH8S3Lco|5H+;>^^PNZP%?>yVj|d(MpBQ`&#&PL9_4tv`r~#~K%#;>W%Y z`%K~PZ|QtkdD7_6`xYBHjy%=ZX-NK>HmOP%v z<2^n4Pa%H^D`meP-ECbO20PsspdRg~vWJpgWgJ}Q%T_}l3mi~`G=v5|sI)EXLHt+~ zQyD$@`+k<=4+WQl(%k~|)Sr1u+cS(Puu3hVrXdB*-nfdH9h0_RF1tsOy5oWTmg!KE z+FhLzYz&(GXA)k%Lf%D?4dbK^?fJ_P(;j6+2iKd^Ye zTwTxIH`4(a?rno7FD>Hc1KzWZ_j_R)aJ(W6D!D5t{G$`jp;^0cv*F!&?(SG=iBa8L z?Vrca7=2o}oA&T5*PjOs-a}>2;aRSahLoj~Qroj6n%niDT9=#!3rhN&&OI{G+MTh} zC8B>B#{a%H{1d!3Tp42d@co#sM()b+gFkuNbasbpG2?ZF{yS)F>$-58BD}XKVj0=q z#xA8pdeaa0kwA9qZZLoO3$0#3(T|l|Ik0fB;&q765EY)DK0kYw+0PD5@g!dOo7r^c z=4km>@5 zkm>`6km>}tkm?1A83i^mH!(Mt9s~v+1vW7^F*mnC1O|o(Lpeh@H#I>yK{q%=H#9jx zGBh$bLqbC^HaIvpK{zr*Lp~rpIYT%%H9- Jw+amgk_F8Da037U delta 5407 zcmV+)72xWer5K#07_e8>e`${!x02uIS9HEf*ofgxb{+z3Uan0LPwZzSSimnI6j?LY zMk7r|avZ;3zg0ZC*)6hljArZ{Kw|Y2*<`U;tb?p#)9SjS)i)Rad~xx~*W6Y$sWsQt zi>pf3L{nXvT9VqR>cy+-<>;W8CtTN>jlP?%78_skKX11G8UOU+yNj=0T>N^$01aBPwp&J+t*hD1#mk>) z^$N&55#%%ND2wv5G=RP3sLLqJWJ>SnO$;z#=+r z;{o9og#dt-8dL)a8fu0U#~FV6@c1gU^18aXsxF>6D)(p#e~>s`0$%k0z)WE|4gaUl zvl~BGVXFJTv8{;`Fc@7;jM6|lH~EgkfstDd50zpa$Kl`4Z*Hc*pH_@Ck)JyLEcFI_ z8$0YZ1>HSsM>cVzn#8d^tHOV)s#7cQ>m*^=-Brn$B-V&N(pyCIldl~s#;Px2mD$n8 zmvkEOB|pQOf3zdFTA>;&()naIp0Lq+HD>S{JZCJ4r_<1@1INyV$qbJ!Oq%@=H z$~XSx#S{PVcCmf!pPplXp-Eb45HZ5yi(GJGtgI%SND-t?t^-S~L}qR({hKP9Lvi$b z4n3^SLUq}}n_CTqTxN%hg_}})G}qqf|Avst*F6+ff25;5ym^N`FN{l#zTY>lZWsAk zXS8*G5g2!Qi5R(X4LF&OYbjf>2XPv zVZ)YQsIzP7siQ5uw!3>+dM(2aSbANg3zi-Se`_r-lc1!v^sw6E1`NIRYO}o?Hto15 znRbGD(+*nmrX4&4(+-|qKnFR?4#vUhVar{n%l&MY-9ELoJ%a>h1>1||B`_Nh!9dER ztUDM1e;hl-DPtO~JHWHC?gB@YSTv_}C%m>Gkh^BzfN>|zYuwrQV%&++Dq-9b6s~TS ze+-){b(PdPr)|f*(fdPwIJGKwwmp~O7xBwzd2K-fGI5BO*V1Wup*X4(X^&R*R`*mr zyav@+s_KESDN9wo2cUMYp;N|_TF{iCIEtjAVIbyJ-L@S8v43bOf)X_!K@pRt-KgZ7 z&i_P8Ue~xaA_kRwtdne5-b6Lek5%(Ye}|{5`GjK~)}1BCIP`!9Uy62K?r(|)_NTtY z@*S_@vbf4WD!gOkJIDImXY=|BC>zw?sz`(7`Z|=ERGu;mTE%u;znr5Yi8S~0m4mao z$3=ZQwh|;d)cNA8F)R18IkzY+*+Y>UtizNwQL-{X6z=KqJmizg5>?P<0tjD3!yiE7ZxUE^)N#YCF7#>S{SQM}vda+`tpNd?`i3mi07z+Ff2Y3TKgJWL^GyO1!K9}x=Hz}&xMgXJc~vT54)UrL zOFr87PTzqBDtLccDm}WrTi<#I{cgLMZwhqN*+IG~z@5!K!*uHH5TE);t&C$VYGo|U zYh@|m@erM?>w7EZEIDnSXSgPmvjdohvJN@%NZYZtKSfJ7SNt5K+jq=*e*o!6VD04= z#M$T7%~Q?^o&foYF|zBLua7fKvZE73xMue?jPu{*l@~%Cd6EUEi(I zBz(IGy9AqeH@Dlh3$$3i^RTPwrU|szzMig%+ap(FG3!(59N^t{@; zdM$W$@&Mxy&@LEHu>FhpBhWe;I6a=cowbrfkg= z5iuYK<)c_L<-H@yj@&zPI|<@^TSqz4_$`(L2y-S&2&d??;^ZA^+vNr%L5EBBc(xrB zf(O%iNBR9CglyxjEc}yGS1xDh1`((^UM_MSrlGL1H!Uja~6xPv`J7<7t zkmKm1b3;VrbXdghQK;P`dyAx#Wd#wG?) zgrpWxgrz1?gf%u%(|AC*Md43m6e&xIwZo@9v5w=$FX#WJe@w0x+r@enEhBTRWt8-K zx@DB`Y|b(=#DLM>!ToFWMAqovX*s&|VHNP?A+Wq&Jo(r|wy)>m0Z))!VY`e#tiAK4 zF3KLtn(E8>>e_{9V5?WX!p-aT-FCj&dhm2Mo8N91t7~5fPU!5-avG@WU(f6ofDC4` zcaC2OAh8sqe~hyZtYP`M4k+Q_^c<>q#NlBxy$Mg#+uJ2tNWOeMb}zUM84uba6223v zdkwK%f~%{PMb+Wqcb+8hEnI!Ervc(r+>$)J@rLl zT~+R%K@%aNX`?4ox;8*?OTnw5yi$b2_>q(b991S%Lfi=H5jTPzB`AixnG_7>7}1JT zne>vty3~!}4s|0i;+FIhm3)g%Ycw>7w?;!Vf4ZL0(1#bO9$B490@d7jC_7}q+*4#} z3HUf$yFPh!hBhX#kwb;m!}WcbSP)>p)mAoQ0qsX78=>H~1&njQR1JO;gFY++MH}C1 z05F&ELzG4Ly@BE)02UM&XWT+DXaG1&CG9tmfPiZ*z+zv^1lAzbwC<%^#2|=*_-YUZ zfAOuB#O>d)YF`u#5RehzQL9oSMo>b?24pa4MWJm@twNI=16YkShXXMqpi9gMb>jzv zP+9N{8>n02jOwI=1eB690z34Kzy_(dhlqEJNq{7TjUeYTgcjm^;kOSj5W4I#fQ15% zssXKcKd0du+De=UgC@E`CjvAAuNw=z66?)|TCtL|wZ7;&quxPXPB$BqRNx~j?&UPT?C7<+6A>3x1^H@o3^Y z@98pm=97Bi8-M41GZq{ycXW;$!Ty!Y!9CWiLfE{`Bw+3i`YPMzc_a6;eJh&J0C6Ry zoM!uIy%(@wHgC)ymm74#f1 z?8*A!!NDR6mG5vKA~|V57Jeu3}RBkF!9WUG1)<@M`EgAB9dAy!7$pd zrv7NHj(^3MPdj3%BVan@(+sSs`a>b#VX`z!N4Jr1Ivs}`vS6|$W?je2^48;|F&}## zS;<_aKu!uIsQ*qm|0|}P3u6c#;|`rq#yYzx=la-#$)vl}4<>~X;B)OsIqx9ddNvsO zQ}S$>DdnFJ#0z2BrubGl*^Jo_G}#Qy9&Y5LsDIl}#}f$_iBngHq<8I(;XqNn9SU6z zlj|NXkBg=~E^9xRrN$|!OH;qEG&Pl`sa+nOrzSZOTD<=}HIxn9-L*FXrTAxeX*cV-Ick*8c?<{y| zd4FYxmADgH=_ID@fxU1bOuX>imfZgFTrY2Zmly0u5`NqA4to?wuD0Fwm||`PKhE zjgC%dk+|MN_x2C9NOs5g$cX0rS7`{xorYF47E=axH!1ddzIFDjzemO3em*CLhyBVg4_k{lkNx`}#%y%b zLbju)g$y+_y#6o8?ttl#w=)=@d4KKiCZ$9Ib4_&AFq){4l=AcrW3E|~Z}J<4_RQ}V zcw9a60qupWM1hSsKV#su!dS~Qge|x292+?O@E9BxIISo+b{u9AW{jGX@d?dLl6LMB zI8AXkMsw4|NK!+rRM0>ZIgK0T)@acN_coAjaBlo2D3vV;(+iT7dM__5DJZ zLmNkjO+Q@Uj~_OzYhXziev?E^gQ2bsrhGL(18%0Uylz`>A#Idz151K@+j;?=rg22J z>HZHNGTjm~iI_H+Ldn5bY=40M4k|PcV(Tp=A!LN5gp9C=PTP1uxJBW8hf4E@2$cre zPmFBO1TkK9CsaCCau(KY&KP?+n*2DfWwfv6cPBj%2Al*1bB_0F2;PBFqHAhQFLD|qRh2MxFLD~s&nyNKCVxEv$qcKRNMolP zSSNV8fp(*(8*mc++;o(}B2L}->1G7o_~~Y_Nly(?GF06Op>EI`ilN5HhjYbHGq4kA z&G!UR$6CcG>Uv)kb<$5ZjJg@qdkCWjwxUuDMo}{@iHLjApZok?RlYfWM1O9%s<@SLRXPAQGT+oh$kG9*kfqpdEcs~PJNff>9Be7L0?K~O zJJnpAc3V24^I73LP$nPD>d+{YvH9#!h9t#J0bkgBQY76A7O=#a>>Le4O_ANi!droR zaqSj(=;{Qcm+;ZN z^{P!V@ZZK+-M-m|!U9nk6Yi3*EKxdy2N_w*-X1h9?96cPn5gZud$i2_Zb1@!{J=RQ>|S?K!?d^tRCV&^L&DYRo!ZZ#bXMkn3M39KPoc$NN#m zj>@NWr8Q+>#!7;{N&eh zA1mDdMV~nG4ar~DCROR09F&;hkkIVT@a^4L)xeg@Hn;fnb(v!Q zGcbX9(2JYmmmf+?R_^;CQCSt^je$aEl=1z9%e(PJa+S~1(u^Pb0i^@3mmBzmAZ8Rf z-qWN16n_%2Qugc7-PWaHu=9Nf>hr@?_E5^JjDyR3-)iWSfdgughS0!Am9}L)h@Wg? zDx(K~JIr$Yw%~G5x?g~v`(saOdxjAOR;eY_G^C)}dsi{DW75{kW%npjcRY|^G95}% zyDRo&yW(k%`!(Ub(_xU{zZB$9-NX$Y_^}(OI)AA~`L{Z5Zd{4mhk)PdI8=1;1Iu@- z_07V4IURuE_BMF((jsm?;BDKO`HLyS@uD!OQPhIbda8)T&=M#)ab z_K#y{j6N;gPyLv5@3FGy_)OQ&hm@t0QoFMxnmhKOT9=#!3rhN|&I2;h+MTiU zC4ZtB#{a%N{4aQUxH81@;af6YjoiiIM}PRV>FgetW5!Df{nyag&ZXftMfhM*#4@tI zja^EI^lLxdM*`WcyT|xXLsWQr`uyTqW=4km>@5 zkm>`6km>}tkm?1A83i;lI50Su9s~v+1vD}^FgUkC1O|o(LpL@!H8?~xGc`mwMMXD3 zGc-dqI5I;sG&DgsI6*==G(I3aH#RsmI7BovHAFZ?MK?h+G($8vGD9;oG(k5wK|(n+ Jw+amgk_F`pdm{h<