{"version":9,"randomSeed":"ebb222dbe20dd191dd5ecb82b7a4b699","graph":{"viewport":{"xmin":0.4183918003595162,"ymin":-5.1623513312034826,"xmax":10.684637873529319,"ymax":5.103894741966321},"showGrid":false,"showXAxis":false,"showYAxis":false},"expressions":{"list":[{"type":"folder","id":"50","title":"setup","collapsed":true},{"type":"text","id":"5","folderId":"50","text":"hash function, R -> R[0, 1]"},{"type":"expression","id":"1","folderId":"50","color":"#c74440","latex":"H\\left(x\\right)=\\frac{1}{2}\\left(\\sin\\left(10x\\right)+1\\right)","hidden":true},{"type":"text","id":"7","folderId":"50","text":"capacity, N"},{"type":"expression","id":"2","folderId":"50","color":"#2d70b3","latex":"C=10","slider":{"hardMin":true,"hardMax":true,"min":"1","max":"100","step":"1"}},{"type":"folder","id":"56","title":"actions","collapsed":true},{"type":"text","id":"52","folderId":"56","text":"reset"},{"type":"expression","id":"11","folderId":"56","color":"#388c46","latex":"R=\\left(M\\to\\left[1...C\\right]\\cdot\\left(0,0\\right),I_{c}\\to0\\right)"},{"type":"text","id":"27","folderId":"56","text":"step to get an index or write the value"},{"type":"expression","id":"28","folderId":"56","color":"#c74440","latex":"S=\\left\\{I_{c}=-1:\\left(I_{c}\\to I_{c}\\right),I_{c}=0:\\left(I_{c}\\to I_{p}\\left(w.x\\right)\\right),M\\left[I_{c}\\right].x=w.x:\\left(M\\to W\\left(M,I_{c},w\\right),I_{c}\\to-1\\right),M\\left[I_{c}\\right].x=0:\\left(M\\to W\\left(M,I_{c},w\\right),I_{c}\\to-1\\right),I_{c}=I_{p}\\left(w.x\\right)-1:\\left(I_{c}\\to-1\\right),\\left(I_{c}\\to\\operatorname{mod}\\left(I_{c},C\\right)+1\\right)\\right\\}"},{"type":"text","id":"69","folderId":"56","text":"start writing"},{"type":"expression","id":"70","folderId":"56","color":"#2d70b3","latex":"B=\\left(I_{c}\\to0\\right)"},{"type":"folder","id":"65","title":"data","collapsed":true},{"type":"text","id":"9","folderId":"65","text":"hashmap, (R^2)^C"},{"type":"expression","id":"10","folderId":"65","color":"#2d70b3","latex":"M=\\left[\\left(0,0\\right),\\left(0,0\\right),\\left(0,0\\right),\\left(0,0\\right),\\left(0,0\\right),\\left(0,0\\right),\\left(0,0\\right),\\left(0,0\\right),\\left(0,0\\right),\\left(0,0\\right)\\right]","hidden":true},{"type":"text","id":"24","folderId":"65","text":"currently supposed index, N"},{"type":"expression","id":"25","folderId":"65","color":"#6042a6","latex":"I_{c}=0","slider":{"hardMin":true,"hardMax":true,"min":"-1","max":"C","step":"1"}},{"type":"text","id":"13","text":"get preliminary index of key in map, R -> N"},{"type":"expression","id":"19","color":"#000000","latex":"I_{p}\\left(x\\right)=1+\\operatorname{floor}\\left(CH\\left(x\\right)\\right)","hidden":true},{"type":"text","id":"21","text":"key-value pair to write, R^2"},{"type":"expression","id":"22","color":"#2d70b3","latex":"w=\\left(87,10\\right)","hidden":true,"dragMode":"NONE"},{"type":"text","id":"31","text":"write value into array, (R^2)^* -> N -> R^2 -> (R^2)^*"},{"type":"expression","id":"32","color":"#6042a6","latex":"W\\left(v,i,p\\right)=\\left\\{i=1:\\operatorname{join}\\left(p,v\\left[2...\\right]\\right),i=\\operatorname{length}\\left(v\\right):\\operatorname{join}\\left(v\\left[1...\\left(\\operatorname{length}\\left(v\\right)-1\\right)\\right],p\\right),\\operatorname{join}\\left(v\\left[1...\\left(i-1\\right)\\right],p,v\\left[\\left(i+1\\right)...\\right]\\right)\\right\\}"},{"type":"folder","id":"58","title":"display","collapsed":true},{"type":"expression","id":"45","folderId":"58","color":"#000000","latex":"M_{x}=M.x"},{"type":"expression","id":"44","folderId":"58","color":"#000000","latex":"\\left(\\left[1...C\\right],1\\right)","showLabel":true,"label":"${M_x}","hidden":true,"points":false,"dragMode":"NONE","labelSize":""},{"type":"expression","id":"48","folderId":"58","color":"#388c46","latex":"M_{y}=M.y"},{"type":"expression","id":"47","folderId":"58","color":"#000000","latex":"\\left(\\left[1...C\\right],-1\\right)","showLabel":true,"label":"${M_y}","hidden":true,"points":false,"dragMode":"NONE","labelSize":""},{"type":"expression","id":"59","folderId":"58","color":"#000000","latex":"\\left(I_{c},1.5\\right)","showLabel":true,"label":"V","hidden":true,"labelSize":"2","labelOrientation":"above"},{"type":"expression","id":"60","folderId":"58","color":"#000000","latex":"x=\\left[0...C\\right]+0.5\\left\\{-1.5\\le y\\le1.5\\right\\}"},{"type":"expression","id":"61","folderId":"58","color":"#000000","latex":"y=0\\left\\{0.5\\le x\\le C+0.5\\right\\}"},{"type":"expression","id":"62","folderId":"58","color":"#000000","latex":"\\left(1,3\\right)","showLabel":true,"label":"Keys","hidden":true,"labelSize":"2","labelOrientation":"right"},{"type":"expression","id":"63","folderId":"58","color":"#000000","latex":"\\left(1,-3\\right)","showLabel":true,"label":"Values","hidden":true,"labelSize":"2","labelOrientation":"right"},{"type":"expression","id":"72","folderId":"58","color":"#6042a6","latex":"w_{x}=w.x"},{"type":"expression","id":"73","folderId":"58","color":"#000000","latex":"w_{y}=w.y"},{"type":"expression","id":"71","folderId":"58","color":"#000000","latex":"\\left(1,4\\right)","showLabel":true,"label":"Write ${w_x} : ${w_y}","labelSize":"2","labelOrientation":"right","pointSize":"30","clickableInfo":{"enabled":true,"latex":"B"}},{"type":"expression","id":"76","folderId":"58","color":"#000000","latex":"\\left(1,-4\\right)","showLabel":true,"label":"Clear","labelSize":"2","labelOrientation":"right","pointSize":"30","clickableInfo":{"enabled":true,"latex":"R"}}],"ticker":{"handlerLatex":"S","minStepLatex":"500","open":true}}}