Newer
Older
"Now let us visualize a solution obtained via backtracking. We use of the previosuly defined **make_instru** function for keeping a history of steps."
]
},
{
"cell_type": "code",
"twelve_queens_csp = NQueensCSP(12)\n",
"backtracking_instru_queen = make_instru(twelve_queens_csp)\n",
"result = backtracking_search(backtracking_instru_queen)"
]
},
{
"cell_type": "code",
},
"outputs": [],
"source": [
"backtrack_queen_step = make_plot_board_step_function(backtracking_instru_queen) # Step Function for Widgets"
]
},
{
"cell_type": "markdown",
"Now finally we set some matplotlib parameters to adjust how our plot will look. The font is necessary because the Black Queen Unicode character is not a part of all fonts. You can move the slider to experiment and observe the how queens are assigned. It is also possible to move the slider using arrow keys or to jump to the value by directly editing the number with a double click.The **Visualize Button** will automatically animate the slider for you. The **Extra Delay Box** allows you to set time delay in seconds upto one second for each time step.\n"
1037
1038
1039
1040
1041
1042
1043
1044
1045
1046
1047
1048
1049
1050
1051
1052
1053
1054
1055
1056
1057
1058
1059
1060
1061
1062
1063
1064
1065
1066
"execution_count": 29,
"metadata": {},
"outputs": [
{
"data": {
"image/png": "iVBORw0KGgoAAAANSUhEUgAAAcgAAAHICAYAAADKoXrqAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAADS1JREFUeJzt3X+s3Xddx/H3ub0EcG3XIbNb13a7c2WBEu0ipugdGw7Y\nJiJXwBglzsSwoP6hy4KJidH9wz9qjCZLFgyJE1EIMAZchoQEXDR4cez3j24r2+ytZZWBMaa9t/f2\ndrf36x+3vfOmr5wfzf1yjvHx+OcmJ5/evvP+55nPOd97b6dpmgIA1hsb9gAAMIoEEgACgQSAQCAB\nIBBIAAgEEgACgQSAQCABIBBIAAjGBzk8PTM7Ur92Z2pyYtgjrDM9MzvsEc5hR93ZT2921J399DZq\nO6qqTj+H3CABIBBIAAh+6IF86eiRevBfvlGLC/M/7P8aAPo20GeQg/qv/3ypFubnatfEnqqq+t6L\nh+v233xPnVxcqDe8aV/92ce/UFVVp5aW6sjsc7VrYk+9+tWvaXMkAOhLazfIRx/45/rwL19Xv3vL\nTXXPJ++qqqqjRw7VycWFqqp68d9fqNPLy/XyqaX6yIfeW79/61R95EPvrVNLS22NBAB9ay2QTz7y\nrTp9ermqqh6eub+qqt7yszfUB275naqq+uidn65N4+P10tEj9d3Dz1dV1YuHX6j/eHH0nsAC4P+f\nDQ1k0zRrN8Sff9+v1959+6uq6n0f/PDamZ2XX1VVVbvPvO2684qrau++/TW2aVP93M3vr8uvvLqq\nyk0SgKHasED+4KWj9du/8vb64M0/Wfd88q7avmNXffTOT9XY2Pr/YvHE3OrXMyHtdDp1weYt9dbr\nbqrb/ujP6+TiQv3Bb32gfvVde+uuP/3DjRoPAAayYYF88Jtfr+9/77u1cvp0fe2Ln1r95mNjdcHm\nrXXg8W+vnVtcOFFVtXbTXFlZqWeeeKgu2bGrqqoOPvVIfefpx2plZaW+ft9nPO0KwFBsWCCv2X9d\nbXvd66uq6sapX1t7fcvWbXXgsXMDuXQmkIdfeLbm547V9ktXA7nnTfvq4u07amxsrK6/6ZfqtT+y\neaNGBIC+bVggL9t9Zd39pQfqp37m7fXjV7957fUtF15URw59p+aPH6uqqoUzN8Kzb7EeeOyBqqra\nftlqIJtmpebnjteffOzzdfsf/8VGjQcAA9nQh3TGxsbqrdffVF/4+79ae23z1gtX30Z98qGq+t9v\nsa5+PXu73L5jd1VVffkzf11bt72u3rB330aOBgAD2fAf8/jpyXfUwaceqYMHHq2qqi1bL6qqV0J4\n9jPFk4sLa58/jm3aVBdv31Hzx4/VP9z7t3XtO35ho8cCgIFseCC3XfT6unrvNXXv332sqqq2XLit\nqqqePvOgzuKJVwJ5+N8O1vzcsfrRiy+p8fFX1Zc/d3ctnJiva294z0aPBQADaeUXBex/24318Lfu\nryOHnlu7Qc6+8GwtnJhb9xTr2c8fL9mxu+bnjtdXPv+J2nnFVTWx541tjAUAfWsnkNe9q5qmqS9+\n+uO1eeuFVVW1cvp0PfPEQ+s+gzz7tuuPXbqz7vvc3bUwP1fX3uDtVQCGr5VAXrrzitp1xZ765jfu\nq6WTi2uvH3j8wVeeYl04Uc88/mBVrf4oyFfu+URVVb3tnb/YxkgAMJDWfhfrm6/ZX8vLL9f9X713\n7bWnH/v22kM6B596tObnVn/046GZf6wT88fr4u076rLdV7Y1EgD0rbU/d7VpfPVbn/1F5FVVh557\nuppmpaqqDjz+wNrrR48cOvNvXtXWOAAwkFb/HuQbf+It9e7339LX2eXl5frs39zZ5jgA0LdWA7n8\n8qk6fuy/+zp79k9jAcAoaDWQzz/7ZD3/7JN9n7/ksstbnAYA+tfaQzoA8H+ZQAJA0OpbrNffOFW3\n3/GXfZ09tbRUv/cbN7c5DgD0rdVA/us/fa2eeHim7/Ovee0FLU4DAP1rLZC33nZH3XrbHW19ewBo\nlc8gASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgKDTNM0g5wc63Lbpmdlhj7DO1OTEsEc4hx11\nZz+92VF39tPbCO6o0885N0gACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBA\nIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKB\nBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBgfJDD0zOzbc1xXqYmJ4Y9wjqjtp8qO+rF\nfnqzo+7sp7dR21G/3CABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSA\nQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgAC\ngQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAoNM0zSDnBzrctumZ2WGPsM7U5MSwRziH\nHXVnP73ZUXf209sI7qjTzzk3SAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEE\ngEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIA\nAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgGB8kMPTM7NtzXFepiYnhj3COqO2nyo7\n6sV+erOj7uynt1HbUb/cIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKB\nBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQS\nAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAIJO0zSDnB/ocNumZ2aHPcI6U5MTwx7hHHbU\nnf30Zkfd2U9vI7ijTj/n3CABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgAC\ngQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgE\nEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgCC8UEOT8/MtjXHeZmanBj2COuM2n6q7KgX\n++nNjrqzn95GbUf9coMEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIA\nAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAI\nBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAgk7TNIOcH+hw26ZnZoc9wjpTkxPDHuEc\ndtSd/fRmR93ZT28juKNOP+fcIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQS\nAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgA\nCAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAILxQQ5Pz8y2Ncd5mZqcGPYI64zafqrs\nqBf76c2OurOf3kZtR/1ygwSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgE\nEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBI\nAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAg6TdMMcn6gw22bnpkd9gjrTE1ODHuEc9hR\nd/bTmx11Zz+9jeCOOv2cc4MEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAI\nBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQ\nSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIxgc5PD0z29Yc52VqcmLYI6wzavupsqNe\n7Kc3O+rOfnobtR31yw0SAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgA\nCAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEg\nEEgACAQSAAKBBIBAIAEgEEgACAQSAAKBBIBAIAEgEEgACDpN0wxyfqDDbZuemR32COtMTU4Me4Rz\n2FF39tObHXVnP72N4I46/ZxzgwSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBI\nAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCAB\nIBBIAAgEEgACgQSAQCABIBBIAAgEEgACgQSAQCABIBBIAAg6TdMMewYAGDlukAAQCCQABAIJAIFA\nAkAgkAAQCCQABAIJAIFAAkAgkAAQCCQABP8DCNiNomYWeDEAAAAASUVORK5CYII=\n",
"text/plain": [
"<matplotlib.figure.Figure at 0x7feb328181d0>"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"name": "stderr",
"output_type": "stream",
"text": [
"Widget Javascript not detected. It may not be installed or enabled properly.\n"
]
},
{
"data": {
"application/vnd.jupyter.widget-view+json": {
"model_id": "e0cf790018f34082961a812b9bc7eb81"
}
},
"metadata": {},
"output_type": "display_data"
}
],
"source": [
"matplotlib.rcParams['figure.figsize'] = (8.0, 8.0)\n",
"matplotlib.rcParams['font.family'].append(u'Dejavu Sans')\n",
"\n",
"iteration_slider = widgets.IntSlider(min=0, max=len(backtracking_instru_queen.assignment_history)-1, step=0, value=0)\n",
"w=widgets.interactive(backtrack_queen_step,iteration=iteration_slider)\n",
"display(w)\n",
"\n",
"visualize_callback = make_visualize(iteration_slider)\n",
"\n",
"visualize_button = widgets.ToggleButton(desctiption = \"Visualize\", value = False)\n",
"time_select = widgets.ToggleButtons(description='Extra Delay:',options=['0', '0.1', '0.2', '0.5', '0.7', '1.0'])\n",
"\n",
"a = widgets.interactive(visualize_callback, Visualize = visualize_button, time_step=time_select)\n",
"display(a)"
"source": [
"Now let us finally repeat the above steps for **min_conflicts** solution."
]
},
{
"cell_type": "code",
"conflicts_instru_queen = make_instru(twelve_queens_csp)\n",
"result = min_conflicts(conflicts_instru_queen)"
]
},
{
"cell_type": "code",
},
"outputs": [],
"source": [
"conflicts_step = make_plot_board_step_function(conflicts_instru_queen)"
]
},
{
"cell_type": "markdown",
"source": [
"The visualization has same features as the above. But here it also highlights the conflicts by labeling the conflicted queens with a red background."
]
},
{
"cell_type": "code",
1123
1124
1125
1126
1127
1128
1129
1130
1131
1132
1133
1134
1135
1136
1137
1138
1139
1140
1141
1142
1143
1144
1145
1146
1147
1148
1149
1150
1151
1152
"execution_count": 32,
"metadata": {},
"outputs": [
{
"data": {
"image/png": "iVBORw0KGgoAAAANSUhEUgAAAcgAAAHICAYAAADKoXrqAAAABHNCSVQICAgIfAhkiAAAAAlwSFlz\nAAALEgAACxIB0t1+/AAADStJREFUeJzt3V1s3Xd9x/HvcYx4aJKmQJc2TdK6a6ggaEs1prC5tKyM\ntjDAPAltaJ00UbHtYqsqJk2att5ws03TJlWqmJDWMTYQUAozBYQEVJvAUPr8kLahLXEWmtFtmqbE\njh2njv+7SOLuKB+dh0j2Oep5vW4sHf0sff29eev3P8d2q2maAgDajQ16AAAYRgIJAIFAAkAgkAAQ\nCCQABAIJAIFAAkAgkAAQCCQABOP9HJ6emR2qP7szNTkx6BHaTM/MDnqEs9hRZ/bTnR11Zj/dDduO\nqqrVyyE3SAAIBBIAAoEEoM0Lhw/V/d//Ti0uzA96lIHq6z1IAF5e/ue/X6iF+bnaMbGrqqp+9vzB\nuvV331PHFxfqDW/aU3/16a9UVdWJpaU6NPtM7ZjYVa985asGOfK6cYMEGFEP3/dv9fEPX1N/eNMN\ndddn76iqqsOHDtTxxYWqqnr+35+rk8vL9eKJpfrEx95Xf3zzVH3iY++rE0tLgxx73QgkwIh6/KEf\n1MmTy1VV9eDMvVVV9ZZfva4+dNMfVFXVJ2//fG0YH68XDh+qnx58tqqqnj/4XP3H88P3Sdm1IJAA\nI6RpmtUb4rs+8Nu1e8/eqqr6wEc/vnpm+6VXVFXVztOPXbdfdkXt3rO3xjZsqF+78YN16eVXVlW9\n7G+SAgkwIv7rhcP1+x95e330xl+suz57R23dtqM+efvnamysPQWLx+ZOfT0d0larVedt3FRvveaG\nuuXP/rqOLy7Un/zeh+o337m77vjLP133n2O9CCTAiLj/e9+u//zZT2vl5Mn61lc/V1VVY2Njdd7G\nzbXv0R+tnltcOFZVtXrTXFlZqacee6Au2rajqqr2P/FQ/fjJR2plZaW+fc8XXrafdhVIgBFx1d5r\nastrX19VVddP/dbq65s2b6l9j5wdyKXTgTz43NM1P3ektl58KpC73rSnLty6rcbGxuraG95fr37N\nxvX6EdaVQAKMiEt2Xl53/st99Uu/8vb6+SvfvPr6pvMvqEMHflzzR49UVdXC6RvhmUes+x65r6qq\ntl5yKpBNs1Lzc0frLz715br1z/9mPX+EdSWQACNkbGys3nrtDfWVf/671dc2bj7/1GPUxx+oqv//\niPXU1zO3y63bdlZV1de+8Pe1ectr6w2796zn6OtOIAFGzC9PvqP2P/FQ7d/3cFVVbdp8QVW9FMIz\n7ykeX1xYff9xbMOGunDrtpo/eqS+cfc/1tXv+I3BDL+OBBJgxGy54PV15e6r6u5/+lRVVW06f0tV\nVT15+oM6i8deCuTBn+yv+bkj9boLL6rx8VfU1750Zy0cm6+rr3vPYIZfRwIJMIL2vu36evAH99ah\nA8+s3iBnn3u6Fo7NtX2K9cz7jxdt21nzc0fr61/+TG2/7Iqa2PXGgc2+XgQSYATtvead1TRNffXz\nn66Nm8+vqqqVkyfrqcceaHsP8sxj15+7eHvd86U7a2F+rq6+7uX/eLVKIAFG0sXbL6sdl+2q733n\nnlo6vrj6+r5H73/pU6wLx+qpR++vqlO/CvL1uz5TVVVv+/X3rvu8gyCQACPqzVftreXlF+veb969\n+tqTj/xo9UM6+594uObnTv3qxwMz361j80frwq3b6pKdlw9k3vXm310BjKgN46cScOYPkVdVHXjm\nyWqalaqq2vfofauvHz504PT3vGIdJxwsgQQYYW/8hbfUuz94U09nl5eX64v/cPsaTzQ8BBJghC2/\neKKOHvnfns6e+ddYo0IgAUbYs08/Xs8+/XjP5y+65NI1nGa4+JAOAAQCCQCBR6wAI+za66fq1tv+\ntqezJ5aW6o9+58Y1nmh4CCTACPvhv36rHntwpufzr3r1eWs4zXARSIARdfMtt9XNt9w26DGGlvcg\nASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgKDVNE0/5/s6vNamZ2YHPUKbqcmJQY9wFjvqzH66\ns6PO7Ke7IdxRq5dzbpAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJA\nIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCB\nQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQDBeD+Hp2dm12qOczI1OTHoEdoM236q7Kgb++nO\njjqzn+6GbUe9coMEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEE\ngEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIA\nAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAglbTNP2c7+vwWpuemR30CG2mJicGPcJZ7Kgz\n++nOjjqzn+6GcEetXs65QQJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQC\nCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgk\nAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAATj/RyenpldqznOydTkxKBHaDNs+6myo27s\npzs76sx+uhu2HfXKDRIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAI\nBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQ\nSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASBoNU3Tz/m+Dq+16ZnZQY/QZmpyYtAjnMWOOrOf\n7uyoM/vpbgh31OrlnBskAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAA\nEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJA\nIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAMN7P4emZ2bWa45xMTU4MeoQ2w7afKjvqxn66\ns6PO7Ke7YdtRr9wgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAg\nASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEE\ngEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgKDVNE0/5/s6vNamZ2YHPUKbqcmJQY9wFjvq\nzH66s6PO7Ke7IdxRq5dzbpAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCB\nQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQC\nCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQDBeD+Hp2dm12qOczI1OTHoEdoM236q7Kgb\n++nOjjqzn+6GbUe9coMEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIA\nAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAI\nBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIWk3T9HO+r8NrbXpmdtAjtJmanBj0CGexo87s\npzs76sx+uhvCHbV6OecGCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgk\nAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAA\nEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEIz3c3h6Znat5jgnU5MTgx6hzbDtp8qOurGf\n7uyoM/vpbth21Cs3SAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQ\nSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAg\nASAQSAAIBBIAAoEEgEAgASAQSAAIBBIAAoEEgEAgASBoNU3Tz/m+Dq+16ZnZQY/QZmpyYtAjnMWO\nOrOf7uyoM/vpbgh31OrlnBskAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJA\nIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCB\nQAJAIJAAEAgkAAQCCQCBQAJAIJAAEAgkAAQCCQCBQAJA0GqaZtAzAMDQcYMEgEAgASAQSAAIBBIA\nAoEEgEAgASAQSAAIBBIAAoEEgEAgASD4Pz4ojaLlZaEKAAAAAElFTkSuQmCC\n",
"text/plain": [
"<matplotlib.figure.Figure at 0x7feb30903ef0>"
]
},
"metadata": {},
"output_type": "display_data"
},
{
"name": "stderr",
"output_type": "stream",
"text": [
"Widget Javascript not detected. It may not be installed or enabled properly.\n"
]
},
{
"data": {
"application/vnd.jupyter.widget-view+json": {
"model_id": "a61406396a92432d9f8f40c6f7a52d3e"
}
},
"metadata": {},
"output_type": "display_data"
}
],
"iteration_slider = widgets.IntSlider(min=0, max=len(conflicts_instru_queen.assignment_history)-1, step=0, value=0)\n",
"w=widgets.interactive(conflicts_step,iteration=iteration_slider)\n",
"display(w)\n",
"\n",
"visualize_callback = make_visualize(iteration_slider)\n",
"\n",
"visualize_button = widgets.ToggleButton(desctiption = \"Visualize\", value = False)\n",
"time_select = widgets.ToggleButtons(description='Extra Delay:',options=['0', '0.1', '0.2', '0.5', '0.7', '1.0'])\n",
"\n",
"a = widgets.interactive(visualize_callback, Visualize = visualize_button, time_step=time_select)\n",
"display(a)"
},
{
"cell_type": "code",
"execution_count": null,
"metadata": {
"collapsed": true
},
"outputs": [],
"source": []
}
],
"metadata": {
"kernelspec": {
"display_name": "Python 3",
"language": "python",
"name": "python3"
},
"language_info": {
"codemirror_mode": {
"name": "ipython",
"version": 3
},
"file_extension": ".py",
"mimetype": "text/x-python",
"name": "python",
"nbconvert_exporter": "python",
"pygments_lexer": "ipython3",
}
},
"nbformat": 4,