From db572b87d5ec463aa650e014569c1a7b95120857 Mon Sep 17 00:00:00 2001 From: Spencer Killen Date: Wed, 17 May 2023 12:46:39 -0600 Subject: [PATCH] . --- document.pdf | Bin 186260 -> 186417 bytes document.tex | 9 +++++++++ 2 files changed, 9 insertions(+) diff --git a/document.pdf b/document.pdf index 5667997218e5647ce17d63878327cf6f99cada28..ec699b2a599600894f7d9e7bfc6975b6e8519344 100644 GIT binary patch delta 2072 zcmV+z2F_J^q$r=}H*C$cr@p!!B{eDOOFn{*^mCy+x$Ou7` z`DH>FLrUsI3WX>W$$XXkK4FMVQ$nbi%*tuX6nw9*>uSo#xUuoIk5Q_Uu4V6IeP#(nKXBQ1MrP)V#zB9Y`Y!H99`MqYH?6jZY$9rVBS zD&^P$L4wZ9h>aW>O?!cLo~ti6(S}m`8%?T zL|B{sRmK_w)4c$lrc~+R>rrT6DG>yHQ06fYa>Vh#Zc5{U9=Lf?t!|wVF<`M#V38Fv zU>gNL5W=0{_YpTixM4UQNIkW~_m%KHFWi|=#lU>ZU{*4+3*+bp6wEv227lzP=j8E$PUC|U(=|*nWd7ZoFp}jE;03$!a@f}*e zbf3W@!%U#CO-3I~C|Qpwv81wq5)$C*n5wgg3LAEHLSyhDRUrYbLVu(T#1uSZh(3MV ze+$y1f)p|aV#42FcNt$5(xyp7pqYI+(BX!Q()+xh<=0cpvyF zFY2sb+L5(=8n}&EjeolsYS7>5{n=T!E860nZTXY1%Iy|P=&j1enO^w=uSdrMnj)Oz zUw!GCE^WK5YCTzQvc?*rl{KR4x~?lYwcE!1-K>kH zHGb`c)|qv2*bek$o2#mZBi~PG*IDazXQdNy;&pL(>js)?vw!P%55Gm16xMt0na7#v zLp+EAII1nSIf^;L?e5WjnAzZxe#`F1Z$MGM0q9zEw&d;ytalq)^@H$p>t@vXYPT%P zD>qWKUSs9HnGC|E=*a&C?(2*|XIA_OCkD*OM8C>gDC0PaSJ`XYMU z?5gXBIxD4=M)eQ@J_)F}iYt1s(+~OV*yY+Fj?JCVI%}a+CXPh?q!!JG?+^?)n!@RqM2^MA6$C>HRHp;E4827e>IoZ5 zKZ_2OGk=aSAL>4jyo7+uT>|@8n#f_ZS0yU!Z5mQTurHeb_CmCG;Ns4gNbyh+9^^&} zVp#mI$x#9rF%u_8c8DC8vC@@LxS0jw(Z_Vyi;BQ_vWQi=0Fn6a9rBc1ERS%p{zk@M zB^h%HcOUZvWXzO-jD)nbgbXQayEJy3tSu+!{(qJRax?cC;D!mfVI0Z9cZ?KffE30P zai^psV%s`Q#NeYL5!>IM`;F&*VB6e$bVwL+2iMX5Owe~~|Y$gGFW(TD05(E#q zzFQ&!PaW7n5SyE#4YWc@=(lgvv)8Y`bG_TDgVt5<2CH&&>jtWF>HD&B<+|$ppIuS= zUOew@=mwkoin~PvB6+wm!ytg=+a~7KI)}o`mpILCxdZ_2#0ZC*J6x$#sSy#Rzdpmz zvmfWrJ^*b~b`^tWC5L7u0k>u)0!W}LH!(3ZFflVNFg7PJFefPrFHLV`L}7GgASgsS zGB7eTFf}nZF)=hSF*CQ=#RBvXQ8hC#FgZ6iGC?&rI5aRcGcq- zn*u3+CC$l7!ci2*@$Cvn9U`O$Xctig5d?yZKnMbf z0wKzzMYL)g^b!#Tb$+MKhwnX?dyk07uM-J^2t-1{S|IaeicFGKGDnul49SscxTmN+ zTO&T=Ac3sS7RfAGAx*>&iEP?!hP04oNaDnQW=kYXT1kMkk#^ESI!TaBkPzu2-K2+v zNrXg6jPyd%aof=c$(O9+kb^y|en=%{H2`_uvKoYZZd(lju}7<6px{|0fc>IX5-9tv zMu3O^8U^0(tj2)v9jg?am$dTWHg2raaK(nzINafjz#aRP)0}d)tDIMri<(lZE9EaE zKg#W^QY$IX;quU@}ZHe-x9rFgcu z%$N|wXq#ze2p1|_tg{~{g0Sg~F|H=_YC01JzSq}HJr!*7vE1cd-QehD-#GVEd4JQD z`4$J>clmN##CEaEtEu3Vu3WX#pBCT0e#>d*h|^qq6NDiOESPaigg44ta6u`(po&Iu zF%oB#Fv>EDf{W?Qipd$6s|}cOUpuqJ>RuXDGB1;9q9xBL5mMvKn=s5lwa8|p@vovv zeQ1GVgU-u@jgmOadx1@nuM>uGN`I^v8J0S$Al9f}rb#G~#29vbx+8N9VQx_JYho8o zsCCD?9BNR)_5yr5N+RjVZqCyeJ#zE1Uf-b*b6~MEV38Mc zU>gTNFeXv(%Y>WYx?y@Yl6r23A1jeZUf7$@)yRARLcyRkD{x8CVdVYA2|6X`VWuEhg{M+cDJ;*pf2agi2x0;e|7QG>lab$_P{YBV_5f#8c4MSsp>sZf!89|q40$>zRs?7neFUW|gi zz?J?MLV*kWFv6`TPYDbXD_j}t+r_3BRj~E;uBvxK5&LaXHhHu1GaFyO-X*N15QL0a z&QR}n)f7(G-IQJVyKi~zLQd8N1f{HCw60n|Bqntv20K2MgQgnd^M8kUb;gWi-YP;p zT0zJ=9*=Xu8BOPy9^k(VN40jc+UBh{!WwTx7=q#+%Jp4~z1vN>^2TpaXp>L5nGDB) zk$ihqH)Xf!7j&Dvi@Ng)MNqscFYj=ot+zM*>7iRzA!ld^aCnQLiPs@E#dIX~ zQjWmWJ=qU)f4QtbGJkgB0Su1^fT3lurN9nYj|W=!lhC=t6-}|eS(Vil&Xir$SmQUx z&-?ilGID{P;^TEwv@Li8HH2FTRun0(z$OJggMg&g9KLWu>HI&naNkIqBy{`s~m znkw%?`bf$FIU9fmHi_L`zVg_!31g6p3{L@b%;&Ke8S*$R4|(io%N9q*nd|#~=HlG0 zh)VKqgDr&R<9`$kpa57j03X6SED9M8sf+Vv+skchztOF?K7fV?vKqh3Ca(s31ugxe z>%4(=#Wol)<4^-r6X8w2AiG#Ou9pRnI)@z4OdpCJaii2^D+(gyL3FI$5TQWJ0{_;^{RY#8_dPv-C5eSxF9I-u&hz{$GW-r+=Dt>Rc-t#PO+e!D4~I2yeT!(da~ z@n+eANP$HIP6AYZXb;ScOxzSudc`WIy;-dQej0-qgIBW*RI4Dq8S9_VF!$=4#j8I6 z4Td@yg9j#u2POfx2POhYpei&mF)%hWI4v+XConK4DGD!5Z)8MabY&nYL^?7sGBYqW zF*GqTFg7zdw|T|_^bb))GB7eTMm9J%Gek8uGB`LjLODS-IYvV@L_{<-L^4J`AUs4e zFfubnHaIskL^U=tI5;&zIYBi!Mng43L^L%-GDbdK3NK7$ZfA68ATl{MmynzSDSsu< zODn`t7{~GFcm8hUGUGDFFwD5j_`8j98P^r>f@VRy16kN$!HS*ID5XRcO<5=lizyoA z1t>{*5z4}b=l9I!)Au~5)2T;921tlBk|xqjT1c3* zk_c&oq_*sjC}i2QYKI(rSam=OdsZ>X>xES(zLgJmloq(-HRU9)oW3h(5#>CtTqmZK>m}vp zP$?9ZyKm**R~~Z8V@4@@%2Rp8^KhkAJ-%(oKL*P%!Iucw0v`%DF*FJ#B}Gq03QhiO A`2YX_ diff --git a/document.tex b/document.tex index a6a87c7..1725a44 100644 --- a/document.tex +++ b/document.tex @@ -164,6 +164,15 @@ \Phi(T, P) &\define \Bigl( \Gamma(T, P), \Gamma(P, T) \Bigr) \end{align*} + Without stable revision where $(T, P) = (\{ a, b \}, \{ a, b \})$ + \begin{align*} + \Phi(T, P) = (\{ a, b \}, \{ a, b \}) \textrm{ (fixpoint reached)} + \end{align*} + With stable revision + \begin{align*} + S(T, P) = (\emptyset, \emptyset) \textrm{ (fixpoint reached)} + \end{align*} + \section{The Polynomial Heirarchy} Intuitive definitions of ${\sf NP}$