27/8/2017 Lamquinaenelfantasma|ElGatoyLaCaja

Entremuchosotrosejemplos,hayunproblemaimportantsimoquepodemos
atacardeestamanera:eldeverificarsiunnmeroesonoprimo(unnmero
naturalesprimositieneexactamentedosdivisores:1ylmismo).Muchos
algoritmosdecriptografa(comoRSA,queseusaparafirmasycertificados
digitales,yqueestdetrsdelcandaditoesequeapareceenelbrowseryhace
quesesientanmsseguroscadavezquebuscanfotosdegatosocajasen
internet)estnbasadosenelegirnmerosprimos.Perononmerospequeos,
sinonmerosconmuchsimosbitsdelongitud(cuantosmsdgitosbinarios,o
bits,tengaelnmero,msdifcildecrackeareslaclave).Ycuantosmsbits
tieneuncandidatoanmeroprimo,mscostosoeschequearsiesonoprimo.

Elmejoralgoritmodeterminstico(osea,quesiempretedaelresultado
correcto,unamquinacomolagente,digamos)queexistesellamaAKS(en
realidadsellamaAgrawalKayalSaxenaprimalitytest,peronosconocemos
desdeCemento),yparatestearsiunnmerodenbitsesprimo,tardauntiempo
queesproporcionalan^6(n*n*n*n*n*n).Noparecetanto,amenosquepienses
quetestearsiunnmerode4096bitsesprimoonotardaunosmilesdeveces
msquetestearsiunode1024bitsloes.Multiplicamospor4elnmerodebits,
multiplicamospormileselcostodetestear.S,creceresdifcil.No,estonoes
unatelenovela.

[Notaalmargen:ququieredecirqueunnmerotiene40961024uotracantidadcualquieradebits?Es
unareferenciaacuntosdgitosbinariossenecesitanparaescribirlo,cuantamemoriaocupaenla
computadora.Peroadems,cungrandeeselnmero.Porejemplo,unnmerode4096bitstienemso
menoselmismorangoqueunnmerodecimalde1230dgitos(unmillndenmerossepuedenescribircon
6dgitosdecimales.Asqueunnmerode1200dgitosdecimalesestacercadeunmillonelevadoala
doscientosypico.Unode1024bits,comounodeunos310dgitosdecimales].

Ahaparecenlosalgoritmosrandomizadosparasalvar(talvez!)elda.Porque
hayunalgoritmo(eldeMillerRabin)quecontestasiunnmerodenbitsesono
primoenuntiempoqueesproporcionalan^2(n*n).Pasamosden^6an^2.
Muchomejor,no?Bueno,no,s,talvez,quinsabe.Pero,OBVIOqueesa
disminucindelcostovieneconalgntemita,ypasaquesielalgoritmodiceque
elnmeronoesprimo,siempretienerazn,PEEEEEEEROsidicequeesprimo,
hayunaprobabilidadde(el25%)dequeseequivoque.

Estoescompletamenteinaceptable.Cierrenesealgoritmoydevuelvanmemi
dinero.

Perolamismaaleatoriedadnostirauncentro:comocadacorridadelalgoritmo
deMillerRabinesindependientedelasdemstomadecisionesalazarenforma
independiente,sicorroelalgoritmodosveces,lachancedequeseequivoque
https://elgatoylacaja.com.ar/lamaquinaenelfantasma/ 1/4
27/8/2017 Lamquinaenelfantasma|ElGatoyLaCaja

lasdosesde()^2o6.25%.Ysilocorro10veces,entonceslaprobabilidadde
equivocarseentodases()^10,algoascomo1enunmilln.Ysilocorro20
veces,1enunmillndemillones.Mejora,no?Ycomoelcostodecadacorrida
esn^2,elcostodetestearsiunnmerode4096bitsesprimoconprobabilidad
deerrorde1enunmillndemillonesesmilesdemillonesdemillonesdeveces
msbaratoquecorrerAKS.Podsestarbastanteseguroporuncostomucho
menor,aunquesiqueresestarabsolutamenteseguro,esmscaro.Comola
vidamisma,peroconalgoritmos.Osea,comolavidamisma.

NACEELBITENESTEMUNDO
REMANYAOPORELDESTINO

Hayunacantidadenormederesultadostericos,ydeimplementaciones
prcticasdealgoritmosrandomizados,quevandesdedecidircmorutear
mensajesenredeshastamachinelearning.Yesinteresantenotarquetodoesto
provienederesultadosdereasabstractasdelamatemtica,deteorade
nmeros,porejemplo,odeanlisisprobabilsticodealgoritmos.Qucosaesto
dequelasideasgenialesyconenormeimpactoprcticoavecesvengande
lugaresimprevisibles,no?Puntoparadejardepreguntarparaqusirvelo
quehacenloscientficosydarsecuentadequemuchasveceslomsvalioso
esqueannosabemosparaqusirve.

Esteeselpuntodondemeasaltaladuda:lodigoonolodigo?Esquemeda
cosaconfesarlo.OK,mentunpoco.Dijequeibaamostrarcmohacer
mquinasapartirdealeatoriedad,cmogenerarordenapartirdeldesorden.
Despusmostrcomotransformarnmerosaleatoriosenvaloresquecaracolean
alrededorde,rutasacasa,nmerosprobablementeprimos,todopisteando
comouncampen,aparentemente.Perohayunproblemaquetalvezalguno
hayaadvertido:todosnuestrosalgoritmosfuncionanusandonmeros
aleatoriosparatomarsusdecisiones,yesaaleatoriedaddealgnladotieneque
salir.Lapreguntaes:dedndesale?Porquenoeslomismotirarlefideosauna
hojaycontarlosquecaenadentroyafueraquetratardepedirleauna
computadoraqueteescupaunnmeroalazar,porqueresultaqueestotalmente
imposiblegenerarbitsaleatoriosenunacomputadora(JohnVonNeumannlo
dijomejorquenadie:Cualquieraqueconsideremtodosaritmticospara
generarnmerosaleatoriosest,obviamente,enestadodepecado.Yantesde
quealguienpregunte,todaslascomputadorassonmquinasdeTuring,ytodas
lasmquinasdeTuringsonmtodosaritmticos,pecadorasalparecer).

https://elgatoylacaja.com.ar/lamaquinaenelfantasma/ 2/4
27/8/2017 Lamquinaenelfantasma|ElGatoyLaCaja

Acesclavevolveralprincipioyrecordaralgoquenovemostantocomo
deberamos:nuestrascomputadorassonmquinasdeterminsticas,loque
quieredecirquepordefinicinyaunnivelrecontrafundamentalnopueden
generarnmerosaleatorios.Nosconformamoscongenerarnmerospseudo
aleatorios(eltrminomaomenoaleatoriosnotuvoaceptacinenlacomunidad
matemticocomputacional,lamentablemente)paraalimentaranuestrosbellos
algoritmossedientosdedesorden,ysontangenerososqueenlaprctica
funcionanbien.Bien.Cincoparaelpeso.Pseudoaleatorioporaleatorio.
Computadorasdeterministasquearrojanfideosquecaendemaneracasicasial
azarenelguisoalgortmico,peronuncatanto.Porqueresultaque,
computacionalmente,esposiblecrearordenapartirdelcaosperonocaosapartir
delorden,enunltimoactodeironadeunUniversodondelatermodinmicase
empeaenirhaciaelcaossiempresiempre,salvocuandounomslonecesita.

Koestler,ArthurTheGhostintheMachine(1990reprinted.).PenguinGroup.
ISBN0140191925.
Ryle,GilbertDescartesMyth.TheConceptofMind(NewUnivered.),1949.
UniversityofChicagoPress.ISBN0226732967.
ThePolice,GhostintheMachine,1981,A&M
Fogwill,Enlosbosquesdepinosdelasmquinas,1998
Turing,A.M.Oncomputablenumbers,withanapplicationtothe
Entscheidungsproblem,ProceedingsoftheLondonMathematicalSociety,Series
2,Volume42(1937),pp230265.Accesibleen
https://www.cs.virginia.edu/~robins/Turing_Paper_1936.pdf
Figgis,M.,LeavingLasVegas.UnitedArtistsPictures,1995.
Hitchcock,A.ToCatchaThief,1955.
Gutierrez,J.M.,Zweig,P.,Yonoquieroserprincesa,2014,Editorial
Sudamericana.
AKSprimalitytest.EnWikipedia.Accesadoel
1/Nov/2016https://en.wikipedia.org/wiki/AKS_primality_test
Rabin,M.O.(1980),Probabilisticalgorithmfortestingprimality,Journalof
NumberTheory,12(1).Accesibleenhttp://ac.els
cdn.com/0022314X80900840/1s2.00022314X80900840main.pdf?
_tid=8bb992f0a04011e6ba2d
00000aab0f27&acdnat=1478011156_0ab894bb51724faeed6e2aede0bbf566
Mitzenmacher,M.andUpfal,E.,ProbabilityandComputing:Randomized
AlgorithmsandProbabilisticAnalysis,2005,CambridgeUniversityPress
ValiantL,andBrebner,G:UniversalSchemesforParallelCommunication.
STOC1981:263277
https://elgatoylacaja.com.ar/lamaquinaenelfantasma/ 3/4
27/8/2017 Lamquinaenelfantasma|ElGatoyLaCaja

KearnsM.,andValiantL.(1989).Cryptographiclimitationsonlearning
Booleanformulaeandfiniteautomata.SymposiumonTheoryofcomputing.
ACM.21:433444.doi:10.1145/73007.73049.

Upfal,E.,Felperin,S.and,SnirM:RandomizedRoutingwithShorterPaths.
IEEETrans.ParallelDistrib.Syst.7(4):356362(1996)

VonNeumann,J.(1951).Varioustechniquesusedinconnectionwithrandom
digits.NationalBureauofStandardsAppliedMathematicsSeries.12:3638.

https://elgatoylacaja.com.ar/lamaquinaenelfantasma/ 4/4