AIND-Constraint_Satisfaction.ipynb

{
 "cells": [
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "# Constraint Satisfaction Problems Lab\n",
    "\n",
    "## Introduction\n",
    "Constraint Satisfaction is a technique for solving problems by expressing limits on the values of each variable in the solution with mathematical constraints.  We've used constraints before -- constraints in the Sudoku project are enforced implicitly by filtering the legal values for each box, and the planning project represents constraints as arcs connecting nodes in the planning graph -- but in this lab exercise we will use a symbolic math library to explicitly construct binary constraints and then use Backtracking to solve the N-queens problem (which is a generalization [8-queens problem](https://en.wikipedia.org/wiki/Eight_queens_puzzle)).  Using symbolic constraints should make it easier to visualize and reason about the constraints (especially for debugging), but comes with a performance penalty.\n",
    "\n",
    "![8-queens puzzle solution](EightQueens.gif)\n",
    "\n",
    "Briefly, the 8-queens problem asks you to place 8 queens on a standard 8x8 chessboard such that none of the queens are in \"check\" (i.e., no two queens occupy the same row, column, or diagonal). The N-queens problem generalizes the puzzle to to any size square board.\n",
    "\n",
    "## I. Lab Overview\n",
    "Students should read through the code and the wikipedia page (or other resources) to understand the N-queens problem, then:\n",
    "\n",
    "0. Complete the warmup exercises in the [Sympy_Intro notebook](Sympy_Intro.ipynb) to become familiar with they sympy library and symbolic representation for constraints\n",
    "0. Implement the [NQueensCSP class](#II.-Representing-the-N-Queens-Problem) to develop an efficient encoding of the N-queens problem and explicitly generate the constraints bounding the solution\n",
    "0. Write the [search functions](#III.-Backtracking-Search) for recursive backtracking, and use them to solve the N-queens problem\n",
    "0. (Optional) Conduct [additional experiments](#IV.-Experiments-%28Optional%29) with CSPs and various modifications to the search order (minimum remaining values, least constraining value, etc.)"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 18,
   "metadata": {},
   "outputs": [],
   "source": [
    "import matplotlib as mpl\n",
    "import matplotlib.pyplot as plt\n",
    "\n",
    "from util import constraint, displayBoard\n",
    "from sympy import *\n",
    "from IPython.display import display\n",
    "init_printing()\n",
    "%matplotlib inline"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## II. Representing the N-Queens Problem\n",
    "There are many acceptable ways to represent the N-queens problem, but one convenient way is to recognize that one of the constraints (either the row or column constraint) can be enforced implicitly by the encoding.  If we represent a solution as an array with N elements, then each position in the array can represent a column of the board, and the value at each position can represent which row the queen is placed on.\n",
    "\n",
    "In this encoding, we only need a constraint to make sure that no two queens occupy the same row, and one to make sure that no two queens occupy the same diagonal.\n",
    "\n",
    "### Define Symbolic Expressions for the Problem Constraints\n",
    "Before implementing the board class, we need to construct the symbolic constraints that will be used in the CSP.  Declare any symbolic terms required, and then declare two generic constraint generators:\n",
    "- `diffRow` - generate constraints that return True if the two arguments do not match\n",
    "- `diffDiag` - generate constraints that return True if two arguments are not on the same diagonal (Hint: you can easily test whether queens in two columns are on the same diagonal by testing if the difference in the number of rows and the number of columns match)\n",
    "\n",
    "Both generators should produce binary constraints (i.e., each should have two free symbols) once they're bound to specific variables in the CSP.  For example, Eq((a + b), (b + c)) is not a binary constraint, but Eq((a + b), (b + c)).subs(b, 1) _is_ a binary constraint because one of the terms has been bound to a constant, so there are only two free variables remaining. "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 19,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAC8AAAASCAYAAADLw4ffAAAABHNCSVQICAgIfAhkiAAAAa1JREFU\nSInt1jFrFUEQwPFf9D0hYowgpFCUB5pgk1LUQhIUy3wHERsrbQQbwTQWdpZaSJoUgiBYiE16LUQF\nBQkKZ0SJChrtNCTPYvZhuNzd8+WdBCR/WAZ2bmZnZ2dnj/+Ado/j7KZEmaOR5HSB7hKGcRNLOd3z\nfxlUHWQiy63NDaOcbX3YtsTmZjCGu/iMVUym0ca1EvssjSKO4R4W8QvvcQv71n7UWG/XM4fwBPOY\nxSB+YPcG/Z3DbfzEAxH4KM5jCsex0M1JprpsWv5c4OsF+km9Z35MZPoN9ud0p7GC+52JfsqmwyfF\nF34jXEATF/Ehp5sTJzGFIeopmxfiiOvgRJITOFqgH8F2cUJP6wh+sQYfHfYmebnLd7uoJ/PtkvnV\nJMvW2GP9+/E9yWFx6Supo+bL+JbkgQLdYRFgnsdJnux38czfdZuZEn1TZHJJ1GqHQTxMtlnO5ojo\nNvOirvPssGZjdZRNGcvi1+IqnokW18AZfEwjz2vR5+/gFR6JjTRxMAX+RWyykkx/mYcBXMFbkdEF\n3MBO1S/sePL7TnSyr3gpXtlT3QLfYosKfgM9M2knFy94DAAAAABJRU5ErkJggg==\n",
      "text/latex": [
       "$$\\mathrm{True}$$"
      ],
      "text/plain": [
       "True"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "None\n"
     ]
    }
   ],
   "source": [
    "x, y = symbols('x y')\n",
    "\n",
    "const = constraint('const', Ne(x,y))\n",
    "\n",
    "res = const.subs({x:1, y:2})\n",
    "display(res)\n",
    "\n",
    "a = set([2,3,4])\n",
    "print(a.remove(2))\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 20,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAADUAAAATCAYAAAAwE0VbAAAABHNCSVQICAgIfAhkiAAAAkhJREFU\nSInt1t1rjnEYB/CPt5UDQuyAWgvJAWckal4PiJKcSGmNkPwBnE6KUlppKS/JiQhrZ3LgZcpqscUB\nEloTbQojb8vr4+D3e+rpdt977me2He1bd7/7+V0vv+v7u+7ruh7GMGTUooDzo3HY+MTvQpmnYTSC\n+l9MzNg/lLH/cKQCGU5kkWoczSCGG8nPrxI0oAXdGMAntGNHhX424yb68B29uIP9KbrLcBVv8AOv\ncAqzBzugWDt5MIBOofiP4jReR/vDCd1a6Y1ib9zvi/ZHcBb3cD+huwu/8BUXcQyt+C1cRE05Uo0p\nT0NCd16KfZVw6z8xJwepLiE71Sm+Zpa8LxAy8yLhF9YJxFpTfGDwzteWZZTA1qhfX7JXK5vUV0wv\n47Mp2m/KkLcKWZxCdqMYV+YQQroPCjdVg8kJefJG03ABx/EEl4RaasfbhN7yuK7C0hQ/1ZggZLQr\nKcxbU3PxTkh7G04IddQoZKP4CRdRK3v41qMj+irgD25jSYnOc+VnaEEg/Q/ykmqWPYy3q4xUEdOw\nEWcEgu8xK8o6o/3UHLENuaXPj2tLiiz1tnLgI65hj0B+BlZGWUdc6/I4GiqpnriuTuyvx+4K/KyR\nXr/Fbvgtrs1CR20S6iaJKiWEsxpFOZzETlwRhmEvFmEDLmNbTj+t+CJkokcgWCc0gy7ciHpPhTl1\nDo9xHc8wSWhSdUJzWZh2SCXDdwVu4QM+4y62CNnLW1P7IrFuISv9eIADYntOYHH08VKYb/14JPyr\nWJsz7jGMYSTxF8iYqrTIjBV+AAAAAElFTkSuQmCC\n",
      "text/latex": [
       "$$\\mathrm{False}$$"
      ],
      "text/plain": [
       "False"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    }
   ],
   "source": [
    "# Declare any required symbolic variables\n",
    "X = symbols(\"X:2\") # rows of the queens\n",
    "Y = symbols(\"Y:2\") # colums of the queens \n",
    "\n",
    "# Define diffRow and diffDiag constraints\n",
    "diffRow = constraint('diffRow', Ne(X[0], X[1]))\n",
    "diffDiag = constraint('diffDiag', Ne(Abs(X[0]-X[1]), Abs(Y[0]-Y[1])))\n",
    "\n",
    "res = diffDiag.subs({X[0]: 4, X[1]:1, Y[0]:6, Y[1]:3})\n",
    "display(res)\n"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 21,
   "metadata": {},
   "outputs": [
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAJAAAAAXCAYAAADk88bYAAAABHNCSVQICAgIfAhkiAAABl9JREFU\naIHtmnts1EUQxz/lUVtbBOIDRVFEUh6J8lLxgUVTgo9IogElECM1QFQEGzFRQcWKqAiKwcQXKhYU\nUcJDQVAxISpIQMEiGEANFoiIgooPYhGw9Y+Zze3t7f56x90VDfdNLr3ffGdn5re/+c3O7hVyyKER\n0Q6oBxZasrEqG+rRPwF4BtgOHFS9+5Lg/i+YBewBio52IFlGL+T5jEjX0HVq6AFL9obKSjz6S5Rb\nCkwCKoGuDXDLVW5/9gCrgBvSvYEM4gKgDnmBjgUsAnYDxekYmYg80Kst2ZlAZyDP0e2suu977ERx\nvyAP5mEkqSYB84HDOuauI44+s1gO/AYUHu1AGgkXIvM/Ph0jS9VImyR0R6nuyBS4Dirf6hlzm3Lb\nk4w1myhBknzG0Q6kkbEF2AE0iVJqBlQAG4EDOuBepMLsBnZZulcgD3WqJRtI4hJkPvdHcF2AG/X7\nHE9c7ZX7KxB3HlAOfIxUsQNANTDM0StTOxMdeW8rlvYO9zqSMJ30erLqlQViMcvwQE+MVcpNDozN\nBLLl/yEde2VIId9yXo0kxkygFnhJ5Yst/btVNsSSXYIsPXuAQ/q9Up1fGsE1BaaoPV9f0U+59R6u\nEPhA+S+BacBzSMK7Zbenyp52bCwklkA9LXlbpMl/x5KtQ5bUUPPcDfgH2Kz3ZfCU2n8xMC5TyJZ/\n8wyeDCmYJHmQ+J6mlNjkVlryOSrrRDyaIpVio8dHFLdC7ZU68pOADcr5GulFyo1z5CcTq0atVXa2\n6r5s6ZUgE27s2JXlUZX10esiJHk2eeKwUaXjyvV6vF6/RQNLQIaQDf8t1cZnPtI0SUsCgzcrP8CS\nbQH+JLGBPld1qzx2Qlwe0pSaDK8EHgFmq/wP4HaPvWt1zLxA3LOIT4pWxCbSYIb6uJj4JC0A9gJr\nLN0S1Vke8GfQDqncNcBoYpuG/AbGZQrZ8l8L/OgjXlMnFwUGrlT+dL0uQt7alR7dYap7ZwqceTC+\nz37gqkBci1WnV4Cfpnx/vc7TuJfpdRukQj0BnKG6tyo3Uq8HWfZMktkJGMLj1j18Chzv0SnVe9hF\nfMXIBJLxD7KpqUHmYT1wWYTNXUgFBuJLWX+k3K8NDOyA9C6mie6m47/w6JoeojoF7nz9+yrykPOA\nE5F+qAiYi1QPF32RN8LXGwGcpn936t964HeghV5XqK/pKofYclcBbCP+4LRW/xYE/NnYa30fjn8D\nUAx8pb5qPXw6SMb/YOTeHwN6AKuB95DjGR8K8cRZgEysLxkg1ngus2SmLJZ79Fciu5YWKXCmUozy\njJmn3BhH3oJwYw3Sb/0A/ET8MrsN6amKgX1I0hocRpr5/mr7DsdmW5WvCvg0GIrcp2nkn29AH6TS\nliehlwyS9b8W6X1tfItULxdN1OY2l2iOTNz3AScLNIhJlmymys5zdPOQfuVrj50o7hO119vDmYe5\n2pHnIze0M2GEYDj+Les6ZBLG6viuFvcr0mAvA34mseznIZV4L2Fcg+zcNiKN/FZk1+luNlxkKoGS\n9Z+PPHd3Y/Ischziogsynwt8TreQ2CSDnAGZdfR6S74BKWXNHP1Oqvumx0eIa4I044fwLw3NkUpR\nh1QAG2vUZj9HXoY8kBpk92DjQyRRdgLvOlwNssOqI/GsyGC++uzo4fogS8V3xJbPQar/dsCeQVQC\nVZFcj5SKf1NN3V3vBPwv+S2qP9rn+GYlDyI7nynIdq0Wmeh64CzVPU71fNu5Iap7TwpcV5Vv8AWm\nMEcG7pJShrxFBzTuycgaXockg+8hmyWxHumhbFSrvBY4JRCLuQ83lu7Ibm43cI7Dfa5johrUqASa\nreNvihifqv9UE2guMtftQgFUIJl7COkbFiD9zw6knBuYX2df8NiYir8iRHEmeV8JBUbsLVrh4fqq\nfL9+NiG/pfl6MJCDtNB5xkfKRf1MkY/Mj73h6Ig08/tIXNYhdgi3xsMZRCVQNbL8tw7wR+I/lSWs\nJfJSNVRFc0gS45AH0iODNkMJ1Ao5epiSQV8Ga0l8Wb4hsYkeQ/yBag5pogCpzKGD12RRjCw93ZHe\nZYJ+t7fRA5Al+tQ0ffkwGGlHRiBN8nQkkc+ydAqR3ez8LPg/plGK/I6Xzj+UXY7/8LQqzdhSwSjk\nvxz+Ro5E3J6oC/LLQPtGjCmHHHLIIYcccsjhP4t/AaMhINty0lyVAAAAAElFTkSuQmCC\n",
      "text/latex": [
       "$$\\operatorname{diffRow}{\\left (x_{1},x_{0} \\right )}$$"
      ],
      "text/plain": [
       "diffRow(x₁, x₀)"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "{x1, x0}\n",
      "Passed all diffRow tests.\n"
     ]
    },
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAANcAAAAXCAYAAACYldoBAAAABHNCSVQICAgIfAhkiAAAB7RJREFU\neJztm3mMVEUQhz9YxEVQIIgKiohBLiOIqEFQgoF4JBqviIF4YKKJAooiHlzCIlE54oUkeGDwQMWA\nF8GDeEQQFEUQUVAICiggl4joLoew/lHVmZ433W/eHG/ByfslL7NTVd1VU6+7urq6FxIkSHBYoAVQ\nDbxp0YYorZ9D/hjgKWAdsE/lHojAyxdhttQEXgS2AvUPkf4ENY8uyJi7pdCOrtSORlq0V5XWxiE/\nR3lzgXHAGKBDFt48pZvnILAbWAO8DlwB1PLYF2ZL3DgHsXWIg9cI+BPYARzt4NcGZiG2Px+DbSMj\n9N0F8fNW4LQYbChlH7wFbAYa5G0dMBYx8FKLdjLQjswB305lP3D0E8bbgQzSCmTCVQCPA+8De7Td\nx7hfkM+WmsA8ZPDU8/CN74Y5eE8rbw5QFoNtxwB/AHuBkxz81sAW4G8kSMSFUvXBuYjtwwsxcK52\ncnwE2QEqe2sOvFOV/qOnzxOAT1XmjQg21BTaIAHh2RCZxsAuYDvpEW4E8nu+AI6Ky0BglOp5IkA/\nHlgL7AcuiVE/lLYPVgHrkRXYizrAYOA7ZKVYD9yPrAabgY2W7IVq7ESLdg3paZ39jAjhtQf66N8z\nQuxrCvyjcq2y2GLQT/tcjSz7O4GvgZs9OsqR/d9KywfDkYi6G1gRkH9UdfcKsRsk/a1G/InqN8Gk\nSZa2hcJE7n+AY5V2NLAUCQw3xqzfoFR9MBr5HRf7BOqS2vMsQwbqC0AV8JzS37Xk71FaX4vWDUnn\ntiKRYIw+o4HuIbwyYIL2d3eWH/KRQ6/LFhDn/YtExWnAI/q5nfSXbFBfZauBJcB4YDoyyV5W+ouB\nNktUR7ZCRhNSOX0fxAebgJZZ2hULDyL2P4S8a+PHoA/iRKn6oLf2M8knYCbQKNL3LT1IrTBjLPoM\npbUN9FMGVCKrXxBhvE+0vx7+3wDATJW7PYItDZB0MohmyEsOpqCv4PZBL1I+GGzR6yMTK7ia+fCI\n1c8uoFPEdsVAQyRy7wRm406RagKl6IOG2tdXLqbZlM3xNF6p/Mst2ipkgAYLCGeo7HRHPz5eLaQg\ncBB3scLGB9pHnwi2hOEnJIIadNV+3/bIr1f+BRatjdLmRdTZndTAuiwHW4sFE7mrkerroSj+lKoP\nqoDfXQyT8nT1NFyg/BP1e33ggNKDuEll78yBZwapr5hh42eVNREvzJbGyCr0JRKtDpC+11tqyRof\n+KpFJje3J/952mZmBLubI+d6Rvd9HrkeSPq9UeX6R+g7Koyff0XSoprWH9UHBgOAX5C0/BvSA1u+\niOKDfPRvRLIYIL2ycRFSBl/saXgqEuVNQaOTtl/qkD1LP5flwDtbP5d49Bu0QQoZm4DlWWzpiKxo\nY5Ho9DqSklQAL6nMckve+MBnQzPkvG23RavSz/IsdjdCVtyWyGSvBIbiro41AL5H0s8qB78QnK6f\ni5HDexfi0p+LDwCuA54EHgY6A4uQI5mTC7Qjig/y0V8Ph7/KyYziNs5S/nsWbRD+qLYAf3rn4z1G\ntGLGNDLPFHy2LEciTk9HP+bMZaB+Nz5wBQRInc29FqA3V/rnITaXA5+pXIXSJur3oSHtQM5d+meR\nyQWmWhf1Nkyx9Ofjg8VIHcDGGiRAFoKoPshFf21kXK8NMo5AlrPfPErMxm+cRXtBaR0DsrWAv5D9\nTBBhvPlkL2ZcrzK/kD45XbaYq1qug+pGSEpgp8HGB+s8uo2OewP0WsiKvs3Trgy5LlYNPGPRzZHC\nFsLPdoo9ucx+tXdE+WLoz8cHdZH3cW2APgWZpIUgig9y1d9e+5zt6mwVmQULkBKlyY+vsujfIktg\nnYB8W1IbxSB8vNpIqnUA9xWSJkiUO4hUeoIT2mVLU9W1Gpk4dl8fKm8/6encD7jPqwaS8oHrLMtc\n22nt4E1V3ltk3jwwkdt1Zcog2+CeTm77om0q3ziifDH05+MDkxEEg+2DZAbnKDbYiOKDXPRD6rxu\nkKuzG5W5D9mPTEDKilXABuWZs4gjVc5VduyLf6Pq43VQ+l+kzr7GApOR8nwVqdSrVaBtmC0fk0p3\nJyAFi+3IZDhA+n4LUivjHuQsazywEFmZViGT2/VCzO8aGKBXKH0+7j3ZcUjk3oz/2lS2wf2S6rg+\nRMagpcpmpC4hKFR/vj7IZXDH4YNcJ9dryErXwtfhYKQStx9Zqmcj+631yKA0MDeBpzr6MJHIteT6\neGZi208lUrRYiOzHunlsDrOlKeL4bcjKuEh1mT3kNEebOxDH70OCyhTkhezAvyeti/jLLgbdpjpW\nIGmoD5NU7i4PP9vgXoYEpSgr0dVEr2wWQ38hPsglLYvDB7nob4gsAL4jnAQhuIHsxYdhKtO5yLrD\nBncjZAWeUGSdh4v+xWTe11xNekEhThui6AcJyNXA+THYUBIoQ1KUIHojA2wD4f9SUI6s8L5D+FzQ\nADhTn0okFTmTzBLw5UgK67qB8n/Wb3AdkkHcghQMnkTeRUtLJk4bouivh2RYs2LQXzI4A3lJ7yBp\n6GRSB+dbibYi9UDuSRb6z5I9yUyTq3HfeIkDh1q/jQFIBXcvcoib7WpcTetvj9QITqlJo/5vaIuU\nizcik6wSqR6OJ9q/2CRIkCBBggQJEiRIkCBBEP8Bfsn1MgaPa20AAAAASUVORK5CYII=\n",
      "text/latex": [
       "$$\\operatorname{diffDiag}{\\left (X_{1},Y_{1},X_{0},Y_{0} \\right )}$$"
      ],
      "text/plain": [
       "diffDiag(X₁, Y₁, X₀, Y₀)"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Passed all diffDiag tests.\n"
     ]
    }
   ],
   "source": [
    "# Test diffRow and diffDiag\n",
    "_x = symbols(\"x:3\")\n",
    "\n",
    "# generate a diffRow instance for testing\n",
    "#raise NotImplementedError(\"TODO: use your diffRow constraint to generate a diffRow constraint for _x[0] and _x[1]\")\n",
    "diffRow_test = diffRow.subs({X[0]: _x[0], X[1]:_x[1]})\n",
    "display(diffRow_test)\n",
    "print(diffRow_test.free_symbols)\n",
    "assert(len(diffRow_test.free_symbols) == 2)\n",
    "assert(diffRow_test.subs({_x[0]: 0, _x[1]: 1}) == True)\n",
    "assert(diffRow_test.subs({_x[0]: 0, _x[1]: 0}) == False)\n",
    "assert(diffRow_test.subs({_x[0]: 0}) != False)  # partial assignment is not false\n",
    "print(\"Passed all diffRow tests.\")\n",
    "\n",
    "# generate a diffDiag instance for testing\n",
    "#raise NotImplementedError(\"TODO: use your diffDiag constraint to generate a diffDiag constraint for _x[0] and _x[2]\")\n",
    "diffDiag_test = diffDiag.subs({Y[0]: 2, Y[1]:_x[2], X[0]:_x[0], X[1]:0})\n",
    "display(diffDiag)\n",
    "assert(len(diffDiag_test.free_symbols) == 2)\n",
    "assert(diffDiag_test.subs({_x[0]: 0, _x[2]: 2}) == False)\n",
    "assert(diffDiag_test.subs({_x[0]: 0, _x[2]: 0}) == True)\n",
    "assert(diffDiag_test.subs({_x[0]: 0}) != False)  # partial assignment is not false\n",
    "print(\"Passed all diffDiag tests.\")"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### The N-Queens CSP Class\n",
    "Implement the CSP class as described above, with constraints to make sure each queen is on a different row and different diagonal than every other queen, and a variable for each column defining the row that containing a queen in that column."
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 22,
   "metadata": {},
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "[diffDiag(x2, x0), diffDiag(x1, x0), diffRow(x1, x2), diffDiag(x1, x2), diffRow(x1, x0), diffRow(x2, x0)]\n",
      "\n",
      "{x0: {diffRow(x2, x0), diffDiag(x2, x0), diffDiag(x1, x0), diffRow(x1, x0)}, x1: {diffDiag(x1, x2), diffDiag(x1, x0), diffRow(x1, x0), diffRow(x1, x2)}, x2: {diffRow(x2, x0), diffDiag(x2, x0), diffDiag(x1, x2), diffRow(x1, x2)}}\n",
      "{x0: {0, 1, 2}, x1: {0, 1, 2}, x2: {0, 1, 2}}\n"
     ]
    }
   ],
   "source": [
    "class NQueensCSP:\n",
    "    \"\"\"CSP representation of the N-queens problem\n",
    "    \n",
    "    Parameters\n",
    "    ----------\n",
    "    N : Integer\n",
    "        The side length of a square chess board to use for the problem, and\n",
    "        the number of queens that must be placed on the board\n",
    "    \"\"\"\n",
    "    def __init__(self, N):\n",
    "        #raise NotImplementedError(\"TODO: declare symbolic variables in self._vars in the CSP constructor\")\n",
    "        \n",
    "        _vars = symbols(\"x:\" + str(N))\n",
    "        _domain = set(range(N))\n",
    "        self.size = N\n",
    "        self.variables = _vars\n",
    "        self.domains = {v: _domain for v in _vars}\n",
    "        self._constraints = {x: set() for x in _vars}\n",
    "\n",
    "        # add constraints - for each pair of variables xi and xj, create\n",
    "        # a diffRow(xi, xj) and a diffDiag(xi, xj) instance, and add them\n",
    "        # to the self._constraints dictionary keyed to both xi and xj;\n",
    "        # (i.e., add them to both self._constraints[xi] and self._constraints[xj])\n",
    "        \n",
    "        for i, xi in enumerate(_vars):\n",
    "            for j, xj in enumerate([v for v in _vars if v != xi]):\n",
    "                rowConstraint = diffRow.subs({X[0]: xi, X[1]: xj})\n",
    "                colConstraint = diffDiag.subs({X[0]:xi, X[1]:xj, Y[0]: i, Y[1]: j})\n",
    "                self._constraints[xi].add(rowConstraint)\n",
    "                self._constraints[xi].add(colConstraint)\n",
    "                self._constraints[xj].add(rowConstraint)\n",
    "                self._constraints[xj].add(colConstraint)  \n",
    "        #raise NotImplementedError(\"TODO: add constraints in self._constraints in the CSP constructor\")\n",
    "        \n",
    "    @property\n",
    "    def constraints(self):\n",
    "        \"\"\"Read-only list of constraints -- cannot be used for evaluation \"\"\"\n",
    "        constraints = set()\n",
    "        for _cons in self._constraints.values():\n",
    "            constraints |= _cons\n",
    "        return list(constraints)\n",
    "    \n",
    "    def is_complete(self, assignment):\n",
    "        \"\"\"An assignment is complete if it is consistent, and all constraints\n",
    "        are satisfied.\n",
    "        \n",
    "        Hint: Backtracking search checks consistency of each assignment, so checking\n",
    "        for completeness can be done very efficiently\n",
    "        \n",
    "        Parameters\n",
    "        ----------\n",
    "        assignment : dict(sympy.Symbol: Integer)\n",
    "            An assignment of values to variables that have previously been checked\n",
    "            for consistency with the CSP constraints\n",
    "        \"\"\"\n",
    "        #print('Checking if complete')\n",
    "        #print([c.subs(assignment) for c in self.constraints])\n",
    "        if all(c.subs(assignment)==True for c in self.constraints):\n",
    "            return True\n",
    "        else:\n",
    "            return False\n",
    "        \n",
    "        #raise NotImplementedError(\"TODO: implement the is_complete() method of the CSP\")\n",
    "    \n",
    "    def is_consistent(self, var, value, assignment):\n",
    "        \"\"\"Check consistency of a proposed variable assignment\n",
    "                \n",
    "        self._constraints[x] returns a set of constraints that involve variable `x`.\n",
    "        An assignment is consistent unless the assignment it causes a constraint to\n",
    "        return False (partial assignments are always consistent).\n",
    "        \n",
    "        Parameters\n",
    "        ----------\n",
    "        var : sympy.Symbol\n",
    "            One of the symbolic variables in the CSP\n",
    "            \n",
    "        value : Numeric\n",
    "            A valid value (i.e., in the domain of) the variable `var` for assignment\n",
    "\n",
    "        assignment : dict(sympy.Symbol: Integer)\n",
    "            A dictionary mapping CSP variables to row assignment of each queen\n",
    "            \n",
    "        \"\"\"\n",
    "        assignment[var] = value\n",
    "        for c in self._constraints[var]:\n",
    "                if not c.subs(assignment):\n",
    "                    return False\n",
    "        \n",
    "        return True\n",
    "        #raise NotImplementedError(\"TODO: implement the is_consistent() method of the CSP\")\n",
    "        \n",
    "        \n",
    "    def inference(self, var, value, assignment):\n",
    "        \"\"\"Perform logical inference based on proposed variable assignment\n",
    "        \n",
    "        Returns an empty dictionary by default; function can be overridden to\n",
    "        check arc-, path-, or k-consistency; returning None signals \"failure\".\n",
    "        \n",
    "        Parameters\n",
    "        ----------\n",
    "        var : sympy.Symbol\n",
    "            One of the symbolic variables in the CSP\n",
    "        \n",
    "        value : Integer\n",
    "            A valid value (i.e., in the domain of) the variable `var` for assignment\n",
    "            \n",
    "        Returns\n",
    "        -------\n",
    "        dict(sympy.Symbol: Integer) or None\n",
    "            A partial set of values mapped to variables in the CSP based on inferred\n",
    "            constraints from previous mappings, or None to indicate failure\n",
    "        \"\"\"\n",
    "        # TODO (Optional): Implement this function based on AIMA discussion\n",
    "        for neighbor in [x for x in self.variables if x != var]:\n",
    "            domain_values = self.domains[neighbor]\n",
    "            possible_values = []\n",
    "            count = 0\n",
    "            for value in domain_values: # possible values\n",
    "                if self.is_consistent(neighbor, value, assignment):\n",
    "                    count += 1\n",
    "                    possible_values.append(value)\n",
    "                    if count > 1:\n",
    "                        break\n",
    "            #print('poss', possible_values)\n",
    "                                    \n",
    "            if count == 0: # failure \n",
    "                return None\n",
    "            if count == 1: # we can infer the value of the neighbor\n",
    "                assignment[neighbor] = possible_values[0]           \n",
    "                \n",
    "        return assignment\n",
    "    \n",
    "    def show(self, assignment):\n",
    "        \"\"\"Display a chessboard with queens drawn in the locations specified by an\n",
    "        assignment\n",
    "        \n",
    "        Parameters\n",
    "        ----------\n",
    "        assignment : dict(sympy.Symbol: Integer)\n",
    "            A dictionary mapping CSP variables to row assignment of each queen\n",
    "            \n",
    "        \"\"\"\n",
    "        locations = [(i, assignment[j]) for i, j in enumerate(self.variables)\n",
    "                     if assignment.get(j, None) is not None]\n",
    "        displayBoard(locations, self.size)\n",
    "        \n",
    "problem = NQueensCSP(3)\n",
    "print(problem.constraints)\n",
    "print()\n",
    "print(problem._constraints)\n",
    "print(problem.domains)\n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {
    "collapsed": true
   },
   "source": [
    "## III. Backtracking Search\n",
    "Implement the [backtracking search](https://github.com/aimacode/aima-pseudocode/blob/master/md/Backtracking-Search.md) algorithm (required) and helper functions (optional) from the AIMA text.  "
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 61,
   "metadata": {},
   "outputs": [],
   "source": [
    "from copy import deepcopy \n",
    "\n",
    "def select(csp, assignment):\n",
    "    return trivial_select(csp, assignment)\n",
    "\n",
    "def trivial_select(csp, assignment):\n",
    "    \"\"\"Choose an unassigned variable in a constraint satisfaction problem \"\"\"\n",
    "    # TODO (Optional): Implement a more sophisticated selection routine from AIMA\n",
    "    for var in csp.variables:\n",
    "        if var not in assignment:\n",
    "            return var\n",
    "    return None\n",
    "\n",
    "def minimum_remaining_values_select(csp, assignment):\n",
    "    minConstraints = 1000*csp.size\n",
    "    for var, c in csp._constraints.items():\n",
    "        if var not in assignment:\n",
    "            numConstraints = len(c)\n",
    "            if numConstraints < minConstraints:\n",
    "                minConstraints = numConstraints\n",
    "                bestVar = var\n",
    "    return bestVar\n",
    "                \n",
    "def degree_heuristic_select(csp, assignment):\n",
    "    print(assignment)\n",
    "    # Select the variable that is involved in the largest number of constraints on other not assigned variables\n",
    "    maxConstraints = 0\n",
    "    #print(assignment)\n",
    "    for var, constraints in csp._constraints.items():\n",
    "        if var not in assignment:\n",
    "            print(var)\n",
    "            # compute the constraints that are involved in not assigned variables \n",
    "            print('norm', len(constraints))\n",
    "            special_constraints = (\n",
    "                [c for c in constraints if [x for x in c.free_symbols if x != var][0] not in assignment])\n",
    "            print('spec', len(special_constraints))\n",
    "            numConstraints = len(special_constraints)\n",
    "            if numConstraints > maxConstraints:\n",
    "                maxConstraints = numConstraints\n",
    "                bestVar = var\n",
    "    print('bestVar', bestVar)\n",
    "    return bestVar\n",
    "\n",
    "def order_values(var, assignment, csp):\n",
    "    \"\"\"Select the order of the values in the domain of a variable for checking during search;\n",
    "    the default is lexicographically.\n",
    "    \"\"\"\n",
    "    # TODO (Optional): Implement a more sophisticated search ordering routine from AIMA\n",
    "    #toReturn = least_constraining_order_values(var, assignment, csp)\n",
    "    #toReturn2 = simple_order_values(var, assignment, csp)\n",
    "    return least_constraining_order_values(var, assignment, csp)\n",
    "\n",
    "def simple_order_values(var, assignment, csp):\n",
    "    print(var)\n",
    "    print(type(csp.domains[var]))\n",
    "    return csp.domains[var]\n",
    "\n",
    "def least_constraining_order_values(var, assignment, csp):\n",
    "    print('least')\n",
    "    valuesDict = {} # this variables counts the number of values ruled out by all neighbors combined \n",
    "                    # the key is the value assigned to the variable in question (i.e. var)\n",
    "                    # For example if valuesDict[2] = 7, then 7 combined values have been ruled \n",
    "                    # out for each neighbor of var assuming that var=2. \n",
    "                \n",
    "    for value in csp.domains[var]: # loop through each possible value of var \n",
    "        ruledOut = 0 # the number of values ruled out by all neighbors making the assignment that var=value\n",
    "        assignment[var] = value # make the actual assignment that var=value \n",
    "        # Now check how many variables this rules out for all neighbors combined\n",
    "        # Note that each variable is neighbor excluding itself \n",
    "        for neighbor in [x for x in csp.variables if x != var]:\n",
    "            for neighbor_value in csp.domains[neighbor]: # loop thru all possible values for the neighbor \n",
    "                if not csp.is_consistent(neighbor, neighbor_value, assignment): # the neighbor cannot \n",
    "                                                                                # take the value anymore \n",
    "                    ruledOut += 1 # this is summed over all neighbors of var \n",
    "        valuesDict[value] = ruledOut # track the number of \"ruled out\" values for neighbors \n",
    "    #print(valuesDict)\n",
    "    orderedValues = sorted(valuesDict, key=valuesDict.get)\n",
    "    #print(orderedValues)\n",
    "    print(valuesDict)\n",
    "    print(orderedValues)\n",
    "    return orderedValues\n",
    "          \n",
    "\n",
    "def backtracking_search(csp):\n",
    "    \"\"\"Helper function used to initiate backtracking search \"\"\"\n",
    "    return backtrack({}, csp)\n",
    "\n",
    "def backtrack(assignment, csp):\n",
    "    \"\"\"Perform backtracking search for a valid assignment to a CSP\n",
    "    \n",
    "    Parameters\n",
    "    ----------\n",
    "    assignment : dict(sympy.Symbol: Integer)\n",
    "        An partial set of values mapped to variables in the CSP\n",
    "        \n",
    "    csp : CSP\n",
    "        A problem encoded as a CSP. Interface should include csp.variables, csp.domains,\n",
    "        csp.inference(), csp.is_consistent(), and csp.is_complete().\n",
    "    \n",
    "    Returns\n",
    "    -------\n",
    "    dict(sympy.Symbol: Integer) or None\n",
    "        A partial set of values mapped to variables in the CSP, or None to indicate failure\n",
    "    \"\"\"\n",
    "    if csp.is_complete(assignment.copy()):\n",
    "        return assignment\n",
    "    var = select(deepcopy(csp), assignment.copy())\n",
    "    #print(assignment)\n",
    "    #print('Var selected is', var)\n",
    "    #print('Ordered values are ', order_values(var, assignment, csp))\n",
    "    #print(csp._constraints)\n",
    "    for value in order_values(var, assignment.copy(), deepcopy(csp)):\n",
    "        #print(value)\n",
    "        consistent = csp.is_consistent(var, value, assignment.copy())\n",
    "        if consistent:\n",
    "            #print('Is Consistent')\n",
    "            assignment[var] = value \n",
    "            #print(assignment)\n",
    "            inferences = csp.inference(var, value, assignment.copy())\n",
    "            print('Inferences', inferences)\n",
    "            if inferences is not None:\n",
    "                for k,v in inferences.items():\n",
    "                    assignment[k] = v\n",
    "                #print(assignment)\n",
    "                result = backtrack(assignment.copy(), deepcopy(csp))\n",
    "                if result:\n",
    "                    return result\n",
    "        if var in assignment:\n",
    "            assignment.pop(var,None)\n",
    "        if consistent and inferences is not None:\n",
    "            for k in inferences:\n",
    "                if k in assignment:\n",
    "                    assignment.pop(k, None)\n",
    "    return None \n",
    "                    \n",
    "            \n",
    "    #raise NotImplementedError(\"TODO: complete the backtrack function\")"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "### Solve the CSP\n",
    "With backtracking implemented, now you can use it to solve instances of the problem. We've started with the classical 8-queen version, but you can try other sizes as well.  Boards larger than 12x12 may take some time to solve because sympy is slow in the way its being used here, and because the selection and value ordering methods haven't been implemented.  See if you can implement any of the techniques in the AIMA text to speed up the solver!"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": 63,
   "metadata": {
    "scrolled": false
   },
   "outputs": [
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "CSP problems have variables, each variable has a domain, and the problem has a list of constraints.\n",
      "Showing the variables for the N-Queens CSP:\n"
     ]
    },
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAuEAAAAXCAYAAAClFJG/AAAABHNCSVQICAgIfAhkiAAACNlJREFU\neJztnXuMHVUdxz/bYm1pSYtG4yMoiAFq5G1BDdaFgA02xBgFqoEI8koKaMIfQsHUJmiLBtAmoBEh\nGYjBViES0WiaBteICFSCD1KkQJFnK/WBBSwtxfWP79zs7NmZO2dm7517ztzfJ7nZ3ZnfnTmfncf5\nzZkzZ8AwDMMwDMMwjCC4FXgRmDvoghiGYRiGYRhGpBwLjAPn+wQvAv4HXNbPEhmGYRiGYRjGEPBT\nYBswryxwA/ASMKffJTIMwzAMwzCMlnMcag2/slvQIagV/KYmSmQYhmEYhmEYQ8CjwNPAjM6EGU7A\nF4ERYH3OlzegLP4zzvQRIEnnXdOjgvYbcwkTcwkTcwmXNvmYS5i0ycWHYfIdJlcYvO864D3AKUUB\nfwD2kv9A5pHAG8BmYGZm+nWo4N/vWTH7j7mEibmEibmES5t8zCVM2uTiwzD5DpMrDN735HQ91+bN\nnIsS8L90WUCSLuCc9O8r07/XM7VVPXQSzCVEEswlRBLMJVQS2uOTYC4hktAeFx8Shsc3YXhcYbC+\n89N1PZg385B05oYuCzgA2AU8BVySxv8KmNXTYjaDuYSJuYSJuYRLm3zMJUza5OLDMPkOkysM3ncX\nsD1vxkeYuBroxpo0bhz4HbBvQdxyJPka8BDwsRqF7Tc+LouBnwHPM/nqKTR8XFYAm4CdwA7gbuCD\nTRWwAj4uFwN/Ri47gd8DS5sqYAV8j5cOK9LYG/pcrjr4uKzKxHQ+uSecAeO7Xd6J3puwA53LNgMf\nb6KAFSnz+RtTt8s48IvmiuhNmctM4Gom6pengK8D+zRYRl/KXPYDvoMe1toF3IeGCQ6RMhffujKG\n3AB649um/MHHpU05ho9vnTzkedTrBJjc9L4r/Tm7ZAE7Mr+fB/w3J+ZMYC2wGjganVh+iTqkh4SP\nyzzgEeDLTPyPQsTHZRT4LvBR4CS0I2wE3tLvwlXEx+U54HLgGOBDwD3AXcARfS9dNXxcOnwYuBAd\n1CHi6/IYSl47n8P7XK46+LgsQCfoEXRiXQhcil5kFhplPouYvE2OQRXLjxspXTXKXC5Hld+XgMPQ\nuXk5SgBCo8zlZmAJ8AV0nGxA5+R3N1K6apS5+NSVseQG0BvfNuUPPi6jtCfH8PGtk4fMKVreu9BJ\n+d4uX/48GsJwWxr7vYK4B4AfONMeR1cfoeDrkuUVwrySreMC2sneAE7rU7nqUNcF4F/ARf0oVE2q\nuMwHngROBMYIryXc12UVOnGFjK/LapSEh06dY+YqwnwfhI/Lz9HdiSy3ptNDosxlDkpSPuVMfwi1\n7IdE1X2sqK6MITeA3vlWjRkE/cyF2pJjVNl23fKQGem6n8ybOYJaeHbkzQQ+CexBrXRvA/4KvA4c\n6sTNQieW053pNwK/6V72xvB1cQnxIKrrAmoRGwdO6FvpqlHXZSawLP1uKK2uVV3WA99Mfx8jrCS8\nissq1KrwArrlvA54XyOl9KOKy2bgerRtXgT+iPoQjjRSUj/qHDMjwFbC2sfA3+UK4BnUCg7wAeBZ\n1BoeCj4u+6Hz7xLnu/eic0Ao1NnH8urKGHID6J1vnZim6Xcu1JYcw8fXJw9ZiP4fdxYt5I404P3O\n9BNQxboV/VMBPpvG3uXEdlrUFzvTV6Lb1C4JzfaVquLiUrYhEuJxAd2KfpjJQ/V0SAjf5XC0Tfai\nVr2ivlgJYbtcgFq/3pT+PUZxgpQQtsupwBnodtzJyGU78Nac2ISwXV5LP2vQrfNz0f52SU5sQvN9\nPuse/59IY44smJ8QtssI8A3UovR6GlPUcpwQtst9wG9R95OZwFmo5TCEuhLq72N5dWXouQH01rdq\nTELY58Msvkl47DlGh26+vnkIqA4ZJ78OAeBzacDFmWlHpQveBhzsxG9K47MPVlQ90G5L48/qUvBe\nUdXFpWzHi8nletRaWdRKGYPLLHTBeCxKlP5B/kMgIbsciu4+Za/ExyhOwkN2yWMuakW+LGde6C57\nUJKUZTV665lLky4wvW3zEwqGyEoJ3WUZavlehirAs9Et4PNylh26y8GoFXgcVeIPAj8k/n2sF0l4\n7L5VY0I/H2bx8W1DjtGhm69vHgLwI3ScH1C0olnA31G/LdIFbwf+TX5H887A4/c7y6hyy+lh9FTp\n/kWF6hF1XFzKdrxYXL6NdsbDCuZDPC5ZNgK35EwP2eUcJirgzmcctfLtBd7sLCNklyJ+TX6/u9Bd\nnkYPzmU5G3g1ZxlNucD0ts3b0cXFBV2WH7rLs+hhqSxfBZ7I+X7oLh3mMtE6t578UWticYHedEeJ\n3bdqTOjnwyxlLm3LMap0JSrKQ+ajBzJLeyl0hkg72nOFeTwA3ORM28LUhy8WoFtv35rGupqk24aI\nxWUt2iEXdomJxcXlHtSKlCV0lwXoqjn72QTcnv4+4sSG7JLHbHQyXulMj8HldtRVIMvVqK94lhhc\nOnwFeBk9MJVHDC7/ZOrt3BXoNnOWGFxc9kctdhc602Nz6fZg5rDlBj4xbfJtY45RJQnPy0NAI2t5\n9Y+fjVqA7vZcYR5notaW89GGWIsk3uvEnYb6XL5jGuvqN/PQrYyjUH+ilenv7pBKMbjciK48T0Ll\n7HzcCjkGl2vQ7aMD0S3pNaj1+FQnLgYXlzHyu6PE4HItGkf7IOB4NGLFTuI89hehPsdXodaU04H/\nMLm7HsThArqg28LU0SmyxOCSoKHBlqLj/9OoS9d1TlwMLkvQOesg4BT08O/9TDwf0iEGF5+6cthy\ngzblDz4ubcoxfHx985A5qGvOHb4rXwx8Dd0iq8ty9IKI3eihM7cfWCyMkv+Si2RwRapNnsc4GtEi\nNhJ0sbgb9TneyNRRBmJljPBGrvBlHTrZ7EEvJbgTjV4RK0uBP6EKYwsamzqk0VGqcCI63o8bdEGm\nifuCm62or37ZOy5C5Aw0XNludMfoBnTbOkZG8asrhyk38ImJhVHKXdqUY4xS7pvgl4csRP+DA/tT\nVMMwDMMwDMMwDMMwDMMwDMMwDMMwDMMwDMMwDMMwDMMwDGMQ/B/C1srqrStG7QAAAABJRU5ErkJg\ngg==\n",
      "text/latex": [
       "$$\\left ( x_{0}, \\quad x_{1}, \\quad x_{2}, \\quad x_{3}, \\quad x_{4}, \\quad x_{5}, \\quad x_{6}, \\quad x_{7}, \\quad x_{8}, \\quad x_{9}, \\quad x_{10}, \\quad x_{11}, \\quad x_{12}, \\quad x_{13}\\right )$$"
      ],
      "text/plain": [
       "(x₀, x₁, x₂, x₃, x₄, x₅, x₆, x₇, x₈, x₉, x₁₀, x₁₁, x₁₂, x₁₃)"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Showing domain for x0:\n"
     ]
    },
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAAYQAAAAWCAYAAADAZOsvAAAABHNCSVQICAgIfAhkiAAACaBJREFU\neJztnX2QVWUdxz8YL6KQ9ELuVIy8qLWiE1JpTil3KZly09Fs7NWyKdPS1BLToSmuNRWZMhjV5EvE\naExOktGIBpJmiEVpugUmpuGiRIsBLmy5KKzbH9/ntGfPnnPvOb9zzuXCPN+ZOw97nud+z+8+5/x+\nz/N7OQfw8PDw8PBIgY8Ca4GdQB8wbd+K4+Hh4eFhQBXYA3QBy4CjsxIcA7wM9ACLgG8ALTHj3uj6\ntwAvAp3AAuBV2WUehA8CC4EHgF1AP/DTnJwArwE+A/wSeAroRQveGuDTwEE5+b8D3As867h3AI8C\nc925i8TH0bz0o9+UB50hruinKyd3gHejee9C98oWYCVwmpHvPJJlDj59uSSGduAeYDO6nhuB24GT\ncvIOA84H/gj8B/gv8DBwIfnvQavuNIsul6X7Fu6y7YXlt1psTAWYB6xw5/hTVkEvcl+8pMaYKcBW\nN26ZO+F97u8NNYRLgw7H0wM8TnE3xYWOawuwBPg2UoJud3wpUlYrXkJe1SI0HwuBhxz3P4EJObjD\nmIBk7qG4BaEb7SSin9k5uQGuQXI+C9wIfAu4CXjE9VkwjXh5q0hh+oHlRm6Q4vUD24Cb0fVciq7x\ny2hBtmKJ496K5uF64G/u2C05eMGmO82ky2XpvoW7bHth+a15bcyf0f07JougX3UnOLXGmJVuzBci\nx+e74z/KcsII2oCj0GRXKO6mmAmcztCVvQV4xp3n7Bz8Bycc/6bj/mEO7gDDgN8A/wC+S3ELQmdO\njiScj2RcDIyM6R9Rwjn/4M55hvH7Lci76AJeF+lrc9wbjdxnhb7/2tDxkcCdru8DRu5Avqy600y6\nXJbuW7jLtheW35rXxgSbkUyb06r7UiWhf4rrf5qhkzWWATf40CwnTUCFYm+KJMxx51lYAvdbHPeq\nArguRSv8KQxcp2ZdEEYBzwGbiF8MysBxaE42A68wcpzoOH6V0L8L7eosuMVxXxTTN8313WfkjqJC\nfd1pZl3OOr5MWaIo2l7klSetjVnsxk2MduSJf7W59h5knMLoAR4EDgHekeMcjcYe1+4tgft01/41\nJ08rchOvB1bn5IpiFAqDzEGLTht2gxrgVGA8cAe6T9qBKx1/3jh8Ej7r2h9jzyE8iVzzExi8iwct\nxGORl2ZBkIuL8zCCYyfTuAX0QNTlRqBMe2FBbhszvEbfONf2JvS/ybV/T+h/EpiFstn3Zhet4RgO\nfML9e0UBfLNRjO4w4G3Au9CFmpeDczhwK3JV5+QVMAYtjj+Mp4FPAb8zcr7dtbtR4uvYSP9qlFj7\nt5E/itFoUetDcX8rdqCFaz6K7S8DtqPd9BloF3aBkXubayfF9E127XD37w3Gc2TBgabLjUDR9sIC\nq43Z7drDoh1JC8IwtEPpR65+HAKynQn9wfFxCf3NhnnIWN2N4ql5MRs4PPT3ClQVk8fwfQ04Hl34\npIXaip+gSofH0K5wMnAx2m3/Gu3m/2LgDeLvVyDDejJKpE0CrkWG5naSQ5NZcQ665+5CCew8WIDC\naItQHiTAU8jtfs7IexfwEeBLwG1o8QHlUq4Ojctb3ZMWB5ouNwJF2wsLrDam07UVIjodDRm9F7gO\nlSRNR9UgRZUcNjMuAS5Hu7FzC+JsQQtrC0oQTkY75OlGvhORV3AdSpgWjatR3Hor8AKwHlVYzEe7\n7qqRN7jH9qKd9RoUk16HkqubgRkUFz4KwkU3FMD1ZVRFshh5BocCb0VhnSXYq6NuQ0ZkClokb0Ah\nwA60YD7jxkXDNx7NgTLshQVWG3Mr2uhfC/wcJaMnxg1cwED99jpgag3SoLrl8oT+77v+z9URLg0q\nlJdYuthxP0b8cxZF4QhU273e8N3hwBPIeIyK9FUpJqmchCMd/3bj94PSzaRF7GbXf6mRP4ypDJS2\n5s19VBzXHTF9h6CFrI+BEE9WjEAhqXXIhe9GYak3o3ukn/iQUlZUqK87zazLWceXKQuUay8s8oSR\nxcZcgDZ+gb2vwFAP4TLkPp6JDMFKkhXrCdcmPfF2lGuT4pLNgMtQhcB6lFgr0xvahAz6VIYmKeth\nDJrnVmQ8wg9ezXVjbnJ/LyhC2BAC99NaYRLcJ90J/c+7drSRP4wikskB3u/a38b0vYC86INQCM+C\nPWixPA6VEY5DeteJdGcbyt80AgeCLjcCjbQXFqS1Me2ojPgRFPYaCdwP8TmEXajU7hfAx5ARiltx\nAkWZhRQj7N6OBd6JFGdtml+yD3AligN2oEqYbbWHF4LXuzarsXoRGbk4TEdGaQ1S7KLDSUFlibXm\nPnhA7BiG3icwkGTOa/wORu57H8lzlQWBJzY+oT84/lIB5wrjw0hBf1Ywby3s77rcCOwLe2FBGhsz\n07VV5OmkQvCQwyk1xlgeZlns+s5LKwjpXam03MFDdw8Dr04pQxruo4nJ3CMlC+bzQSN3EqrUDhml\n4W4l3gOYiCpM+omvakrDDdpg9ANfjByfhYzP8wydt7TcAc514+9MMTYN9zluTBfwhkjf+5DcvQx9\ngjcNN8ArY45NQx7ZDgYU28IdRoVyHkyzyJJFnqzjLfKk5S7LXljksdqYMBa5cUdGO2qVnQY1trWe\nVfg88Hvge+g9NY+j5Gcbci+/kiA41K/dPdN9YCBWdxKaaNAKHX2lQhruTwJfRyvoA8S/mqMzdJ4s\n3KehR9vXoB3vdlQFMAPFmrsYXK2ShduKNNwfQvHj1cjt7EEJz3a0874bJaAs3KAHsI5HxqUdJb4m\noevbhxazaIVL1jkJwkU3phibhnspes7gPei+Dt7B1IrCScOAqxiaW0kr9yq0oKxH892K5qYX1ZNv\nMcoNNt3JqstZrk9WecrSfQt3mfbCIo/VxlhkG4S51H5SOcAEVLL4L+Q+b6L2C7EeRWGpeiV1VQbH\nyqOfTiN3Pd5+XDzNwH0sSsB1oAu5Fxm6h9x5k3YXaeckDlVqewhpuGegEMUGFOvfg3aqq1CtddK7\nWrLIPR7FXzeh+2QbMrInFMDdSrZkclruEShuvNaN34tKTZcj7yYP9xXonTLdKCS4EfgBesFcXrmr\nZNcdyKbLWa5PVnks8pc1N/XG57EXFnmsNiaMxY77iBRj/4+r3JfOyvKlOhiHVlpruZ7n9tyee9+j\nmWQBL09WBCHcw+sNDONs96XlaOeQ9zWvIFd4N+WUd3puz+25G4NmkgW8PGkxCnnkO90nk00fjWqk\nw+6L/w9yPDw8PPY/VIkvVx+EWknlXvR+jJkoRjuG5qu79fDw8PCoj/tRvmE7Kk3v2KfSeHh4eHh4\neHh4eHjsB/gf4w6tmXkRdxgAAAAASUVORK5CYII=\n",
      "text/latex": [
       "$$\\left\\{0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13\\right\\}$$"
      ],
      "text/plain": [
       "set([0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13])"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "And showing the constraints for x0:\n"
     ]
    },
    {
     "data": {
      "image/png": "iVBORw0KGgoAAAANSUhEUgAAELQAAAAXCAYAAAAMs6G5AAAABHNCSVQICAgIfAhkiAAAH/5JREFU\neJztnXnULEV5h5/LVQQvBIxBQYOCetgigiBLDOBVcAvxGI+CynG5HpdE1iNJZHHhgoqAexR3yQeC\nAgFcEEWCeI0bIAiIgsGwCkFFRBbhCsiXP95qp6enu6d7pqu7uvr3nDOHO1XVXTXTz/f2dNdLNQgh\nhBBCCCGEEEIIIYQQQgghhBBCCCGEEEIIIYQQQgghhBBCCCGEEEII0SL7ABcCdwJ/Aratuf3GwCJw\nVqb8YFe+T6b8L4B/B24A7ndtDq1RPwtFY2mDE4HfAMs66Ds0tseOwxta6KtJL304WTaWNhiKl3Ku\n2ljaQM41j5wrR841j5wrZyjOVaFrL8s8aNvLLp0EeZlGXlYbSxvIS6NrJ0FephmCl3Ku+ljaQM41\ni5ybjpxrFjk3HTnXLJqHK2cIvkF/ndN9wP4i57plKJ5No00PIfz7em0zFA8V77pFnjWPYtk4cqx5\nFMsmkWfNo1g2zlAcq0LXHoLinVwM20OI30V5OCJkF2P3EIbhYsiOQfyeDcExCNuz2B2DYXgWsmMQ\nv2dDcAzC9ix2x2AYnmnOtFuG4BhU82wl8ADwK+DLwGZ1O9kKeAi4GzgBeBewYc19/KMb6Nsz5V9w\n5dlBne3KzwHejX2IrSrUn+fKk1cy7l8ApwIvBpYUjLFoLL7ZARvnwS33GzJfAm4F1vHcT5Ne+nCy\nbCy+GZqXcm76WHwj5/wg54qRc36Qc8UMzbkqdOllmQdte9mVkyAv85CX08fiG3k5TqjncJCXsSLn\nqo3FN3KueeRcOXKueeRcOXKueTQPV8yQfIN+Oqf7gP0mZucWsaST7wF7NfhZmmBonk2jLQ+hm/t6\nobo4NA8V77pBnvlBsWyEHPODYtk48swPimUjhuZYFRTvukEujhOqhxC3i/JwklBdjNlDGJaLoToG\ncXs2JMcgXM9idgyG5VmojkHcng3JMQjXs5gdg2F5pjnTbhiSYzDds+XAMcC52DG7uG4H+7kND5xt\nfAAc5fbxwkz5E4AtGE822sK1PbdgX2X1t2MH/0hM3COBDwHfAFa77b4FrJuzbd5Y2uA84PfA2i33\nGzI7YsfqcM/9NOWlLyeLxtIGQ/NSzpWPpQ3knB/kXDFyzg9yrpihOVeFLr0s8qALL7tyEuRlHvKy\nfCxtIC/HCfEcDvIyZuTc9LG0gZxrHjlXjpxrHjlXjpxrHs3DFTMk36B/zuk+YP+J2bl3A2cAD7pt\n3jLz6JtnaJ5Noy0PoZv7eqG6ODQPFe+6QZ75QbFshBzzg2LZOPLMD4plI4bmWBUU77pBLo4ToocQ\nv4vycJIQXYzdQxiWiyE6BvF7NiTHIEzPYncMhuVZiI5B/J4NyTEI07PYHYNheaY5024YkmNQz7NL\nsWNYa5GVd7gOnlt7aCPOcft4bIW2+7q2b6xZ/yRX/vOC7TYEvu3anF5hHG2wGXZAPt31QALkauBG\nYA2PfTTlZUxOwnC9lHPdIef8IefykXP+kHP5DNW5KsjL7pCXxcjL7pCX+YTmJMjL2JFz3SLn/CDn\nipFzfpBzxcg5P2geLp8h+gb9ci4m30DOxercP7u6GyqO1TdD9WwabXgIcjFhqB4q3rWLPPOHPDPk\nmD/k2Ah55g95ZgzVsSrIw3aRi/mE5iHE7aI8LCY0F2P2EIbpYmiOQdyeDdExCM+zmB2DYXoWmmMQ\nt2dDdAzC8yxmx2CYnmnOtF2G6BhU9+wU7FhtXGfnK91Gy6e0exhwEPAT7Kk4NwKHYCuq3Arckmn/\nbLff97n3L3Xv815bVqjf2/37lJIxbgD8wbXbtGQsafZx+7wGuBu4A/gR8LqCPtYCDgWuYvQ9HA4s\nddtfmWp7jOt394J9nefqX5opXwIsuLpjCrZtgi77P8Lt//lz7senl28rqZvXybyxJNR1EuRlFeSc\nnCtCzsm5BDlnyLl6vkH4zk3D5/i68DLPg6687Oo6BORlGfJSXs5K7OdwkJdZunZSzsm5BDlnyDlD\nzk1Hzsm5ImJ3TvNwk8i5cnQf0JBz04nduU1c3b0F414CrAC+gz0lZjVwGfDanLa7u30dlSnfKTWe\nTTJ1J2NJMJu79yF7FkN+AYR7X28TmnExdg999q94p3jXRt9deKZYlo9iWTmKZf33TLGse89id6wq\nineKdwt072LsHkL4LspDI3YXh+AhhO1i7I7BMDwL2TGf/Yfi2RAcg7A9i90xGIZnITvms/9QPBuC\nYxC2Z6E7Bro3p1hWTFXPkj42qbPzlW6j5SVt1mT04S7DxDsBuA/4jCv/amabf3Hlr3Tvn+n6+g3w\ngPv3SuzDLa1Qf5zb31umfJ7zM/3mjSVhXeBB4IfA54D3uv/+1rU/JNN+mWu7CFwCHIt96auBz7vy\nE1PtL3H7X1Yw1m2AP2EJUktT5R9w+/pUyedsgi7738P18f459uHby78rqZvXybyxQH0nQV5WRc7J\nuSLknJxLkHNyDur7BuE7Nw2f4+vCyzwPuvKyq+sQkJdlyEt5OSuxn8NBXmbp2kk5J+cS5JycS5Bz\n1ZBzcq6I2J3TPNwkcq4Y3Qc05Fw1YnLu4JLPd2lO3drAN139FcAHgY9jCTyL2OInabZz5R/KlJ/l\nyhddm4THAfcDX0mVhexZ3/MLIJz7ej5djN1Dn/0r3inetdF3THMUimXzoVimWKZYpljWd8eqonin\neBeCi7F7COG7KA+N2F0cgocQtouxOwbD8Cxkx3z2H4pnQ3AMwvYsdsdgGJ6F7JjP/kPxbAiOQdie\nhewY6N6cYlk5VT1bcO02qbPzD7uNdippk0j4Dmx1joTdGB28lZltTnHl6VVvlmIro/ykoJ+y+gvc\n/nYrGSfAaa7dm6eMBWAdYMOcfWyEPXHn55nyk8n/HpLVWhaxVWnAJH2QyaeTZVlw261w7w93708D\n1piybRN01f96rp+L59hHG176crJoLHWdBHlZFTkn59ruX87Jubb7l3PNOFfHN+iPc9NYwM/4uvCy\n6Ld/F152cR0C8nIa8lJezsMCcZ/DQV5mWUC/G/OQc4acq4ack3Nl+Ohfzsm5Mnz0H5JzmoebZAE5\nl4fuAxpyrhoxO/dXwOWubq+c7b7k6g7LlG/A6Gkvj0qVb+rafzZVthmWRJLsa/dU3Xtc2S7ufR88\n66rvJjyEcO/rNeniEDz01b/ineJdG33HPEehWFYfH/0rlimWtdG3YpliWV0WULxTvOueBeL2EMJ2\nUR6OWCBuF2P2EPrhoo++Q3IM4vasD4756j8kz2J2DPrhmY++Q3IM4vasD4756j8kz2J2DPrhmY++\nNWeqWNZG/1U9+6Rrt03VHS/BVip5iPwEH4Ad3U7PLqi/ytW/KFN+NZYclBZ6a9d2oWBfRfVLgN+7\nca5bsG3CuW4fe08ZyzT+B1sBJmFnt98vF7S/0dXv6t5v5t6fN6WfjbGVa64H9nfbnIutctMGXfZ/\nH/CrGbdty0tfThaNpYyskyAv6yLn5Fzb/cs5Odd2/3JuPufq+gb9cW4aPsfXtpdFHnThZRfXISAv\nqyAv5eWsxH4OB3mZpWsn5Zyck3NyLkHO1UPOybm2+w/FOc3DTSLnJtF9QEPO1SMG5xaxJ4isBN4F\nnOTK72Jy0RSAf3DbnF4w7hNdfTrJZX1Xdlqq7NOun791dUnizVrAbcCFqbZ98Kyv+QUQzn093y4O\nwUOf/SveTaJ4pzmKNIplzaJYpljmG8UyxbJQULxTvAuB2D2EsF2UhyNidzFmD6EfLsbuGMTtWR8c\n89l/KJ7F7Bj0w7PYHYO4PeuDYz77D8WzmB2DfngWomOge3OKZdWo4tmhrr+DprTjBcAHgB+5DT5Z\n0vbzrs3OBfXfdfWPT5Utw1Yq+W6m7Wtd2wML9lVUnxz8vCfnZLnOtU1W9SgaC9hqK+/ARLvDtVtM\nvX6capt8DzsU9PtjxhOvEqlPK2if5r2pPr8PPLKg3b6YWKuxhUh2LWhXlyr97wZ8FbjFtVsxY5s0\nt2Cr1MxCW176cLJsLHWcBHm5kvHvZ5HyQCnn5Nw8/a8LfBhLYr0P+AHF30OCnOu/c3XPbXWo0n9d\n3+XcfM7V9Q26c85HLPQVh9v0suy3f9tednUdAt14eRh2fXkXdjF/NvDUCv03MT6Ql0XE6mUVJ/fD\nVnS9y71+COxZoe8q+PAylHM4yMs8qhxzX3Gwav8g54qI1TnFuRFyzvDtXJrDXNuPTWlXFTkn54qO\n+UbYZONt2HG/CnjWlH1XIWbnynwrq++jc01f+96QGVvyOqfC/pvoH+JzzodvZWPp273npVhSRnLM\nrwfeDTyswv6b6B+G51ze6x4sdyKPr7o22xfUf9DVPy9VtsSN++vu/WOx7/dY4K9d+39ydW9071+W\n2r4v82p9zC+AcO7r+XZxKB7W6T+hyrWM4t0kinflfa9k8vueluAXwxyFYlm7saxuvopi2SR9iGW+\n8lM036pYltBlPkrVMdbtX/FukhjineZdR7Q5H6GYOEnX87Ehn5uhnzFxXg+hWRcV70Yo3o1oOt4p\nlo1QLBvh474JKJdEsWyED8e6zB9RLAvPMWjWsxvI/8wx5ouA7s11FctizBF5PPb38wC20Mh7gE0A\n1sg0fAFwMPAM4KfAR0t2+jzgduCigvonYU+0uSVVto3rM5sYtJ3772UF+yqqf4b77yUl4wSTeVPg\n/4ArpozladjKMEdhcp6KHbgjsdVcSO0DRt9D0Rg2An6BrTQDNnkEtjrLNG5L/fv1wL05bV4OfAQ4\nGng6NjH1DeAJFfbfRP/rYK4cxOizzdImzdoV2+XRlpc+nCwaS10nQV6CPVVro9Rr65J9yjk5N0//\nnwWej/2g2hpbYet8xi8Essi5/jtX99xWh2n9z+K7nJvPubq+QTfO+YqFvuJwm14WOQnte9nVdQh0\n4+Vy4OPAM4HnYBev5wN/WWEM845PXuYTs5dVnLwZOAT7Hp8BXIA9dfdpFfqfd3xQ38tQzuEgL/Oo\ncsyX4ycOVu1fzuUTs3OKcyPknOHbuYSdgTdhSS9NIefkXN4xXx+bYFuCJVVtCRyAfffzErNzmofL\np8ox34HxuYbtsIneoic71GGozoV8HxC6d+4QLJH0QGAL7Bp3XyzZb17k3DiJc/+B+bEEeDSWL7EM\n+CJ23snyLOx/SL60YNwbuf/elCpbBO5ktBDKQa6/j7hysMVXkrprgbNS2/dlXq2P+QUQzn093y4O\nxcOq/SdUvZZRvJtE8a68b6iXtwJxzFEolrUby+rmqyiWTdKHWOYrP0XzrYplCV3mo1Qdo65VFe9A\n865p2pyPUEycpMv52NDPzdDPmDivh9Csi8tRvEtQvBvRdLxTLBuhWDaiac9AuSSgWOYzlnWZP6JY\nFqZj0KxnQ8oXAd2b6yqWxZgjcguWm/MAsBdwOG5Bizz+Anix2+nN2AofWdbCDlyebDD64/x6pnx/\nV74iU/5dJp/YVaU+WR3lLQXbJXzOtTu8wliuwFYSWZ6zn6PcNvu598n3UJQAuIWr/2Kq7HGu7HtT\nxrwP9plvde0/UdDuIuAzmbJfYAd8Hqr2n+Yepq8APq3NGq7fayv0l6VNL304WTSWOk6CvAR70sVP\nK+5Tzsm5efpfG7tR+OJM+aXYalh5yLk4nEtT5fxXlSr91/Vdzs3n3Cy+QTfO+YiFvuJw214WOQnt\ne9nVdQiEEQvXwVa0fFGFtkXIS3lZxcs65+ffMVpJdVZ8eBnSORzkZZZZYiU0Ewfr9C/n8hmSc6A4\nl0bOGU07tx52HJ8NrKKZp2rIOTlXdMyPxhISmiZ25zQPN8ms59a3Ab/H7g3Pw5CdC/U+IITh3New\npwilOdGVz4OcK3Zu35xtTnd1B2TK13XlRckwS7HFVn6NJb2kuRa4HLsuvANLxEl4EDgOSxLKegn9\nmFfrY34BhHVfrw0XY/ewTv9Q/VpG8W4Sxbtm81YgnjkKxbL2YlndfBXFskn6EsvSNJWfovnW7j3r\nm2Nd/3bTtaqheDeO5l3HUUwsx/d5t6352NDPzdDfmDiPh+DXRcW7cRTvyulDboli2YiQHIPmPVMu\niWKZ71jWZf6IYtmIkBwDv+fMWPNFQPfmuoxlMeaI7MnoO/ob4OFVBnyy2+ipOXUPxw7MzQXbnum2\nzU6OnODK06u2LQHuwlalz6Os/r/d/nYr2BbgVa7N9YxLnjeWjV3ZuTn7WR/4pavf2ZUl38MNBX0n\nffxbqmwJthLNbblbGH8P3I+tQLYB8HNsNZLNM+3WdP3vlSk/HvhOyf6nUbX/LE0knGyJfWdnVhhn\nlra89OVk3ljqOgnyEiwx4F7shHM99sStJxXsV87JuXn6T374PD+z7fewi+485Fz/ncvSVMJAlf5n\n8V3OzefcLL5B+875iIU+43DbXuY5Cd142dV1CIQRCzdyY9ulQtt5xicv8xmSl1WcXAq8wu176ylt\ny/DlZSjncJCXWWaNlTB/HKzTv5zLZ0jOKc7JubacOw041v17FfMnIcg5OVfm3FXYBOZpbp+XYxOk\n2UTsOsTunObhJpn13LoEuA7FuTQx3QeEMJw7FHsyyBbu/VZurHlJG1WRc+XO7ZRTlySn/CBTviaW\noHHTxBbG6912x+TUXYIldhzs9rFVqu532BPWvw78FnhkzucIeV6tr/kFENZ9vTZcjNnDOv0nVL2W\nUbybRPGu2bwViGeOQrGsvVhWN19FsWySPsSyLE3kp2i+NQzP+uRY1/FO16ojFO/G0bzrOIqJxfj0\nsM352D6cm6G/MXEeD5PP4ctFxbtxFO+K6UNuiWLZOCE5lnyOJj1TLolime9Y1lX+iGLZOCE5lnwO\nH+fMmPNFQPfmuoxlMeaIfMC126POoN9DedLQ1a4+u9LfIa58EXhJpu5y4D7gYamyzV3bUwv6Kapf\nA7gbW21wnZztHg28DxPqd0z+YeSNZQPX1zWMr/rxaOCbru4BbMWZhJ+58t0z+9+P0feQrTvDlT8l\nZ9y7YBOa12EXnwAvc+2/nGmbrOaSPUbvJP+PesG1X5FTN0v/WZpIOHmd62v/nLoFpo+/DS99OZk3\nllmchP54ucD0Y1q3f4AXAntj3/Ee2MXPr7DvLYuck3N51On/B9jqYI/Hbui8CjsmRQnicq7/zmUp\nO7ct0Kxzdc/9IOeacG4W36Bd55qOhT5/k0Kxl1XGBvW9zHMSuvGyy+sQ6CYWpjkde8rp0kz5AvIy\nQV6OM6uXZU5u7eofxFbK3bOg3QLdehnKORzkZZp5YiUUx0GQc2nk3IhZnFOck3PQnnNvxFY4T8a7\niuKJuwXkXIKcG1HXudXu9V7g6dhxvYfZj+sQnNM83Djz/J5LJsi3KahfQM5Bv+8DQvfOLcHm6R9y\n41sk/wnbC1S7XyHnyp3LcwDMmTuw4/C4TN2Fbp/Z5IvdsXPS9dhTx7L8F+bvTUw+TeV64ErX31E5\n20K482p9zy+AMO7rteVirB7W7R/qXcso3o2jeNd83grEMUehWGa0Gcvq5Ksolo3Tl1iWZd78FM23\nhuNZnxzrOt7pWnWE4t04mncdRzGxXQ+rzMcu0GxMHGruaF88BH8uKt6No3jXnGOKZYpleTTlmXJJ\nFMvaiGVV80cWUCxLGIJj4Od3Wez5IqB7cwltx7JYckTSnEDx91PISrfR8oL617j6+4GTgOOAizEJ\nb3J1T0y1f4Rre3FmP690bd9a0E9R/Vau/C431pWYIB8FLnDjWMRWHd80s23RWAC+5bb7sftMn8dW\nUjkDm/C5ItM+eRLQauBEbPWw72OrrFyNifSogs+0X6Z8W+xC4FbgyZm6H7ltdk2V1RXmJNf+VTl1\ns/SfpYmEky9iF0Qb59RNGz+046UPJ8vGUtdJ6I+XVY7pvF4CLMM++8E5dXJOzmWp2/+TsVWnFjGX\nLgZOxj53HnKu/85lKTu3Ne3cLBe/cm5+52bxLf252nCuyVjo+zcpFHtZxUmo52XZb/+2vez6OiT9\nudqMhQkfxJ5ElvcEMnk5Ql6OmMfLMifXxG6QbI/dyP4t8NScdl17Gco5HORlwryxsiwOgpxLI+eM\nWZ1TnJNzbTm3ObbSeHrl7lUUJyHIuRFyzpglzt3P5Gr7R5N/L07OGZqHGzHv77n/LPhMCXLO6PN9\nQOjeuVdgT9t4BZZM+moskeL1mXY+5juG6NzlJeM7hfzjujv2uVe7cR8DfANz43qKkzJOd/tbBJ6V\nqbvMld8HPKZg+xDn1WLIL4Aw7uu15WKMHs7Sf91rGcU7xTvfeSsQxxyFYpnRZn5UnXwVxbJ+xrIs\n8+SnaL61vG6osSyL73yUWcaoa9VxFO8Mzbu2Mx+hmDhf3olyR0cMwcP0Z2nSRcU7xbu8z9GUY4pl\nimV5NOGZckkUy9qKZVXzRxTLRgzBsfRnafJ3Wez5IqB7cwltx7JYckTSLLj9bjKl3RhHuI2Wl7Q5\nCFup4wHg18CZwHbAjdiP2TTbu/19MlP+PleeXQFlWn3yB5J+3YtdsH0fu3h7ZsE+i8YC9rSek7Af\nT3djJ7bXuM+1CHwuZ5sDgGuxP8KbgOOxP87bsQSpLGti39dFqbKnYCvx30H+U4X2cP1fmNnPg8Be\nmbbHY5NVWS7DEsHykkln6T/LvAkn62F/6EWrGZWNP41vL304WTaWWZyEfng57Zg24WXCt4FPZMrk\nnJzLMo9zyxitXHUacE5OGzkXh3NZys5tTTtX99wv55pzrq5v0K5zTcXCNn6TlnlZ1Umo7mXZb/+2\nvez6OgS6iYUAH8IujLcoqJeXI+SlMa+XVa5PE84n/7N06WVI53CQlzC/k9PiIMi5NHKu2XsiinOG\nnBunCedWuLIHU69FbDLoQWziKo2cGyHnZo9zNwKfzZS9GvhDzj7knKF5OGPec+tjXP9vLKgHOZfQ\n9/uA0K1zv8SOQ5q3A/+bKfMx3zFE54ocgNFTSi7IqXuWK7/Hva4EjgTWLdnfp9z+8pJ6Vrm6T5ds\nH9q8Wkz5BdD9fb22XIzNw1n7X0H1axnFO8U733krEM8chWKZ0UV+1LR8FcWy/sayLLPmp2i+dXrd\nUGNZFp/5KLOOUdeq4yjead61zfkIxcT58k6UOzpiCB5C8y4q3ineZfEV7xIUywzFsvk9W0H1+6+g\nWJZmCJ41Gcuq5o8olo0YgmPQ/DlzKPkioHtz0H4siyVHJM2C6+uJFdr+mUPdRi+ps5H4M6/Gvr9/\nLag/zNU/fc5+LmLyj+MabIW8NOtjTxo6bs7+ypg34eQA7DvZJaeujfEPgZC8bPOYroXd0HlnplzO\n+WeIzj0KW83qTTl1cs4/bTmXpujc5uuYVj33g5zzzTTfoF3nuoyFTXgpJ5shNC8BPoJdHG9ZUC8v\n46cLL+skFlyAPbEsTdde6hzunza9nBYHQc4Nga7O0aA4N1TacG597Akt6dePgC+4fy/JtJVzcdNW\nnPsC8N1M2buAqzJlci5+2r4P+FZsQYR1CurlXPy05dztwP45+74u9d7nMZVzYRPbvJryC/pJDB7W\nuZaRZ90Qg2dZivJWQHMUXRCjY1Ccr6JY1g3KT/E7NjGcfJSq/YPiXVe06aLmXUURbedCZcnOx3bt\nIcjFrlCeid+xCX95JaBYJkYol8Tv2ERzsaxK/kjXjoE864omz5nKFxF5KEekmK+4to+tM5CXuo2+\nBmwMrFFn44GwFFthJ8se2E2MmygOVGthK9OcPecYXo6t8PMG7IL1I67v7OolLwJWAxvO2V+WdYBt\n3etebOJ1W+AJNdusjT1l6YyCfnyNP0b64qXPY/p+bGWlTYGdsDh2V6Z/OdccQ3fu+cALMd+eC1yO\nrVb18Ew7OdccIThX5dzm65hWPffLuWaYxzdo17kuY2ETXsrJ6vTJy+Ox32HPwY5t8kqPT17GQQhe\nVnHyGGBXYBNga+xmy0PY77k0XXqpc3hzhOBllTgIci4WQnBOcW5YhOBcllXAx3LK5VwchODcDthT\nAN6GrSy/F3AnsF+mnZyLgxDuA4IlVV0DfKakjZyLgxCcWwBuBvbEftO9BLgN+ECqjc9jKufCJoZ5\nNeUX9J8YPMxjFZPXMvKsO2LwrEreCmiOoiticAyq5asolnWH8lP8jk0MJx+lav+Kd93RlouadxVl\ntBkTq8zHhnxu9jk+oTwT32MTzcU7xTJRhnJJ/I5NNOdYlfwRxbLh0pRnyhcRRShHZJJHADtisfhO\naq5JsTZwJbaoRfLats4OBsDWmAhfAT4IfBRb2WkR+A3TV1fZDTgCWDbnOPYFbgD+CFzq9tsWyxl3\nJHkt1GyzJbAS+6MT8yEv4VQsSN4P3AKcCWyVaSPnmmPozu0NXOv6vRW70F4vp52ca44QnFvO9HOb\nT6r4LueaYV7foF3nujz/ysv26JOXefWLmAdtIC/bIwQvlzPdyQXs5tEf3bjOxxI+22Sal3KyOULw\nsus4CHKuTUJwbgHFuSERgnNZVpGfhOATOdceoTi3J3CFG8s1wIGMP8XFN3KuPUK4DwjwbNfnjnPu\nZ1bkXHuE4Ny6wIex33T3YU/dOBpLhmgLORc2fZ9XW47yC2Kg7x7msYrJaxl51i1996xK3grIsy7p\nu2NQLV9FjnWL8lOEb4aSj1Klf3nYLW24qHlXMY22YuIC3c7H6twcPsozEb5pIt4toFgmylEuifBN\nU451mT+iWBY+TXimfBFRhnJERqxk/PrliFkG8ghshbWDsRUmtRLLOJsDZ2ETj6uxlTh/BhwLPLbD\ncYlhIy9F28g50TZyTrSJfBMhIi9FiMhLESLyUrSNnBNtI+dE28g50TZyTrSNnBNCCCGEEEIIIYQQ\nQgghhBBCCCGEEKI6y4G3A28Gtu12KEIIIYQQQgghhBBCCCGEEEIIIYQQQgghhBBCCCGEEEIIIYQQ\nQgghhBBCCCGEEEIIIYQQQgghhBBCCCGEEEIIIYQQQgghhBBCCCGEEEIIIYQQQgghhBBCCCGEEEII\nIYQQQgghhBBCCCGEEEIIIYQQQgghhBBCCCGEEEIIIUTn/D9Cx5Rgbxtc5AAAAABJRU5ErkJggg==\n",
      "text/latex": [
       "$$\\left\\{\\operatorname{diffDiag}{\\left (x_{0},x_{11} \\right )}, \\operatorname{diffDiag}{\\left (x_{0},x_{5} \\right )}, \\operatorname{diffDiag}{\\left (x_{0},x_{9} \\right )}, \\operatorname{diffDiag}{\\left (x_{1},x_{0} \\right )}, \\operatorname{diffDiag}{\\left (x_{10},x_{0} \\right )}, \\operatorname{diffDiag}{\\left (x_{12},x_{0} \\right )}, \\operatorname{diffDiag}{\\left (x_{13},x_{0} \\right )}, \\operatorname{diffDiag}{\\left (x_{2},x_{0} \\right )}, \\operatorname{diffDiag}{\\left (x_{3},x_{0} \\right )}, \\operatorname{diffDiag}{\\left (x_{4},x_{0} \\right )}, \\operatorname{diffDiag}{\\left (x_{6},x_{0} \\right )}, \\operatorname{diffDiag}{\\left (x_{7},x_{0} \\right )}, \\operatorname{diffDiag}{\\left (x_{8},x_{0} \\right )}, \\operatorname{diffRow}{\\left (x_{0},x_{11} \\right )}, \\operatorname{diffRow}{\\left (x_{0},x_{4} \\right )}, \\operatorname{diffRow}{\\left (x_{0},x_{5} \\right )}, \\operatorname{diffRow}{\\left (x_{0},x_{9} \\right )}, \\operatorname{diffRow}{\\left (x_{1},x_{0} \\right )}, \\operatorname{diffRow}{\\left (x_{10},x_{0} \\right )}, \\operatorname{diffRow}{\\left (x_{12},x_{0} \\right )}, \\operatorname{diffRow}{\\left (x_{13},x_{0} \\right )}, \\operatorname{diffRow}{\\left (x_{2},x_{0} \\right )}, \\operatorname{diffRow}{\\left (x_{3},x_{0} \\right )}, \\operatorname{diffRow}{\\left (x_{4},x_{0} \\right )}, \\operatorname{diffRow}{\\left (x_{6},x_{0} \\right )}, \\operatorname{diffRow}{\\left (x_{7},x_{0} \\right )}, \\operatorname{diffRow}{\\left (x_{8},x_{0} \\right )}\\right\\}$$"
      ],
      "text/plain": [
       "set([diffDiag(x₀, x₁₁), diffDiag(x₀, x₅), diffDiag(x₀, x₉), diffDiag(x₁, x₀), \n",
       "diffDiag(x₁₀, x₀), diffDiag(x₁₂, x₀), diffDiag(x₁₃, x₀), diffDiag(x₂, x₀), dif\n",
       "fDiag(x₃, x₀), diffDiag(x₄, x₀), diffDiag(x₆, x₀), diffDiag(x₇, x₀), diffDiag(\n",
       "x₈, x₀), diffRow(x₀, x₁₁), diffRow(x₀, x₄), diffRow(x₀, x₅), diffRow(x₀, x₉), \n",
       "diffRow(x₁, x₀), diffRow(x₁₀, x₀), diffRow(x₁₂, x₀), diffRow(x₁₃, x₀), diffRow\n",
       "(x₂, x₀), diffRow(x₃, x₀), diffRow(x₄, x₀), diffRow(x₆, x₀), diffRow(x₇, x₀), \n",
       "diffRow(x₈, x₀)])"
      ]
     },
     "metadata": {},
     "output_type": "display_data"
    },
    {
     "name": "stdout",
     "output_type": "stream",
     "text": [
      "Solving N-Queens CSP...\n",
      "least\n",
      "{0: 109, 1: 145, 2: 143, 3: 142, 4: 140, 5: 139, 6: 137, 7: 137, 8: 137, 9: 138, 10: 138, 11: 139, 12: 139, 13: 140}\n",
      "[0, 6, 7, 8, 9, 10, 5, 11, 12, 4, 13, 3, 2, 1]\n",
      "Inferences None\n",
      "Inferences None\n",
      "Inferences None\n",
      "Inferences None\n",
      "Inferences None\n",
      "Inferences None\n",
      "Inferences None\n",
      "Inferences None\n",
      "Inferences None\n",
      "Inferences None\n",
      "Inferences None\n",
      "Inferences None\n",
      "Inferences None\n",
      "Inferences None\n",
      "No solution found.\n",
      "CPU times: user 1min 42s, sys: 306 ms, total: 1min 42s\n",
      "Wall time: 1min 43s\n"
     ]
    }
   ],
   "source": [
    "%%time\n",
    "num_queens = 14\n",
    "csp = NQueensCSP(num_queens)\n",
    "var = csp.variables[0]\n",
    "print(\"CSP problems have variables, each variable has a domain, and the problem has a list of constraints.\")\n",
    "print(\"Showing the variables for the N-Queens CSP:\")\n",
    "display(csp.variables)\n",
    "print(\"Showing domain for {}:\".format(var))\n",
    "display(csp.domains[var])\n",
    "print(\"And showing the constraints for {}:\".format(var))\n",
    "display(csp._constraints[var])\n",
    "\n",
    "print(\"Solving N-Queens CSP...\")\n",
    "assn = backtracking_search(csp)\n",
    "if assn is not None:\n",
    "    print('sol', assn)\n",
    "    csp.show(assn)\n",
    "    print(\"Solution found:\\n{!s}\".format(assn))\n",
    "else:\n",
    "    print(\"No solution found.\")\n",
    "\n"
   ]
  },
  {
   "cell_type": "markdown",
   "metadata": {},
   "source": [
    "## IV. Experiments (Optional)\n",
    "For each optional experiment, discuss the answers to these questions on the forum: Do you expect this change to be more efficient, less efficient, or the same?  Why or why not?  Is your prediction correct?  What metric did you compare (e.g., time, space, nodes visited, etc.)?\n",
    "\n",
    "- Implement a _bad_ N-queens solver: generate & test candidate solutions one at a time until a valid solution is found.  For example, represent the board as an array with $N^2$ elements, and let each element be True if there is a queen in that box, and False if it is empty.  Use an $N^2$-bit counter to generate solutions, then write a function to check if each solution is valid.  Notice that this solution doesn't require any of the techniques we've applied to other problems -- there is no DFS or backtracking, nor constraint propagation, or even explicitly defined variables.\n",
    "- Use more complex constraints -- i.e., generalize the binary constraint RowDiff to an N-ary constraint AllRowsDiff, etc., -- and solve the problem again.\n",
    "- Rewrite the CSP class to use forward checking to restrict the domain of each variable as new values are assigned.\n",
    "- The sympy library isn't very fast, so this version of the CSP doesn't work well on boards bigger than about 12x12.  Write a new representation of the problem class that uses constraint functions (like the Sudoku project) to implicitly track constraint satisfaction through the restricted domain of each variable.  How much larger can you solve?\n",
    "- Create your own CSP!"
   ]
  },
  {
   "cell_type": "code",
   "execution_count": null,
   "metadata": {
    "collapsed": true
   },
   "outputs": [],
   "source": []
  }
 ],
 "metadata": {
  "anaconda-cloud": {},
  "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",
   "version": "3.6.1"
  }
 },
 "nbformat": 4,
 "nbformat_minor": 1
}