{"version":9,"randomSeed":"99512b664ad77485ac0e606aefdf1e35","graph":{"viewport":{"xmin":-5,"ymin":-5,"xmax":5,"ymax":5},"showGrid":false,"showXAxis":false,"showYAxis":false},"expressions":{"list":[{"type":"expression","id":"9","color":"#6042a6","latex":"C=\\operatorname{hsv}\\left(\\left[0,30,60,90,120,150,180,210,240,270,300,330\\right],1,1\\right)"},{"type":"expression","id":"10","color":"#000000","latex":"P_{D}=\\left[\\operatorname{distance}\\left(\\left(x,y\\right),p\\right)\\operatorname{for}p=P\\right]"},{"type":"expression","id":"13","color":"#388c46","latex":"\\left[\\operatorname{total}\\left(\\left[\\left\\{P_{D}\\left[k\\right]\\le d:1,0\\right\\}\\operatorname{for}d=P_{D}\\right]\\right)\\operatorname{for}k=\\left[1...\\operatorname{length}\\left(P\\right)\\right]\\right]\\ge\\operatorname{length}\\left(P\\right)-1\\left\\{-5\\le x\\le5\\right\\}\\left\\{-5\\le y\\le5\\right\\}","hidden":true,"colorLatex":"C","fillOpacity":"1","lineOpacity":"1"},{"type":"expression","id":"25","color":"#000000","latex":"\\left[\\operatorname{total}\\left(\\left[\\left\\{P_{D}\\left[k\\right]\\le d:1,0\\right\\}\\operatorname{for}d=P_{D}\\right]\\right)\\operatorname{for}k=\\left[1...\\operatorname{length}\\left(P\\right)\\right]\\right]=\\operatorname{length}\\left(P\\right)-1\\left\\{-5\\le x\\le5\\right\\}\\left\\{-5\\le y\\le5\\right\\}","lineOpacity":"1"},{"type":"expression","id":"26","color":"#000000","latex":"\\max\\left(\\left|x\\right|,\\left|y\\right|\\right)=5","lineOpacity":"1"},{"type":"expression","id":"1","color":"#000000","latex":"P=\\left[\\left(0,0\\right),\\left(3,2\\right),\\left(-2,1\\right),\\left(2,-4\\right),\\left(-4,-1\\right),\\left(1,3\\right),\\left(4,0\\right),\\left(3,-1\\right),\\left(-1,-4\\right),\\left(-3,4\\right)\\right]","showLabel":true,"label":"${K}","labelSize":"2","suppressTextOutline":true,"pointOpacity":"1"},{"type":"expression","id":"23","color":"#388c46","latex":"K=\\left[1...\\operatorname{length}\\left(P\\right)\\right]"}]}}