(L → R; E) <latexit sha1_base64="DZtY+zOsgzkzNL/eT5/aKQD0LsA=">AAAB+3icbVDLSgMxFL1TX7W+xrp0EyyCqzIjUl0WRHFZwT6wHUsmzbShmcyQZNQyDPglblwo4tYfceffmD4W2nrgwuGce8nJ8WPOlHacbyu3tLyyupZfL2xsbm3v2LvFhooSSWidRDySLR8rypmgdc00p61YUhz6nDb94fnYb95TqVgkbvQopl6I+4IFjGBtpK5dfEAdJlAnxHrg++ltdnfRtUtO2ZkALRJ3RkowQ61rf3V6EUlCKjThWKm268TaS7HUjHCaFTqJojEmQ9ynbUMFDqny0kn2DB0apYeCSJoRGk3U3xcpDpUahb7ZHGdU895Y/M9rJzo481Im4kRTQaYPBQlHOkLjIlCPSUo0HxmCiWQmKyIDLDHRpq6CKcGd//IiaRyX3Uq5cn1Sql4+TevIwz4cwBG4cApVuIIa1IHAIzzDK7xZmfVivVsf09WcNatwD/7A+vwBlwqUlw==</latexit> w → ZE ࠷େॏΈશϚονϯάɹɹɹɹʢࠨӈͷҰରҰରԠʣ <latexit sha1_base64="RQl5rN7pvLVOseex2Y7EjMEOLAs=">AAAB9HicbZBLSwMxFIXv1Fetr6pLN8EiuCozItVlQRQ3QgX7gHYomfS2Dc1kpkmmUIaC/8KNC0Xc+mPc+W9MHwutHgh8nHNDbk4QC66N6345mZXVtfWN7GZua3tndy+/f1DTUaIYVlkkItUIqEbBJVYNNwIbsUIaBgLrweBqmtdHqDSP5IMZx+iHtCd5lzNqrOXfkZZOAo0Gh+S6nS+4RXcm8he8BRRgoUo7/9nqRCwJURomqNZNz42Nn1JlOBM4ybUSjTFlA9rDpkVJQ9R+Olt6Qk6s0yHdSNkjDZm5P2+kNNR6HAZ2MqSmr5ezqflf1kxM99JPuYwTg5LNH+omgpiITBsgHa6QGTG2QJnidlfC+lRRZmxPOVuCt/zlv1A7K3qlYun+vFC+eZzXkYUjOIZT8OACynALFagCgyE8wQu8OiPn2Xlz3uejGWdR4SH8kvPxDSvjkiU=</latexit> M → E 1 3 1 1 2 1 4 3 2 2 ԿΛʮ༧ଌʯ͢ΕߴʹΛղ͘ͷʹཱ͔ͭʁ A B C D
return <latexit sha1_base64="IE6Fvw2UnD5B2g/v0ERdX6KEq04=">AAAiTniczVrdc9u4Edddv1L1K9e+tX1gokknl0lcS3aSa2bSSc6+NJ6L7cSOk5uYPgciIQkxSdAA5I9weHN/TV/bP6Wv/Uf61ml3AVD8EKHo2j5UMwRB7A+L3cXuAiA1TCMm1erq3z/6+Hvf/8EPf3Tlx92f/PRnP//F1U9++UryqQjoQcAjLr4aEkkjltADxVREv0oFJfEwoq+HJxtIf31GhWQ8eakuU3oUk3HCRiwgCpqOr/76wvPHVEnv4ms/YCLwfJZ4fshjb3R8tbe6sqp/3nylbyu9jv09P/7k2m+hZzCNaaKCiEh52F9N1VFGhGJBRPOuP5U0JcEJGdNDqCYkpvIo00rk3g1oCb0RF3AlytOt1R4ZiaW8jIeAjImayCYNG9toh1M1+uwoY0k6VTQJzECjaeQp7qFFvJAJGqjoEiokEAxk9YIJESRQYLdubZhhXFMiCyXKWm9DARTnkaw3SxUTcSnCvNu94T0BLVkC/BMSeQCqIS9SImTdWtmFVIIlY+jsx+SEEphnBd2R10P7857pJmkbun5CzwMexyQJfX7Cgjh8RC9AsQRMMjjKfOBQtKs47fWxodfvDfR9UCGBJI3+mU9TySKe5Jl/RkTx0IJLJ8xgsALCVwalUeTDhQqpScBD+jZ6eP0z8ChABfrZ/+bhWx8AmxS8SdBtwO2DA/AoK3hEwBy7kyidkDwzRpF59jYCYSJ+TkUAsZH545COvsl8Nkqmsa8mVHcaCz5NH/rxo4R6FaE8kEqWLfA8YnluREeZi/aa7Z+DfAkwllTOGqszMJOYTBXPs+qDd8N7HL6bSuVJ9p6CN8A8ezDaSHnQ0fMFG09UnVfCRUyiGRv76MHvhrejH7y0EIhJzbdVmDOwWqJ4nB/2j7IbXc/zi5bMH2rzYCM0Q7YwM/K7h3+wTWgO3xc0Ihe2RQbY9YQmMuv1c82OaiZQz1vHP4EAgBnE2x0/mUZRCHksZjiH4PhUh0qv/8DbhrjkHqYLbBg88PaBjGa6qSeSpzS57ekqyHPbg+AyThVxST/FLmsPvA0ztk4w1cloFcx63GYhTn64Zg1UAYOSRbPn1cLSNm2N9pX44jTrQVj1BnnNB3SDwXkgn6kBZK6Pmdw6fACPRY+ysehjKXlNMA6+oOXSk2Htuo8Od7MqFpjRDAiVIRtD+bkuoT42hoXn8ad2Gmb2mdkYclqiui4zlnEL3m1DFyfPaDF7zLT3lzlo5pS9tbzqOiY0Vox7LTNkwq3H/ScDf5fBYhaGsOBlhU9WxoEnM8xKTZW2EQ2XUpzvrLNhkHCIzEXSVNhn4D+16FxqHC2T5a+DrjKCfl5WY81Iu/Cyo9amdJmxneP9j2LiGSbu0BEY8LT+wNvDUSuYtgyk83d+uG7TTsWJMe/gNKECSDPJo2YUA1m3kP9L1ey8tSloSEuoWQXOKbsLAng2hDw28qQiQtCwWED+G1OstZli3TYGpT3uwsplxq8h7xVmqkDvt5huh55v2t30RpsJz5maFIlGxvqX14xZMXRhSbtcoL1gqfkctqmUJC+faBu6skYjp2lOd/PM2Pxenvfu6XUl692v2n9uzW71noX+YiP/ebmVKdfhFuOgDnK3vtOKC41rNsn0cqovtIn1sOW9p66byx3a5v7ukvM8r/prmO3t6mznbkMMWgzBZ5bYGr0i0ZTirOMUFhsIpz80nO2Wk5Jbu64Vdl3XG5oKV81W0Qulh86L8m7e3M20TdeM7QxezlqLweDwoReGyKTSzBem0o4NpgIPE9FQ4MYTwKbSDpanQ1GATwrwiQNMxgYMByIdTsJU2sHh0IANa4qLqhBF3aElS5EtHPJVcXPxTlNAvDLAV27gKOJcS1FUhKk4LEeZtpy9C313ZoFdOISL6unERtBWkjTa21LBJp8OI1o5bH0wIczng97gEPzwCPzJ3sG54HxXcaK5UcDIxpfKchE4sM5UvS3CS+tP1dsiPLEuVb3V3wTwMQsc51BYz8AVw1zXzmk4pvk8QM86VM5okwoHaXqKSnE48dPT0waZngIgx/upRsz3ZiOkc3wnRZXdksYZ9srxgA63mir7+G6q1GRRXgTL6YCZxbANiVko45E1ICLUIdOtSyYv45CN7D5yyOAooAQzkZo3oVTtFMBhtpPnc+Q3JflNC/lFSX7RQt4ryXst5I2SvNFCflqSn7aQn5TkJy3kL0vyl22Kv8EMgvfjzB/T1TblLOKFE7FnEXszxLx9U4vZOc7+2MbjTVoK0gp4kZZytAL20lIMDah63TZJXe9xQh5D1hkcZZhefMVxtW1wH02TwMDWLOwswFeiGBC6f7Eba/QTVCqhedeXv/q7o5XcrM7au4/t8JVXZLspFXDeh3MSgyiHy0EFQfIMCwc94NAdCwddTtGCuqwnH6IUC5zvwWJKVTXMTApqWOIdZ0kVhHloPk1ZVu48ZtkUiawq5eNoTCEvzKeWupJP0UhP3Ub6AjMpFg764ylIiEXrFqWau8Z6jzLbJRS5q9gsVDUjQzjD4yu7Xv94lkHJMG+aCCsap5cU7Ym3sXA6DBegDdfvqJvJ0c7GSJCTbN/JQI5BCSwaDOJppKzEX0NmZTGs3C4e23m27aL96VmeweWg7gN1/5lN9Lvm3aQDugs7AycbIO7vWjYHC9kc5NmBkw0Q4WpYAva+NAllxbl/77REMIEAnDhtAakcrppX70zjIWyjXk4oF5cV30ZNyFCahU8/sURB7tOO0XSaVMD8lG+LIH64arpWyM5YSLUaOsPU3k6XxERTa9mBJZSIZcMP0mGmhMsCEByw+9als7+GqDuLQJuYRTar++s6/TlsC+ByUKECwaFLVw6B/nB1XXmYkTEkYiwdiGHEgxMD09U7i8BnNIA7ew8zCFUXao+f5xkWDvoGh50rFg33VUKmlUDmadMxSPiOzwC35tZ22DOiVMa5Qpn1iy8r+O5Fn1DqeJakdkXEXS4wve3pBa+WyhMSXeJ3jkXbRGSlOF/6PIjooIZedMZjuLrXToQf4B0ErefHWqbIZ7ldL37AoBqAJTWcD86RsRlk6wAedc7X98HcGhHOwOES6LTBOsVPuySyXWZPLcOkzXEWda3OLhzm0ohetM1y3SKstMjse90eXZi+98DGe8XJYCteiN2CKN9yxvhjAcGJhYMOJ7I8w8K1WOBGBQtnPEqMR+mivyTQH4tW+i1UVaKusm7c3RTWYvZe/xdgcS4GFkSMYxQT7nBQK/akulF/rvNv+yPmxS4lLAdy8UEOAKl7z64IqSind7fpXbxO584VNeXRJSRrLBcgIpysorJ433YLF0xY8JTel1f2+fg8+1ivP751j6/2+s1/T8xXXg1W+vdW7r5Y7z168q35Z8WVzm861zs3O/3O/c6jztPO885BJ+h82/lz5y+dv17727V/XPvntX8Z6Mcf2X9j/KpT+12/8m9wsn15</latexit> x x 2 dom f <latexit sha1_base64="G/1LRCjB/VJ7+Mu18xcwSnHzc5Q=">AAAiQ3iczVpbc9u4FdZub1v1stn2sX2gV5NONpO4luwk28ykk6y9aTwbW4kdJzsxvQ5EQjJikqAByJdwuNP/0df2p/RH9Df0rdPXzvQcABQvIhRt24dqhiCI8+Hg4NwAkBqlEZNqbe1vH3z4ve//4Ic/+ujH3Z/89Gc///jaJ794KflUBPQg4BEXX4+IpBFL6IFiKqJfp4KSeBTRV6PTTaS/OqdCMp68UFcpPYrJJGFjFhAFTcfXPvZjok5EnA3zG8k3g8+Or/XWVtf0z5uv9G2l17G/Z8efrPzaD3kwjWmigohIedhfS9VRRoRiQUTzrj+VNCXBKZnQQ6gmJKbyKNOS5951aAm9MRdwJcrTrdUeGYmlvIpHgEQ5ZZOGjW20w6kaf36UsSSdKpoEZqDxNPIU91ANXsgEDVR0BRUSCAayesEJESRQoKxubZhRXJtEFkqUtd6GAijOI1lvliom4kqEebd73XsMs2QJ8E9I5AGohrxMiZB1bWWXUgmWTKAzGOmUEjCugu7I64H9eU91k7QNXT+hFwGPY5KEPj9lQRw+pJcwsQRUMjjKfOBQtKs47fWxodfvDfR9UCGBJI3+mU9TySKe5Jl/TkTx0IJLT5jBYAWErwxKo8iHq6u9LuAhfRM9+PRz8ChABfrZ//bBGx8AWxS8SdAdwO2DA/AoK3hEwBy7kyg9IXlmlCLz7E0EwkT8gooAAiLzJyEdf5v5bJxMY1+dUN1pIvg0feDHDxPqVYTyQCpZtsDzmOW5ER1lLtprun8G8iXAWFI5a6xaYCYxmSqeZ9UH77r3KHw7lcqT7B0FbwA7ezDaWHnQ0fMFm5yoOq+Ei5hEMzb20YPfdW9XP3hpIRCTmm+rMOegtUTxOD/sH2XXu57nFy2ZP9LqwUZohhRhLPKbB7+zTagO3xc0Ipe2RQbY9ZQmMuv1c82OaiZQz1vHP4UAAAvi7bafTKMohOQVM7QhOD7VodLr3/d2IC65h+kCGwb3vX0go5puaEPylCa3PJO9aHTLg+AyThVxST/DLuv3vU0ztk4wVWO0CmY9bqsQJz9ctwqqgGGSRbPn1cLSNm2P95X48izrQVj1BnnNB3SDwXkgn6kBZK6PMW4dPoDHokfZWPSxlLwmGAdf0HJpY1i97qPD3aiKBWo0A0JlxCZQfqFLqE+MYuF58pk1w0w/Mx1DTktU16XGMm7Bu23oovHMLGaPmfb+MgfNnLK3nlddx4TGqnGvZYZMuPW4/2Tg7zJYzMIQFrys8MnKOPBkhlmtTaVtRMOlFOc7z9kwSDhE5iJpKuwz8J9adC41jpbJ8tdBVxlBPy87Y81Iu/Cyo9ZMuszYzvH+RzHxFBN36AgMeNq47+3hqBVMWwbS+Ts/3LBpp+LEmHfQTDgBpJnkUVOKgWxYyP/l1Kzd2iZoSEtMswqcm+wQBPBsCHls7ElFhKBhsYD8N6pYb1PFhm0MSn3cgZXLjF9D3i3UVIHea1HdLr3YsrvpzTYVXjB1UiQaGetfXlNmRdGFJu1ygfqCpeYL2KZSkrx4rHXoyhqNnKY53ckzo/O7ed67q9eVrHevqv+5NbvVexb6i438Z+VWplyHW5SDc5DD+k4rLmZc00mml1N9oU6shy3vPfW5udyhzfZ3lrTz/NRfgbV3qtbO3YoYtCiCzzSxPX5JoilFq6MJiw2E0x8aznbTScmtXtcLvW7oDU2Fq2ar6KXSQ+dFeSdv7mbazDVjO4OXVmtRGBw+9MIQmVSa+cJU2rHBVOBhIhoJ3HgC2FTawfJsJArwaQE+dYDJxIDhQKTDSZhKOzgcGbBhTXFRFaKoO2bJUmQLJ3tV3Fy80xQQLw3wpRs4jjjXUhQVYSoOzVGmNWfvQt+dWWAIh3BRPZ3YCNpOkkZ7WyrY4tNRRCuHrfcmhPl80Bscgh8egT/ZOzgXnO8qTjQ3CijZ+FJZLgIH1pmqt0V4af2peluEJ9alqrf6mwA+YYHjHArrGbhimOvaBQ0nNJ8HaKtD5Zw2qXCQpmc4KQ4nfnp21iDTMwDkeD/TiPnebIx0ji+iqMqKV07YK8cDOtxqU9mnqnqiXpQXQXM6YGYxbENiFsp4ZA2ICHXIdOuSyas4ZGO7jxwxOAoowUyk5k0oVbsFcJTt5vkc+XVJft1Cfl6Sn7eQ90ryXgt5syRvtpCflOQnLeTHJflxC/mrkvxV28RfYwbB+3HmT+ha2+Qs4rkTsWcRezPEvH5Ti9k9zn7fxuN1WgrSCnielnK0AvbSUgwNqHrdDkld73FCHkPWGRxlmF58xXG1bXAfT5PAwNYt7DzAV6IYELp/sRtr9BNUKqF515e/+ruj1dysztq7j+3wlVdkw5QKOO/DOYlBlMPloIIgeYaFgx5w6I6Fgy6nqEFd1pMPUYoFzvdgMaWqGmYmBTU08ZazpArCPDSfpiwrdx6zbIpEVpXyUTShkBfmU0t9kk9QSU/cSvoSMykWDvqjKUiIResWpZq7JnqPMtslFLmr2CxUZ0ZGcIbHV3a9/vEsg5JR3lQRVjROLynaE29h4XQYLmA2XL+jbiZHa42xIKfZvpOBnMAksGgwiKeRshJ/A5mVxbByu3js5NmOi/aHp3kGl4O6D9T9pzbRD827SQd0CDsDJxsg7g8tm4OFbA7y7MDJBohwNTQBe1+ahLLi3L91aiI4gQA8ceoCUjlcNa/encYj2Ea9OKFcXFV8G2dCRtIsfPqJJQpyn3aMptOkAuxTvi2C+OGq6VohO2ch1dPQGab2drokJppayw4soUQsG36QDjMlXBqA4IDdty6d/TVE3V4E2sIsslXdX9fpz2BbAJeDChUIDl26cgj0h6vrysOMTCARY+lAjCIenBqYrt5eBD6nAdzZO7AgVF2oPX6RZ1g46Jscdq5YNNxXCZlWApmnTccg4Vs+A9ycW9thz4hSGecKZdYvvqzguxd9QqnjWZLaFRF3ucD0lqcXvFoqT0h0hd85Fm0TkZXifOnzIKKDGnrRGY/h6l47Eb6HdxC0nh9rmSKf5Xa9+AGDagCW1HA+OMdGZ5CtA3jUOV/fB3NrRDgDh0ug0wbrFD/tksh2mT21DJM2x1nUtWpdOMylEb1ss3JdI6zUyOx73R5dmL73QMd7xclgO16I3YYo33bG+CMBwYmFgw4nsjzDwrVY4EYFC2c8SoxH6aK/INAfi1b6TZyqxLnKunKHKazF7J3+A8DiXAwsiJjEKCbc4aBW7El1o/5c59/yx8yLXZOwHMjlezkApO49QxFSUZp32PQuXqdz54qa8ugKkjWWCxARGquoLN633cQFExY8pffllX0+Ps8+1uuPb93ja71+898T85WXg9X+3dWN5xu9h4//aP5Z8VHnV51POzc6/c69zsPOk86zzkEn6Ew7f+r8ufOXlb+u/H3lHyv/NNAPP7D/xvhlp/Zb+de/AfClelU=</latexit> O(n2 ) evals <latexit sha1_base64="k1uLeEp7zJczzBGLO8PJmkj9kqM=">AAAiM3iczVrdc9u4Edddv67q11372D7Qp0knl0lcS3aSa2bSSc6+NJ6L7diOk5uYrgORkISYJGgA8kc4vOl7X9s/pX9Mp2+dvvZ/6C4Aih8iFF3bh2qGIIj9YbG72F0ApIZpxKRaW/vbBx9+57vf+/4PPvph90c//slPf/bxJz9/KflUBPQo4BEXXw+JpBFL6JFiKqJfp4KSeBjRV8OzTaS/uqBCMp68UNcpPYnJOGEjFhAFTftXpx/31lbX9M+br/Rtpdexv+enn6z8yg95MI1pooKISHncX0vVSUaEYkFE864/lTQlwRkZ02OoJiSm8iTTkubeDWgJvREXcCXK063VHhmJpbyOh4CMiZrIJg0b22jHUzX6/CRjSTpVNAnMQKNp5CnuodpeyAQNVHQNFRIIBrJ6wYQIEigwTrc2zDCuKZGFEmWtt6EAivNI1puliom4FmHe7d7wnoCWLAH+CYk8ANWQVykRsm6t7EoqwZIxdPZjckYJTKaC7sjrof15z3STtA1dP6GXAY9jkoQ+P2NBHD6iV6BYAiYZnGQ+cCjaVZz2+tjQ6/cG+j6okECSRv/Mp6lkEU/yzL8gonhowaUTZjBYAeErg9Io8uFChdQk4CF9Ez389HPwKEAF+tn/5uEbHwBbFLxJ0B3AHYID8CgreETAHLuTKJ2QPDNGkXn2JgJhIn5JRQABkPnjkI6+yXw2SqaxryZUdxoLPk0f+vGjhHoVoTyQSpYt8DxieW5ER5mL9prtn4N8CTCWVM4aqzMwk5hMFc+z6oN3w3scvp1K5Un2joI3wDx7MNpIedDR8wUbT1SdV8JFTKIZG/vowe+Gt6sfvLQQiEnNt1WYC7BaonicH/dPshtdz/OLlswfavNgIzRDSjAz8uuHv7VNaA7fFzQiV7ZFBtj1jCYy6/VzzY5qJlDPW8c/gwCAGcTbHT+ZRlEIySpmOIfg+FSHSq//wNuBuOQepgtsGDzwDoGMZrqpJ5KnNLnt6SrIc9uD4DJOFXFJP8Mu6w+8TTO2TjDVyWgVzHrcViFOfrxuDVQBg5JFs+fVwtI2bY8OlfjyPOtBWPUGec0HdIPBeSCfqQFkro+Z3Dp8AI9Fj7Kx6GMpeU0wDr6g5dKTYe16iA53syoWmNEMCJUhG0P5hS6hPjaGhefxZ3YaZvaZ2RhyWqK6LjOWcQvebUMXJ89oMXvMtPeXOWjmlL31vOo6JjRWjXstM2TCrcf9JwN/m8FiFoaw4GWFT1bGgSczzGpNlbYRDZdSnG+ts2GQcIjMRdJU2GfgP7XoXGocLZPlr4OuMoJ+XlZjzUi78LKj1qZ0mbGd4/2PYuIZJu7QERjwtPHAO8BRK5i2DKTzd368YdNOxYkx7+A0oQJIM8mjZhQD2bCQ/0vV7Ly1KWhIS6hZBc4puwcCeDaEPDbypCJC0LBYQP4bU6y3mWLDNgalPe7CymXGryHvFWaqQO+3mG6XXm7Z3fRmmwkvmZoUiUbG+pfXjFkxdGFJu1ygvWCp+QK2qZQkL55oG7qyRiOnaU5388zY/F6e9+7pdSXr3a/af27NbvWehf5iI/95uZUp1+EW46AOcq++04oLjWs2yfRyqi+0ifWw5b2nrpvLHdrm/u6S8zyv+iuY7Z3qbOduQwxaDMFnltgevSTRlOKs4xQWGwinPzSc7ZaTklu7rhd23dAbmgpXzVbRK6WHzovybt7czbRN14ztDF7OWovB4PChF4bIpNLMF6bSjg2mAg8T0VDgxhPAptIOludDUYDPCvCZA0zGBgwHIh1OwlTaweHQgA1riouqEEXdoSVLkS2c5FVxc/FOU0C8NMCXbuAo4lxLUVSEqTgsR5m2nL0LfXdmgT04hIvq6cRG0HaSNNrbUsEWnw4jWjlsvTchzOeD3uAY/PAE/MnewbngfFdxorlRwMjGl8pyETiwzlS9LcJL60/V2yI8sS5VvdXfBPAxCxznUFjPwBXDXNcuaTim+TxAzzpULmiTCgdpeo5KcTjx0/PzBpmeAyDH+7lGzPdmI6RzfPFEld2Sxhn2yvGADreaKodUVU/Ui/IiWE4HzCyGbUjMQhmPrAERoQ6Zbl0yeR2HbGT3kUMGRwElmInUvAmlarcADrPdPJ8jvy7Jr1vI+yV5v4V8UJIPWsibJXmzhfy0JD9tIT8pyU9ayF+V5K/aFH+NGQTvp5k/pmttylnEvhNxYBEHM8S8fVOL2T3NftfG43VaCtIK2E9LOVoBB2kphgZUvW6HpK73OCGPIesMTjJML77iuNo2uI+mSWBg6xZ2EeArUQwI3b/YjTX6CSqV0Lzry1/93dFqblZn7d2ndvjKK7K9lAo478M5iUGUw+WggiB5hoWDHnDojoWDLqdoQV3Wkw9RigXO92AxpaoaZiYFNSzxlrOkCsI8NJ+mLCt3HrNsikRWlfJxNKaQF+ZTS13Jp2ikp24jfYmZFAsH/fEUJMSidYtSzV1jvUeZ7RKK3FVsFqqakSGc4fGVXa9/OsugZJg3TYQVjdNLivbE21g4HYYL0Ibrd9TN5GhnYyTIWXboZCDHoAQWDQbxNFJW4j9AZmUxrNwuHjt5tuOi/f5ZnsHloB4C9fCZTfR75t2kA7oHOwMnGyAe7lk2RwvZHOXZkZMNEOFqWAL2vjQJZcW5f+O0RDCBAJw4bQGpHK6aV+9O4yFso15MKBfXFd9GTchQmoVPP7FEQe7TjtF0mlTA/JRviyB+uGq6VsguWEi1GjrD1N5Ol8REU2vZgSWUiGXDD9JhpoTLAhAcsPvWpbO/hqg7i0BbmEW2qvvrOv05bAvgclChAsGhS1cOgf5wdV15mJExJGIsHYhhxIMzA9PVO4vAFzSAO3sHMwhVF+qAX+YZFg76JoedKxYN91VCppVA5mnTMUj4ls8At+bWdtgzolTGuUKZ9YsvK/juRZ9Q6niWpHZFxF0uML3t6QWvlsoTEl3jd45F20RkpThf+jyI6KCGXnTGY7i6106E7+EdBK3nx1qmyGe5XS9+wKAagCU1nA/OkbEZZOsAHnXO1/fB3BoRzsDhEui0wTrFT7sksl1mTy3DpM1xFnWtzi4c5tKIXrXNct0irLTI7HvdAV2Yvg/AxgfFyWA7Xojdhijfdsb4YwHBiYWDDieyPMPCtVjgRgULZzxKjEfpor8g0B+LVvotVFWirrJu3L0U1mL2Tn/wX5yLgQUR4xjFhDsc1Io9qW7Un+v82/6IebFLCcuBXL2XA0Dq3rMnQirK6d1rehev07lzRU15dA3JGssFiAgnq6gs3rfdwgUTFjyl9+WVfT4+zz7W649v3dOPe/3mvyfmKy8Hq/17qxv7G71HT/5o/lnxUeeXnU87Nzv9zv3Oo87TzvPOUSfo0M6fOn/u/GXlryt/X/nHyj8N9MMP7L8xftGp/Vb+9W8htHSV</latexit> x Move to a locally optimal point <latexit sha1_base64="k1uLeEp7zJczzBGLO8PJmkj9kqM=">AAAiM3iczVrdc9u4Edddv67q11372D7Qp0knl0lcS3aSa2bSSc6+NJ6L7diOk5uYrgORkISYJGgA8kc4vOl7X9s/pX9Mp2+dvvZ/6C4Aih8iFF3bh2qGIIj9YbG72F0ApIZpxKRaW/vbBx9+57vf+/4PPvph90c//slPf/bxJz9/KflUBPQo4BEXXw+JpBFL6JFiKqJfp4KSeBjRV8OzTaS/uqBCMp68UNcpPYnJOGEjFhAFTftXpx/31lbX9M+br/Rtpdexv+enn6z8yg95MI1pooKISHncX0vVSUaEYkFE864/lTQlwRkZ02OoJiSm8iTTkubeDWgJvREXcCXK063VHhmJpbyOh4CMiZrIJg0b22jHUzX6/CRjSTpVNAnMQKNp5CnuodpeyAQNVHQNFRIIBrJ6wYQIEigwTrc2zDCuKZGFEmWtt6EAivNI1puliom4FmHe7d7wnoCWLAH+CYk8ANWQVykRsm6t7EoqwZIxdPZjckYJTKaC7sjrof15z3STtA1dP6GXAY9jkoQ+P2NBHD6iV6BYAiYZnGQ+cCjaVZz2+tjQ6/cG+j6okECSRv/Mp6lkEU/yzL8gonhowaUTZjBYAeErg9Io8uFChdQk4CF9Ez389HPwKEAF+tn/5uEbHwBbFLxJ0B3AHYID8CgreETAHLuTKJ2QPDNGkXn2JgJhIn5JRQABkPnjkI6+yXw2SqaxryZUdxoLPk0f+vGjhHoVoTyQSpYt8DxieW5ER5mL9prtn4N8CTCWVM4aqzMwk5hMFc+z6oN3w3scvp1K5Un2joI3wDx7MNpIedDR8wUbT1SdV8JFTKIZG/vowe+Gt6sfvLQQiEnNt1WYC7BaonicH/dPshtdz/OLlswfavNgIzRDSjAz8uuHv7VNaA7fFzQiV7ZFBtj1jCYy6/VzzY5qJlDPW8c/gwCAGcTbHT+ZRlEIySpmOIfg+FSHSq//wNuBuOQepgtsGDzwDoGMZrqpJ5KnNLnt6SrIc9uD4DJOFXFJP8Mu6w+8TTO2TjDVyWgVzHrcViFOfrxuDVQBg5JFs+fVwtI2bY8OlfjyPOtBWPUGec0HdIPBeSCfqQFkro+Z3Dp8AI9Fj7Kx6GMpeU0wDr6g5dKTYe16iA53syoWmNEMCJUhG0P5hS6hPjaGhefxZ3YaZvaZ2RhyWqK6LjOWcQvebUMXJ89oMXvMtPeXOWjmlL31vOo6JjRWjXstM2TCrcf9JwN/m8FiFoaw4GWFT1bGgSczzGpNlbYRDZdSnG+ts2GQcIjMRdJU2GfgP7XoXGocLZPlr4OuMoJ+XlZjzUi78LKj1qZ0mbGd4/2PYuIZJu7QERjwtPHAO8BRK5i2DKTzd368YdNOxYkx7+A0oQJIM8mjZhQD2bCQ/0vV7Ly1KWhIS6hZBc4puwcCeDaEPDbypCJC0LBYQP4bU6y3mWLDNgalPe7CymXGryHvFWaqQO+3mG6XXm7Z3fRmmwkvmZoUiUbG+pfXjFkxdGFJu1ygvWCp+QK2qZQkL55oG7qyRiOnaU5388zY/F6e9+7pdSXr3a/af27NbvWehf5iI/95uZUp1+EW46AOcq++04oLjWs2yfRyqi+0ifWw5b2nrpvLHdrm/u6S8zyv+iuY7Z3qbOduQwxaDMFnltgevSTRlOKs4xQWGwinPzSc7ZaTklu7rhd23dAbmgpXzVbRK6WHzovybt7czbRN14ztDF7OWovB4PChF4bIpNLMF6bSjg2mAg8T0VDgxhPAptIOludDUYDPCvCZA0zGBgwHIh1OwlTaweHQgA1riouqEEXdoSVLkS2c5FVxc/FOU0C8NMCXbuAo4lxLUVSEqTgsR5m2nL0LfXdmgT04hIvq6cRG0HaSNNrbUsEWnw4jWjlsvTchzOeD3uAY/PAE/MnewbngfFdxorlRwMjGl8pyETiwzlS9LcJL60/V2yI8sS5VvdXfBPAxCxznUFjPwBXDXNcuaTim+TxAzzpULmiTCgdpeo5KcTjx0/PzBpmeAyDH+7lGzPdmI6RzfPFEld2Sxhn2yvGADreaKodUVU/Ui/IiWE4HzCyGbUjMQhmPrAERoQ6Zbl0yeR2HbGT3kUMGRwElmInUvAmlarcADrPdPJ8jvy7Jr1vI+yV5v4V8UJIPWsibJXmzhfy0JD9tIT8pyU9ayF+V5K/aFH+NGQTvp5k/pmttylnEvhNxYBEHM8S8fVOL2T3NftfG43VaCtIK2E9LOVoBB2kphgZUvW6HpK73OCGPIesMTjJML77iuNo2uI+mSWBg6xZ2EeArUQwI3b/YjTX6CSqV0Lzry1/93dFqblZn7d2ndvjKK7K9lAo478M5iUGUw+WggiB5hoWDHnDojoWDLqdoQV3Wkw9RigXO92AxpaoaZiYFNSzxlrOkCsI8NJ+mLCt3HrNsikRWlfJxNKaQF+ZTS13Jp2ikp24jfYmZFAsH/fEUJMSidYtSzV1jvUeZ7RKK3FVsFqqakSGc4fGVXa9/OsugZJg3TYQVjdNLivbE21g4HYYL0Ibrd9TN5GhnYyTIWXboZCDHoAQWDQbxNFJW4j9AZmUxrNwuHjt5tuOi/f5ZnsHloB4C9fCZTfR75t2kA7oHOwMnGyAe7lk2RwvZHOXZkZMNEOFqWAL2vjQJZcW5f+O0RDCBAJw4bQGpHK6aV+9O4yFso15MKBfXFd9GTchQmoVPP7FEQe7TjtF0mlTA/JRviyB+uGq6VsguWEi1GjrD1N5Ol8REU2vZgSWUiGXDD9JhpoTLAhAcsPvWpbO/hqg7i0BbmEW2qvvrOv05bAvgclChAsGhS1cOgf5wdV15mJExJGIsHYhhxIMzA9PVO4vAFzSAO3sHMwhVF+qAX+YZFg76JoedKxYN91VCppVA5mnTMUj4ls8At+bWdtgzolTGuUKZ9YsvK/juRZ9Q6niWpHZFxF0uML3t6QWvlsoTEl3jd45F20RkpThf+jyI6KCGXnTGY7i6106E7+EdBK3nx1qmyGe5XS9+wKAagCU1nA/OkbEZZOsAHnXO1/fB3BoRzsDhEui0wTrFT7sksl1mTy3DpM1xFnWtzi4c5tKIXrXNct0irLTI7HvdAV2Yvg/AxgfFyWA7Xojdhijfdsb4YwHBiYWDDieyPMPCtVjgRgULZzxKjEfpor8g0B+LVvotVFWirrJu3L0U1mL2Tn/wX5yLgQUR4xjFhDsc1Io9qW7Un+v82/6IebFLCcuBXL2XA0Dq3rMnQirK6d1rehev07lzRU15dA3JGssFiAgnq6gs3rfdwgUTFjyl9+WVfT4+zz7W649v3dOPe/3mvyfmKy8Hq/17qxv7G71HT/5o/lnxUeeXnU87Nzv9zv3Oo87TzvPOUSfo0M6fOn/u/GXlryt/X/nHyj8N9MMP7L8xftGp/Vb+9W8htHSV</latexit> x <latexit sha1_base64="F7yUKYufV7U7S2ClcoMnH1sxuOs=">AAAiOXiczVpLc9y4EZ7dvDaTx3qTY3Kgdsopr8tWNJJsb1yllL3SOlat9bBk2VsWtTKGxIzgIQkKwOhhFrfyF3JNfkp+SY65pXLNH0g3AA4fQ4xnkxwyVQRB9IdGd6O7AZAzSCMm1crK3z748Hvf/8EPf/TRj7s/+enPfv7xjU9+8VLyiQjoUcAjLr4eEEkjltAjxVREv04FJfEgoq8G402kv7qgQjKevFDXKT2JyShhQxYQBU2vrr657W14V6c3eivLK/rnzVb6ttLr2N/+6SdLv/ZDHkximqggIlIe91dSdZIRoVgQ0bzrTyRNSTAmI3oM1YTEVJ5kWt7cuwktoTfkAq5Eebq12iMjsZTX8QCQMVFnsknDxjba8UQNPz/JWJJOFE0CM9BwEnmKe6i8FzJBAxVdQ4UEgoGsXnBGBAkUmKhbG2YQ15TIQomy1ttQAMV5JOvNUsVEXIsw73Zvek9AS5YA/4REHoBqyKuUCFm3VnYllWDJCDr7MRlTAlOqoDvy2rA/75lukrah6yf0MuBxTJLQ52MWxOEjegWKJWCS1ZPMBw5Fu4rTXh8bev3eqr6vVkggSaN/5tNUsogneeZfEFE8tODSM2YwWAHhK4PSKPLhQoXUWcBD+iba+PRz8ChABfrZ/3bjjQ+ALQreJOgO4A7BAXiUFTwiYI7dSZSekTwzRpF59iYCYSJ+SUUAYZD5o5AOv818Nkwmsa/OqO40EnySbvjxo4R6FaE8kEqWLfA8ZHluREeZi/aa7fdBvgQYSyqnjdUZmEpMJornWfXBu+k9Dt9OpPIke0fBG2CePRhtqDzo6PmCjc5UnVfCRUyiKRv76MHvprerH7y0EIhJzbdVmAuwWqJ4nB/3T7KbXc/zi5bMH2jzYCM0Q2IwM/Kbjd/ZJjSH7wsakSvbIgPsOqaJzHr9XLOjmgnU89bxxxAAMIN4u+snkygKIWXFDOcQHJ/qUOn1H3o7EJfcw3SBDasPvUMgo5lu6YnkKU3ueLoK8tzxILiMU0Vc0s+wy9pDb9OMrRNMdTJaBbMet1WIkx+vWQNVwKBk0ex5tbC0TdvDQyW+PM96EFa91bzmA7rB4DyQz9QAMtPHTG4dvgqPRY+ysehjKXlNMA6+oOXSk2HteogOd6sqFpjRDAiVARtB+YUuoT4yhoXn0Wd2Gqb2mdoYclqiui4zlnEL3m1DFyfPaDF9zLT3lzlo6pS9tbzqOiY0lo17LTJkwq3H/ScDf5fBYhaGsOBlhU9WxoEnM8xyTZW2EQ2XUpzvrLNhkHCIzHnSVNhn4D+16FxoHC2T5a+DrjKCfl5UY81Iu/Cio9amdJGxneP9j2LiGSbu0BEY8LT+0DvAUSuYtgyk83d+vG7TTsWJMe/gNKECSDPJo2YUA1m3kP9L1ey8tSloSAuoWQXOKLsHAng2hDw29KQiQtCwWED+G1OstZli3TYGpT3uwcplxq8h7xdmqkAftJhul15u2d30ZpsJL5k6KxKNjPUvrxmzYujCkna5QHvBUvMFbFMpSV480TZ0ZY1GTtOc7uWZsfn9PO/d1+tK1ntQtf/Mmt3qPXP9xUb+frmVKdfhFuOgDnKvvtOKC41rNsn0cqovtIn1sMW9p66byx3a5v7egvM8q/ormO2d6mznbkOsthiCTy2xPXxJognFWccpLDYQTn9oONttJyW3dl0r7LquNzQVrpqtoldKD50X5b28uZtpm64p2ym8nLUWg8HhQy8MkUmlmS9MpR0bTAQeJqKBwI0ngE2lHSzPB6IAjwvw2AEmIwOGA5EOJ2Eq7eBwYMCGNcVFVYii7tCSpcgWzvOquLl4pykgXhrgSzdwGHGupSgqwlQclqNMW87ehb47s8AeHMJF9XRiI2g7SRrtbalgi08GEa0ctt6bEGbzQW/1GPzwBPzJ3sG54HxXcaKZUcDIxpfKch44sM5Uvc3DS+tP1ds8PLEuVb3V3wTwEQsc51BYz8AVw1zXLmk4ovksQM86VC5okwoHaXqOSnE48dPz8waZngMgx/u5Rsz2ZkOkc3z9RJXdksYZ9srxgA63miqHVFVP1PPyIlhOB8w0hm1ITEMZj6wBEaEOmW5dMnkdh2xo95EDBkcBJZiJ1LwJpWq3AA6y3TyfIb8uya9byM9L8vMW8kFJPmghb5bkzRby05L8tIX8pCQ/aSF/VZK/alP8NWYQvJ9m/oiutClnEc+diAOLOJgiZu2bWszuafb7Nh6v01KQVsDztJSjFXCQlmJoQNXrdkjqeo8T8hiyzupJhunFVxxX2wb34SQJDGzNwi4CfCWKAaH7F7uxRj9BpRKad335q787Ws7N6qy9+9QOX3lFtpdSAed9OCcxiHK4HFQQJM+wcNADDt2xcNDlBC2oy3ryIUqxwPkeLKZUVcPMpKCGJd5yllRBmIdm05Rl5c5jlk2RyKpSPo5GFPLCbGqpK/kUjfTUbaQvMZNi4aA/noCEWLRuUaq5a6T3KNNdQpG7is1CVTMygDM8vrLr9U+nGZQM8qaJsKJxeknRnngHC6fDcAHacP2Oupkc7WwMBRlnh04GcgRKYNFgEE8iZSX+BjIri2HldvHYybMdF+0Pz/IMLgf1EKiHz2yi3zPvJh3QPdgZONkA8XDPsjmay+Yoz46cbIAIV8MSsPelSSgrzv1bpyWCMwjAM6ctIJXDVfPq3Uk8gG3UizPKxXXFt1ETMpBm4dNPLFGQ+7RjNJ0mFTA/5dsiiB+umq4VsgsWUq2GzjC1t9MlMdHUWnZgCSVi0fCDdJgp4bIABAfsvnXp7K8h6u480BZmka3q/rpO34dtAVwOKlQgOHTpyiHQH66uKw8zMoJEjKUDMYh4MDYwXb07D3xBA7izdzCDUHWhDvhlnmHhoG9y2Lli0XBfJWRaCWSeNh2DhG/5FHB7Zm2HPSNKZZwrlFm/+LKC7170CaWOZ0lqV0Tc5QLTO55e8GqpPCHRNX7nmLdNRFaK84XPg4gOauh5ZzyGq3vtRPge3kHQen6sZYp8mtv14gcMqgFYUsPZ4Bwam0G2DuBR53x9X51ZI8IpOFwAnTZYp/hpl0S2y/SpZZi0Oc68rtXZhcNcGtGrtlmuW4SVFpl+rzugc9P3Adj4oDgZbMdzsdsQ5dvOGH8sIDixcNDhRJZnWLgWC9yoYOGMR4nxKF30FwT6Y9FKv42qStRV1o27l8JazN7pz/7zczGwIGIUo5hwh4NasSfVjfpznX/HHzIvdilhOZCr93IASN179kRIRTm9e03v4nU6d66oKY+uIVljOQcR4WQVlfn7ttu4YMKCp/S+vLLPx+fpx3r98a17eqPXb/57YrbycnW5f395/fl679GTP5p/VnzU+VXn086tTr/zoPOo87Sz3znqBJ1x50+dP3f+svTXpb8v/WPpnwb64Qf23xi/7NR+S//6NxtTdk4=</latexit> x⇤ = x while not converged: if is locally optimal return ྼϞ࠷খԽ Move to a locally optimal point <latexit sha1_base64="19Vkn5+/JWLGi7hVErKqinJf0C0=">AAAiTniczVrdc9u4Edddv1L1K9e+tX1Aokknl0lcS3aSa2bSSc6+NJ6L7cSOk5uYPgciIQkxSdAA5I9weHN/TV/bP6Wv/Uf61ml3QVD8EKHo2j5UMwRB7A+L3cXuAiA1TEKu9Orq3z/6+Hvf/8EPf3Tlx92f/PRnP//F1U9++UqJqfTZgS9CIb8aUsVCHrMDzXXIvkoko9EwZK+HJxtIf33GpOIifqkvE3YU0XHMR9ynGpqOr/46Id6YaUWSrz2fS594PCZeICIyPr7aW11ZNT8yX+nbSq9jf8+PP7n2W+jpTyMWaz+kSh32VxN9lFKpuR+yrOtNFUuof0LH7BCqMY2YOkqNEhm5AS0BGQkJV6yJaa32SGmk1GU0BGRE9UQ1adjYRjuc6tFnRymPk6lmsZ8PNJqGRAuCFiEBl8zX4SVUqC85yEr8CZXU12C3bm2YYVRTIg0UylpvQwG0EKGqNysdUXkpg6zbvUGegJY8Bv4xDQmAasiLhEpVt1Z6obTk8Rg6exE9YRTmWUN35PXQ/sgz06RsQ9eL2bkvoojGgSdOuB8Fj9gFKBaDSQZHqQccinYdJb0+NvT6vYG5DyokkKTRP/VYongo4iz1zqgsHlpwyYTnGKyA8JVBWRh6cKFCeuKLgL0NH17/DDwKUL559r55+NYDwCYDb5JsG3D74AAiTAseITDH7jRMJjRLc6OoLH0bgjChOGfSh9hIvXHARt+kHh/F08jTE2Y6jaWYJg+96FHMSEUoAlKpsgWeRzzLctFR5qK9ZvvnIF8MjBVTs8bqDMwkplMtsrT6QG6Qx8G7qdJE8fcMvAHmmcBoI02gI/EkH090nVcsZETDGRv7SOB3g+yYB5IUAnFl+LYKcwZWi7WIssP+UXqjS4hXtKTe0JgHG6EZskU+I797+AfbhObwPMlCemFblI9dT1is0l4/M+yYYQL1rHX8EwgAmEG83fHiaRgGkMcijnMIjs9MqPT6D8g2xKUgmC6wYfCA7AMZzXTTTKRIWHybmCrIc5tAcOVOFQrFPsUuaw/IRj62STDVyWgVzHrcZiFOdrhmDVQBg5JFMyG1sLRNW6N9Lb84TXsQVr1BVvMB05DjCMiX1wAy1yef3Dp8AI9Fj7Kx6GMpWU0wAb5g5DKTYe26jw53syoWmDEfECpDPobyc1NCfZwbFp7Hn9ppmNlnZmPIabHuusxYxi14tw1dnLxci9ljary/zEEzp+ytZVXXyUNjJXevZYaMhfW4/2Tg7zJYxIMAFry08MnKOPCUD7NSU6VtxJxLKc531jlnEAuIzEXSVNin4D+16FxqHCOT5W+CrjKCeV5WY8PIuPCyo9amdJmxneP9j2LiGSbuwBEY8LT+gOzhqBVMWwYy+Ts7XLdpp+LEmHdwmlABpOXJo2aUHLJuIf+Xqtl5a1MwJy2hZhU4p+wuCEBsCBE+IkpTKVlQLCD/jSnW2kyxbhv90h53YeXKx68h7xVmqkDvt5huh51v2t30RpsJz7meFIlGReaX1YxZMXRhSbtcoL1gqfkctqmMxi+fGBu6skYjpxlOd7M0t/m9LOvdM+tK2rtftf/cmt3qPQv9xUb+83IrU67DLcZBHdRufacVFRrXbJKa5dRcaBPrYct7T103lzu0zf3dJed5XvXXMNvb1dnO3IYYtBhCzCyxNXpFwynDWccpLDYQTn9oONstJyWzdl0r7LpuNjQVroatZhfaDJ0V5d2suZtpm64Z2xm8nLUWg8HhwywMYZ5KU0/mlXasP5V4mAiHEjeeAM4r7WB1OpQF+KQAnzjAdJyD4UBkwknmlXZwMMzBOWuGi6qURd2hJU+QLRzydXFz8U4SQLzKga/cwFEohJGiqMi84rAc48Zy9i7N3ZkFduEQLqunExtBW3HcaG9LBZtiOgxZ5bD1wYQwnw96g0PwwyPwJ3sH54LzXcWJ5kYBI+e+VJaLwL51puptEV5Zf6reFuGpdanqrf4mQIy57ziHwnoGrhhkpnbOgjHL5gFm1qFyxppUOEizU1RKwImfnZ42yOwUABneTw1ivjcfIV3gOymm7ZY0SrFXhgd0uNVU2cd3U6Umi/IiWM4EzCyGbUjMQhmPrD6VgQmZbl0ydRkFfGT3kUMORwEteR6pWRPK9E4BHKY7WTZHflOS37SQX5TkFy3kvZK810LeKMkbLeSnJflpC/lJSX7SQv6yJH/ZpvgbzCB4P069MVttU84iXjgRexaxN0PM2zexmJ3j9I9tPN4kpSCtgBdJKUcrYC8pxTCAqtdt08T1HicQEWSdwVGK6cXTAlfbBvfRNPZz2JqFnfn4ShQDwvQvdmONfpIpLQ3v+vJXf3e0kuWrs/HuYzt85RXZbsIknPfhnMQhyuFyUEGQLMXCQfcFdMfCQVdTtKAp68mHas1953uwiDFdDbM8BTUs8U7wuArCPDSfpiwrdx6zbIpEVpXycThmkBfmU0tdyadopKduI32BmRQLB/3xFCTEonWLUs1dY7NHme0SitxVbBaqmtEhnOHxlV2vfzzLoHSYNU2EFYMzS4rxxNtYOB1GSNBGmHfUzeRoZ2Mk6Um672SgxqAEFg0G0TTUVuKvIbPyCFZuF4/tLN120f70LEvhclD3gbr/zCb63fzdpAO6CzsDJxsg7u9aNgcL2Rxk6YGTDRDhalgC9r4sDlTFuX/vtIQ/gQCcOG0BqRyumlfvTKMhbKNeTpiQlxXfRk3oUOULn3nisYbcZxyj6TSJhPkp3xZB/AjddK2An/GAGTVMhqm9nS6JsaHWsgOPGZXLhh+kw1RLlwUgOGD3bUpnfwPRdxaBNjGLbFb313X6c9gWwOWgQgWCw5SuHAL94eq68jCnY0jEWDoQw1D4JznMVO8sAp8xH+78PcwgVF2oPXGepVg46BsCdq5YNNxXS5VUAlkkTcegwTsxA9yaW9thz4hS5c4VqLRffFnBdy/mhFLH8zixKyLucoHpbWIWvFoqj2l4id85Fm0TkZUWYunzIKL9GnrRGY/j6l47EX6At++3nh9rmSKb5Xaz+AGDagCW1GA+OEe5zSBb+/Bocr65D+bWiGAGDpZAJw3WCX7apaHtMntqGSZpjrOoa3V24TCXhOyibZbrFuGlRWbf6/bYwvS9BzbeK04GW9FC7BZE+ZYzxh9LCE4sHHQ4kWUpFq7FAjcqWDjjUWE8Khf9JYX+WLTSb6GqCnVVdePuJrAW8/fmvwCLczGwoHIcoZhwh4NasSc1jeZznXfbG3ESuZSwHOjFBzkApO49uzJgspze3aZ3iTpdOFfURISXkKyxXIAIcbKKyuJ92y1cMGHB02ZfXtnn4/PsY735+NY9vtrrN/89MV95NVjp31tZf7Hee/Tk2/yfFVc6v+lc79zs9Dv3O486TzvPOwcdv/Nt58+dv3T+eu1v1/5x7Z/X/pVDP/7I/hvjV53a7/qVfwNz0X1p</latexit> p p 2 dom g <latexit sha1_base64="XMGI4G6eIVJB5P3pkephGVJGW10=">AAAiM3iczVrdc9u4Edddv67q11372D7Qp0knl0lcS3aSa2bSSc6+NJ6L7diOk5uYrgORkISYJGgA8kc4vOl7X9s/pX9Mp2+dvvZ/6C4Aih8iFF3bh2qGIIj9YbG72F0ApIZpxKRaW/vbBx9+57vf+/4PPvph90c//slPf/bxJz9/KflUBPQo4BEXXw+JpBFL6JFiKqJfp4KSeBjRV8OzTaS/uqBCMp68UNcpPYnJOGEjFhAFTfvp6ce9tdU1/fPmK31b6XXs7/npJyu/8kMeTGOaqCAiUh7311J1khGhWBDRvOtPJU1JcEbG9BiqCYmpPMm0pLl3A1pCb8QFXInydGu1R0ZiKa/jISBjoiayScPGNtrxVI0+P8lYkk4VTQIz0GgaeYp7qLYXMkEDFV1DhQSCgaxeMCGCBAqM060NM4xrSmShRFnrbSiA4jyS9WapYiKuRZh3uze8J6AlS4B/QiIPQDXkVUqErFsru5JKsGQMnf2YnFECk6mgO/J6aH/eM90kbUPXT+hlwOOYJKHPz1gQh4/oFSiWgEkGJ5kPHIp2Fae9Pjb0+r2Bvg8qJJCk0T/zaSpZxJM88y+IKB5acOmEGQxWQPjKoDSKfLhQITUJeEjfRA8//Rw8ClCBfva/efjGB8AWBW8SdAdwh+AAPMoKHhEwx+4kSickz4xRZJ69iUCYiF9SEUAAZP44pKNvMp+NkmnsqwnVncaCT9OHfvwooV5FKA+kkmULPI9YnhvRUeaivWb75yBfAowllbPG6gzMJCZTxfOs+uDd8B6Hb6dSeZK9o+ANMM8ejDZSHnT0fMHGE1XnlXARk2jGxj568Lvh7eoHLy0EYlLzbRXmAqyWKB7nx/2T7EbX8/yiJfOH2jzYCM2QEsyM/Prhb20TmsP3BY3IlW2RAXY9o4nMev1cs6OaCdTz1vHPIABgBvF2x0+mURRCsooZziE4PtWh0us/8HYgLrmH6QIbBg+8QyCjmW7qieQpTW57ugry3PYguIxTRVzSz7DL+gNv04ytE0x1MloFsx63VYiTH69bA1XAoGTR7Hm1sLRN26NDJb48z3oQVr1BXvMB3WBwHshnagCZ62Mmtw4fwGPRo2ws+lhKXhOMgy9oufRkWLseosPdrIoFZjQDQmXIxlB+oUuoj41h4Xn8mZ2GmX1mNoaclqiuy4xl3IJ329DFyTNazB4z7f1lDpo5ZW89r7qOCY1V417LDJlw63H/ycDfZrCYhSEseFnhk5Vx4MkMs1pTpW1Ew6UU51vrbBgkHCJzkTQV9hn4Ty06lxpHy2T566CrjKCfl9VYM9IuvOyotSldZmzneP+jmHiGiTt0BAY8bTzwDnDUCqYtA+n8nR9v2LRTcWLMOzhNqADSTPKoGcVANizk/1I1O29tChrSEmpWgXPK7oEAng0hj408qYgQNCwWkP/GFOttptiwjUFpj7uwcpnxa8h7hZkq0Pstptull1t2N73ZZsJLpiZFopGx/uU1Y1YMXVjSLhdoL1hqvoBtKiXJiyfahq6s0chpmtPdPDM2v5fnvXt6Xcl696v2n1uzW71nob/YyH9ebmXKdbjFOKiD3KvvtOJC45pNMr2c6gttYj1see+p6+Zyh7a5v7vkPM+r/gpme6c627nbEIMWQ/CZJbZHL0k0pTjrOIXFBsLpDw1nu+Wk5Nau64VdN/SGpsJVs1X0Sumh86K8mzd3M23TNWM7g5ez1mIwOHzohSEyqTTzham0Y4OpwMNENBS48QSwqbSD5flQFOCzAnzmAJOxAcOBSIeTMJV2cDg0YMOa4qIqRFF3aMlSZAsneVXcXLzTFBAvDfClGziKONdSFBVhKg7LUaYtZ+9C351ZYA8O4aJ6OrERtJ0kjfa2VLDFp8OIVg5b700I8/mgNzgGPzwBf7J3cC4431WcaG4UMLLxpbJcBA6sM1Vvi/DS+lP1tghPrEtVb/U3AXzMAsc5FNYzcMUw17VLGo5pPg/Qsw6VC9qkwkGanqNSHE789Py8QabnAMjxfq4R873ZCOkcXzxRZbekcYa9cjygw62myiFV1RP1orwIltMBM4thGxKzUMYja0BEqEOmW5dMXschG9l95JDBUUAJZiI1b0Kp2i2Aw2w3z+fIr0vy6xbyfknebyEflOSDFvJmSd5sIT8tyU9byE9K8pMW8lcl+as2xV9jBsH7aeaP6Vqbchax70QcWMTBDDFv39Ridk+z37XxeJ2WgrQC9tNSjlbAQVqKoQFVr9shqes9TshjyDqDkwzTi684rrYN7qNpEhjYuoVdBPhKFANC9y92Y41+gkolNO/68ld/d7Sam9VZe/epHb7yimwvpQLO+3BOYhDlcDmoIEieYeGgBxy6Y+GgyylaUJf15EOUYoHzPVhMqaqGmUlBDUu85SypgjAPzacpy8qdxyybIpFVpXwcjSnkhfnUUlfyKRrpqdtIX2ImxcJBfzwFCbFo3aJUc9dY71Fmu4QidxWbhapmZAhneHxl1+ufzjIoGeZNE2FF4/SSoj3xNhZOh+ECtOH6HXUzOdrZGAlylh06GcgxKIFFg0E8jZSV+A+QWVkMK7eLx06e7bhov3+WZ3A5qIdAPXxmE/2eeTfpgO7BzsDJBoiHe5bN0UI2R3l25GQDRLgaloC9L01CWXHu3zgtEUwgACdOW0Aqh6vm1bvTeAjbqBcTysV1xbdREzKUZuHTTyxRkPu0YzSdJhUwP+XbIogfrpquFbILFlKths4wtbfTJTHR1Fp2YAklYtnwg3SYKeGyAAQH7L516eyvIerOItAWZpGt6v66Tn8O2wK4HFSoQHDo0pVDoD9cXVceZmQMiRhLB2IY8eDMwHT1ziLwBQ3gzt7BDELVhTrgl3mGhYO+yWHnikXDfZWQaSWQedp0DBK+5TPArbm1HfaMKJVxrlBm/eLLCr570SeUOp4lqV0RcZcLTG97esGrpfKERNf4nWPRNhFZKc6XPg8iOqihF53xGK7utRPhe3gHQev5sZYp8llu14sfMKgGYEkN54NzZGwG2TqAR53z9X0wt0aEM3C4BDptsE7x0y6JbJfZU8swaXOcRV2rswuHuTSiV22zXLcIKy0y+153QBem7wOw8UFxMtiOF2K3Icq3nTH+WEBwYuGgw4ksz7BwLRa4UcHCGY8S41G66C8I9MeilX4LVZWoq6wbdy+FtZi90x/8F+diYEHEOEYx4Q4HtWJPqhv15zr/tj9iXuxSwnIgV+/lAJC69+yJkIpyevea3sXrdO5cUVMeXUOyxnIBIsLJKiqL9223cMGEBU/pfXlln4/Ps4/1+uNb9/TjXr/574n5ysvBav/e6sb+Ru/Rkz+af1Z81Pll59POzU6/c7/zqPO087xz1Ak6tPOnzp87f1n568rfV/6x8k8D/fAD+2+MX3Rqv5V//RsTLXSN</latexit> p <latexit sha1_base64="EWf0eTUM6lBmKccJTHc+E7+GZF4=">AAAiOXiczVpLc9y4EZ7dvDaTx3qTY3Kgdsopr8tWNJJsb1yllL3SOlat9bBk2VsWtTKGxIzgIQkKwOhhFrfyF3JNfkp+SY65pXLNH0g3AA4fQ4xnkxwyVQRB9IdGd6O7AZAzSCMm1crK3z748Hvf/8EPf/TRj7s/+enPfv7xjU9+8VLyiQjoUcAjLr4eEEkjltAjxVREv04FJfEgoq8G402kv7qgQjKevFDXKT2JyShhQxYQBU2v0m9uexteenqjt7K8on/ebKVvK72O/e2ffrL0az/kwSSmiQoiIuVxfyVVJxkRigURzbv+RNKUBGMyosdQTUhM5Umm5c29m9ASekMu4EqUp1urPTISS3kdDwAZE3UmmzRsbKMdT9Tw85OMJelE0SQwAw0nkae4h8p7IRM0UNE1VEggGMjqBWdEkECBibq1YQZxTYkslChrvQ0FUJxHst4sVUzEtQjzbvem9wS0ZAnwT0jkAaiGvEqJkHVrZVdSCZaMoLMfkzElMKUKuiOvDfvznukmaRu6fkIvAx7HJAl9PmZBHD6iV6BYAiZZPcl84FC0qzjt9bGh1++t6vtqhQSSNPpnPk0li3iSZ/4FEcVDCy49YwaDFRC+MiiNIh8uVEidBTykb6KNTz8HjwJUoJ/9bzfe+ADYouBNgu4A7hAcgEdZwSMC5tidROkZyTNjFJlnbyIQJuKXVAQQBpk/Cunw28xnw2QS++qM6k4jwSfphh8/SqhXEcoDqWTZAs9DludGdJS5aK/Zfh/kS4CxpHLaWJ2BqcRkonieVR+8m97j8O1EKk+ydxS8AebZg9GGyoOOni/Y6EzVeSVcxCSasrGPHvxuerv6wUsLgZjUfFuFuQCrJYrH+XH/JLvZ9Ty/aMn8gTYPNkIzJAYzI7/Z+J1tQnP4vqARubItMsCuY5rIrNfPNTuqmUA9bx1/DAEAM4i3u34yiaIQUlbMcA7B8akOlV7/obcDcck9TBfYsPrQOwQymumWnkie0uSOp6sgzx0Pgss4VcQl/Qy7rD30Ns3YOsFUJ6NVMOtxW4U4+fGaNVAFDEoWzZ5XC0vbtD08VOLL86wHYdVbzWs+oBsMzgP5TA0gM33M5Nbhq/BY9Cgbiz6WktcE4+ALWi49Gdauh+hwt6pigRnNgFAZsBGUX+gS6iNjWHgefWanYWqfqY0hpyWq6zJjGbfg3TZ0cfKMFtPHTHt/mYOmTtlby6uuY0Jj2bjXIkMm3HrcfzLwdxksZmEIC15W+GRlHHgywyzXVGkb0XApxfnOOhsGCYfInCdNhX0G/lOLzoXG0TJZ/jroKiPo50U11oy0Cy86am1KFxnbOd7/KCaeYeIOHYEBT+sPvQMctYJpy0A6f+fH6zbtVJwY8w5OEyqANJM8akYxkHUL+b9Uzc5bm4KGtICaVeCMsnsggGdDyGNDTyoiBA2LBeS/McVamynWbWNQ2uMerFxm/BryfmGmCvRBi+l26eWW3U1vtpnwkqmzItHIWP/ymjErhi4saZcLtBcsNV/ANpWS5MUTbUNX1mjkNM3pXp4Zm9/P8959va5kvQdV+8+s2a3eM9dfbOTvl1uZch1uMQ7qIPfqO6240Lhmk0wvp/pCm1gPW9x76rq53KFt7u8tOM+zqr+C2d6pznbuNsRqiyH41BLbw5ckmlCcdZzCYgPh9IeGs912UnJr17XCrut6Q1PhqtkqeqX00HlR3subu5m26ZqyncLLWWsxGBw+9MIQmVSa+cJU2rHBROBhIhoI3HgC2FTawfJ8IArwuACPHWAyMmA4EOlwEqbSDg4HBmxYU1xUhSjqDi1ZimzhPK+Km4t3mgLipQG+dAOHEedaiqIiTMVhOcq05exd6LszC+zBIVxUTyc2graTpNHelgq2+GQQ0cph670JYTYf9FaPwQ9PwJ/sHZwLzncVJ5oZBYxsfKks54ED60zV2zy8tP5Uvc3DE+tS1Vv9TQAfscBxDoX1DFwxzHXtkoYjms8C9KxD5YI2qXCQpueoFIcTPz0/b5DpOQByvJ9rxGxvNkQ6x9dPVNktaZxhrxwP6HCrqXJIVfVEPS8vguV0wExj2IbENJTxyBoQEeqQ6dYlk9dxyIZ2HzlgcBRQgplIzZtQqnYL4CDbzfMZ8uuS/LqF/LwkP28hH5TkgxbyZknebCE/LclPW8hPSvKTFvJXJfmrNsVfYwbB+2nmj+hKm3IW8dyJOLCIgyli1r6pxeyeZr9v4/E6LQVpBTxPSzlaAQdpKYYGVL1uh6Su9zghjyHrrJ5kmF58xXG1bXAfTpLAwNYs7CLAV6IYELp/sRtr9BNUKqF515e/+ruj5dysztq7T+3wlVdkeykVcN6HcxKDKIfLQQVB8gwLBz3g0B0LB11O0IK6rCcfohQLnO/BYkpVNcxMCmpY4i1nSRWEeWg2TVlW7jxm2RSJrCrl42hEIS/Mppa6kk/RSE/dRvoSMykWDvrjCUiIResWpZq7RnqPMt0lFLmr2CxUNSMDOMPjK7te/3SaQckgb5oIKxqnlxTtiXewcDoMF6AN1++om8nRzsZQkHF26GQgR6AEFg0G8SRSVuJvILOyGFZuF4+dPNtx0f7wLM/gclAPgXr4zCb6PfNu0gHdg52Bkw0QD/csm6O5bI7y7MjJBohwNSwBe1+ahLLi3L91WiI4gwA8c9oCUjlcNa/encQD2Ea9OKNcXFd8GzUhA2kWPv3EEgW5TztG02lSAfNTvi2C+OGq6Vohu2Ah1WroDFN7O10SE02tZQeWUCIWDT9Ih5kSLgtAcMDuW5fO/hqi7s4DbWEW2arur+v0fdgWwOWgQgWCQ5euHAL94eq68jAjI0jEWDoQg4gHYwPT1bvzwBc0gDt7BzMIVRfqgF/mGRYO+iaHnSsWDfdVQqaVQOZp0zFI+JZPAbdn1nbYM6JUxrlCmfWLLyv47kWfUOp4lqR2RcRdLjC94+kFr5bKExJd43eOedtEZKU4X/g8iOighp53xmO4utdOhO/hHQSt58dapsinuV0vfsCgGoAlNZwNzqGxGWTrAB51ztf31Zk1IpyCwwXQaYN1ip92SWS7TJ9ahkmb48zrWp1dOMylEb1qm+W6RVhpken3ugM6N30fgI0PipPBdjwXuw1Rvu2M8ccCghMLBx1OZHmGhWuxwI0KFs54lBiP0kV/QaA/Fq3026iqRF1l3bh7KazF7J3+7D8/FwMLIkYxigl3OKgVe1LdqD/X+Xf8IfNilxKWA7l6LweA1L1nT4RUlNO71/QuXqdz54qa8ugakjWWcxARTlZRmb9vu40LJix4Su/LK/t8fJ5+rNcf37qnN3r95r8nZisvV5f795fXn6/3Hj35o/lnxUedX3U+7dzq9DsPOo86Tzv7naNO0Bl3/tT5c+cvS39d+vvSP5b+aaAffmD/jfHLTu239K9/A/4Gdj4=</latexit> p⇤ = p <latexit sha1_base64="XMGI4G6eIVJB5P3pkephGVJGW10=">AAAiM3iczVrdc9u4Edddv67q11372D7Qp0knl0lcS3aSa2bSSc6+NJ6L7diOk5uYrgORkISYJGgA8kc4vOl7X9s/pX9Mp2+dvvZ/6C4Aih8iFF3bh2qGIIj9YbG72F0ApIZpxKRaW/vbBx9+57vf+/4PPvph90c//slPf/bxJz9/KflUBPQo4BEXXw+JpBFL6JFiKqJfp4KSeBjRV8OzTaS/uqBCMp68UNcpPYnJOGEjFhAFTfvp6ce9tdU1/fPmK31b6XXs7/npJyu/8kMeTGOaqCAiUh7311J1khGhWBDRvOtPJU1JcEbG9BiqCYmpPMm0pLl3A1pCb8QFXInydGu1R0ZiKa/jISBjoiayScPGNtrxVI0+P8lYkk4VTQIz0GgaeYp7qLYXMkEDFV1DhQSCgaxeMCGCBAqM060NM4xrSmShRFnrbSiA4jyS9WapYiKuRZh3uze8J6AlS4B/QiIPQDXkVUqErFsru5JKsGQMnf2YnFECk6mgO/J6aH/eM90kbUPXT+hlwOOYJKHPz1gQh4/oFSiWgEkGJ5kPHIp2Fae9Pjb0+r2Bvg8qJJCk0T/zaSpZxJM88y+IKB5acOmEGQxWQPjKoDSKfLhQITUJeEjfRA8//Rw8ClCBfva/efjGB8AWBW8SdAdwh+AAPMoKHhEwx+4kSickz4xRZJ69iUCYiF9SEUAAZP44pKNvMp+NkmnsqwnVncaCT9OHfvwooV5FKA+kkmULPI9YnhvRUeaivWb75yBfAowllbPG6gzMJCZTxfOs+uDd8B6Hb6dSeZK9o+ANMM8ejDZSHnT0fMHGE1XnlXARk2jGxj568Lvh7eoHLy0EYlLzbRXmAqyWKB7nx/2T7EbX8/yiJfOH2jzYCM2QEsyM/Prhb20TmsP3BY3IlW2RAXY9o4nMev1cs6OaCdTz1vHPIABgBvF2x0+mURRCsooZziE4PtWh0us/8HYgLrmH6QIbBg+8QyCjmW7qieQpTW57ugry3PYguIxTRVzSz7DL+gNv04ytE0x1MloFsx63VYiTH69bA1XAoGTR7Hm1sLRN26NDJb48z3oQVr1BXvMB3WBwHshnagCZ62Mmtw4fwGPRo2ws+lhKXhOMgy9oufRkWLseosPdrIoFZjQDQmXIxlB+oUuoj41h4Xn8mZ2GmX1mNoaclqiuy4xl3IJ329DFyTNazB4z7f1lDpo5ZW89r7qOCY1V417LDJlw63H/ycDfZrCYhSEseFnhk5Vx4MkMs1pTpW1Ew6UU51vrbBgkHCJzkTQV9hn4Ty06lxpHy2T566CrjKCfl9VYM9IuvOyotSldZmzneP+jmHiGiTt0BAY8bTzwDnDUCqYtA+n8nR9v2LRTcWLMOzhNqADSTPKoGcVANizk/1I1O29tChrSEmpWgXPK7oEAng0hj408qYgQNCwWkP/GFOttptiwjUFpj7uwcpnxa8h7hZkq0Pstptull1t2N73ZZsJLpiZFopGx/uU1Y1YMXVjSLhdoL1hqvoBtKiXJiyfahq6s0chpmtPdPDM2v5fnvXt6Xcl696v2n1uzW71nob/YyH9ebmXKdbjFOKiD3KvvtOJC45pNMr2c6gttYj1see+p6+Zyh7a5v7vkPM+r/gpme6c627nbEIMWQ/CZJbZHL0k0pTjrOIXFBsLpDw1nu+Wk5Nau64VdN/SGpsJVs1X0Sumh86K8mzd3M23TNWM7g5ez1mIwOHzohSEyqTTzham0Y4OpwMNENBS48QSwqbSD5flQFOCzAnzmAJOxAcOBSIeTMJV2cDg0YMOa4qIqRFF3aMlSZAsneVXcXLzTFBAvDfClGziKONdSFBVhKg7LUaYtZ+9C351ZYA8O4aJ6OrERtJ0kjfa2VLDFp8OIVg5b700I8/mgNzgGPzwBf7J3cC4431WcaG4UMLLxpbJcBA6sM1Vvi/DS+lP1tghPrEtVb/U3AXzMAsc5FNYzcMUw17VLGo5pPg/Qsw6VC9qkwkGanqNSHE789Py8QabnAMjxfq4R873ZCOkcXzxRZbekcYa9cjygw62myiFV1RP1orwIltMBM4thGxKzUMYja0BEqEOmW5dMXschG9l95JDBUUAJZiI1b0Kp2i2Aw2w3z+fIr0vy6xbyfknebyEflOSDFvJmSd5sIT8tyU9byE9K8pMW8lcl+as2xV9jBsH7aeaP6Vqbchax70QcWMTBDDFv39Ridk+z37XxeJ2WgrQC9tNSjlbAQVqKoQFVr9shqes9TshjyDqDkwzTi684rrYN7qNpEhjYuoVdBPhKFANC9y92Y41+gkolNO/68ld/d7Sam9VZe/epHb7yimwvpQLO+3BOYhDlcDmoIEieYeGgBxy6Y+GgyylaUJf15EOUYoHzPVhMqaqGmUlBDUu85SypgjAPzacpy8qdxyybIpFVpXwcjSnkhfnUUlfyKRrpqdtIX2ImxcJBfzwFCbFo3aJUc9dY71Fmu4QidxWbhapmZAhneHxl1+ufzjIoGeZNE2FF4/SSoj3xNhZOh+ECtOH6HXUzOdrZGAlylh06GcgxKIFFg0E8jZSV+A+QWVkMK7eLx06e7bhov3+WZ3A5qIdAPXxmE/2eeTfpgO7BzsDJBoiHe5bN0UI2R3l25GQDRLgaloC9L01CWXHu3zgtEUwgACdOW0Aqh6vm1bvTeAjbqBcTysV1xbdREzKUZuHTTyxRkPu0YzSdJhUwP+XbIogfrpquFbILFlKths4wtbfTJTHR1Fp2YAklYtnwg3SYKeGyAAQH7L516eyvIerOItAWZpGt6v66Tn8O2wK4HFSoQHDo0pVDoD9cXVceZmQMiRhLB2IY8eDMwHT1ziLwBQ3gzt7BDELVhTrgl3mGhYO+yWHnikXDfZWQaSWQedp0DBK+5TPArbm1HfaMKJVxrlBm/eLLCr570SeUOp4lqV0RcZcLTG97esGrpfKERNf4nWPRNhFZKc6XPg8iOqihF53xGK7utRPhe3gHQev5sZYp8llu14sfMKgGYEkN54NzZGwG2TqAR53z9X0wt0aEM3C4BDptsE7x0y6JbJfZU8swaXOcRV2rswuHuTSiV22zXLcIKy0y+153QBem7wOw8UFxMtiOF2K3Icq3nTH+WEBwYuGgw4ksz7BwLRa4UcHCGY8S41G66C8I9MeilX4LVZWoq6wbdy+FtZi90x/8F+diYEHEOEYx4Q4HtWJPqhv15zr/tj9iXuxSwnIgV+/lAJC69+yJkIpyevea3sXrdO5cUVMeXUOyxnIBIsLJKiqL9223cMGEBU/pfXlln4/Ps4/1+uNb9/TjXr/574n5ysvBav/e6sb+Ru/Rkz+af1Z81Pll59POzU6/c7/zqPO087xz1Ak6tPOnzp87f1n568rfV/6x8k8D/fAD+2+MX3Rqv5V//RsTLXSN</latexit> p ࢄ࠷ٸ߱Լ๏ɼॳظ͔Β࠷ʮ͍ۙʯ࠷దղʹ࠷ܦ࿏ͰͨͲΓண͘ ఆཧ [Murota–Shioura ’14, Minamikawa–Shioura ’21] ෮ճ ෮ճ <latexit sha1_base64="8eoHnDeILMqT7RTsxiN8Iw6J7vo=">AAAifHiczVrrc9y2Eb+kr1R9Oe239guiqzuJK6u6kywnnnHHjhTXaizJliw7Y1GWcSTuBB9JUABOD3OYyV/Tr+2/03+m010QPD6OOF/afihniNf+sFgsdhcA7wZJyJVeW/vnBx/+4Ic/+vFPPvrp0s9+/otf/urGx79+ocRE+uzIF6GQ3wyoYiGP2ZHmOmTfJJLRaBCyl4PxFtJfXjCpuIif6+uEnUR0FPMh96mGptMbv/VCRrxYyCi9en2L3CZXrz2fSz877Z3e6K6t9r7Ah6yt9tfguVMU+qS3umaebsc+T08//uSvXiD8ScRi7YdUqePeWqJPUio190OWLXkTxRLqj+mIHUMxphFTJ6mZREZuQktAhkLCG2tiWqs9UhopdR0NABlRfaaaNGxsox1P9PDzk5THyUSz2M8HGk5CogVBjZCAS+br8BoK1JccZCX+GZXU16C3pdowAyHGmg5UVm+N6vVA4QzqbSiWFiJsdFU6ovJaBvXWmPsMOkh+lS0t3SSPQCc8BmliGhKA1bBXCZWqrtv0SkHfeASdvYiOGQWr0NAded23D3limpRtWPJidumLKKJx4Ikx96PgAbsCNcSgwP5JClaii3YdJd0eNnR73b7J+xUSSNLon3osUTwUcZZ6F1QWlRZccsZzDBZA+MqgLAw9eHFC+swXAXsT3l/+HOwPUL6pe9/ef+MBYJuB7Um2C7hDMBcRpgWPEJhjdxomZzRLc6WoLH0TgjChuGTSB09KvVHAht+mHh/Gk8jTZ8x0GkkxSe570YMY/KUUioBUqmyB+pBnWS46yly013T/FOSLgbFiatpYXYGpxHSiRZZWK+QmeRi8nShNFH/HwBpgnQmMNtQEOhJP8tGZrvNC56bhlI2tEnhukj1TIUkhEFeGb6swF6C1WIsoO+6dpDeXCPGKltQbGPVgIzRDbMlX5A/3v7BNqA7PkyykV7ZF+dh1zGKVdnuZYccMEyhnreOPwQFgBTG77cWTMAwg6kUc1xAMnxlX6fbukV3wYkEwuGBD/x45BDKq6VOzkCJh8QoxRZBnhYBz5UYVCsU+wy7r98hWPrYJR9XFaBXMWtx2IU52vG4VVAHDJItmQmpuaZt2hodafnWedsGtuv2sZgOmIccRkC8vAWSmT764dXgfqkWPsrHoYylZTTABtmDkMoth9XqIBvdpVawVYgeEwoCPIP3SpFAe5YqF+ugzuwxT/Ux1DDEt1ksuNZZ+C9ZtXRcXL5/FtJoa6y9j0NQou+tZ1XRy11jNzWuRIWNhLe4/Gfj7DBbxIIDtMS1ssjIO1PJhVmtTaRsx51KK873nnDOIBXjmPGkq7FOwn5p3LjSOkcnyN05XGcHUF52xYWRMeNFRa0u6yNjO8f5HPvEEA3fgcAyobdwjBzhqBdMWgUz8zo43bNipGDHGHVwmnADS8uBRU0oO2bCQ/8up2XVrm2BOWmCaVeDMZPdBAGJdiPAhUZpKyYJiA/lvVLHepooN2+iX+rgDO1c+fg25WaipAr3boro9drltz95bbSq85PqsCDQqMk9WU2ZF0YUm7XaB+oKt5ks4vjIaP39kdOiKGo2YZjjdydJc55tZ1t00+0ravVvV/8ye3Wo9c+3Fev7T8ihT7sMtysE5qP36SSsqZlzTSWq2U/OiTqyFLW499bm5zKFt7e8suM6zU38Jq71bXe3MrYh+iyLEVBM7wxc0nDBcdVzC4gDhtIeGsd1yUjKr1/VCrxvmQFPhathqdqXN0FmR3smap5m25ZqyncLLVWtRGFw+zMYQ5qE09WReaMf6E4mXiXAg8eAJ4LzQDlbnA1mAxwV47ADTUQ6GC5FxJ5kX2sHBIAfnrBluqlIWZccseYJsL5jURebinSSAeJEDX7iBw1AII0VRkHnBoTnGjeZsLk3ujAL7cGWX1duJ9aCdOG60t4WCbTEZhKxy2XpvQJiNB93+MdjhCdiTzcG44H5XMaKZUUDJuS2V6Tywb42pms3DK2tP1WwenlqTqmb1LwFixH3HPRT2MzDFIDOlSxaMWDYLMKsOhQvWpMJFmp3jpATc+Nn5eYPMzgGQYX5uELO9+RDpAr9gMW2PpFGKvTK8oENWm8oh09Ub9by4CJozDjP1YesSU1fGK6tPZWBcZqkumbqOAj6058gBh6uAljz31KwJZXqvAA7SvSybIb8qya9ayM9K8rMW8kFJPmghb5XkrRby45L8uIX8qCQ/aiF/XZK/bpv4K4wgmJ+m3oittU3OIp45EQcWcTBFzOo3sZi90/TPbTxeJaUgrYBnSSlHK+AgKcUwgKrV7dLE9R0nEBFEnf5JiuHF0wJ32wb34ST2c9i6hV34+AEVHcL0L05jjX6SKS0N7/r2V/92tJrlu7Ox7lM7fOUT2X7CJNz34Z7Ewct54KKCIFmKiYPuC+iOiYOuJqhBk9aDD9Wa+87vYBFjuupmeQhqaOKt4HEVhHFoNkxZVu44ZtkUgawq5cNwxCAuzIaW+iQfo5Ieu5X0FUZSTBz0hxOQEJPWI0o1do3MGWV6SihiV3FYqM6MDuAOj5/sur3TaQSlg6ypIiwYnNlSjCWuYOI0GCFhNpjMBke7GkNJx+mhk4EawSQwaTCIJqG2Er+GyMoj2LldPHazdNdF+8uTLIXXQT0E6uETG+j382+TDug+nAycbIB4uG/ZHM1lc5SlR042QIS3oQk4+7I4UBXj/pNTE/4ZOOCZUxcQyuGtWfXeJBrAMer5GRPyumLbOBM6UPnGZ2o81hD7jGE0jSaRsD7l1yLwH6GbphXwCx4wMw0TYWpfp0tibKi16MBjRuWi7gfhMNXSpQFwDjh9m9TZ30D07XmgbYwi29XzdZ3+FI4F8DqoUADnMKkrhkB/eJdccZjTEQRiTB2IQSj8cQ4zxdvzwBfMh5y/gxWEogt1IC6zFBMHfUvAyRWThvlqqZKKI4ukaRg0eCumgFszezucGVGq3LgClfaKX1bw24u5odTxPE7sjoinXGC6QsyGVwvlMQ2v8XeOecdEZKWFWPg+iGi/hp53x+O4u9duhO/h7fut98dapMimsd1sfsCg6oAlNZh1zmGuM4jWPlRNzDd5f2aPCKbgYAF00mCd4A/BNLRdprWWYZLmOPO6VlcXLnNJyK7aVrmuEV5qZPp73QGbG74PQMcHxc1gJ5qL3QEv33H6+EMJzomJgw43sizFxLVZ4EEFE6c/KvRH5aI/p9Afk1b6LZyqwrmqunL3E9iL+Tvzz4H5sRhYUDmKUEzI4aJWnElNo/m5zlvxhpxErklYDvTqvRwAUreefRkwWS7vftO6RJ0unDtqIsJrCNaYzkGEuFhFYf657RZumLDhaXMur5zzsT79sd78+LZ0eqNb/MWCuAsv+qu9zdXNZxvdB4++y/+H8VHnd53lzqedXudu50Hncedp56jjd77r/K3z984/PvnX8u+X/7h8O4d++IH978ZvOrVnefPfXo2OPw==</latexit> → ↑x→ ↓ x↑↑ 1
min <latexit sha1_base64="kxGI6ZJ9pXfxzsSNeDqsyAl+16c=">AAAB/XicbVDLSsNAFL2pr1pf8bFzM1gEN5ZEpLosunFZwT6gDWEynbTTTiZhZqLUUPwVNy4Ucet/uPNvnD4W2nrgwuGce7n3niDhTGnH+bZyS8srq2v59cLG5tb2jr27V1dxKgmtkZjHshlgRTkTtKaZ5rSZSIqjgNNGMLge+417KhWLxZ0eJtSLcFewkBGsjeTbB8pn6BRpv4/aXYoe/Iz1R75ddErOBGiRuDNShBmqvv3V7sQkjajQhGOlWq6TaC/DUjPC6ajQThVNMBngLm0ZKnBElZdNrh+hY6N0UBhLU0Kjifp7IsORUsMoMJ0R1j01743F/7xWqsNLL2MiSTUVZLooTDnSMRpHgTpMUqL50BBMJDO3ItLDEhNtAiuYENz5lxdJ/azklkvl2/Ni5WoWRx4O4QhOwIULqMANVKEGBB7hGV7hzXqyXqx362PamrNmM/vwB9bnDykzlGw=</latexit> si → tj ↑ wij <latexit sha1_base64="1JnYrTvqop9iG7L77XasGfU1Txc=">AAAB9HicbVBNS8NAEJ3Ur1q/qh69LBahBSlJkeqxKILHCvYD2lA22027drOJu5tCCf0dXjwo4tUf481/47bNQVsfDDzem2FmnhdxprRtf1uZtfWNza3sdm5nd2//IH941FRhLAltkJCHsu1hRTkTtKGZ5rQdSYoDj9OWN7qZ+a0xlYqF4kFPIuoGeCCYzwjWRnKLRXb+WEJdJtBtqZcv2GV7DrRKnJQUIEW9l//q9kMSB1RowrFSHceOtJtgqRnhdJrrxopGmIzwgHYMFTigyk3mR0/RmVH6yA+lKaHRXP09keBAqUngmc4A66Fa9mbif14n1v6VmzARxZoKsljkxxzpEM0SQH0mKdF8YggmkplbERliiYk2OeVMCM7yy6ukWSk71XL1/qJQu07jyMIJnEIRHLiEGtxBHRpA4Ame4RXerLH1Yr1bH4vWjJXOHMMfWJ8/FhiQYA==</latexit> ((i, j) → E) s.t. ର while not converged: if is locally optimal return Move to a locally optimal point <latexit sha1_base64="19Vkn5+/JWLGi7hVErKqinJf0C0=">AAAiTniczVrdc9u4Edddv1L1K9e+tX1Aokknl0lcS3aSa2bSSc6+NJ6L7cSOk5uYPgciIQkxSdAA5I9weHN/TV/bP6Wv/Uf61ml3QVD8EKHo2j5UMwRB7A+L3cXuAiA1TEKu9Orq3z/6+Hvf/8EPf3Tlx92f/PRnP//F1U9++UqJqfTZgS9CIb8aUsVCHrMDzXXIvkoko9EwZK+HJxtIf33GpOIifqkvE3YU0XHMR9ynGpqOr/46Id6YaUWSrz2fS594PCZeICIyPr7aW11ZNT8yX+nbSq9jf8+PP7n2W+jpTyMWaz+kSh32VxN9lFKpuR+yrOtNFUuof0LH7BCqMY2YOkqNEhm5AS0BGQkJV6yJaa32SGmk1GU0BGRE9UQ1adjYRjuc6tFnRymPk6lmsZ8PNJqGRAuCFiEBl8zX4SVUqC85yEr8CZXU12C3bm2YYVRTIg0UylpvQwG0EKGqNysdUXkpg6zbvUGegJY8Bv4xDQmAasiLhEpVt1Z6obTk8Rg6exE9YRTmWUN35PXQ/sgz06RsQ9eL2bkvoojGgSdOuB8Fj9gFKBaDSQZHqQccinYdJb0+NvT6vYG5DyokkKTRP/VYongo4iz1zqgsHlpwyYTnGKyA8JVBWRh6cKFCeuKLgL0NH17/DDwKUL559r55+NYDwCYDb5JsG3D74AAiTAseITDH7jRMJjRLc6OoLH0bgjChOGfSh9hIvXHARt+kHh/F08jTE2Y6jaWYJg+96FHMSEUoAlKpsgWeRzzLctFR5qK9ZvvnIF8MjBVTs8bqDMwkplMtsrT6QG6Qx8G7qdJE8fcMvAHmmcBoI02gI/EkH090nVcsZETDGRv7SOB3g+yYB5IUAnFl+LYKcwZWi7WIssP+UXqjS4hXtKTe0JgHG6EZskU+I797+AfbhObwPMlCemFblI9dT1is0l4/M+yYYQL1rHX8EwgAmEG83fHiaRgGkMcijnMIjs9MqPT6D8g2xKUgmC6wYfCA7AMZzXTTTKRIWHybmCrIc5tAcOVOFQrFPsUuaw/IRj62STDVyWgVzHrcZiFOdrhmDVQBg5JFMyG1sLRNW6N9Lb84TXsQVr1BVvMB05DjCMiX1wAy1yef3Dp8AI9Fj7Kx6GMpWU0wAb5g5DKTYe26jw53syoWmDEfECpDPobyc1NCfZwbFp7Hn9ppmNlnZmPIabHuusxYxi14tw1dnLxci9ljary/zEEzp+ytZVXXyUNjJXevZYaMhfW4/2Tg7zJYxIMAFry08MnKOPCUD7NSU6VtxJxLKc531jlnEAuIzEXSVNin4D+16FxqHCOT5W+CrjKCeV5WY8PIuPCyo9amdJmxneP9j2LiGSbuwBEY8LT+gOzhqBVMWwYy+Ts7XLdpp+LEmHdwmlABpOXJo2aUHLJuIf+Xqtl5a1MwJy2hZhU4p+wuCEBsCBE+IkpTKVlQLCD/jSnW2kyxbhv90h53YeXKx68h7xVmqkDvt5huh51v2t30RpsJz7meFIlGReaX1YxZMXRhSbtcoL1gqfkctqmMxi+fGBu6skYjpxlOd7M0t/m9LOvdM+tK2rtftf/cmt3qPQv9xUb+83IrU67DLcZBHdRufacVFRrXbJKa5dRcaBPrYct7T103lzu0zf3dJed5XvXXMNvb1dnO3IYYtBhCzCyxNXpFwynDWccpLDYQTn9oONstJyWzdl0r7LpuNjQVroatZhfaDJ0V5d2suZtpm64Z2xm8nLUWg8HhwywMYZ5KU0/mlXasP5V4mAiHEjeeAM4r7WB1OpQF+KQAnzjAdJyD4UBkwknmlXZwMMzBOWuGi6qURd2hJU+QLRzydXFz8U4SQLzKga/cwFEohJGiqMi84rAc48Zy9i7N3ZkFduEQLqunExtBW3HcaG9LBZtiOgxZ5bD1wYQwnw96g0PwwyPwJ3sH54LzXcWJ5kYBI+e+VJaLwL51puptEV5Zf6reFuGpdanqrf4mQIy57ziHwnoGrhhkpnbOgjHL5gFm1qFyxppUOEizU1RKwImfnZ42yOwUABneTw1ivjcfIV3gOymm7ZY0SrFXhgd0uNVU2cd3U6Umi/IiWM4EzCyGbUjMQhmPrD6VgQmZbl0ydRkFfGT3kUMORwEteR6pWRPK9E4BHKY7WTZHflOS37SQX5TkFy3kvZK810LeKMkbLeSnJflpC/lJSX7SQv6yJH/ZpvgbzCB4P069MVttU84iXjgRexaxN0PM2zexmJ3j9I9tPN4kpSCtgBdJKUcrYC8pxTCAqtdt08T1HicQEWSdwVGK6cXTAlfbBvfRNPZz2JqFnfn4ShQDwvQvdmONfpIpLQ3v+vJXf3e0kuWrs/HuYzt85RXZbsIknPfhnMQhyuFyUEGQLMXCQfcFdMfCQVdTtKAp68mHas1953uwiDFdDbM8BTUs8U7wuArCPDSfpiwrdx6zbIpEVpXycThmkBfmU0tdyadopKduI32BmRQLB/3xFCTEonWLUs1dY7NHme0SitxVbBaqmtEhnOHxlV2vfzzLoHSYNU2EFYMzS4rxxNtYOB1GSNBGmHfUzeRoZ2Mk6Um672SgxqAEFg0G0TTUVuKvIbPyCFZuF4/tLN120f70LEvhclD3gbr/zCb63fzdpAO6CzsDJxsg7u9aNgcL2Rxk6YGTDRDhalgC9r4sDlTFuX/vtIQ/gQCcOG0BqRyumlfvTKMhbKNeTpiQlxXfRk3oUOULn3nisYbcZxyj6TSJhPkp3xZB/AjddK2An/GAGTVMhqm9nS6JsaHWsgOPGZXLhh+kw1RLlwUgOGD3bUpnfwPRdxaBNjGLbFb313X6c9gWwOWgQgWCw5SuHAL94eq68jCnY0jEWDoQw1D4JznMVO8sAp8xH+78PcwgVF2oPXGepVg46BsCdq5YNNxXS5VUAlkkTcegwTsxA9yaW9thz4hS5c4VqLRffFnBdy/mhFLH8zixKyLucoHpbWIWvFoqj2l4id85Fm0TkZUWYunzIKL9GnrRGY/j6l47EX6At++3nh9rmSKb5Xaz+AGDagCW1GA+OEe5zSBb+/Bocr65D+bWiGAGDpZAJw3WCX7apaHtMntqGSZpjrOoa3V24TCXhOyibZbrFuGlRWbf6/bYwvS9BzbeK04GW9FC7BZE+ZYzxh9LCE4sHHQ4kWUpFq7FAjcqWDjjUWE8Khf9JYX+WLTSb6GqCnVVdePuJrAW8/fmvwCLczGwoHIcoZhwh4NasSc1jeZznXfbG3ESuZSwHOjFBzkApO49uzJgspze3aZ3iTpdOFfURISXkKyxXIAIcbKKyuJ92y1cMGHB02ZfXtnn4/PsY735+NY9vtrrN/89MV95NVjp31tZf7Hee/Tk2/yfFVc6v+lc79zs9Dv3O486TzvPOwcdv/Nt58+dv3T+eu1v1/5x7Z/X/pVDP/7I/hvjV53a7/qVfwNz0X1p</latexit> p p 2 dom g <latexit sha1_base64="XMGI4G6eIVJB5P3pkephGVJGW10=">AAAiM3iczVrdc9u4Edddv67q11372D7Qp0knl0lcS3aSa2bSSc6+NJ6L7diOk5uYrgORkISYJGgA8kc4vOl7X9s/pX9Mp2+dvvZ/6C4Aih8iFF3bh2qGIIj9YbG72F0ApIZpxKRaW/vbBx9+57vf+/4PPvph90c//slPf/bxJz9/KflUBPQo4BEXXw+JpBFL6JFiKqJfp4KSeBjRV8OzTaS/uqBCMp68UNcpPYnJOGEjFhAFTfvp6ce9tdU1/fPmK31b6XXs7/npJyu/8kMeTGOaqCAiUh7311J1khGhWBDRvOtPJU1JcEbG9BiqCYmpPMm0pLl3A1pCb8QFXInydGu1R0ZiKa/jISBjoiayScPGNtrxVI0+P8lYkk4VTQIz0GgaeYp7qLYXMkEDFV1DhQSCgaxeMCGCBAqM060NM4xrSmShRFnrbSiA4jyS9WapYiKuRZh3uze8J6AlS4B/QiIPQDXkVUqErFsru5JKsGQMnf2YnFECk6mgO/J6aH/eM90kbUPXT+hlwOOYJKHPz1gQh4/oFSiWgEkGJ5kPHIp2Fae9Pjb0+r2Bvg8qJJCk0T/zaSpZxJM88y+IKB5acOmEGQxWQPjKoDSKfLhQITUJeEjfRA8//Rw8ClCBfva/efjGB8AWBW8SdAdwh+AAPMoKHhEwx+4kSickz4xRZJ69iUCYiF9SEUAAZP44pKNvMp+NkmnsqwnVncaCT9OHfvwooV5FKA+kkmULPI9YnhvRUeaivWb75yBfAowllbPG6gzMJCZTxfOs+uDd8B6Hb6dSeZK9o+ANMM8ejDZSHnT0fMHGE1XnlXARk2jGxj568Lvh7eoHLy0EYlLzbRXmAqyWKB7nx/2T7EbX8/yiJfOH2jzYCM2QEsyM/Prhb20TmsP3BY3IlW2RAXY9o4nMev1cs6OaCdTz1vHPIABgBvF2x0+mURRCsooZziE4PtWh0us/8HYgLrmH6QIbBg+8QyCjmW7qieQpTW57ugry3PYguIxTRVzSz7DL+gNv04ytE0x1MloFsx63VYiTH69bA1XAoGTR7Hm1sLRN26NDJb48z3oQVr1BXvMB3WBwHshnagCZ62Mmtw4fwGPRo2ws+lhKXhOMgy9oufRkWLseosPdrIoFZjQDQmXIxlB+oUuoj41h4Xn8mZ2GmX1mNoaclqiuy4xl3IJ329DFyTNazB4z7f1lDpo5ZW89r7qOCY1V417LDJlw63H/ycDfZrCYhSEseFnhk5Vx4MkMs1pTpW1Ew6UU51vrbBgkHCJzkTQV9hn4Ty06lxpHy2T566CrjKCfl9VYM9IuvOyotSldZmzneP+jmHiGiTt0BAY8bTzwDnDUCqYtA+n8nR9v2LRTcWLMOzhNqADSTPKoGcVANizk/1I1O29tChrSEmpWgXPK7oEAng0hj408qYgQNCwWkP/GFOttptiwjUFpj7uwcpnxa8h7hZkq0Pstptull1t2N73ZZsJLpiZFopGx/uU1Y1YMXVjSLhdoL1hqvoBtKiXJiyfahq6s0chpmtPdPDM2v5fnvXt6Xcl696v2n1uzW71nob/YyH9ebmXKdbjFOKiD3KvvtOJC45pNMr2c6gttYj1see+p6+Zyh7a5v7vkPM+r/gpme6c627nbEIMWQ/CZJbZHL0k0pTjrOIXFBsLpDw1nu+Wk5Nau64VdN/SGpsJVs1X0Sumh86K8mzd3M23TNWM7g5ez1mIwOHzohSEyqTTzham0Y4OpwMNENBS48QSwqbSD5flQFOCzAnzmAJOxAcOBSIeTMJV2cDg0YMOa4qIqRFF3aMlSZAsneVXcXLzTFBAvDfClGziKONdSFBVhKg7LUaYtZ+9C351ZYA8O4aJ6OrERtJ0kjfa2VLDFp8OIVg5b700I8/mgNzgGPzwBf7J3cC4431WcaG4UMLLxpbJcBA6sM1Vvi/DS+lP1tghPrEtVb/U3AXzMAsc5FNYzcMUw17VLGo5pPg/Qsw6VC9qkwkGanqNSHE789Py8QabnAMjxfq4R873ZCOkcXzxRZbekcYa9cjygw62myiFV1RP1orwIltMBM4thGxKzUMYja0BEqEOmW5dMXschG9l95JDBUUAJZiI1b0Kp2i2Aw2w3z+fIr0vy6xbyfknebyEflOSDFvJmSd5sIT8tyU9byE9K8pMW8lcl+as2xV9jBsH7aeaP6Vqbchax70QcWMTBDDFv39Ridk+z37XxeJ2WgrQC9tNSjlbAQVqKoQFVr9shqes9TshjyDqDkwzTi684rrYN7qNpEhjYuoVdBPhKFANC9y92Y41+gkolNO/68ld/d7Sam9VZe/epHb7yimwvpQLO+3BOYhDlcDmoIEieYeGgBxy6Y+GgyylaUJf15EOUYoHzPVhMqaqGmUlBDUu85SypgjAPzacpy8qdxyybIpFVpXwcjSnkhfnUUlfyKRrpqdtIX2ImxcJBfzwFCbFo3aJUc9dY71Fmu4QidxWbhapmZAhneHxl1+ufzjIoGeZNE2FF4/SSoj3xNhZOh+ECtOH6HXUzOdrZGAlylh06GcgxKIFFg0E8jZSV+A+QWVkMK7eLx06e7bhov3+WZ3A5qIdAPXxmE/2eeTfpgO7BzsDJBoiHe5bN0UI2R3l25GQDRLgaloC9L01CWXHu3zgtEUwgACdOW0Aqh6vm1bvTeAjbqBcTysV1xbdREzKUZuHTTyxRkPu0YzSdJhUwP+XbIogfrpquFbILFlKths4wtbfTJTHR1Fp2YAklYtnwg3SYKeGyAAQH7L516eyvIerOItAWZpGt6v66Tn8O2wK4HFSoQHDo0pVDoD9cXVceZmQMiRhLB2IY8eDMwHT1ziLwBQ3gzt7BDELVhTrgl3mGhYO+yWHnikXDfZWQaSWQedp0DBK+5TPArbm1HfaMKJVxrlBm/eLLCr570SeUOp4lqV0RcZcLTG97esGrpfKERNf4nWPRNhFZKc6XPg8iOqihF53xGK7utRPhe3gHQev5sZYp8llu14sfMKgGYEkN54NzZGwG2TqAR53z9X0wt0aEM3C4BDptsE7x0y6JbJfZU8swaXOcRV2rswuHuTSiV22zXLcIKy0y+153QBem7wOw8UFxMtiOF2K3Icq3nTH+WEBwYuGgw4ksz7BwLRa4UcHCGY8S41G66C8I9MeilX4LVZWoq6wbdy+FtZi90x/8F+diYEHEOEYx4Q4HtWJPqhv15zr/tj9iXuxSwnIgV+/lAJC69+yJkIpyevea3sXrdO5cUVMeXUOyxnIBIsLJKiqL9223cMGEBU/pfXlln4/Ps4/1+uNb9/TjXr/574n5ysvBav/e6sb+Ru/Rkz+af1Z81Pll59POzU6/c7/zqPO087xz1Ak6tPOnzp87f1n568rfV/6x8k8D/fAD+2+MX3Rqv5V//RsTLXSN</latexit> p <latexit sha1_base64="EWf0eTUM6lBmKccJTHc+E7+GZF4=">AAAiOXiczVpLc9y4EZ7dvDaTx3qTY3Kgdsopr8tWNJJsb1yllL3SOlat9bBk2VsWtTKGxIzgIQkKwOhhFrfyF3JNfkp+SY65pXLNH0g3AA4fQ4xnkxwyVQRB9IdGd6O7AZAzSCMm1crK3z748Hvf/8EPf/TRj7s/+enPfv7xjU9+8VLyiQjoUcAjLr4eEEkjltAjxVREv04FJfEgoq8G402kv7qgQjKevFDXKT2JyShhQxYQBU2v0m9uexteenqjt7K8on/ebKVvK72O/e2ffrL0az/kwSSmiQoiIuVxfyVVJxkRigURzbv+RNKUBGMyosdQTUhM5Umm5c29m9ASekMu4EqUp1urPTISS3kdDwAZE3UmmzRsbKMdT9Tw85OMJelE0SQwAw0nkae4h8p7IRM0UNE1VEggGMjqBWdEkECBibq1YQZxTYkslChrvQ0FUJxHst4sVUzEtQjzbvem9wS0ZAnwT0jkAaiGvEqJkHVrZVdSCZaMoLMfkzElMKUKuiOvDfvznukmaRu6fkIvAx7HJAl9PmZBHD6iV6BYAiZZPcl84FC0qzjt9bGh1++t6vtqhQSSNPpnPk0li3iSZ/4FEcVDCy49YwaDFRC+MiiNIh8uVEidBTykb6KNTz8HjwJUoJ/9bzfe+ADYouBNgu4A7hAcgEdZwSMC5tidROkZyTNjFJlnbyIQJuKXVAQQBpk/Cunw28xnw2QS++qM6k4jwSfphh8/SqhXEcoDqWTZAs9DludGdJS5aK/Zfh/kS4CxpHLaWJ2BqcRkonieVR+8m97j8O1EKk+ydxS8AebZg9GGyoOOni/Y6EzVeSVcxCSasrGPHvxuerv6wUsLgZjUfFuFuQCrJYrH+XH/JLvZ9Ty/aMn8gTYPNkIzJAYzI7/Z+J1tQnP4vqARubItMsCuY5rIrNfPNTuqmUA9bx1/DAEAM4i3u34yiaIQUlbMcA7B8akOlV7/obcDcck9TBfYsPrQOwQymumWnkie0uSOp6sgzx0Pgss4VcQl/Qy7rD30Ns3YOsFUJ6NVMOtxW4U4+fGaNVAFDEoWzZ5XC0vbtD08VOLL86wHYdVbzWs+oBsMzgP5TA0gM33M5Nbhq/BY9Cgbiz6WktcE4+ALWi49Gdauh+hwt6pigRnNgFAZsBGUX+gS6iNjWHgefWanYWqfqY0hpyWq6zJjGbfg3TZ0cfKMFtPHTHt/mYOmTtlby6uuY0Jj2bjXIkMm3HrcfzLwdxksZmEIC15W+GRlHHgywyzXVGkb0XApxfnOOhsGCYfInCdNhX0G/lOLzoXG0TJZ/jroKiPo50U11oy0Cy86am1KFxnbOd7/KCaeYeIOHYEBT+sPvQMctYJpy0A6f+fH6zbtVJwY8w5OEyqANJM8akYxkHUL+b9Uzc5bm4KGtICaVeCMsnsggGdDyGNDTyoiBA2LBeS/McVamynWbWNQ2uMerFxm/BryfmGmCvRBi+l26eWW3U1vtpnwkqmzItHIWP/ymjErhi4saZcLtBcsNV/ANpWS5MUTbUNX1mjkNM3pXp4Zm9/P8959va5kvQdV+8+s2a3eM9dfbOTvl1uZch1uMQ7qIPfqO6240Lhmk0wvp/pCm1gPW9x76rq53KFt7u8tOM+zqr+C2d6pznbuNsRqiyH41BLbw5ckmlCcdZzCYgPh9IeGs912UnJr17XCrut6Q1PhqtkqeqX00HlR3subu5m26ZqyncLLWWsxGBw+9MIQmVSa+cJU2rHBROBhIhoI3HgC2FTawfJ8IArwuACPHWAyMmA4EOlwEqbSDg4HBmxYU1xUhSjqDi1ZimzhPK+Km4t3mgLipQG+dAOHEedaiqIiTMVhOcq05exd6LszC+zBIVxUTyc2graTpNHelgq2+GQQ0cph670JYTYf9FaPwQ9PwJ/sHZwLzncVJ5oZBYxsfKks54ED60zV2zy8tP5Uvc3DE+tS1Vv9TQAfscBxDoX1DFwxzHXtkoYjms8C9KxD5YI2qXCQpueoFIcTPz0/b5DpOQByvJ9rxGxvNkQ6x9dPVNktaZxhrxwP6HCrqXJIVfVEPS8vguV0wExj2IbENJTxyBoQEeqQ6dYlk9dxyIZ2HzlgcBRQgplIzZtQqnYL4CDbzfMZ8uuS/LqF/LwkP28hH5TkgxbyZknebCE/LclPW8hPSvKTFvJXJfmrNsVfYwbB+2nmj+hKm3IW8dyJOLCIgyli1r6pxeyeZr9v4/E6LQVpBTxPSzlaAQdpKYYGVL1uh6Su9zghjyHrrJ5kmF58xXG1bXAfTpLAwNYs7CLAV6IYELp/sRtr9BNUKqF515e/+ruj5dysztq7T+3wlVdkeykVcN6HcxKDKIfLQQVB8gwLBz3g0B0LB11O0IK6rCcfohQLnO/BYkpVNcxMCmpY4i1nSRWEeWg2TVlW7jxm2RSJrCrl42hEIS/Mppa6kk/RSE/dRvoSMykWDvrjCUiIResWpZq7RnqPMt0lFLmr2CxUNSMDOMPjK7te/3SaQckgb5oIKxqnlxTtiXewcDoMF6AN1++om8nRzsZQkHF26GQgR6AEFg0G8SRSVuJvILOyGFZuF4+dPNtx0f7wLM/gclAPgXr4zCb6PfNu0gHdg52Bkw0QD/csm6O5bI7y7MjJBohwNSwBe1+ahLLi3L91WiI4gwA8c9oCUjlcNa/encQD2Ea9OKNcXFd8GzUhA2kWPv3EEgW5TztG02lSAfNTvi2C+OGq6Vohu2Ah1WroDFN7O10SE02tZQeWUCIWDT9Ih5kSLgtAcMDuW5fO/hqi7s4DbWEW2arur+v0fdgWwOWgQgWCQ5euHAL94eq68jAjI0jEWDoQg4gHYwPT1bvzwBc0gDt7BzMIVRfqgF/mGRYO+iaHnSsWDfdVQqaVQOZp0zFI+JZPAbdn1nbYM6JUxrlCmfWLLyv47kWfUOp4lqR2RcRdLjC94+kFr5bKExJd43eOedtEZKU4X/g8iOighp53xmO4utdOhO/hHQSt58dapsinuV0vfsCgGoAlNZwNzqGxGWTrAB51ztf31Zk1IpyCwwXQaYN1ip92SWS7TJ9ahkmb48zrWp1dOMylEb1qm+W6RVhpken3ugM6N30fgI0PipPBdjwXuw1Rvu2M8ccCghMLBx1OZHmGhWuxwI0KFs54lBiP0kV/QaA/Fq3026iqRF1l3bh7KazF7J3+7D8/FwMLIkYxigl3OKgVe1LdqD/X+Xf8IfNilxKWA7l6LweA1L1nT4RUlNO71/QuXqdz54qa8ugakjWWcxARTlZRmb9vu40LJix4Su/LK/t8fJ5+rNcf37qnN3r95r8nZisvV5f795fXn6/3Hj35o/lnxUedX3U+7dzq9DsPOo86Tzv7naNO0Bl3/tT5c+cvS39d+vvSP5b+aaAffmD/jfHLTu239K9/A/4Gdj4=</latexit> p⇤ = p <latexit sha1_base64="XMGI4G6eIVJB5P3pkephGVJGW10=">AAAiM3iczVrdc9u4Edddv67q11372D7Qp0knl0lcS3aSa2bSSc6+NJ6L7diOk5uYrgORkISYJGgA8kc4vOl7X9s/pX9Mp2+dvvZ/6C4Aih8iFF3bh2qGIIj9YbG72F0ApIZpxKRaW/vbBx9+57vf+/4PPvph90c//slPf/bxJz9/KflUBPQo4BEXXw+JpBFL6JFiKqJfp4KSeBjRV8OzTaS/uqBCMp68UNcpPYnJOGEjFhAFTfvp6ce9tdU1/fPmK31b6XXs7/npJyu/8kMeTGOaqCAiUh7311J1khGhWBDRvOtPJU1JcEbG9BiqCYmpPMm0pLl3A1pCb8QFXInydGu1R0ZiKa/jISBjoiayScPGNtrxVI0+P8lYkk4VTQIz0GgaeYp7qLYXMkEDFV1DhQSCgaxeMCGCBAqM060NM4xrSmShRFnrbSiA4jyS9WapYiKuRZh3uze8J6AlS4B/QiIPQDXkVUqErFsru5JKsGQMnf2YnFECk6mgO/J6aH/eM90kbUPXT+hlwOOYJKHPz1gQh4/oFSiWgEkGJ5kPHIp2Fae9Pjb0+r2Bvg8qJJCk0T/zaSpZxJM88y+IKB5acOmEGQxWQPjKoDSKfLhQITUJeEjfRA8//Rw8ClCBfva/efjGB8AWBW8SdAdwh+AAPMoKHhEwx+4kSickz4xRZJ69iUCYiF9SEUAAZP44pKNvMp+NkmnsqwnVncaCT9OHfvwooV5FKA+kkmULPI9YnhvRUeaivWb75yBfAowllbPG6gzMJCZTxfOs+uDd8B6Hb6dSeZK9o+ANMM8ejDZSHnT0fMHGE1XnlXARk2jGxj568Lvh7eoHLy0EYlLzbRXmAqyWKB7nx/2T7EbX8/yiJfOH2jzYCM2QEsyM/Prhb20TmsP3BY3IlW2RAXY9o4nMev1cs6OaCdTz1vHPIABgBvF2x0+mURRCsooZziE4PtWh0us/8HYgLrmH6QIbBg+8QyCjmW7qieQpTW57ugry3PYguIxTRVzSz7DL+gNv04ytE0x1MloFsx63VYiTH69bA1XAoGTR7Hm1sLRN26NDJb48z3oQVr1BXvMB3WBwHshnagCZ62Mmtw4fwGPRo2ws+lhKXhOMgy9oufRkWLseosPdrIoFZjQDQmXIxlB+oUuoj41h4Xn8mZ2GmX1mNoaclqiuy4xl3IJ329DFyTNazB4z7f1lDpo5ZW89r7qOCY1V417LDJlw63H/ycDfZrCYhSEseFnhk5Vx4MkMs1pTpW1Ew6UU51vrbBgkHCJzkTQV9hn4Ty06lxpHy2T566CrjKCfl9VYM9IuvOyotSldZmzneP+jmHiGiTt0BAY8bTzwDnDUCqYtA+n8nR9v2LRTcWLMOzhNqADSTPKoGcVANizk/1I1O29tChrSEmpWgXPK7oEAng0hj408qYgQNCwWkP/GFOttptiwjUFpj7uwcpnxa8h7hZkq0Pstptull1t2N73ZZsJLpiZFopGx/uU1Y1YMXVjSLhdoL1hqvoBtKiXJiyfahq6s0chpmtPdPDM2v5fnvXt6Xcl696v2n1uzW71nob/YyH9ebmXKdbjFOKiD3KvvtOJC45pNMr2c6gttYj1see+p6+Zyh7a5v7vkPM+r/gpme6c627nbEIMWQ/CZJbZHL0k0pTjrOIXFBsLpDw1nu+Wk5Nau64VdN/SGpsJVs1X0Sumh86K8mzd3M23TNWM7g5ez1mIwOHzohSEyqTTzham0Y4OpwMNENBS48QSwqbSD5flQFOCzAnzmAJOxAcOBSIeTMJV2cDg0YMOa4qIqRFF3aMlSZAsneVXcXLzTFBAvDfClGziKONdSFBVhKg7LUaYtZ+9C351ZYA8O4aJ6OrERtJ0kjfa2VLDFp8OIVg5b700I8/mgNzgGPzwBf7J3cC4431WcaG4UMLLxpbJcBA6sM1Vvi/DS+lP1tghPrEtVb/U3AXzMAsc5FNYzcMUw17VLGo5pPg/Qsw6VC9qkwkGanqNSHE789Py8QabnAMjxfq4R873ZCOkcXzxRZbekcYa9cjygw62myiFV1RP1orwIltMBM4thGxKzUMYja0BEqEOmW5dMXschG9l95JDBUUAJZiI1b0Kp2i2Aw2w3z+fIr0vy6xbyfknebyEflOSDFvJmSd5sIT8tyU9byE9K8pMW8lcl+as2xV9jBsH7aeaP6Vqbchax70QcWMTBDDFv39Ridk+z37XxeJ2WgrQC9tNSjlbAQVqKoQFVr9shqes9TshjyDqDkwzTi684rrYN7qNpEhjYuoVdBPhKFANC9y92Y41+gkolNO/68ld/d7Sam9VZe/epHb7yimwvpQLO+3BOYhDlcDmoIEieYeGgBxy6Y+GgyylaUJf15EOUYoHzPVhMqaqGmUlBDUu85SypgjAPzacpy8qdxyybIpFVpXwcjSnkhfnUUlfyKRrpqdtIX2ImxcJBfzwFCbFo3aJUc9dY71Fmu4QidxWbhapmZAhneHxl1+ufzjIoGeZNE2FF4/SSoj3xNhZOh+ECtOH6HXUzOdrZGAlylh06GcgxKIFFg0E8jZSV+A+QWVkMK7eLx06e7bhov3+WZ3A5qIdAPXxmE/2eeTfpgO7BzsDJBoiHe5bN0UI2R3l25GQDRLgaloC9L01CWXHu3zgtEUwgACdOW0Aqh6vm1bvTeAjbqBcTysV1xbdREzKUZuHTTyxRkPu0YzSdJhUwP+XbIogfrpquFbILFlKths4wtbfTJTHR1Fp2YAklYtnwg3SYKeGyAAQH7L516eyvIerOItAWZpGt6v66Tn8O2wK4HFSoQHDo0pVDoD9cXVceZmQMiRhLB2IY8eDMwHT1ziLwBQ3gzt7BDELVhTrgl3mGhYO+yWHnikXDfZWQaSWQedp0DBK+5TPArbm1HfaMKJVxrlBm/eLLCr570SeUOp4lqV0RcZcLTG97esGrpfKERNf4nWPRNhFZKc6XPg8iOqihF53xGK7utRPhe3gHQev5sZYp8llu14sfMKgGYEkN54NzZGwG2TqAR53z9X0wt0aEM3C4BDptsE7x0y6JbJfZU8swaXOcRV2rswuHuTSiV22zXLcIKy0y+153QBem7wOw8UFxMtiOF2K3Icq3nTH+WEBwYuGgw4ksz7BwLRa4UcHCGY8S41G66C8I9MeilX4LVZWoq6wbdy+FtZi90x/8F+diYEHEOEYx4Q4HtWJPqhv15zr/tj9iXuxSwnIgV+/lAJC69+yJkIpyevea3sXrdO5cUVMeXUOyxnIBIsLJKiqL9223cMGEBU/pfXlln4/Ps4/1+uNb9/TjXr/574n5ysvBav/e6sb+Ru/Rkz+af1Z81Pll59POzU6/c7/zqPO087xz1Ak6tPOnzp87f1n568rfV/6x8k8D/fAD+2+MX3Rqv5V//RsTLXSN</latexit> p ࠷খඃ෴ɹɹɹΛݟ͚ͭΔ ॳظ࣮ߦՄೳղɹɹɹɹɹɹɹɹΛઃఆ <latexit sha1_base64="g2838bO9k2dFo9hwZu2tYL61PjI=">AAACDHicbVDLSgMxFM34rPVVdekmWIQKUmZEqhuh6MaFiyr2gZ2xZNK0Dc1kQpIRyjAf4MZfceNCEbd+gDv/xkw7C209EDiccy659/iCUaVt+9uam19YXFrOreRX19Y3Ngtb2w0VRhKTOg5ZKFs+UoRRTuqaakZaQhIU+Iw0/eFF6jcfiFQ05Ld6JIgXoD6nPYqRNlKnUBTwDJbUoT6ALuXQDZAe+H58l9zHV9DFkYA3iUnZZXsMOEucjBRBhlqn8OV2QxwFhGvMkFJtxxbai5HUFDOS5N1IEYHwEPVJ21COAqK8eHxMAveN0oW9UJrHNRyrvydiFCg1CnyTTJdV014q/ue1I9079WLKRaQJx5OPehGDOoRpM7BLJcGajQxBWFKzK8QDJBHWpr+8KcGZPnmWNI7KTqVcuT4uVs+zOnJgF+yBEnDACaiCS1ADdYDBI3gGr+DNerJerHfrYxKds7KZHfAH1ucPFfeZzA==</latexit> p = (s, t) → ZL→R λΠτ෦άϥϑɹɹɹɹɹɹɹɹͷ <latexit sha1_base64="yFkbL66fY5N8tf9Vo5D1a8H5XDQ=">AAAB/nicbVDJSgNBEK1xjXEbFU9eGoMQg4QZkehFCIrowUMUs0A2ejo9SZOehe4eIQwBf8WLB0W8+h3e/Bs7yRw08UHB470qquo5IWdSWda3MTe/sLi0nFpJr66tb2yaW9sVGUSC0DIJeCBqDpaUM5+WFVOc1kJBsedwWnX6lyO/+kiFZIH/oAYhbXq46zOXEay01DZ3r1s5dI6yt6hBohDdH6GrVu6wbWasvDUGmiV2QjKQoNQ2vxqdgEQe9RXhWMq6bYWqGWOhGOF0mG5EkoaY9HGX1jX1sUdlMx6fP0QHWukgNxC6fIXG6u+JGHtSDjxHd3pY9eS0NxL/8+qRcs+aMfPDSFGfTBa5EUcqQKMsUIcJShQfaIKJYPpWRHpYYKJ0Ymkdgj398iypHOftQr5wd5IpXiRxpGAP9iELNpxCEW6gBGUgEMMzvMKb8WS8GO/Gx6R1zkhmduAPjM8frU2SwA==</latexit> G→ = (L → R, E→) <latexit sha1_base64="HJxQLG0OVgH9yfbkb6exOv5hWDQ=">AAAB7XicbVBNSwMxEJ2tX7V+VT16CRahgpRdkeqx6MVjxX5Bu5Rsmm1js8mSZIWy9D948aCIV/+PN/+NabsHrT4YeLw3w8y8IOZMG9f9cnIrq2vrG/nNwtb2zu5ecf+gpWWiCG0SyaXqBFhTzgRtGmY47cSK4ijgtB2Mb2Z++5EqzaRomElM/QgPBQsZwcZKrfL9GWqc9oslt+LOgf4SLyMlyFDvFz97A0mSiApDONa667mx8VOsDCOcTgu9RNMYkzEe0q6lAkdU++n82ik6scoAhVLZEgbN1Z8TKY60nkSB7YywGellbyb+53UTE175KRNxYqggi0VhwpGRaPY6GjBFieETSzBRzN6KyAgrTIwNqGBD8JZf/kta5xWvWqneXZRq11kceTiCYyiDB5dQg1uoQxMIPMATvMCrI51n5815X7TmnGzmEH7B+fgG2s2OBQ==</latexit> (S, T) <latexit sha1_base64="hYzD/EWV8+mX4TjiR2gRTSGtbr0=">AAACDnicbVDLSsNAFJ34rPEVHzs3g0UQhJKIVJdFNy4r2gc0IUymk3bozCTMTIQa+g9+glv9AHfi1l9w7Y84bbOwrQcuHM65l3M5Ucqo0q77bS0tr6yurZc27M2t7Z1dZ2+/qZJMYtLACUtkO0KKMCpIQ1PNSDuVBPGIkVY0uBn7rUciFU3Egx6mJOCoJ2hMMdJGCp1DBf0e0QoqeAb9iOfeKLwPnbJbcSeAi8QrSBkUqIfOj99NcMaJ0JghpTqem+ogR1JTzMjI9jNFUoQHqEc6hgrEiQryyfcjeGKULowTaUZoOFH/XuSIKzXkkdnkSPfVvDcW//M6mY6vgpyKNNNE4GlQnDGoEziuAnapJFizoSEIS2p+hbiPJMLaFGbPxER8ZJtWvPkOFknzvOJVK9W7i3LtuuinBI7AMTgFHrgENXAL6qABMHgCL+AVvFnP1rv1YX1OV5es4uYAzMD6+gXboZra</latexit> s → s + 1S <latexit sha1_base64="uHodfKaNkrwGx2zzHrSnQctG6CE=">AAACHHicbVDLSgNBEJyNrxhfUY9eBoMgCGFXRD2KXjxGSVTIhjA76cQhM7PLTK8Qlr37FX6CV/0Ab+JV8OyPOHkcNLGgoajqprsrSqSw6PtfXmFufmFxqbhcWlldW98ob27d2Dg1HBo8lrG5i5gFKTQ0UKCEu8QAU5GE26h/MfRvH8BYEes6DhJoKdbTois4Qye1y7tIwx6gpUgPaBipLMjb2TUNLaASOrW0nrfLFb/qj0BnSTAhFTJBrV3+DjsxTxVo5JJZ2wz8BFsZMyi4hLwUphYSxvusB01HNVNgW9nol5zuOaVDu7FxpZGO1N8TGVPWDlTkOhXDezvtDcX/vGaK3dNWJnSSImg+XtRNJcWYDoOhHWGAoxw4wrgR7lbK75lhHF18pT9rIpWXXCrBdAaz5OawGhxXj6+OKmfnk3yKZIfskn0SkBNyRi5JjTQIJ4/kmbyQV+/Je/PevY9xa8GbzGyTP/A+fwDovKDH</latexit> t → t + 1R\T ͷશϚονϯάΛҰͭग़ྗ <latexit sha1_base64="V2tqoTRDO+4jPj6TqTVVxmoPLAg=">AAAB6nicbVDLSgNBEOz1GeMr6tHLYBDEQ9gViR6DHvQY0TwgWcPsZDYZMju7zPQKYcknePGgiFe/yJt/4+Rx0MSChqKqm+6uIJHCoOt+O0vLK6tr67mN/ObW9s5uYW+/buJUM15jsYx1M6CGS6F4DQVK3kw0p1EgeSMYXI/9xhPXRsTqAYcJ9yPaUyIUjKKV7m8eTzuFoltyJyCLxJuRIsxQ7RS+2t2YpRFXyCQ1puW5CfoZ1SiY5KN8OzU8oWxAe7xlqaIRN342OXVEjq3SJWGsbSkkE/X3REYjY4ZRYDsjin0z743F/7xWiuGlnwmVpMgVmy4KU0kwJuO/SVdozlAOLaFMC3srYX2qKUObTt6G4M2/vEjqZyWvXCrfnRcrV7M4cnAIR3ACHlxABW6hCjVg0INneIU3RzovzrvzMW1dcmYzB/AHzucPuGyNcg==</latexit> G→ while true if
return <latexit sha1_base64="IE6Fvw2UnD5B2g/v0ERdX6KEq04=">AAAiTniczVrdc9u4Edddv1L1K9e+tX1gokknl0lcS3aSa2bSSc6+NJ6L7cSOk5uYPgciIQkxSdAA5I9weHN/TV/bP6Wv/Uf61ml3AVD8EKHo2j5UMwRB7A+L3cXuAiA1TCMm1erq3z/6+Hvf/8EPf3Tlx92f/PRnP//F1U9++UryqQjoQcAjLr4aEkkjltADxVREv0oFJfEwoq+HJxtIf31GhWQ8eakuU3oUk3HCRiwgCpqOr/76wvPHVEnv4ms/YCLwfJZ4fshjb3R8tbe6sqp/3nylbyu9jv09P/7k2m+hZzCNaaKCiEh52F9N1VFGhGJBRPOuP5U0JcEJGdNDqCYkpvIo00rk3g1oCb0RF3AlytOt1R4ZiaW8jIeAjImayCYNG9toh1M1+uwoY0k6VTQJzECjaeQp7qFFvJAJGqjoEiokEAxk9YIJESRQYLdubZhhXFMiCyXKWm9DARTnkaw3SxUTcSnCvNu94T0BLVkC/BMSeQCqIS9SImTdWtmFVIIlY+jsx+SEEphnBd2R10P7857pJmkbun5CzwMexyQJfX7Cgjh8RC9AsQRMMjjKfOBQtKs47fWxodfvDfR9UCGBJI3+mU9TySKe5Jl/RkTx0IJLJ8xgsALCVwalUeTDhQqpScBD+jZ6eP0z8ChABfrZ/+bhWx8AmxS8SdBtwO2DA/AoK3hEwBy7kyidkDwzRpF59jYCYSJ+TkUAsZH545COvsl8Nkqmsa8mVHcaCz5NH/rxo4R6FaE8kEqWLfA8YnluREeZi/aa7Z+DfAkwllTOGqszMJOYTBXPs+qDd8N7HL6bSuVJ9p6CN8A8ezDaSHnQ0fMFG09UnVfCRUyiGRv76MHvhrejH7y0EIhJzbdVmDOwWqJ4nB/2j7IbXc/zi5bMH2rzYCM0Q7YwM/K7h3+wTWgO3xc0Ihe2RQbY9YQmMuv1c82OaiZQz1vHP4EAgBnE2x0/mUZRCHksZjiH4PhUh0qv/8DbhrjkHqYLbBg88PaBjGa6qSeSpzS57ekqyHPbg+AyThVxST/FLmsPvA0ztk4w1cloFcx63GYhTn64Zg1UAYOSRbPn1cLSNm2N9pX44jTrQVj1BnnNB3SDwXkgn6kBZK6Pmdw6fACPRY+ysehjKXlNMA6+oOXSk2Htuo8Od7MqFpjRDAiVIRtD+bkuoT42hoXn8ad2Gmb2mdkYclqiui4zlnEL3m1DFyfPaDF7zLT3lzlo5pS9tbzqOiY0Vox7LTNkwq3H/ScDf5fBYhaGsOBlhU9WxoEnM8xKTZW2EQ2XUpzvrLNhkHCIzEXSVNhn4D+16FxqHC2T5a+DrjKCfl5WY81Iu/Cyo9amdJmxneP9j2LiGSbu0BEY8LT+wNvDUSuYtgyk83d+uG7TTsWJMe/gNKECSDPJo2YUA1m3kP9L1ey8tSloSEuoWQXOKbsLAng2hDw28qQiQtCwWED+G1OstZli3TYGpT3uwsplxq8h7xVmqkDvt5huh55v2t30RpsJz5maFIlGxvqX14xZMXRhSbtcoL1gqfkctqmUJC+faBu6skYjp2lOd/PM2Pxenvfu6XUl692v2n9uzW71noX+YiP/ebmVKdfhFuOgDnK3vtOKC41rNsn0cqovtIn1sOW9p66byx3a5v7ukvM8r/prmO3t6mznbkMMWgzBZ5bYGr0i0ZTirOMUFhsIpz80nO2Wk5Jbu64Vdl3XG5oKV81W0Qulh86L8m7e3M20TdeM7QxezlqLweDwoReGyKTSzBem0o4NpgIPE9FQ4MYTwKbSDpanQ1GATwrwiQNMxgYMByIdTsJU2sHh0IANa4qLqhBF3aElS5EtHPJVcXPxTlNAvDLAV27gKOJcS1FUhKk4LEeZtpy9C313ZoFdOISL6unERtBWkjTa21LBJp8OI1o5bH0wIczng97gEPzwCPzJ3sG54HxXcaK5UcDIxpfKchE4sM5UvS3CS+tP1dsiPLEuVb3V3wTwMQsc51BYz8AVw1zXzmk4pvk8QM86VM5okwoHaXqKSnE48dPT0waZngIgx/upRsz3ZiOkc3wnRZXdksYZ9srxgA63mir7+G6q1GRRXgTL6YCZxbANiVko45E1ICLUIdOtSyYv45CN7D5yyOAooAQzkZo3oVTtFMBhtpPnc+Q3JflNC/lFSX7RQt4ryXst5I2SvNFCflqSn7aQn5TkJy3kL0vyl22Kv8EMgvfjzB/T1TblLOKFE7FnEXszxLx9U4vZOc7+2MbjTVoK0gp4kZZytAL20lIMDah63TZJXe9xQh5D1hkcZZhefMVxtW1wH02TwMDWLOwswFeiGBC6f7Eba/QTVCqhedeXv/q7o5XcrM7au4/t8JVXZLspFXDeh3MSgyiHy0EFQfIMCwc94NAdCwddTtGCuqwnH6IUC5zvwWJKVTXMTApqWOIdZ0kVhHloPk1ZVu48ZtkUiawq5eNoTCEvzKeWupJP0UhP3Ub6AjMpFg764ylIiEXrFqWau8Z6jzLbJRS5q9gsVDUjQzjD4yu7Xv94lkHJMG+aCCsap5cU7Ym3sXA6DBegDdfvqJvJ0c7GSJCTbN/JQI5BCSwaDOJppKzEX0NmZTGs3C4e23m27aL96VmeweWg7gN1/5lN9Lvm3aQDugs7AycbIO7vWjYHC9kc5NmBkw0Q4WpYAva+NAllxbl/77REMIEAnDhtAakcrppX70zjIWyjXk4oF5cV30ZNyFCahU8/sURB7tOO0XSaVMD8lG+LIH64arpWyM5YSLUaOsPU3k6XxERTa9mBJZSIZcMP0mGmhMsCEByw+9als7+GqDuLQJuYRTar++s6/TlsC+ByUKECwaFLVw6B/nB1XXmYkTEkYiwdiGHEgxMD09U7i8BnNIA7ew8zCFUXao+f5xkWDvoGh50rFg33VUKmlUDmadMxSPiOzwC35tZ22DOiVMa5Qpn1iy8r+O5Fn1DqeJakdkXEXS4wve3pBa+WyhMSXeJ3jkXbRGSlOF/6PIjooIZedMZjuLrXToQf4B0ErefHWqbIZ7ldL37AoBqAJTWcD86RsRlk6wAedc7X98HcGhHOwOES6LTBOsVPuySyXWZPLcOkzXEWda3OLhzm0ohetM1y3SKstMjse90eXZi+98DGe8XJYCteiN2CKN9yxvhjAcGJhYMOJ7I8w8K1WOBGBQtnPEqMR+mivyTQH4tW+i1UVaKusm7c3RTWYvZe/xdgcS4GFkSMYxQT7nBQK/akulF/rvNv+yPmxS4lLAdy8UEOAKl7z64IqSind7fpXbxO584VNeXRJSRrLBcgIpysorJ433YLF0xY8JTel1f2+fg8+1ivP751j6/2+s1/T8xXXg1W+vdW7r5Y7z168q35Z8WVzm861zs3O/3O/c6jztPO885BJ+h82/lz5y+dv17727V/XPvntX8Z6Mcf2X9j/KpT+12/8m9wsn15</latexit> x x 2 dom f <latexit sha1_base64="G/1LRCjB/VJ7+Mu18xcwSnHzc5Q=">AAAiQ3iczVpbc9u4FdZub1v1stn2sX2gV5NONpO4luwk28ykk6y9aTwbW4kdJzsxvQ5EQjJikqAByJdwuNP/0df2p/RH9Df0rdPXzvQcABQvIhRt24dqhiCI8+Hg4NwAkBqlEZNqbe1vH3z4ve//4Ic/+ujH3Z/89Gc///jaJ794KflUBPQg4BEXX4+IpBFL6IFiKqJfp4KSeBTRV6PTTaS/OqdCMp68UFcpPYrJJGFjFhAFTcfXPvZjok5EnA3zG8k3g8+Or/XWVtf0z5uv9G2l17G/Z8efrPzaD3kwjWmigohIedhfS9VRRoRiQUTzrj+VNCXBKZnQQ6gmJKbyKNOS5951aAm9MRdwJcrTrdUeGYmlvIpHgEQ5ZZOGjW20w6kaf36UsSSdKpoEZqDxNPIU91ANXsgEDVR0BRUSCAayesEJESRQoKxubZhRXJtEFkqUtd6GAijOI1lvliom4kqEebd73XsMs2QJ8E9I5AGohrxMiZB1bWWXUgmWTKAzGOmUEjCugu7I64H9eU91k7QNXT+hFwGPY5KEPj9lQRw+pJcwsQRUMjjKfOBQtKs47fWxodfvDfR9UCGBJI3+mU9TySKe5Jl/TkTx0IJLT5jBYAWErwxKo8iHq6u9LuAhfRM9+PRz8ChABfrZ//bBGx8AWxS8SdAdwO2DA/AoK3hEwBy7kyg9IXlmlCLz7E0EwkT8gooAAiLzJyEdf5v5bJxMY1+dUN1pIvg0feDHDxPqVYTyQCpZtsDzmOW5ER1lLtprun8G8iXAWFI5a6xaYCYxmSqeZ9UH77r3KHw7lcqT7B0FbwA7ezDaWHnQ0fMFm5yoOq+Ei5hEMzb20YPfdW9XP3hpIRCTmm+rMOegtUTxOD/sH2XXu57nFy2ZP9LqwUZohhRhLPKbB7+zTagO3xc0Ipe2RQbY9ZQmMuv1c82OaiZQz1vHP4UAAAvi7bafTKMohOQVM7QhOD7VodLr3/d2IC65h+kCGwb3vX0go5puaEPylCa3PJO9aHTLg+AyThVxST/DLuv3vU0ztk4wVWO0CmY9bqsQJz9ctwqqgGGSRbPn1cLSNm2P95X48izrQVj1BnnNB3SDwXkgn6kBZK6PMW4dPoDHokfZWPSxlLwmGAdf0HJpY1i97qPD3aiKBWo0A0JlxCZQfqFLqE+MYuF58pk1w0w/Mx1DTktU16XGMm7Bu23oovHMLGaPmfb+MgfNnLK3nlddx4TGqnGvZYZMuPW4/2Tg7zJYzMIQFrys8MnKOPBkhlmtTaVtRMOlFOc7z9kwSDhE5iJpKuwz8J9adC41jpbJ8tdBVxlBPy87Y81Iu/Cyo9ZMuszYzvH+RzHxFBN36AgMeNq47+3hqBVMWwbS+Ts/3LBpp+LEmHfQTDgBpJnkUVOKgWxYyP/l1Kzd2iZoSEtMswqcm+wQBPBsCHls7ElFhKBhsYD8N6pYb1PFhm0MSn3cgZXLjF9D3i3UVIHea1HdLr3YsrvpzTYVXjB1UiQaGetfXlNmRdGFJu1ygfqCpeYL2KZSkrx4rHXoyhqNnKY53ckzo/O7ed67q9eVrHevqv+5NbvVexb6i438Z+VWplyHW5SDc5DD+k4rLmZc00mml1N9oU6shy3vPfW5udyhzfZ3lrTz/NRfgbV3qtbO3YoYtCiCzzSxPX5JoilFq6MJiw2E0x8aznbTScmtXtcLvW7oDU2Fq2ar6KXSQ+dFeSdv7mbazDVjO4OXVmtRGBw+9MIQmVSa+cJU2rHBVOBhIhoJ3HgC2FTawfJsJArwaQE+dYDJxIDhQKTDSZhKOzgcGbBhTXFRFaKoO2bJUmQLJ3tV3Fy80xQQLw3wpRs4jjjXUhQVYSoOzVGmNWfvQt+dWWAIh3BRPZ3YCNpOkkZ7WyrY4tNRRCuHrfcmhPl80Bscgh8egT/ZOzgXnO8qTjQ3CijZ+FJZLgIH1pmqt0V4af2peluEJ9alqrf6mwA+YYHjHArrGbhimOvaBQ0nNJ8HaKtD5Zw2qXCQpmc4KQ4nfnp21iDTMwDkeD/TiPnebIx0ji+iqMqKV07YK8cDOtxqU9mnqnqiXpQXQXM6YGYxbENiFsp4ZA2ICHXIdOuSyas4ZGO7jxwxOAoowUyk5k0oVbsFcJTt5vkc+XVJft1Cfl6Sn7eQ90ryXgt5syRvtpCflOQnLeTHJflxC/mrkvxV28RfYwbB+3HmT+ha2+Qs4rkTsWcRezPEvH5Ti9k9zn7fxuN1WgrSCnielnK0AvbSUgwNqHrdDkld73FCHkPWGRxlmF58xXG1bXAfT5PAwNYt7DzAV6IYELp/sRtr9BNUKqF515e/+ruj1dysztq7j+3wlVdkw5QKOO/DOYlBlMPloIIgeYaFgx5w6I6Fgy6nqEFd1pMPUYoFzvdgMaWqGmYmBTU08ZazpArCPDSfpiwrdx6zbIpEVpXyUTShkBfmU0t9kk9QSU/cSvoSMykWDvqjKUiIResWpZq7JnqPMtslFLmr2CxUZ0ZGcIbHV3a9/vEsg5JR3lQRVjROLynaE29h4XQYLmA2XL+jbiZHa42xIKfZvpOBnMAksGgwiKeRshJ/A5mVxbByu3js5NmOi/aHp3kGl4O6D9T9pzbRD827SQd0CDsDJxsg7g8tm4OFbA7y7MDJBohwNTQBe1+ahLLi3L91aiI4gQA8ceoCUjlcNa/encYj2Ea9OKFcXFV8G2dCRtIsfPqJJQpyn3aMptOkAuxTvi2C+OGq6VohO2ch1dPQGab2drokJppayw4soUQsG36QDjMlXBqA4IDdty6d/TVE3V4E2sIsslXdX9fpz2BbAJeDChUIDl26cgj0h6vrysOMTCARY+lAjCIenBqYrt5eBD6nAdzZO7AgVF2oPX6RZ1g46Jscdq5YNNxXCZlWApmnTccg4Vs+A9ycW9thz4hSGecKZdYvvqzguxd9QqnjWZLaFRF3ucD0lqcXvFoqT0h0hd85Fm0TkZXifOnzIKKDGnrRGY/h6l47Eb6HdxC0nh9rmSKf5Xa9+AGDagCW1HA+OMdGZ5CtA3jUOV/fB3NrRDgDh0ug0wbrFD/tksh2mT21DJM2x1nUtWpdOMylEb1ss3JdI6zUyOx73R5dmL73QMd7xclgO16I3YYo33bG+CMBwYmFgw4nsjzDwrVY4EYFC2c8SoxH6aK/INAfi1b6TZyqxLnKunKHKazF7J3+A8DiXAwsiJjEKCbc4aBW7El1o/5c59/yx8yLXZOwHMjlezkApO49QxFSUZp32PQuXqdz54qa8ugKkjWWCxARGquoLN633cQFExY8pffllX0+Ps8+1uuPb93ja71+898T85WXg9X+3dWN5xu9h4//aP5Z8VHnV51POzc6/c69zsPOk86zzkEn6Ew7f+r8ufOXlb+u/H3lHyv/NNAPP7D/xvhlp/Zb+de/AfClelU=</latexit> O(n2 ) evals <latexit sha1_base64="k1uLeEp7zJczzBGLO8PJmkj9kqM=">AAAiM3iczVrdc9u4Edddv67q11372D7Qp0knl0lcS3aSa2bSSc6+NJ6L7diOk5uYrgORkISYJGgA8kc4vOl7X9s/pX9Mp2+dvvZ/6C4Aih8iFF3bh2qGIIj9YbG72F0ApIZpxKRaW/vbBx9+57vf+/4PPvph90c//slPf/bxJz9/KflUBPQo4BEXXw+JpBFL6JFiKqJfp4KSeBjRV8OzTaS/uqBCMp68UNcpPYnJOGEjFhAFTftXpx/31lbX9M+br/Rtpdexv+enn6z8yg95MI1pooKISHncX0vVSUaEYkFE864/lTQlwRkZ02OoJiSm8iTTkubeDWgJvREXcCXK063VHhmJpbyOh4CMiZrIJg0b22jHUzX6/CRjSTpVNAnMQKNp5CnuodpeyAQNVHQNFRIIBrJ6wYQIEigwTrc2zDCuKZGFEmWtt6EAivNI1puliom4FmHe7d7wnoCWLAH+CYk8ANWQVykRsm6t7EoqwZIxdPZjckYJTKaC7sjrof15z3STtA1dP6GXAY9jkoQ+P2NBHD6iV6BYAiYZnGQ+cCjaVZz2+tjQ6/cG+j6okECSRv/Mp6lkEU/yzL8gonhowaUTZjBYAeErg9Io8uFChdQk4CF9Ez389HPwKEAF+tn/5uEbHwBbFLxJ0B3AHYID8CgreETAHLuTKJ2QPDNGkXn2JgJhIn5JRQABkPnjkI6+yXw2SqaxryZUdxoLPk0f+vGjhHoVoTyQSpYt8DxieW5ER5mL9prtn4N8CTCWVM4aqzMwk5hMFc+z6oN3w3scvp1K5Un2joI3wDx7MNpIedDR8wUbT1SdV8JFTKIZG/vowe+Gt6sfvLQQiEnNt1WYC7BaonicH/dPshtdz/OLlswfavNgIzRDSjAz8uuHv7VNaA7fFzQiV7ZFBtj1jCYy6/VzzY5qJlDPW8c/gwCAGcTbHT+ZRlEIySpmOIfg+FSHSq//wNuBuOQepgtsGDzwDoGMZrqpJ5KnNLnt6SrIc9uD4DJOFXFJP8Mu6w+8TTO2TjDVyWgVzHrcViFOfrxuDVQBg5JFs+fVwtI2bY8OlfjyPOtBWPUGec0HdIPBeSCfqQFkro+Z3Dp8AI9Fj7Kx6GMpeU0wDr6g5dKTYe16iA53syoWmNEMCJUhG0P5hS6hPjaGhefxZ3YaZvaZ2RhyWqK6LjOWcQvebUMXJ89oMXvMtPeXOWjmlL31vOo6JjRWjXstM2TCrcf9JwN/m8FiFoaw4GWFT1bGgSczzGpNlbYRDZdSnG+ts2GQcIjMRdJU2GfgP7XoXGocLZPlr4OuMoJ+XlZjzUi78LKj1qZ0mbGd4/2PYuIZJu7QERjwtPHAO8BRK5i2DKTzd368YdNOxYkx7+A0oQJIM8mjZhQD2bCQ/0vV7Ly1KWhIS6hZBc4puwcCeDaEPDbypCJC0LBYQP4bU6y3mWLDNgalPe7CymXGryHvFWaqQO+3mG6XXm7Z3fRmmwkvmZoUiUbG+pfXjFkxdGFJu1ygvWCp+QK2qZQkL55oG7qyRiOnaU5388zY/F6e9+7pdSXr3a/af27NbvWehf5iI/95uZUp1+EW46AOcq++04oLjWs2yfRyqi+0ifWw5b2nrpvLHdrm/u6S8zyv+iuY7Z3qbOduQwxaDMFnltgevSTRlOKs4xQWGwinPzSc7ZaTklu7rhd23dAbmgpXzVbRK6WHzovybt7czbRN14ztDF7OWovB4PChF4bIpNLMF6bSjg2mAg8T0VDgxhPAptIOludDUYDPCvCZA0zGBgwHIh1OwlTaweHQgA1riouqEEXdoSVLkS2c5FVxc/FOU0C8NMCXbuAo4lxLUVSEqTgsR5m2nL0LfXdmgT04hIvq6cRG0HaSNNrbUsEWnw4jWjlsvTchzOeD3uAY/PAE/MnewbngfFdxorlRwMjGl8pyETiwzlS9LcJL60/V2yI8sS5VvdXfBPAxCxznUFjPwBXDXNcuaTim+TxAzzpULmiTCgdpeo5KcTjx0/PzBpmeAyDH+7lGzPdmI6RzfPFEld2Sxhn2yvGADreaKodUVU/Ui/IiWE4HzCyGbUjMQhmPrAERoQ6Zbl0yeR2HbGT3kUMGRwElmInUvAmlarcADrPdPJ8jvy7Jr1vI+yV5v4V8UJIPWsibJXmzhfy0JD9tIT8pyU9ayF+V5K/aFH+NGQTvp5k/pmttylnEvhNxYBEHM8S8fVOL2T3NftfG43VaCtIK2E9LOVoBB2kphgZUvW6HpK73OCGPIesMTjJML77iuNo2uI+mSWBg6xZ2EeArUQwI3b/YjTX6CSqV0Lzry1/93dFqblZn7d2ndvjKK7K9lAo478M5iUGUw+WggiB5hoWDHnDojoWDLqdoQV3Wkw9RigXO92AxpaoaZiYFNSzxlrOkCsI8NJ+mLCt3HrNsikRWlfJxNKaQF+ZTS13Jp2ikp24jfYmZFAsH/fEUJMSidYtSzV1jvUeZ7RKK3FVsFqqakSGc4fGVXa9/OsugZJg3TYQVjdNLivbE21g4HYYL0Ibrd9TN5GhnYyTIWXboZCDHoAQWDQbxNFJW4j9AZmUxrNwuHjt5tuOi/f5ZnsHloB4C9fCZTfR75t2kA7oHOwMnGyAe7lk2RwvZHOXZkZMNEOFqWAL2vjQJZcW5f+O0RDCBAJw4bQGpHK6aV+9O4yFso15MKBfXFd9GTchQmoVPP7FEQe7TjtF0mlTA/JRviyB+uGq6VsguWEi1GjrD1N5Ol8REU2vZgSWUiGXDD9JhpoTLAhAcsPvWpbO/hqg7i0BbmEW2qvvrOv05bAvgclChAsGhS1cOgf5wdV15mJExJGIsHYhhxIMzA9PVO4vAFzSAO3sHMwhVF+qAX+YZFg76JoedKxYN91VCppVA5mnTMUj4ls8At+bWdtgzolTGuUKZ9YsvK/juRZ9Q6niWpHZFxF0uML3t6QWvlsoTEl3jd45F20RkpThf+jyI6KCGXnTGY7i6106E7+EdBK3nx1qmyGe5XS9+wKAagCU1nA/OkbEZZOsAHnXO1/fB3BoRzsDhEui0wTrFT7sksl1mTy3DpM1xFnWtzi4c5tKIXrXNct0irLTI7HvdAV2Yvg/AxgfFyWA7Xojdhijfdsb4YwHBiYWDDieyPMPCtVjgRgULZzxKjEfpor8g0B+LVvotVFWirrJu3L0U1mL2Tn/wX5yLgQUR4xjFhDsc1Io9qW7Un+v82/6IebFLCcuBXL2XA0Dq3rMnQirK6d1rehev07lzRU15dA3JGssFiAgnq6gs3rfdwgUTFjyl9+WVfT4+zz7W649v3dOPe/3mvyfmKy8Hq/17qxv7G71HT/5o/lnxUeeXnU87Nzv9zv3Oo87TzvPOUSfo0M6fOn/u/GXlryt/X/nHyj8N9MMP7L8xftGp/Vb+9W8htHSV</latexit> x Move to a locally optimal point <latexit sha1_base64="k1uLeEp7zJczzBGLO8PJmkj9kqM=">AAAiM3iczVrdc9u4Edddv67q11372D7Qp0knl0lcS3aSa2bSSc6+NJ6L7diOk5uYrgORkISYJGgA8kc4vOl7X9s/pX9Mp2+dvvZ/6C4Aih8iFF3bh2qGIIj9YbG72F0ApIZpxKRaW/vbBx9+57vf+/4PPvph90c//slPf/bxJz9/KflUBPQo4BEXXw+JpBFL6JFiKqJfp4KSeBjRV8OzTaS/uqBCMp68UNcpPYnJOGEjFhAFTftXpx/31lbX9M+br/Rtpdexv+enn6z8yg95MI1pooKISHncX0vVSUaEYkFE864/lTQlwRkZ02OoJiSm8iTTkubeDWgJvREXcCXK063VHhmJpbyOh4CMiZrIJg0b22jHUzX6/CRjSTpVNAnMQKNp5CnuodpeyAQNVHQNFRIIBrJ6wYQIEigwTrc2zDCuKZGFEmWtt6EAivNI1puliom4FmHe7d7wnoCWLAH+CYk8ANWQVykRsm6t7EoqwZIxdPZjckYJTKaC7sjrof15z3STtA1dP6GXAY9jkoQ+P2NBHD6iV6BYAiYZnGQ+cCjaVZz2+tjQ6/cG+j6okECSRv/Mp6lkEU/yzL8gonhowaUTZjBYAeErg9Io8uFChdQk4CF9Ez389HPwKEAF+tn/5uEbHwBbFLxJ0B3AHYID8CgreETAHLuTKJ2QPDNGkXn2JgJhIn5JRQABkPnjkI6+yXw2SqaxryZUdxoLPk0f+vGjhHoVoTyQSpYt8DxieW5ER5mL9prtn4N8CTCWVM4aqzMwk5hMFc+z6oN3w3scvp1K5Un2joI3wDx7MNpIedDR8wUbT1SdV8JFTKIZG/vowe+Gt6sfvLQQiEnNt1WYC7BaonicH/dPshtdz/OLlswfavNgIzRDSjAz8uuHv7VNaA7fFzQiV7ZFBtj1jCYy6/VzzY5qJlDPW8c/gwCAGcTbHT+ZRlEIySpmOIfg+FSHSq//wNuBuOQepgtsGDzwDoGMZrqpJ5KnNLnt6SrIc9uD4DJOFXFJP8Mu6w+8TTO2TjDVyWgVzHrcViFOfrxuDVQBg5JFs+fVwtI2bY8OlfjyPOtBWPUGec0HdIPBeSCfqQFkro+Z3Dp8AI9Fj7Kx6GMpeU0wDr6g5dKTYe16iA53syoWmNEMCJUhG0P5hS6hPjaGhefxZ3YaZvaZ2RhyWqK6LjOWcQvebUMXJ89oMXvMtPeXOWjmlL31vOo6JjRWjXstM2TCrcf9JwN/m8FiFoaw4GWFT1bGgSczzGpNlbYRDZdSnG+ts2GQcIjMRdJU2GfgP7XoXGocLZPlr4OuMoJ+XlZjzUi78LKj1qZ0mbGd4/2PYuIZJu7QERjwtPHAO8BRK5i2DKTzd368YdNOxYkx7+A0oQJIM8mjZhQD2bCQ/0vV7Ly1KWhIS6hZBc4puwcCeDaEPDbypCJC0LBYQP4bU6y3mWLDNgalPe7CymXGryHvFWaqQO+3mG6XXm7Z3fRmmwkvmZoUiUbG+pfXjFkxdGFJu1ygvWCp+QK2qZQkL55oG7qyRiOnaU5388zY/F6e9+7pdSXr3a/af27NbvWehf5iI/95uZUp1+EW46AOcq++04oLjWs2yfRyqi+0ifWw5b2nrpvLHdrm/u6S8zyv+iuY7Z3qbOduQwxaDMFnltgevSTRlOKs4xQWGwinPzSc7ZaTklu7rhd23dAbmgpXzVbRK6WHzovybt7czbRN14ztDF7OWovB4PChF4bIpNLMF6bSjg2mAg8T0VDgxhPAptIOludDUYDPCvCZA0zGBgwHIh1OwlTaweHQgA1riouqEEXdoSVLkS2c5FVxc/FOU0C8NMCXbuAo4lxLUVSEqTgsR5m2nL0LfXdmgT04hIvq6cRG0HaSNNrbUsEWnw4jWjlsvTchzOeD3uAY/PAE/MnewbngfFdxorlRwMjGl8pyETiwzlS9LcJL60/V2yI8sS5VvdXfBPAxCxznUFjPwBXDXNcuaTim+TxAzzpULmiTCgdpeo5KcTjx0/PzBpmeAyDH+7lGzPdmI6RzfPFEld2Sxhn2yvGADreaKodUVU/Ui/IiWE4HzCyGbUjMQhmPrAERoQ6Zbl0yeR2HbGT3kUMGRwElmInUvAmlarcADrPdPJ8jvy7Jr1vI+yV5v4V8UJIPWsibJXmzhfy0JD9tIT8pyU9ayF+V5K/aFH+NGQTvp5k/pmttylnEvhNxYBEHM8S8fVOL2T3NftfG43VaCtIK2E9LOVoBB2kphgZUvW6HpK73OCGPIesMTjJML77iuNo2uI+mSWBg6xZ2EeArUQwI3b/YjTX6CSqV0Lzry1/93dFqblZn7d2ndvjKK7K9lAo478M5iUGUw+WggiB5hoWDHnDojoWDLqdoQV3Wkw9RigXO92AxpaoaZiYFNSzxlrOkCsI8NJ+mLCt3HrNsikRWlfJxNKaQF+ZTS13Jp2ikp24jfYmZFAsH/fEUJMSidYtSzV1jvUeZ7RKK3FVsFqqakSGc4fGVXa9/OsugZJg3TYQVjdNLivbE21g4HYYL0Ibrd9TN5GhnYyTIWXboZCDHoAQWDQbxNFJW4j9AZmUxrNwuHjt5tuOi/f5ZnsHloB4C9fCZTfR75t2kA7oHOwMnGyAe7lk2RwvZHOXZkZMNEOFqWAL2vjQJZcW5f+O0RDCBAJw4bQGpHK6aV+9O4yFso15MKBfXFd9GTchQmoVPP7FEQe7TjtF0mlTA/JRviyB+uGq6VsguWEi1GjrD1N5Ol8REU2vZgSWUiGXDD9JhpoTLAhAcsPvWpbO/hqg7i0BbmEW2qvvrOv05bAvgclChAsGhS1cOgf5wdV15mJExJGIsHYhhxIMzA9PVO4vAFzSAO3sHMwhVF+qAX+YZFg76JoedKxYN91VCppVA5mnTMUj4ls8At+bWdtgzolTGuUKZ9YsvK/juRZ9Q6niWpHZFxF0uML3t6QWvlsoTEl3jd45F20RkpThf+jyI6KCGXnTGY7i6106E7+EdBK3nx1qmyGe5XS9+wKAagCU1nA/OkbEZZOsAHnXO1/fB3BoRzsDhEui0wTrFT7sksl1mTy3DpM1xFnWtzi4c5tKIXrXNct0irLTI7HvdAV2Yvg/AxgfFyWA7Xojdhijfdsb4YwHBiYWDDieyPMPCtVjgRgULZzxKjEfpor8g0B+LVvotVFWirrJu3L0U1mL2Tn/wX5yLgQUR4xjFhDsc1Io9qW7Un+v82/6IebFLCcuBXL2XA0Dq3rMnQirK6d1rehev07lzRU15dA3JGssFiAgnq6gs3rfdwgUTFjyl9+WVfT4+zz7W649v3dOPe/3mvyfmKy8Hq/17qxv7G71HT/5o/lnxUeeXnU87Nzv9zv3Oo87TzvPOUSfo0M6fOn/u/GXlryt/X/nHyj8N9MMP7L8xftGp/Vb+9W8htHSV</latexit> x <latexit sha1_base64="F7yUKYufV7U7S2ClcoMnH1sxuOs=">AAAiOXiczVpLc9y4EZ7dvDaTx3qTY3Kgdsopr8tWNJJsb1yllL3SOlat9bBk2VsWtTKGxIzgIQkKwOhhFrfyF3JNfkp+SY65pXLNH0g3AA4fQ4xnkxwyVQRB9IdGd6O7AZAzSCMm1crK3z748Hvf/8EPf/TRj7s/+enPfv7xjU9+8VLyiQjoUcAjLr4eEEkjltAjxVREv04FJfEgoq8G402kv7qgQjKevFDXKT2JyShhQxYQBU2vrr657W14V6c3eivLK/rnzVb6ttLr2N/+6SdLv/ZDHkximqggIlIe91dSdZIRoVgQ0bzrTyRNSTAmI3oM1YTEVJ5kWt7cuwktoTfkAq5Eebq12iMjsZTX8QCQMVFnsknDxjba8UQNPz/JWJJOFE0CM9BwEnmKe6i8FzJBAxVdQ4UEgoGsXnBGBAkUmKhbG2YQ15TIQomy1ttQAMV5JOvNUsVEXIsw73Zvek9AS5YA/4REHoBqyKuUCFm3VnYllWDJCDr7MRlTAlOqoDvy2rA/75lukrah6yf0MuBxTJLQ52MWxOEjegWKJWCS1ZPMBw5Fu4rTXh8bev3eqr6vVkggSaN/5tNUsogneeZfEFE8tODSM2YwWAHhK4PSKPLhQoXUWcBD+iba+PRz8ChABfrZ/3bjjQ+ALQreJOgO4A7BAXiUFTwiYI7dSZSekTwzRpF59iYCYSJ+SUUAYZD5o5AOv818Nkwmsa/OqO40EnySbvjxo4R6FaE8kEqWLfA8ZHluREeZi/aa7fdBvgQYSyqnjdUZmEpMJornWfXBu+k9Dt9OpPIke0fBG2CePRhtqDzo6PmCjc5UnVfCRUyiKRv76MHvprerH7y0EIhJzbdVmAuwWqJ4nB/3T7KbXc/zi5bMH2jzYCM0Q2IwM/Kbjd/ZJjSH7wsakSvbIgPsOqaJzHr9XLOjmgnU89bxxxAAMIN4u+snkygKIWXFDOcQHJ/qUOn1H3o7EJfcw3SBDasPvUMgo5lu6YnkKU3ueLoK8tzxILiMU0Vc0s+wy9pDb9OMrRNMdTJaBbMet1WIkx+vWQNVwKBk0ex5tbC0TdvDQyW+PM96EFa91bzmA7rB4DyQz9QAMtPHTG4dvgqPRY+ysehjKXlNMA6+oOXSk2HteogOd6sqFpjRDAiVARtB+YUuoT4yhoXn0Wd2Gqb2mdoYclqiui4zlnEL3m1DFyfPaDF9zLT3lzlo6pS9tbzqOiY0lo17LTJkwq3H/ScDf5fBYhaGsOBlhU9WxoEnM8xyTZW2EQ2XUpzvrLNhkHCIzHnSVNhn4D+16FxoHC2T5a+DrjKCfl5UY81Iu/Cio9amdJGxneP9j2LiGSbu0BEY8LT+0DvAUSuYtgyk83d+vG7TTsWJMe/gNKECSDPJo2YUA1m3kP9L1ey8tSloSAuoWQXOKLsHAng2hDw29KQiQtCwWED+G1OstZli3TYGpT3uwcplxq8h7xdmqkAftJhul15u2d30ZpsJL5k6KxKNjPUvrxmzYujCkna5QHvBUvMFbFMpSV480TZ0ZY1GTtOc7uWZsfn9PO/d1+tK1ntQtf/Mmt3qPXP9xUb+frmVKdfhFuOgDnKvvtOKC41rNsn0cqovtIn1sMW9p66byx3a5v7egvM8q/ormO2d6mznbkOsthiCTy2xPXxJognFWccpLDYQTn9oONttJyW3dl0r7LquNzQVrpqtoldKD50X5b28uZtpm64p2ym8nLUWg8HhQy8MkUmlmS9MpR0bTAQeJqKBwI0ngE2lHSzPB6IAjwvw2AEmIwOGA5EOJ2Eq7eBwYMCGNcVFVYii7tCSpcgWzvOquLl4pykgXhrgSzdwGHGupSgqwlQclqNMW87ehb47s8AeHMJF9XRiI2g7SRrtbalgi08GEa0ctt6bEGbzQW/1GPzwBPzJ3sG54HxXcaKZUcDIxpfKch44sM5Uvc3DS+tP1ds8PLEuVb3V3wTwEQsc51BYz8AVw1zXLmk4ovksQM86VC5okwoHaXqOSnE48dPz8waZngMgx/u5Rsz2ZkOkc3z9RJXdksYZ9srxgA63miqHVFVP1PPyIlhOB8w0hm1ITEMZj6wBEaEOmW5dMnkdh2xo95EDBkcBJZiJ1LwJpWq3AA6y3TyfIb8uya9byM9L8vMW8kFJPmghb5bkzRby05L8tIX8pCQ/aSF/VZK/alP8NWYQvJ9m/oiutClnEc+diAOLOJgiZu2bWszuafb7Nh6v01KQVsDztJSjFXCQlmJoQNXrdkjqeo8T8hiyzupJhunFVxxX2wb34SQJDGzNwi4CfCWKAaH7F7uxRj9BpRKad335q787Ws7N6qy9+9QOX3lFtpdSAed9OCcxiHK4HFQQJM+wcNADDt2xcNDlBC2oy3ryIUqxwPkeLKZUVcPMpKCGJd5yllRBmIdm05Rl5c5jlk2RyKpSPo5GFPLCbGqpK/kUjfTUbaQvMZNi4aA/noCEWLRuUaq5a6T3KNNdQpG7is1CVTMygDM8vrLr9U+nGZQM8qaJsKJxeknRnngHC6fDcAHacP2Oupkc7WwMBRlnh04GcgRKYNFgEE8iZSX+BjIri2HldvHYybMdF+0Pz/IMLgf1EKiHz2yi3zPvJh3QPdgZONkA8XDPsjmay+Yoz46cbIAIV8MSsPelSSgrzv1bpyWCMwjAM6ctIJXDVfPq3Uk8gG3UizPKxXXFt1ETMpBm4dNPLFGQ+7RjNJ0mFTA/5dsiiB+umq4VsgsWUq2GzjC1t9MlMdHUWnZgCSVi0fCDdJgp4bIABAfsvnXp7K8h6u480BZmka3q/rpO34dtAVwOKlQgOHTpyiHQH66uKw8zMoJEjKUDMYh4MDYwXb07D3xBA7izdzCDUHWhDvhlnmHhoG9y2Lli0XBfJWRaCWSeNh2DhG/5FHB7Zm2HPSNKZZwrlFm/+LKC7170CaWOZ0lqV0Tc5QLTO55e8GqpPCHRNX7nmLdNRFaK84XPg4gOauh5ZzyGq3vtRPge3kHQen6sZYp8mtv14gcMqgFYUsPZ4Bwam0G2DuBR53x9X51ZI8IpOFwAnTZYp/hpl0S2y/SpZZi0Oc68rtXZhcNcGtGrtlmuW4SVFpl+rzugc9P3Adj4oDgZbMdzsdsQ5dvOGH8sIDixcNDhRJZnWLgWC9yoYOGMR4nxKF30FwT6Y9FKv42qStRV1o27l8JazN7pz/7zczGwIGIUo5hwh4NasSfVjfpznX/HHzIvdilhOZCr93IASN179kRIRTm9e03v4nU6d66oKY+uIVljOQcR4WQVlfn7ttu4YMKCp/S+vLLPx+fpx3r98a17eqPXb/57YrbycnW5f395/fl679GTP5p/VnzU+VXn086tTr/zoPOo87Sz3znqBJ1x50+dP3f+svTXpb8v/WPpnwb64Qf23xi/7NR+S//6NxtTdk4=</latexit> x⇤ = x while not converged: if is locally optimal return Submodular minimization Move to a locally optimal point <latexit sha1_base64="19Vkn5+/JWLGi7hVErKqinJf0C0=">AAAiTniczVrdc9u4Edddv1L1K9e+tX1Aokknl0lcS3aSa2bSSc6+NJ6L7cSOk5uYPgciIQkxSdAA5I9weHN/TV/bP6Wv/Uf61ml3QVD8EKHo2j5UMwRB7A+L3cXuAiA1TEKu9Orq3z/6+Hvf/8EPf3Tlx92f/PRnP//F1U9++UqJqfTZgS9CIb8aUsVCHrMDzXXIvkoko9EwZK+HJxtIf33GpOIifqkvE3YU0XHMR9ynGpqOr/46Id6YaUWSrz2fS594PCZeICIyPr7aW11ZNT8yX+nbSq9jf8+PP7n2W+jpTyMWaz+kSh32VxN9lFKpuR+yrOtNFUuof0LH7BCqMY2YOkqNEhm5AS0BGQkJV6yJaa32SGmk1GU0BGRE9UQ1adjYRjuc6tFnRymPk6lmsZ8PNJqGRAuCFiEBl8zX4SVUqC85yEr8CZXU12C3bm2YYVRTIg0UylpvQwG0EKGqNysdUXkpg6zbvUGegJY8Bv4xDQmAasiLhEpVt1Z6obTk8Rg6exE9YRTmWUN35PXQ/sgz06RsQ9eL2bkvoojGgSdOuB8Fj9gFKBaDSQZHqQccinYdJb0+NvT6vYG5DyokkKTRP/VYongo4iz1zqgsHlpwyYTnGKyA8JVBWRh6cKFCeuKLgL0NH17/DDwKUL559r55+NYDwCYDb5JsG3D74AAiTAseITDH7jRMJjRLc6OoLH0bgjChOGfSh9hIvXHARt+kHh/F08jTE2Y6jaWYJg+96FHMSEUoAlKpsgWeRzzLctFR5qK9ZvvnIF8MjBVTs8bqDMwkplMtsrT6QG6Qx8G7qdJE8fcMvAHmmcBoI02gI/EkH090nVcsZETDGRv7SOB3g+yYB5IUAnFl+LYKcwZWi7WIssP+UXqjS4hXtKTe0JgHG6EZskU+I797+AfbhObwPMlCemFblI9dT1is0l4/M+yYYQL1rHX8EwgAmEG83fHiaRgGkMcijnMIjs9MqPT6D8g2xKUgmC6wYfCA7AMZzXTTTKRIWHybmCrIc5tAcOVOFQrFPsUuaw/IRj62STDVyWgVzHrcZiFOdrhmDVQBg5JFMyG1sLRNW6N9Lb84TXsQVr1BVvMB05DjCMiX1wAy1yef3Dp8AI9Fj7Kx6GMpWU0wAb5g5DKTYe26jw53syoWmDEfECpDPobyc1NCfZwbFp7Hn9ppmNlnZmPIabHuusxYxi14tw1dnLxci9ljary/zEEzp+ytZVXXyUNjJXevZYaMhfW4/2Tg7zJYxIMAFry08MnKOPCUD7NSU6VtxJxLKc531jlnEAuIzEXSVNin4D+16FxqHCOT5W+CrjKCeV5WY8PIuPCyo9amdJmxneP9j2LiGSbuwBEY8LT+gOzhqBVMWwYy+Ts7XLdpp+LEmHdwmlABpOXJo2aUHLJuIf+Xqtl5a1MwJy2hZhU4p+wuCEBsCBE+IkpTKVlQLCD/jSnW2kyxbhv90h53YeXKx68h7xVmqkDvt5huh51v2t30RpsJz7meFIlGReaX1YxZMXRhSbtcoL1gqfkctqmMxi+fGBu6skYjpxlOd7M0t/m9LOvdM+tK2rtftf/cmt3qPQv9xUb+83IrU67DLcZBHdRufacVFRrXbJKa5dRcaBPrYct7T103lzu0zf3dJed5XvXXMNvb1dnO3IYYtBhCzCyxNXpFwynDWccpLDYQTn9oONstJyWzdl0r7LpuNjQVroatZhfaDJ0V5d2suZtpm64Z2xm8nLUWg8HhwywMYZ5KU0/mlXasP5V4mAiHEjeeAM4r7WB1OpQF+KQAnzjAdJyD4UBkwknmlXZwMMzBOWuGi6qURd2hJU+QLRzydXFz8U4SQLzKga/cwFEohJGiqMi84rAc48Zy9i7N3ZkFduEQLqunExtBW3HcaG9LBZtiOgxZ5bD1wYQwnw96g0PwwyPwJ3sH54LzXcWJ5kYBI+e+VJaLwL51puptEV5Zf6reFuGpdanqrf4mQIy57ziHwnoGrhhkpnbOgjHL5gFm1qFyxppUOEizU1RKwImfnZ42yOwUABneTw1ivjcfIV3gOymm7ZY0SrFXhgd0uNVU2cd3U6Umi/IiWM4EzCyGbUjMQhmPrD6VgQmZbl0ydRkFfGT3kUMORwEteR6pWRPK9E4BHKY7WTZHflOS37SQX5TkFy3kvZK810LeKMkbLeSnJflpC/lJSX7SQv6yJH/ZpvgbzCB4P069MVttU84iXjgRexaxN0PM2zexmJ3j9I9tPN4kpSCtgBdJKUcrYC8pxTCAqtdt08T1HicQEWSdwVGK6cXTAlfbBvfRNPZz2JqFnfn4ShQDwvQvdmONfpIpLQ3v+vJXf3e0kuWrs/HuYzt85RXZbsIknPfhnMQhyuFyUEGQLMXCQfcFdMfCQVdTtKAp68mHas1953uwiDFdDbM8BTUs8U7wuArCPDSfpiwrdx6zbIpEVpXycThmkBfmU0tdyadopKduI32BmRQLB/3xFCTEonWLUs1dY7NHme0SitxVbBaqmtEhnOHxlV2vfzzLoHSYNU2EFYMzS4rxxNtYOB1GSNBGmHfUzeRoZ2Mk6Um672SgxqAEFg0G0TTUVuKvIbPyCFZuF4/tLN120f70LEvhclD3gbr/zCb63fzdpAO6CzsDJxsg7u9aNgcL2Rxk6YGTDRDhalgC9r4sDlTFuX/vtIQ/gQCcOG0BqRyumlfvTKMhbKNeTpiQlxXfRk3oUOULn3nisYbcZxyj6TSJhPkp3xZB/AjddK2An/GAGTVMhqm9nS6JsaHWsgOPGZXLhh+kw1RLlwUgOGD3bUpnfwPRdxaBNjGLbFb313X6c9gWwOWgQgWCw5SuHAL94eq68jCnY0jEWDoQw1D4JznMVO8sAp8xH+78PcwgVF2oPXGepVg46BsCdq5YNNxXS5VUAlkkTcegwTsxA9yaW9thz4hS5c4VqLRffFnBdy/mhFLH8zixKyLucoHpbWIWvFoqj2l4id85Fm0TkZUWYunzIKL9GnrRGY/j6l47EX6At++3nh9rmSKb5Xaz+AGDagCW1GA+OEe5zSBb+/Bocr65D+bWiGAGDpZAJw3WCX7apaHtMntqGSZpjrOoa3V24TCXhOyibZbrFuGlRWbf6/bYwvS9BzbeK04GW9FC7BZE+ZYzxh9LCE4sHHQ4kWUpFq7FAjcqWDjjUWE8Khf9JYX+WLTSb6GqCnVVdePuJrAW8/fmvwCLczGwoHIcoZhwh4NasSc1jeZznXfbG3ESuZSwHOjFBzkApO49uzJgspze3aZ3iTpdOFfURISXkKyxXIAIcbKKyuJ92y1cMGHB02ZfXtnn4/PsY735+NY9vtrrN/89MV95NVjp31tZf7Hee/Tk2/yfFVc6v+lc79zs9Dv3O486TzvPOwcdv/Nt58+dv3T+eu1v1/5x7Z/X/pVDP/7I/hvjV53a7/qVfwNz0X1p</latexit> p p 2 dom g <latexit sha1_base64="XMGI4G6eIVJB5P3pkephGVJGW10=">AAAiM3iczVrdc9u4Edddv67q11372D7Qp0knl0lcS3aSa2bSSc6+NJ6L7diOk5uYrgORkISYJGgA8kc4vOl7X9s/pX9Mp2+dvvZ/6C4Aih8iFF3bh2qGIIj9YbG72F0ApIZpxKRaW/vbBx9+57vf+/4PPvph90c//slPf/bxJz9/KflUBPQo4BEXXw+JpBFL6JFiKqJfp4KSeBjRV8OzTaS/uqBCMp68UNcpPYnJOGEjFhAFTfvp6ce9tdU1/fPmK31b6XXs7/npJyu/8kMeTGOaqCAiUh7311J1khGhWBDRvOtPJU1JcEbG9BiqCYmpPMm0pLl3A1pCb8QFXInydGu1R0ZiKa/jISBjoiayScPGNtrxVI0+P8lYkk4VTQIz0GgaeYp7qLYXMkEDFV1DhQSCgaxeMCGCBAqM060NM4xrSmShRFnrbSiA4jyS9WapYiKuRZh3uze8J6AlS4B/QiIPQDXkVUqErFsru5JKsGQMnf2YnFECk6mgO/J6aH/eM90kbUPXT+hlwOOYJKHPz1gQh4/oFSiWgEkGJ5kPHIp2Fae9Pjb0+r2Bvg8qJJCk0T/zaSpZxJM88y+IKB5acOmEGQxWQPjKoDSKfLhQITUJeEjfRA8//Rw8ClCBfva/efjGB8AWBW8SdAdwh+AAPMoKHhEwx+4kSickz4xRZJ69iUCYiF9SEUAAZP44pKNvMp+NkmnsqwnVncaCT9OHfvwooV5FKA+kkmULPI9YnhvRUeaivWb75yBfAowllbPG6gzMJCZTxfOs+uDd8B6Hb6dSeZK9o+ANMM8ejDZSHnT0fMHGE1XnlXARk2jGxj568Lvh7eoHLy0EYlLzbRXmAqyWKB7nx/2T7EbX8/yiJfOH2jzYCM2QEsyM/Prhb20TmsP3BY3IlW2RAXY9o4nMev1cs6OaCdTz1vHPIABgBvF2x0+mURRCsooZziE4PtWh0us/8HYgLrmH6QIbBg+8QyCjmW7qieQpTW57ugry3PYguIxTRVzSz7DL+gNv04ytE0x1MloFsx63VYiTH69bA1XAoGTR7Hm1sLRN26NDJb48z3oQVr1BXvMB3WBwHshnagCZ62Mmtw4fwGPRo2ws+lhKXhOMgy9oufRkWLseosPdrIoFZjQDQmXIxlB+oUuoj41h4Xn8mZ2GmX1mNoaclqiuy4xl3IJ329DFyTNazB4z7f1lDpo5ZW89r7qOCY1V417LDJlw63H/ycDfZrCYhSEseFnhk5Vx4MkMs1pTpW1Ew6UU51vrbBgkHCJzkTQV9hn4Ty06lxpHy2T566CrjKCfl9VYM9IuvOyotSldZmzneP+jmHiGiTt0BAY8bTzwDnDUCqYtA+n8nR9v2LRTcWLMOzhNqADSTPKoGcVANizk/1I1O29tChrSEmpWgXPK7oEAng0hj408qYgQNCwWkP/GFOttptiwjUFpj7uwcpnxa8h7hZkq0Pstptull1t2N73ZZsJLpiZFopGx/uU1Y1YMXVjSLhdoL1hqvoBtKiXJiyfahq6s0chpmtPdPDM2v5fnvXt6Xcl696v2n1uzW71nob/YyH9ebmXKdbjFOKiD3KvvtOJC45pNMr2c6gttYj1see+p6+Zyh7a5v7vkPM+r/gpme6c627nbEIMWQ/CZJbZHL0k0pTjrOIXFBsLpDw1nu+Wk5Nau64VdN/SGpsJVs1X0Sumh86K8mzd3M23TNWM7g5ez1mIwOHzohSEyqTTzham0Y4OpwMNENBS48QSwqbSD5flQFOCzAnzmAJOxAcOBSIeTMJV2cDg0YMOa4qIqRFF3aMlSZAsneVXcXLzTFBAvDfClGziKONdSFBVhKg7LUaYtZ+9C351ZYA8O4aJ6OrERtJ0kjfa2VLDFp8OIVg5b700I8/mgNzgGPzwBf7J3cC4431WcaG4UMLLxpbJcBA6sM1Vvi/DS+lP1tghPrEtVb/U3AXzMAsc5FNYzcMUw17VLGo5pPg/Qsw6VC9qkwkGanqNSHE789Py8QabnAMjxfq4R873ZCOkcXzxRZbekcYa9cjygw62myiFV1RP1orwIltMBM4thGxKzUMYja0BEqEOmW5dMXschG9l95JDBUUAJZiI1b0Kp2i2Aw2w3z+fIr0vy6xbyfknebyEflOSDFvJmSd5sIT8tyU9byE9K8pMW8lcl+as2xV9jBsH7aeaP6Vqbchax70QcWMTBDDFv39Ridk+z37XxeJ2WgrQC9tNSjlbAQVqKoQFVr9shqes9TshjyDqDkwzTi684rrYN7qNpEhjYuoVdBPhKFANC9y92Y41+gkolNO/68ld/d7Sam9VZe/epHb7yimwvpQLO+3BOYhDlcDmoIEieYeGgBxy6Y+GgyylaUJf15EOUYoHzPVhMqaqGmUlBDUu85SypgjAPzacpy8qdxyybIpFVpXwcjSnkhfnUUlfyKRrpqdtIX2ImxcJBfzwFCbFo3aJUc9dY71Fmu4QidxWbhapmZAhneHxl1+ufzjIoGeZNE2FF4/SSoj3xNhZOh+ECtOH6HXUzOdrZGAlylh06GcgxKIFFg0E8jZSV+A+QWVkMK7eLx06e7bhov3+WZ3A5qIdAPXxmE/2eeTfpgO7BzsDJBoiHe5bN0UI2R3l25GQDRLgaloC9L01CWXHu3zgtEUwgACdOW0Aqh6vm1bvTeAjbqBcTysV1xbdREzKUZuHTTyxRkPu0YzSdJhUwP+XbIogfrpquFbILFlKths4wtbfTJTHR1Fp2YAklYtnwg3SYKeGyAAQH7L516eyvIerOItAWZpGt6v66Tn8O2wK4HFSoQHDo0pVDoD9cXVceZmQMiRhLB2IY8eDMwHT1ziLwBQ3gzt7BDELVhTrgl3mGhYO+yWHnikXDfZWQaSWQedp0DBK+5TPArbm1HfaMKJVxrlBm/eLLCr570SeUOp4lqV0RcZcLTG97esGrpfKERNf4nWPRNhFZKc6XPg8iOqihF53xGK7utRPhe3gHQev5sZYp8llu14sfMKgGYEkN54NzZGwG2TqAR53z9X0wt0aEM3C4BDptsE7x0y6JbJfZU8swaXOcRV2rswuHuTSiV22zXLcIKy0y+153QBem7wOw8UFxMtiOF2K3Icq3nTH+WEBwYuGgw4ksz7BwLRa4UcHCGY8S41G66C8I9MeilX4LVZWoq6wbdy+FtZi90x/8F+diYEHEOEYx4Q4HtWJPqhv15zr/tj9iXuxSwnIgV+/lAJC69+yJkIpyevea3sXrdO5cUVMeXUOyxnIBIsLJKiqL9223cMGEBU/pfXlln4/Ps4/1+uNb9/TjXr/574n5ysvBav/e6sb+Ru/Rkz+af1Z81Pll59POzU6/c7/zqPO087xz1Ak6tPOnzp87f1n568rfV/6x8k8D/fAD+2+MX3Rqv5V//RsTLXSN</latexit> p <latexit sha1_base64="EWf0eTUM6lBmKccJTHc+E7+GZF4=">AAAiOXiczVpLc9y4EZ7dvDaTx3qTY3Kgdsopr8tWNJJsb1yllL3SOlat9bBk2VsWtTKGxIzgIQkKwOhhFrfyF3JNfkp+SY65pXLNH0g3AA4fQ4xnkxwyVQRB9IdGd6O7AZAzSCMm1crK3z748Hvf/8EPf/TRj7s/+enPfv7xjU9+8VLyiQjoUcAjLr4eEEkjltAjxVREv04FJfEgoq8G402kv7qgQjKevFDXKT2JyShhQxYQBU2v0m9uexteenqjt7K8on/ebKVvK72O/e2ffrL0az/kwSSmiQoiIuVxfyVVJxkRigURzbv+RNKUBGMyosdQTUhM5Umm5c29m9ASekMu4EqUp1urPTISS3kdDwAZE3UmmzRsbKMdT9Tw85OMJelE0SQwAw0nkae4h8p7IRM0UNE1VEggGMjqBWdEkECBibq1YQZxTYkslChrvQ0FUJxHst4sVUzEtQjzbvem9wS0ZAnwT0jkAaiGvEqJkHVrZVdSCZaMoLMfkzElMKUKuiOvDfvznukmaRu6fkIvAx7HJAl9PmZBHD6iV6BYAiZZPcl84FC0qzjt9bGh1++t6vtqhQSSNPpnPk0li3iSZ/4FEcVDCy49YwaDFRC+MiiNIh8uVEidBTykb6KNTz8HjwJUoJ/9bzfe+ADYouBNgu4A7hAcgEdZwSMC5tidROkZyTNjFJlnbyIQJuKXVAQQBpk/Cunw28xnw2QS++qM6k4jwSfphh8/SqhXEcoDqWTZAs9DludGdJS5aK/Zfh/kS4CxpHLaWJ2BqcRkonieVR+8m97j8O1EKk+ydxS8AebZg9GGyoOOni/Y6EzVeSVcxCSasrGPHvxuerv6wUsLgZjUfFuFuQCrJYrH+XH/JLvZ9Ty/aMn8gTYPNkIzJAYzI7/Z+J1tQnP4vqARubItMsCuY5rIrNfPNTuqmUA9bx1/DAEAM4i3u34yiaIQUlbMcA7B8akOlV7/obcDcck9TBfYsPrQOwQymumWnkie0uSOp6sgzx0Pgss4VcQl/Qy7rD30Ns3YOsFUJ6NVMOtxW4U4+fGaNVAFDEoWzZ5XC0vbtD08VOLL86wHYdVbzWs+oBsMzgP5TA0gM33M5Nbhq/BY9Cgbiz6WktcE4+ALWi49Gdauh+hwt6pigRnNgFAZsBGUX+gS6iNjWHgefWanYWqfqY0hpyWq6zJjGbfg3TZ0cfKMFtPHTHt/mYOmTtlby6uuY0Jj2bjXIkMm3HrcfzLwdxksZmEIC15W+GRlHHgywyzXVGkb0XApxfnOOhsGCYfInCdNhX0G/lOLzoXG0TJZ/jroKiPo50U11oy0Cy86am1KFxnbOd7/KCaeYeIOHYEBT+sPvQMctYJpy0A6f+fH6zbtVJwY8w5OEyqANJM8akYxkHUL+b9Uzc5bm4KGtICaVeCMsnsggGdDyGNDTyoiBA2LBeS/McVamynWbWNQ2uMerFxm/BryfmGmCvRBi+l26eWW3U1vtpnwkqmzItHIWP/ymjErhi4saZcLtBcsNV/ANpWS5MUTbUNX1mjkNM3pXp4Zm9/P8959va5kvQdV+8+s2a3eM9dfbOTvl1uZch1uMQ7qIPfqO6240Lhmk0wvp/pCm1gPW9x76rq53KFt7u8tOM+zqr+C2d6pznbuNsRqiyH41BLbw5ckmlCcdZzCYgPh9IeGs912UnJr17XCrut6Q1PhqtkqeqX00HlR3subu5m26ZqyncLLWWsxGBw+9MIQmVSa+cJU2rHBROBhIhoI3HgC2FTawfJ8IArwuACPHWAyMmA4EOlwEqbSDg4HBmxYU1xUhSjqDi1ZimzhPK+Km4t3mgLipQG+dAOHEedaiqIiTMVhOcq05exd6LszC+zBIVxUTyc2graTpNHelgq2+GQQ0cph670JYTYf9FaPwQ9PwJ/sHZwLzncVJ5oZBYxsfKks54ED60zV2zy8tP5Uvc3DE+tS1Vv9TQAfscBxDoX1DFwxzHXtkoYjms8C9KxD5YI2qXCQpueoFIcTPz0/b5DpOQByvJ9rxGxvNkQ6x9dPVNktaZxhrxwP6HCrqXJIVfVEPS8vguV0wExj2IbENJTxyBoQEeqQ6dYlk9dxyIZ2HzlgcBRQgplIzZtQqnYL4CDbzfMZ8uuS/LqF/LwkP28hH5TkgxbyZknebCE/LclPW8hPSvKTFvJXJfmrNsVfYwbB+2nmj+hKm3IW8dyJOLCIgyli1r6pxeyeZr9v4/E6LQVpBTxPSzlaAQdpKYYGVL1uh6Su9zghjyHrrJ5kmF58xXG1bXAfTpLAwNYs7CLAV6IYELp/sRtr9BNUKqF515e/+ruj5dysztq7T+3wlVdkeykVcN6HcxKDKIfLQQVB8gwLBz3g0B0LB11O0IK6rCcfohQLnO/BYkpVNcxMCmpY4i1nSRWEeWg2TVlW7jxm2RSJrCrl42hEIS/Mppa6kk/RSE/dRvoSMykWDvrjCUiIResWpZq7RnqPMt0lFLmr2CxUNSMDOMPjK7te/3SaQckgb5oIKxqnlxTtiXewcDoMF6AN1++om8nRzsZQkHF26GQgR6AEFg0G8SRSVuJvILOyGFZuF4+dPNtx0f7wLM/gclAPgXr4zCb6PfNu0gHdg52Bkw0QD/csm6O5bI7y7MjJBohwNSwBe1+ahLLi3L91WiI4gwA8c9oCUjlcNa/encQD2Ea9OKNcXFd8GzUhA2kWPv3EEgW5TztG02lSAfNTvi2C+OGq6Vohu2Ah1WroDFN7O10SE02tZQeWUCIWDT9Ih5kSLgtAcMDuW5fO/hqi7s4DbWEW2arur+v0fdgWwOWgQgWCQ5euHAL94eq68jAjI0jEWDoQg4gHYwPT1bvzwBc0gDt7BzMIVRfqgF/mGRYO+iaHnSsWDfdVQqaVQOZp0zFI+JZPAbdn1nbYM6JUxrlCmfWLLyv47kWfUOp4lqR2RcRdLjC94+kFr5bKExJd43eOedtEZKU4X/g8iOighp53xmO4utdOhO/hHQSt58dapsinuV0vfsCgGoAlNZwNzqGxGWTrAB51ztf31Zk1IpyCwwXQaYN1ip92SWS7TJ9ahkmb48zrWp1dOMylEb1qm+W6RVhpken3ugM6N30fgI0PipPBdjwXuw1Rvu2M8ccCghMLBx1OZHmGhWuxwI0KFs54lBiP0kV/QaA/Fq3026iqRF1l3bh7KazF7J3+7D8/FwMLIkYxigl3OKgVe1LdqD/X+Xf8IfNilxKWA7l6LweA1L1nT4RUlNO71/QuXqdz54qa8ugakjWWcxARTlZRmb9vu40LJix4Su/LK/t8fJ5+rNcf37qnN3r95r8nZisvV5f795fXn6/3Hj35o/lnxUedX3U+7dzq9DsPOo86Tzv7naNO0Bl3/tT5c+cvS39d+vvSP5b+aaAffmD/jfHLTu239K9/A/4Gdj4=</latexit> p⇤ = p <latexit sha1_base64="XMGI4G6eIVJB5P3pkephGVJGW10=">AAAiM3iczVrdc9u4Edddv67q11372D7Qp0knl0lcS3aSa2bSSc6+NJ6L7diOk5uYrgORkISYJGgA8kc4vOl7X9s/pX9Mp2+dvvZ/6C4Aih8iFF3bh2qGIIj9YbG72F0ApIZpxKRaW/vbBx9+57vf+/4PPvph90c//slPf/bxJz9/KflUBPQo4BEXXw+JpBFL6JFiKqJfp4KSeBjRV8OzTaS/uqBCMp68UNcpPYnJOGEjFhAFTfvp6ce9tdU1/fPmK31b6XXs7/npJyu/8kMeTGOaqCAiUh7311J1khGhWBDRvOtPJU1JcEbG9BiqCYmpPMm0pLl3A1pCb8QFXInydGu1R0ZiKa/jISBjoiayScPGNtrxVI0+P8lYkk4VTQIz0GgaeYp7qLYXMkEDFV1DhQSCgaxeMCGCBAqM060NM4xrSmShRFnrbSiA4jyS9WapYiKuRZh3uze8J6AlS4B/QiIPQDXkVUqErFsru5JKsGQMnf2YnFECk6mgO/J6aH/eM90kbUPXT+hlwOOYJKHPz1gQh4/oFSiWgEkGJ5kPHIp2Fae9Pjb0+r2Bvg8qJJCk0T/zaSpZxJM88y+IKB5acOmEGQxWQPjKoDSKfLhQITUJeEjfRA8//Rw8ClCBfva/efjGB8AWBW8SdAdwh+AAPMoKHhEwx+4kSickz4xRZJ69iUCYiF9SEUAAZP44pKNvMp+NkmnsqwnVncaCT9OHfvwooV5FKA+kkmULPI9YnhvRUeaivWb75yBfAowllbPG6gzMJCZTxfOs+uDd8B6Hb6dSeZK9o+ANMM8ejDZSHnT0fMHGE1XnlXARk2jGxj568Lvh7eoHLy0EYlLzbRXmAqyWKB7nx/2T7EbX8/yiJfOH2jzYCM2QEsyM/Prhb20TmsP3BY3IlW2RAXY9o4nMev1cs6OaCdTz1vHPIABgBvF2x0+mURRCsooZziE4PtWh0us/8HYgLrmH6QIbBg+8QyCjmW7qieQpTW57ugry3PYguIxTRVzSz7DL+gNv04ytE0x1MloFsx63VYiTH69bA1XAoGTR7Hm1sLRN26NDJb48z3oQVr1BXvMB3WBwHshnagCZ62Mmtw4fwGPRo2ws+lhKXhOMgy9oufRkWLseosPdrIoFZjQDQmXIxlB+oUuoj41h4Xn8mZ2GmX1mNoaclqiuy4xl3IJ329DFyTNazB4z7f1lDpo5ZW89r7qOCY1V417LDJlw63H/ycDfZrCYhSEseFnhk5Vx4MkMs1pTpW1Ew6UU51vrbBgkHCJzkTQV9hn4Ty06lxpHy2T566CrjKCfl9VYM9IuvOyotSldZmzneP+jmHiGiTt0BAY8bTzwDnDUCqYtA+n8nR9v2LRTcWLMOzhNqADSTPKoGcVANizk/1I1O29tChrSEmpWgXPK7oEAng0hj408qYgQNCwWkP/GFOttptiwjUFpj7uwcpnxa8h7hZkq0Pstptull1t2N73ZZsJLpiZFopGx/uU1Y1YMXVjSLhdoL1hqvoBtKiXJiyfahq6s0chpmtPdPDM2v5fnvXt6Xcl696v2n1uzW71nob/YyH9ebmXKdbjFOKiD3KvvtOJC45pNMr2c6gttYj1see+p6+Zyh7a5v7vkPM+r/gpme6c627nbEIMWQ/CZJbZHL0k0pTjrOIXFBsLpDw1nu+Wk5Nau64VdN/SGpsJVs1X0Sumh86K8mzd3M23TNWM7g5ez1mIwOHzohSEyqTTzham0Y4OpwMNENBS48QSwqbSD5flQFOCzAnzmAJOxAcOBSIeTMJV2cDg0YMOa4qIqRFF3aMlSZAsneVXcXLzTFBAvDfClGziKONdSFBVhKg7LUaYtZ+9C351ZYA8O4aJ6OrERtJ0kjfa2VLDFp8OIVg5b700I8/mgNzgGPzwBf7J3cC4431WcaG4UMLLxpbJcBA6sM1Vvi/DS+lP1tghPrEtVb/U3AXzMAsc5FNYzcMUw17VLGo5pPg/Qsw6VC9qkwkGanqNSHE789Py8QabnAMjxfq4R873ZCOkcXzxRZbekcYa9cjygw62myiFV1RP1orwIltMBM4thGxKzUMYja0BEqEOmW5dMXschG9l95JDBUUAJZiI1b0Kp2i2Aw2w3z+fIr0vy6xbyfknebyEflOSDFvJmSd5sIT8tyU9byE9K8pMW8lcl+as2xV9jBsH7aeaP6Vqbchax70QcWMTBDDFv39Ridk+z37XxeJ2WgrQC9tNSjlbAQVqKoQFVr9shqes9TshjyDqDkwzTi684rrYN7qNpEhjYuoVdBPhKFANC9y92Y41+gkolNO/68ld/d7Sam9VZe/epHb7yimwvpQLO+3BOYhDlcDmoIEieYeGgBxy6Y+GgyylaUJf15EOUYoHzPVhMqaqGmUlBDUu85SypgjAPzacpy8qdxyybIpFVpXwcjSnkhfnUUlfyKRrpqdtIX2ImxcJBfzwFCbFo3aJUc9dY71Fmu4QidxWbhapmZAhneHxl1+ufzjIoGeZNE2FF4/SSoj3xNhZOh+ECtOH6HXUzOdrZGAlylh06GcgxKIFFg0E8jZSV+A+QWVkMK7eLx06e7bhov3+WZ3A5qIdAPXxmE/2eeTfpgO7BzsDJBoiHe5bN0UI2R3l25GQDRLgaloC9L01CWXHu3zgtEUwgACdOW0Aqh6vm1bvTeAjbqBcTysV1xbdREzKUZuHTTyxRkPu0YzSdJhUwP+XbIogfrpquFbILFlKths4wtbfTJTHR1Fp2YAklYtnwg3SYKeGyAAQH7L516eyvIerOItAWZpGt6v66Tn8O2wK4HFSoQHDo0pVDoD9cXVceZmQMiRhLB2IY8eDMwHT1ziLwBQ3gzt7BDELVhTrgl3mGhYO+yWHnikXDfZWQaSWQedp0DBK+5TPArbm1HfaMKJVxrlBm/eLLCr570SeUOp4lqV0RcZcLTG97esGrpfKERNf4nWPRNhFZKc6XPg8iOqihF53xGK7utRPhe3gHQev5sZYp8llu14sfMKgGYEkN54NzZGwG2TqAR53z9X0wt0aEM3C4BDptsE7x0y6JbJfZU8swaXOcRV2rswuHuTSiV22zXLcIKy0y+153QBem7wOw8UFxMtiOF2K3Icq3nTH+WEBwYuGgw4ksz7BwLRa4UcHCGY8S41G66C8I9MeilX4LVZWoq6wbdy+FtZi90x/8F+diYEHEOEYx4Q4HtWJPqhv15zr/tj9iXuxSwnIgV+/lAJC69+yJkIpyevea3sXrdO5cUVMeXUOyxnIBIsLJKiqL9223cMGEBU/pfXlln4/Ps4/1+uNb9/TjXr/574n5ysvBav/e6sb+Ru/Rkz+af1Z81Pll59POzU6/c7/zqPO087xz1Ak6tPOnzp87f1n568rfV/6x8k8D/fAD+2+MX3Rqv5V//RsTLXSN</latexit> p ࢄ࠷ٸ߱Լ๏ɼॳظ͔Β࠷ʮ͍ۙʯ࠷దղʹ࠷࿏ͰͨͲΓண͘ ఆཧ [Murota–Shioura ’14, Minamikawa–Shioura ’21] ༧ଌ͕࣮ߦෆՄೳɹɹɹɹɹɹɹɹɹɹͳ߹ɼ࣮ߦՄೳྖҬʹࣹӨ͢Δʢଟ߲ࣜ࣌ؒʣ ࠷దղʢू߹ʣʹ͍ۙɹɹΛ༧ଌͯ͠ɼ͔ͦ͜Βࢄ࠷ٸ߱Լ๏Λελʔτ ༧ଌ͖ͭࢄತؔ࠷খԽ [O.–Sakaue, NeurIPS ’23] [Sakaue-O., NeurIPS ’22, ICML ’23] ΦϯϥΠϯತ࠷దԽͷղͱͯ͠ɼ༧ଌΛϦάϨοτอূ͖ͭͰஞ࣍తʹߏͰ͖Δ