{"version":10,"randomSeed":"9a0d6bee05562b40cbc32c85956b13e9","graph":{"viewport":{"xmin":-2.7064895341372623,"ymin":-0.7396563994224419,"xmax":14.347289104120382,"ymax":12.169014649596443},"showGrid":false,"showXAxis":false,"showYAxis":false},"expressions":{"list":[{"type":"folder","id":"18","title":"library of useful functions","collapsed":true},{"type":"text","id":"19","folderId":"18","text":"project, R^3 -> R^2"},{"type":"text","id":"21","folderId":"18","text":"project list, R^(3*n) -> R^3 -> R^2 -> (R^2)^n"},{"type":"text","id":"23","folderId":"18","text":"dot product, R^n -> R^n -> R"},{"type":"text","id":"25","folderId":"18","text":"cross product, R^3 -> R^3"},{"type":"text","id":"27","folderId":"18","text":"normalise vector, R^n -> R^n"},{"type":"text","id":"29","folderId":"18","text":"insert element as replacement, R^n -> N -> {R, R^2} -> R^n"},{"type":"expression","id":"30","folderId":"18","color":"#2d70b3","latex":"I\\left(L,i,x\\right)=\\left\\{i=1:\\operatorname{join}\\left(x,L\\left[2...\\right]\\right),i=\\operatorname{length}\\left(L\\right):\\operatorname{join}\\left(L\\left[1...\\operatorname{length}\\left(L\\right)-1\\right],x\\right),\\operatorname{join}\\left(L\\left[1...i-1\\right],x,L\\left[i+1...\\right]\\right)\\right\\}"},{"type":"text","id":"31","folderId":"18","text":"rotate around each axis, R^3 -> R^3"},{"type":"text","id":"35","folderId":"18","text":"extract bit i of n, R -> Z -> N"},{"type":"expression","id":"36","folderId":"18","color":"#2d70b3","latex":"B\\left(n,i\\right)=\\operatorname{floor}\\left(\\operatorname{mod}\\left(\\frac{n}{2^{i}},2\\right)\\right)"},{"type":"text","id":"37","folderId":"18","text":"merge bit-list, N^n -> N"},{"type":"expression","id":"38","folderId":"18","color":"#6042a6","latex":"B_{i}\\left(v\\right)=\\operatorname{total}\\left(2^{\\left[0...\\operatorname{length}\\left(v\\right)\\right]}v\\right)","hidden":true},{"type":"text","id":"39","folderId":"18","text":"sum bits at given positions to get a bitmask, N^n -> N"},{"type":"expression","id":"40","folderId":"18","color":"#2d70b3","latex":"M\\left(v\\right)=\\operatorname{total}\\left(2^{v-1}\\right)","hidden":true},{"type":"expression","id":"1","color":"#c74440","latex":"N=12","slider":{"hardMax":true,"max":"40","step":"1"}},{"type":"expression","id":"54","color":"#c74440","latex":"K=5","slider":{"hardMin":true,"hardMax":true,"min":"1","step":"1"}},{"type":"expression","id":"49","color":"#388c46","latex":"p=0.5","slider":{"hardMin":true,"hardMax":true,"min":"0","max":"1"}},{"type":"expression","id":"53","color":"#c74440","latex":"E=\\log_{2}\\left(\\operatorname{nCr}\\left(N^{2},K\\right)\\right)"},{"type":"expression","id":"3","color":"#388c46","latex":"R=\\left(D\\to\\operatorname{shuffle}\\left(\\operatorname{join}\\left(\\left[1...\\left(N^{2}-K\\right)\\right]\\cdot0,\\left[1...K\\right]\\cdot0+1\\right)\\right),G\\to\\left[1...N^{2}\\right]\\cdot0\\right)"},{"type":"expression","id":"41","color":"#000000","latex":"\\left(\\frac{N}{2},0\\right)","showLabel":true,"label":"continue","hidden":true,"dragMode":"NONE","labelSize":"3","labelOrientation":"below","pointOpacity":"\\left\\{\\operatorname{total}\\left(G\\left[1...N^{2}\\right]\\right)=K:1,\\operatorname{length}\\left(G\\right)>N^{2}:1,0\\right\\}","clickableInfo":{"enabled":true,"latex":"G\\to\\operatorname{join}\\left(G,-1\\right),s\\to-1"}},{"type":"expression","id":"8","color":"#388c46","latex":"W=\\operatorname{hsv}\\left(0,0,1\\right)"},{"type":"expression","id":"13","color":"#388c46","latex":"G=\\left[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,-1\\right]","hidden":true},{"type":"expression","id":"11","color":"#c74440","latex":"s=-1","slider":{"hardMin":true,"hardMax":true,"min":"-1","max":"1","step":"1"}},{"type":"expression","id":"10","color":"#388c46","latex":"\\operatorname{polygon}\\left(\\left(0,0\\right),\\left(N,0\\right),\\left(N,N\\right),\\left(0,N\\right)\\right)","fill":true},{"type":"expression","id":"57","color":"#6042a6","latex":"w=0.9","slider":{"hardMin":true,"hardMax":true,"min":"0","max":"1"}},{"type":"expression","id":"7","color":"#000000","latex":"\\left[\\operatorname{polygon}\\left(\\left(i,j\\right),\\left(i+w,j\\right),\\left(i+w,j+w\\right),\\left(i,j+w\\right)\\right)\\operatorname{for}i=\\left[0...N-1\\right],j=\\left[0...N-1\\right]\\right]","lines":false,"colorLatex":"W","fillOpacity":"\\left(1-D\\right)s"},{"type":"expression","id":"6","color":"#000000","latex":"\\left[\\operatorname{polygon}\\left(\\left(i,j\\right),\\left(i+w,j\\right),\\left(i+w,j+w\\right),\\left(i,j+w\\right)\\right)\\operatorname{for}i=\\left[0...N-1\\right],j=\\left[0...N-1\\right]\\right]","lines":false,"fillOpacity":"\\left(D\\right)s"},{"type":"expression","id":"15","color":"#000000","latex":"\\left[\\operatorname{polygon}\\left(\\left(i,j\\right),\\left(i+w,j\\right),\\left(i+w,j+w\\right),\\left(i,j+w\\right)\\right)\\operatorname{for}i=\\left[0...N-1\\right],j=\\left[0...N-1\\right]\\right]","lines":false,"colorLatex":"W","fillOpacity":"\\left(1-G\\right)\\left\\{s=0:1,0\\right\\}","clickableInfo":{"enabled":true,"latex":"G\\to I\\left(G,\\operatorname{index},1-G\\left[\\operatorname{index}\\right]\\right)"}},{"type":"expression","id":"16","color":"#000000","latex":"\\left[\\operatorname{polygon}\\left(\\left(i,j\\right),\\left(i+w,j\\right),\\left(i+w,j+w\\right),\\left(i,j+w\\right)\\right)\\operatorname{for}i=\\left[0...N-1\\right],j=\\left[0...N-1\\right]\\right]","lines":false,"fillOpacity":"\\left(G\\right)\\left\\{s=0:1,0\\right\\}","clickableInfo":{"enabled":true,"latex":"G\\to I\\left(G,\\operatorname{index},1-G\\left[\\operatorname{index}\\right]\\right)"}},{"type":"expression","id":"48","color":"#c74440","latex":"\\left[\\operatorname{polygon}\\left(\\left(i,j\\right),\\left(i+w,j\\right),\\left(i+w,j+w\\right),\\left(i,j+w\\right)\\right)\\operatorname{for}i=\\left[0...N-1\\right],j=\\left[0...N-1\\right]\\right]","lines":false,"fillOpacity":"\\left|G-D\\right|\\left(\\frac{1}{4}\\left(G-D\\right)+\\frac{2}{3}\\right)\\left(\\operatorname{length}\\left(G\\right)-N^{2}\\right)","clickableInfo":{"enabled":true,"latex":"G\\to I\\left(G,\\operatorname{index},1-G\\left[\\operatorname{index}\\right]\\right)"}},{"type":"expression","id":"4","color":"#6042a6","latex":"D=\\left[0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,1\\right]","hidden":true}],"ticker":{"handlerLatex":"\\left\\{\\operatorname{length}\\left(G\\right)>N^{2}+1:\\left(s\\to1,R\\right),s=1:\\left(s\\to0\\right),s\\to s\\right\\}","minStepLatex":"1500","playing":true,"open":true}}}