searchindex.js

Search.setIndex({docnames:["alpha_zero","dining","einstein","index","overview","philosophy","puzzle","rock_paper"],envversion:55,filenames:["alpha_zero.rst","dining.rst","einstein.rst","index.rst","overview.rst","philosophy.rst","puzzle.rst","rock_paper.rst"],objects:{},objnames:{},objtypes:{},terms:{"1x1":6,"1x2":6,"21st":2,"2x1":6,"2x2":6,"5x4":6,"93paper":7,"93scissor":7,"\u03b8":0,"\u03c0":0,"\u03c0a":0,"\u03c0t":0,"case":7,"class":[2,4,6],"function":[0,1],"import":[2,6,7],"int":2,"new":7,"return":[0,2,6,7],"true":[1,2,7],"try":[1,7],"var":2,"while":[2,6],And:[2,4],Are:6,For:[1,2,4,6],One:2,RPS:7,The:[1,3,4,6],Their:0,There:2,Use:7,Using:4,With:2,__author__:2,__class__:2,__eq__:2,__ge__:2,__gt__:2,__init__:2,__iter__:6,__le__:2,__lt__:2,__main__:[6,7],__name__:[2,6,7],__ne__:2,__repr__:[2,6],abcd:7,abl:1,about:[2,7],abov:2,acclimat:7,accord:0,account:3,acquireleft:1,acquireright:1,across:0,action:0,adapt:7,add:[2,7],adj:6,advanc:0,adversari:7,after:[1,7],again:[1,7],against:7,age:7,ago:0,albert:2,algorithm:[1,7],all:[1,2,4,6,7],all_of:2,allow:7,alpha:0,alphazero:3,alphazero_preprint:0,alreadi:6,altern:7,alwai:[1,2,5,7],amaz:2,amplifi:4,analysi:2,ands:2,anoth:4,ans:6,answer:2,appeal:7,append:[2,6,7],appendleft:6,appli:4,arithmet:1,arm:7,armin:2,around:6,arrai:1,assert:2,assess:0,assign:2,assur:7,attribut:2,augment:0,automag:4,avail:[1,2],averag:0,background:1,badli:5,bandit:7,base:7,baselin:7,basic:[2,7],basic_fact:2,bb4:0,bb5:0,bb7:0,bc2:0,bc3:0,bc8:0,bd2:0,bd3:0,bd7:0,bd8:0,be2:0,be7:0,be8:0,beat:[0,7],becaus:2,becom:4,been:2,beer:2,beginn:4,being:4,besid:2,best:[0,7],beta:0,better:7,between:[0,1,2,7],beverag:2,bf1:0,bf6:0,bf7:0,bg2:0,bh3:0,bier:2,big:[3,4],bird:2,bit:[0,1],bite:7,black:0,blank:2,blend:2,blends1:2,blends2:2,blog:[0,1],blogspot:1,blue:2,board:[0,2],book:5,bore:7,both:6,brand:2,breadth:[4,6],breath:3,brit1:2,brit2:2,brit:2,british:2,broad:[4,6],broccoli:7,build:2,built:0,bxa5:0,bxf6:0,bxh5:0,call:[2,6],can:[2,4,6],candi:7,canon:6,capabl:4,capac:6,cat1:2,cat2:2,cat:2,center:2,centuri:2,chain:7,challeng:0,chandra:4,chang:7,check:[1,2,4],checker:[3,4],chef:4,chess:0,choic:7,choos:7,chopstick:1,christian:2,cigar:2,circuit:2,claus:2,clever:4,cmdr:4,cnf:2,cnn:4,code:[3,4,6],coffe:2,collect:[6,7],color:2,column:2,com:[0,1,3,6],comb:2,combin:[1,2],common:7,compani:3,compet:7,compil:6,complet:7,complex:[0,1,7],compon:0,comput:[0,2,4],conjunct:2,consecut:2,consid:6,consist:0,constrain:1,contact:3,continu:6,contrain:1,convert:2,convolut:0,cook:4,copi:7,core:[1,7],corner:6,count:[0,6,7],counter:7,cover:7,critic:4,critiqu:4,crush:7,cuda:0,cum_scor:7,current:[0,6],cut:7,cxd5:0,cycl:7,cycle_oppon:7,dai:0,dane:2,danish:2,data:[0,2],deadlock:1,decemb:0,decis:1,deep:[0,5],deepmind:0,def:[2,6,7],defens:7,defin:4,definit:7,del:2,delmar:2,demirba:1,demonstr:0,depth:[3,4],depthfirst:6,dequ:6,describ:[4,6],descript:4,dest:6,detect:7,determin:[2,7],determinist:2,dict:[2,7],dictionari:[2,6,7],difficult:[2,4,5],digraph:7,digraph_event_greedi:7,digraph_event_proport:7,dimac:2,dioverdt:6,directli:2,disguis:0,dish:4,disjunct:2,displai:[2,6],dispos:2,distribut:0,dnf:2,document:0,doe:[2,5],doesn:[2,5],dog:2,doing:7,domain:0,don:6,dot:3,doubl:6,draw:0,drink:2,drive:1,dsone:6,dstwo:6,dunhil:2,dup:[2,6],dynam:0,each:[0,2,6],earli:2,easi:[2,6,7],easier:[2,4],easili:7,eat:[1,7],edu:2,either:[0,6],electr:2,element:2,els:[2,6],empti:6,encod:7,end:[0,2,5,6],enhanc:0,enqueu:1,enter:2,entic:7,entir:0,enumer:7,equival:6,ericponi:1,error:0,essenti:6,estim:0,evalu:[0,2,7],even:2,event:7,eventu:1,everi:1,evidenc:0,exactli:2,exampl:[1,2,4],exclus:2,exd5:0,exit:1,expect:[0,2],explain:4,exploit:[0,7],explor:[0,6],exponenti:2,express:[2,4],extra:6,fact:2,facts_to_str:2,fals:[2,6,7],favorit:7,few:6,fewer:2,figur:7,file:[2,6],find:[2,4,6],finder:4,first:[1,2,3,4,7],fish:2,five:[0,2],fix:6,fixed_ratio:7,flat:2,flatlin:2,flattir:2,fmt:2,follow:[1,4,7],forc:2,form:[2,4],format:2,formula:[1,2],found:2,found_at:2,four:6,free:[0,3],frequenc:7,frequent:0,fresh:6,friend:7,from:[0,2,6],from_dnf:2,fromkei:2,front:2,frozenset:2,fsu:2,full:6,fun:4,functool:2,futur:[0,3],fxg4:0,game:[0,4,7],garri:[0,5],gas:2,gener:[0,1,2,4,7],generalpurpos:0,german:2,get:[0,1,2,4,7],gif:6,github:[0,1],given:[0,2,6],gmail:3,goal:6,good:[2,4],gotogasst:2,gotten:2,gpu:0,graph:1,great:7,greedili:0,green1:2,green2:2,green:2,grid:[2,6],group:[2,7],grow:2,guid:[0,1],gxf6:0,gxh4:0,hand:[0,2],handcraft:0,hard:[4,7],harder:[0,4],has:[1,2,6],have:[2,4,7],held:1,help:2,here:[0,1,2,6],hetting:2,heurist:[0,2],high:0,highli:5,his:5,histori:7,hold:1,hors:2,hous:2,how:[2,4,6,7],howev:4,htm:1,html:[1,2],http:[0,1,2,6,7],human:[0,4,7],humanist:2,hxg5:0,idea:[3,4,6],ideal_respons:7,ident:2,imagin:4,immedi:6,implement:6,impli:1,inc:3,include_neg:2,inclus:2,incorpor:0,indic:2,info:3,inform:7,initi:[0,6],input:[0,7],inspir:4,instanc:6,instantan:4,instead:[0,1,2],interact:2,interfer:2,intern:[2,6],invari:1,isgoal:6,islic:7,item:[2,7],iter:[6,7],itersolv:2,itertool:[2,7],its:[0,6],itself:2,jburkardt:2,join:2,jug_fil:6,jugfil:6,just:[1,7],kartik:4,kasparov:[0,5],kb1:0,kc1:0,kd2:0,keep:[2,6,7],kei:[2,7],kg7:0,kh8:0,knowledg:0,known:2,largest:6,larsen:2,last:7,lastli:2,layout:2,lc0:0,lcblog:0,leaf:0,learn:[0,4],learnig:4,least:2,leav:[6,7],leela:0,leelachesszero:0,left:[1,2,6],leftphilosoph:1,len:[2,6,7],less:0,let:[1,4],life:4,like:[0,7],limit:0,link:7,list:[2,6,7],lit2num:2,lit:2,liter:[2,6],littl:[0,3,4,7],live:2,lizard:7,load:6,logic:[1,2,4,7],lookup:2,loop:1,lore:2,lose:7,loss:[0,7],low:0,lower:6,lru_cach:2,mai:7,major:2,make:[2,4,6,7],make_transl:2,maketran:6,mall:2,man:2,mani:2,map:[2,6],master:[0,2,5],match:2,matter:4,maxim:0,maxsiz:2,mct:[0,4],mean:[2,7],meson:0,metaphor:4,method:6,microsoft:1,mild:7,milk:2,min:[2,6],mind:3,minim:0,minu:2,mission:3,mix:7,model:3,modern:3,modulo:1,month:0,more:[1,2,4,7],most:7,most_common:7,mostli:4,motion:5,move:[0,6,7],movi:7,much:[0,4],multi:7,multipl:[0,7],murat:1,muratbuffalo:1,must:2,mutabl:3,na6:0,name:2,nation:2,nc3:0,nc7:0,ncxd5:0,need:[1,2,4,6,7],needtoremov:2,neg:2,negat:2,neighbor:2,neither:2,network:0,neural:0,newmov:6,next:[1,2,6,7],nf3:0,nf6:0,ng4:0,ng5:0,nice:[1,2,6],none:[2,6,7],none_of:2,normal:2,norwegian:2,notimplementederror:2,now:7,nuanc:4,num2var:2,num:2,number:[1,2,4,6],numbered_cnf:2,nxd5:0,occur:2,off:[4,6],offset:2,often:[2,4,7],old:4,onc:7,one:[1,2,4,6,7],one_of:2,ones:2,onli:[0,2,6],onlin:3,open:6,oper:1,oppon:7,opponent_mov:7,opposit:7,optim:6,option:[6,7],order:[0,1,2],org:[2,7],ors:2,other:7,otherwis:2,our:[0,2],our_mov:7,out:[2,4,7],outcom:0,outlin:0,output:[0,6],over:[0,2,7],overlap:7,overview:3,own:[0,2],owner:2,p1hist:7,p2hist:7,packag:1,pall:2,paper:0,papuzzl:6,paramet:0,pass:2,path:1,pattern:3,pdf:0,peopl:[2,7],perfect:7,perform:0,peripheri:4,person:[2,7],pet:2,pick:7,picosat:2,piec:6,piecem:7,plai:[0,7],plan:7,play_and_learn:7,player:[0,7],pluggabl:4,pluscal:1,point:2,point_to_valu:2,polici:0,pop:6,popul:[2,7],popular:2,pos:6,posit:[0,6],possibl:[1,4,6],post:1,pour:6,power:[1,2,4],pprint:[2,6,7],practic:2,predecessor:6,predic:1,predict:[0,5,7],prefer:7,prepend:6,present:6,prevent:2,previous:0,primari:0,primit:2,princ:2,print:[2,6,7],probabl:0,problem:[0,1,2,4,7],proce:0,product:[1,2],program:[0,4],programm:3,propens:7,proportion:[0,7],proposit:2,provid:6,publish:[0,7],pure:2,purpos:0,put:4,puzzl:[1,4],pycosat:2,pypi:2,python:[0,2,3,4,6],pythonista:2,qc2:0,qd3:0,qd7:0,qf2:0,qf7:0,qg7:0,qh6:0,qty:6,quantifi:2,question:2,queue:6,quickli:7,qxf6:0,qxg3:0,ra6:0,rae8:0,rais:2,random:7,random_repli:7,randomli:[0,7],rang:[2,6,7],rasa:0,rather:6,raymond:2,raymondh:3,rdf1:0,re5:0,re7:0,reach:0,readabl:2,readi:1,readili:4,real:7,rear:2,reason:[2,7],recent:7,recent_plai:7,recogn:6,recognit:3,recogniz:6,recommend:5,red1:2,red2:2,red:2,ref8:0,regardless:7,reinforc:[0,3,4],rel_freq:7,relai:4,relationship:[1,2],releaseboth:1,remain:2,remark:2,remov:2,repeat:7,replac:[0,6],replai:6,reportedli:2,repres:0,request:1,requir:2,respect:[0,1],respond:7,result:[0,2,7],revers:2,rewrit:2,rf3:0,rf4:0,rf7:0,rf8:0,rfe8:0,rh5:0,rh8:0,rhf1:0,rich:4,right:[1,2],rightphilsoph:1,risk:5,root:[0,2],round:[2,7],row:2,rprp:7,rprpsrpsr:7,rprss:7,rule:[0,4,6],run:6,ruurl:1,rxd6:0,rxf6:0,safari:3,sai:2,said:2,same:[0,2,4,6],same_hous:2,sat:[1,3,4],sat_util:2,satisfact:0,satisfi:[1,2],scalar:0,scienc:0,score:[0,7],scorer:7,search:[1,3,4],searcher:1,searl:2,see:[0,1,6],select:[0,7],select_maximum:7,select_proport:7,self:[0,2,6],sep:2,separ:[2,7],sequenc:[6,7],seri:[0,7],serv:7,setdefault:2,shogi:0,should:[2,7],show:[2,4],shown:[2,6],side:2,sign:2,similar:0,simpl:2,simul:[0,7],sinc:2,singl:2,single_event_greedi:7,single_event_proport:7,size:6,skip:2,slow:7,smarter:7,smoke:2,smt:3,softwar:0,solut:[4,6],solv:[2,4,6],solve_al:2,solve_on:2,solver:[3,4],some:[2,4,6],some_of:2,somedict:7,sometim:[2,4],son:7,sort:7,sourc:7,space:6,specif:[0,2],specifi:[2,4],spinach:7,split:2,splitlin:2,spock:[4,7],sroot:0,start:[0,1,2,6],starter:2,startswith:2,starv:1,state:[0,1,6],statement:[2,6],station:2,step:[1,2],stigen:2,stockfish:0,str:[2,6],str_to_fact:2,strategi:[1,7],strategy_rang:7,stretch:4,string:2,style:0,subsequ:0,subsquar:2,succeed:0,success:1,sudoku:4,suffici:4,sum:[2,7],summar:0,superflu:2,superhuman:0,suppli:6,support:2,surprisingli:4,swede:2,swedish:2,symbol:2,symbolic_cnf:2,symcnf:2,sys:2,tabl:[1,2,7],tabula:0,tac:6,take:[0,2],talli:7,tea:2,team:0,techniqu:4,tediou:2,tempor:[1,4],ten:2,tend:7,term:2,termin:0,test:7,testimoni:7,than:[0,1,2,4,6,7],thei:7,them:[2,4,6,7],theori:1,thi:[0,1,2,6,7],thing:6,think:[1,5,7],third:7,thousand:[2,3],through:0,tic:6,time:[0,7],tire:2,tla:4,toe:6,toi:4,tool:[4,6],total:7,tractabl:[2,4],tradit:0,trail:6,train:[0,3],transit:1,translat:[2,6],transpos:7,travers:[0,1],tree:1,trial:7,trickeri:7,trip:2,truth:[1,2],tupl:[2,6],turn:[0,4],tutori:1,twice:6,twitter:3,two:[2,6,7],typic:[0,6],ultim:4,uluuu:1,unconstrain:1,understand:2,unexplor:6,uninterpret:1,uniqu:2,uniquifi:2,unknown:2,unlik:1,unsolv:6,until:[0,2,6,7],unus:1,updat:[0,7],use:2,used:[0,7],user:[3,6],uses:0,using:[0,1,2,6],usual:7,util:7,uurlu:1,uuurl:1,uuuul:1,uuuuu:1,valu:[0,2,7],value1:2,value2:2,vari:6,variabl:2,variou:7,vector:[0,1],verbos:7,veri:[0,6,7],video:3,visit:0,vitamin:7,wai:[2,4,6],wait:[1,7],want:2,watch:7,water:2,week:7,weight:7,well:4,were:0,what:2,when:[2,7],whether:2,which:[2,7],white2:2,white3:2,white:[0,2],who:[2,7],width:2,wiki:7,wikipedia:7,win:[0,7],winner:7,wire:[2,7],within:6,without:0,word:7,wordpress:6,work:[4,6,7],world:7,would:4,write:[1,2],written:[0,2],wrote:2,xlat:6,xxx:2,yellow:2,yield:[2,6],yoda:5,you:[1,2,4,6],your:[2,4,7],yourself:4,z3py:1,zero:[0,1,7],zip:[2,7]},titles:["AlphaZero","SMT and Model Checkers","SAT Solvers","Raymond Hettinger \u2013 US Pycon 2019","Overview","The Future","Depth First and Breath First Search","Pattern Recognition and Reinforcement Learning"],titleterms:{"function":2,The:[0,2,5,7],algorithm:0,alphazero:0,approach:[0,7],block:6,breath:6,can:[0,7],care:2,carlo:0,challeng:2,checker:1,code:[0,2,7],constraint:2,conveni:2,core:[2,6],critiqu:7,depth:6,dine:1,doe:1,einstein:2,entiti:2,essenti:2,explor:4,fill:6,first:6,from:[3,7],futur:5,game:3,gener:6,goal:[2,4],head:4,help:7,here:7,hetting:3,higher:2,human:2,improv:7,jug:6,keep:4,learn:[3,7],level:2,lingo:1,logic:6,mind:4,model:1,mont:0,other:1,our:7,overview:[0,2,4,6,7],paper:7,pattern:7,philosoph:1,problem:6,puzzl:[2,3,6],pycon:3,python:7,raymond:3,recognit:7,reinforc:7,rock:7,run:0,sat:2,scissor:7,search:[0,6],skill:7,slide:6,smt:1,solut:2,solver:[1,2,6],sudoku:2,technic:1,techniqu:2,tla:1,tool:[1,2],tree:0,util:2,what:[1,4],where:[4,7],why:2,you:[0,7]}})