

Study with the several resources on Docsity
Earn points by helping other students or get them with a premium plan
Prepare for your exams
Study with the several resources on Docsity
Earn points to download
Earn points by helping other students or get them with a premium plan
A description of the have/get/goat problem, a classic algorithmic puzzle used to test logical reasoning and problem-solving skills. The puzzle involves identifying the 'goat' among a group of animals labeled 'have/get/goat'. The goal is to eliminate all the 'have' and 'get' animals, leaving only the 'goat'. Multiple examples and variations of the puzzle.
Typology: Exams
1 / 2
This page cannot be seen from the preview
Don't miss anything!


XZY[]X_^[ba&cedGf\g&hikjelGmdGn\l jelofqpsrutkvwYyx#fExmcez|{}j~lGfYn\fE|jEmdGikdGv~f"tkj dGvejj~m lGm\ik#ceff%c~dGikfEv"Xg \[Eg X[]X_^[&a&cedGfg&Wj+ m j+cefjedGc~t j~lGfEc~fqtkv+om"n\m|YiW{GdGjEm\x#GikfEjefEofEvevbGm|fEve jbcefdotc~fj~lGtkvWGm\c}YYz Yiknm\cetkj~lGx n\dCYcY|jefEfstkj}g X}[]X_^[Yikvef\g+om\cYyvetkGnifGtYnm\Yix#m\f\{| YolYj~jY Gtkv~jYoEfstvog X[]X_^[ba&cedGf\g&alof"fE\YikdYjetkm\yZdGGEj~tm cedGGvx#tkGtkx%Y¡"j~m Em\x#GikfEjetkm\g Xf}[]X_^[ba&cedGf\g+¢6£ ¤>¥ ¦yg X§¨[]X_^[Yikvef\g&alGfsv~fE|jefEGftkvb©Yiv~fslGfEGfEfEcq¢ªtkvjecedof"vem`xfEj~tx#fEv+GdojGm\jYiY¡z|v}g
«UB DEAG«H&IJBLK ¬+C®¯W°ToV ±³²&G´yV_PGμ®CPNP|H&NPSJP|²I¡TGI¡¯²
XZY[]X_¶[· ¸¹"º»¡¼³½E¾X_¸C[£À¿ÂÁZ¼³»\XZ¸[ ¥ ÷ Ä Å¾ÁLÆ_»¡Ç¼&XZÄ\[&£À¿ÂÁ_¼³»X_Ä[¥È¢"ºÁZ½E»\XZ¸[wÉÊ¢"ºÁZ½E»\XZÄ\[©Ë X[]X_¶[ÌG¸Í¿ÂÁ¼³»X_¸C[£ Å"¾CÁLÆ_»}Ç|¼&XZ¸[£Ã ·³ÄÅ"¾CÁÆZ»}Ç|¼&X_Ä[£¿ÂÁZ¼³»\XZÄ[¥9ÎX¤ÏÇÆ_Á§ÐÄGXZÄ\[Éʤ"ÏCÇÆÁ§ÐÄGX¸C[e[©Ë©£Ã Ìoѹ"º»¡¼³½E¾X_Ñ[£ ¿ÂÁZ¼³»\XZÑ[£ ¤"ÏCÇ`ÆÁ§ÐÄGX¸C[ÒÉʤ"ÏCÇ\ÆZÁkÐÄoX_Ñ[©Ë
ÓUB DEAGFH&IJBLK ¬+C®¯W°ToVwÔ²ÕeP|NP|²+°P
XZY[]X_^[Ö|lGmujelYjwYym\|jecYGtkEj~tm#m\ikikmv&c~m\xØ×bÙs XZÎ+Ú&[Eg X[]XÛ|[ÙmgyZtkj} vs\Yiktk{Gc~fEvemidojetkm\]tkjel×bÙqbX_Î+Ú&[jefcextkYjefEv¡gyZwtkj} vdGGvYjetkvWܳYGikf\{cefEv~m\ikdGj~tmÝtkj~lÞ×bÙs XZÚ&[ jefcextkYjefEv¡g&Zßtkj} v dovejvYjetkvWܳYGikf{|Gftj~lGfEcx%Y¡zyjefEc~xtkYj~f\g X}[]Xà[· ¸Ã · Ä ¢ XZ¸áÄ\[©Ë¥â¤ãX_¸C[+ä2· ¸ÎÒà ·³Ä ¢ X_¸áÄ[ZËå ¤ XZ¸[+äÊ· ¸ÃæÌGÄ Î+¢ XZ¸áÄ[©Ëå ¤ X¸C[ äç· ¸ÌGÄ Î+¢ãX_¸áÄ[³å%¤ãX_¸C[ äuÎ+¢ X_¸áèXZ¸[~[å ¤ XZ¸[ Yo·³¸%ÌoÄÃæ¢ X_¸áÄ\[¥È¤ XZ¸[©Ë äç· ¸ÌGÄÀà ΢ X_¸áÄ[å ¤ XZ¸[©ËäÂÎ+¢ãX_¸áèX_¸C[e[³å ¤ XZ¸[ X[]X_^[éÇл}êX_¸áÄ[x#f}Yov CfEcev~m\ݸ#lYjefEvfcevem`ÝÄGgb¤ X_¸C[xf}YGvw¸ëtvYxtkvY|jelGc~m\Cf\g
ìB DEAGíH&IJBLK î ¯ZI¡OßToI}¯Z²°TGVW°O&V_O+J alGfv~dGEEfEv~vemcWïWvejYjefY|tmxðtkv&mc+jelofGc~fEGtk}Yj~f"ñ"ÇÆÏ»ò&Ys\YikdGfnfEjevbtkj~m"YscefEntkvejefcfEtkjelGfEcbtUYYv~vetkn\Gx#fE|j+EmGtkfE tjbtk{|m\ctkjYvYikcef¡YGz#jelGfEc~fYo%om\jelotonm`fEcec~m\jeftjbtkjelYGtó fEc~fE|j\Yidof\ò
·qÇáôGá¸áêçñqÇÆ_Ï»X_¸áôGá¦q»¡ê¡ÏGÆkÐ}XZÇCáê¡[e[ õ ÃkX_Çbäösê}ê¡Á§÷S¼&X_¸áÄ[&£ÀñøÇÆ_ÏC»\XZÄGáôGáê}[~[ å XWñ"ÇÆÏC»\XZ¸áôGáê}[³£]XZÎ+ÌÄGáôùÀñqÇÆ_Ï»XÄoáôùeáê}[³£ ô äuôùG£ú Ç äÀöqê¡ê¡Ák÷G¼&X_¸áÄ`[e[e[©Ë
alGfsfó fEj"Y|tkm\xûtkvx dGl Eikm\vefcjem j~lGfyüGý³þ³ÿ sm`fcYj~m\c¡ò
·q¸áÄGáêáô}áô6ñ"ÇÆÏC»\XZ¸áô}áê}[³£Àñ"Ç\ÆZÏ»X_Äoáôáê¡[ ¥ ñqÇÆ_ÏC»\XZ¸áô\á¦s»}ê¡ÏoÆkÐ}Xösê}ê¡Ák÷G¼&X_¸áÄ[Eáê}[~[&£%ÎwñqÇÆ_Ï»X¸áô á¦s»}ê¡ÏGƧÐ}Xöqê¡ê¡Ák÷G¼&X_¸áÄ`[Eáê}[~[
Gdoj f"Yikv~mGffEÝY_cYxfY|tmxûvY¡z|tkGn jelYjYikiCm\jelofEc\YidofEvwYcef"doGlYGnfEò
·q¸áÄGáÑGáêáôuñ"ÇÆÏC»\XZÑGáôGáê}[£%Ñ#úäu¸ ¥ ñqÇÆ_Ï»XÑoáôoá¦s»¡ê}ÏoÆkÐ}XLöqê¡ê}Á§÷S¼&XZ¸áÄ[áê¡[e[
XZY[]X_¶[alGtkv ¨dGvejscefdotc~fEv"x Y|tkGnÍYjsjelGfyx%YGm|GfEv¡{x#tkGtkGnÍYjsjelGfyxtk Gm|GfEv¡{ßYGÝY¡\fcYntkGn%Yjqj~lGfylCYGEf Gm|GfEv¡g+alGf" h GiY¡z\fEctkikiCjY`fsjelGf"ikfZjWïWlYG#GcYGlò
X[]X (^) [hikGlCY¡ïWfEjY#GcedGoton mc|vslGfEGf\fEcytkjqtkvsCm\vev~tkGikf jem velGm jelYj"jelof Gm|GfÍYmdGj"j~m%Cf fE\YidCYjefÝmc fE|YGGfE¡YGGmj Cm\v~vetkGikz%Y ó fEjjelGfjem\Sï©ikfEfEi³xmflom\tkEf\gtkj~lGm\dGjbCm\dGGovm\ ikf}Y¡&\YikdGfEv¡{|jelGfs\YikdGfm+Y lYoEf Gm|Gfytv"Yiv~mdG|Cm\dGoGfE]dG|jetki+YikitkjevslGtkikGcefÝlY¡f|Gm]\YikdGfEv¡{v~m GcedGoton}YGGm\jsm|EEdoc}gtkjel Cm\dGGov}{+tkj"¡YCf%j~lGf¡Yvef#jelYjf\fE2t j~lGfc~fEx%YtkGtkGndGofE\YikdYjefE2if¡Y¡\fEv"lCY¡\fj~lGfbm\c~vejCfEvej Cm\v~vetkGikf \YikdGf{³jelGfylYoEf Gm|Gf\ v"\Yidof" mdGikGmjqCf lGtkn\likmÂfGm\dGnlÝj~m }YdGv~fY#lCYGnftk]xm\fgsWÝj~lGfÍYmf jec~fEf{m\Gfj~lGf"ïe ikf}Y +tv_mdGG{ojelGfyxtk Gm|Gfytkvbm\cej~l !"#ïeG{Cvem#jelGfylYoEfomoftkvbm\c~jel$ !"#Û XCfE}YdGvef tkj¡ vc~tkn\l|jlGtkik }YGom\jCf"bm\c~jelx#m\cefsj~lY (^) \[{Gvem#jelGfjem\Sï©ikfEfEi&xm\flGm\tkEf"¡YGGmjCfY¡ó³fEEj~fE |zfEtkj~lGfEcm+j~lGfsEtkceEikfEikf}Y ß\YidofEv}g X}[]X_¶[alGfcef tkvqYiY¡z|vqYãmvevetkGtkiktkjWzj~lYjjelGfydGGfE\YikdYj~fEÝikf}Y +lYvs\YikdGf#à %uá% Ëj~lYj+tkv¡{Cm\j~lÝoi§Y¡zfEcevwY|j jem nmj~lGfEc~f\g tkGGtkGn"v~dGlÝYif¡Y¡ßbm\doi#Eikf}Yc~ikz lCYGnfqj~lGfsjem|ï©ikfEfEi³xmf\{vetkGEfsjelof"jem|ï©ikfEfEi³GiY¡z\fc bm\dGik Ytkx jemscef}YljelCYj+Gm|GfYG }Y fv~dGcefjelYj+jelGfmjelGfGiY¡z\fcßtkiki|Em|m\CfEcYjef\gbÖ &y{\omqikf}Y¡fEv+}Y fGcedoGfEg
1/2 1/2 1/2 1/
6
4 7 −2 −
4^ '^8
5
−
−
5
( UB D«CíH&IJBLK )sV_To²ß²&¯Z²&®
XZY[]X_^[balGfsm\CfEEmGGtkjetkmGvwYcefsjelom\vefGm\jzfEjfEvejYGiktkvelofEò éÀÇô»\X+*&[m-,"»¨Ð.,/ÇÐYG éÇ|ô\»X_Å"[Òm\ ö0*1ûg X[]XÛ|[balGf,"»¨Ð.,/ÇÐwv~jefEimGCfEcevjelGfs}YdGvYiiktk y_m\céÇ|ô\»X2*&[Ò_c~m\x ö3*41 j~m͹Á_¼³ÁZê}¾g X}[]XÛ|[ ,"»¨Ð.,/ÇÐ }YoGm\jEm\x#fqY¡ZjefEc¹"ÁZ¼³ÁZê}¾ v~m x dGvejbEmxfCf_mcefsö0*1ûg X[]X_¶[ éÀÇô»\XZÅ"[b}YCfqvYj~tv ÜfE |zY"iktk _cemx5³ÐÇ|ºÐ}gaßmvYj~tkvW_zéÇ|ô»\X+*ß[{C fx dGvej YG%YGm\j~lGfEcö3*41 vejefg alGfsö0*1 v~jefEimGCfEcevGm\j~lGtkGn{GYGtkjevocefEEmGGtkjetkm%tkvYiv~mvYj~tv ÜfE|zYyiktk y_c~m\x6UÐÇ|ºÐ}g Xf}[]X_^[balGtkvtkv dGvejj~lGfsEm\oGtkjetkm\Gvocem\j~fEEj~fE|z}YdGvYiiktk |v tkã_m\c~EfYjj~lYjbCm\tk|j}ò+éÇ|ô\»X2*&[sYo%éÇ|ô\»`X_Å[
Start (^) Finish
GetGoat Have(C)
Have(S) Have(G)
Have(C) ASM Have(S)
Have(G) Have(S)
~Have(S)
Have(C) ASM Have(S)