{ "cells": [ { "cell_type": "markdown", "metadata": { "tags": [ "COP", "easy", "Increasing", "NoOverlap", "objMaximum", "complex" ] }, "source": [ "# Problem *Flow Shop Scheduling*" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "*From WikiPedia*: \"There are n machines and m jobs. Each job contains\n", "exactly n operations. The ith operation of the job must be executed on the ith machine. No machine\n", "can perform more than one operation simultaneously. For each operation of each job, execution time\n", "is specified. Operations within one job must be performed in the specified order. The first operation\n", "gets executed on the first machine, then (as the first operation is finished) the second operation on\n", "the second machine, and so on until the nth operation. Jobs can be executed in any order, however.\n", "Problem definition implies that this job order is exactly the same for each machine. The problem is\n", "to determine the optimal such arrangement, i.e. the one with the shortest possible total job execution\n", "makespan.\"" ] }, { "attachments": { "flowShop.png": { "image/png": "iVBORw0KGgoAAAANSUhEUgAABScAAAGrCAIAAAC9k7U3AAAgAElEQVR4nO3df4wU9eE//te7Nm30IIj8yiVHF6p3SatnsRSaIghCThQtwmmUBiT+imCqVdOKLVZbhPIHVOHAS6TC1QoXsUFAahAkWMotRi9aT37Y9LYVLlykgCcagaYmxu8f0+73PhycB97s7C6Pxx9mdnbTe9Kdnd3nzGte83+ff/55AAAAAGLwlaQDAAAAQNHSugEAACAuWjcAAADEResGAACAuGjdAAAAEBetGwAAAOKidQMAAEBctG4AAACIi9YNAAAAcdG6AQAAIC5aNwAAAMRF6wYAAIC4aN0AAAAQF60bAAAA4qJ1AwAAQFy0bgAAAIiL1g0AAABx0boBAAAgLlo3AAAAxEXrBgAAgLho3QAAABAXrRsAAADionUDAABAXLRuAAAAiIvWDQAAAHHRugEAACAuWjcAAADEResGAACAuGjdAAAAEBetGwAAAOKidQMAAEBctG4AAACIi9YNAAAAcdG6AQAAIC5aNwAAAMRF6wYAAIC4aN0AAAAQF60bAAAA4qJ1AwAAQFy0bgAAAIiL1g0AAABx0boBAAAgLlo3AAAAxEXrBgAAgLho3QAAABAXrRsAAADionUDAABAXLRuAAAAiIvWDQAAAHHRugEAACAuWjcAAADE5atJByhad9xxx3vvvZd0Cji5Hj16HD16NOkUnDZvHJ375je/uWLFiqRTnKHi+970gSVPFPSeAYqD1h2X995776mnnko6BZzczJkzbZ+FyBtH52bOnJl0hDNXfN+bPrDkiYLeM0BxMMIcAAAA4qJ1AwAAQFy0bgAAAIiL1g0AAABx0boBAAAgLlo3AAAAxEXrBgAAgLho3QAAABAXrRsAAADionUDAABAXLRuAAAAiIvWDQAAAHHRugEAACAuWjcAAADE5atJBzil2trajz/+OIRw2223lZaWJh0HAAAATluetu7a2tp77rknWn7zzTfXrl2bbB4AAAA4A3k6wnz16tXZ5d27dyeYBAAAAM5YPp7rbm5uTqfTIYTy8vJMJpPJZFatWjVt2rSkc5GkPXv2hBAuvvjipIOQv/bs2RPtOi677LLBgwf369cv6UTEZd++fTt37jxw4ECPHj2GDBliz8Dp2rdv37Fjx4KvFQByIh9b99NPPx1CKC8v/+1vf3v99deHEJYtW6Z1n7UaGxtramreeuutEMIDDzwwY8aMpBORXxobG1euXNnc3NzS0pJdmUqlKioqfvrTnw4aNCi5aHS/ZcuWrV27tv17HUJIpVLV1dV2DnTRggUL6urqouWqqqqlS5cmm4esxsbGRx55pPPXbN68OTdhALpRPrbuF198MYQwYMCAiRMnjhw5Mp1OHzx48MCBA+ZUOwu1/20EHZ1qC2lpaWlpaWlubn7iiSecyyoOhw8fnjZtWrZvp1KpEEL0sKWlZdGiRfv37583b16SESkEjY2N7XcaH374YYJhOMHbb799wjG1E0QffICCk3ete9u2bZlMJoQwZcqU6L/pdDqTyfz+97+fPXt20unInVdffXXFihXRKe5UKtX51zBnra1bt4YQUqnUuHHjrr322mjlc889t2bNmhBCS0vL/Pnz6+vrk4xINzl06FBLS0sqlRo2bNidd94ZjWLYt2/f8uXLo7d7zZo1w4cPnzhxYsJByW81NTXh/z1qQx66/fbbe/Xq1XF9jx49ch8G4MvLu9a9atWqEEJ5eXl1dXUIobq6uqamJpPJPPPMM1r32SN7AjOVSk2fPv3o0aOLFi1KOhT5qG/fvh2HFs+bN2/gwIHRNvPWW281NjYOHz48oYB0m5KSkqqqqkcffbT9FfuDBg2aN2/exx9/vGXLlhDCli1btG46UV9fHx3MnTt37heOZCZB1157rWFKQDHJuznMt2/fHkIYMGBANJ68tLR0wIABIYRMJtPc3JxwOHLlnXfeCSHceOON69atmzp1atJxyF/19fUnvZp3xowZ2YGIb7/9dm5DEYtBgwYtXbr0pJPkVVVVRQtGC9OJ48ePP/vssyGEG2+80ZE4AHIpv1r3qlWr2g8vj2SXFyxYkEwscm7ChAnPPvvsvHnzzjvvvKSzUKj69u2bdARy5MILL0w6AgVg/vz50UUK9913X9JZADi75FfrXrt2bQihvLz8xz/+cXZldXV1eXl5+N9pcM4GU6dOdSIC6KKmpqZo4YILLkg2CXmrsbExuv6/urrabQUByLH8at27d+8OIVxyySXtV5aWlkZrMpnMtm3bEgkGFJwPPvggWrjsssuSTULcNm7cGC1kh5rDCVauXBlCGDp0qDvMAZB7eTSbWm1tbTS8PJpHrb3q6up169aFEJYsWTJmzJjcZwMKS2NjYzQ7cSqVMm6iiB0/fnz+/PnR/FhVVVWmUuOkNmzYEM23d8cddySdhS5Jp9PpdDpaLi0tvfTSS6PbFgAUqDxq3atXrw4hlJeXT5s27YSnpk2b9thjj2UymehkOEDnovNaIYRhw4Ylm4Tu1djYmJ0eb/fu3c3NzdnbiblZN6dSW1sbQqiqqho7dmzSWeiSjjcuie5pYoJVoEDlS+s+cODAwYMHo+X58+ef6mWZTGbVqlUdazlAVmNjY3Rey7RJxaempiY6s50V3a39tttuSyoSeW7BggXRoZlHH3006Sx8gcsuuyx7+4msaOBSS0vL3LlzX3/99aVLlyYRDeBLyZfW/cQTT0TDyzOZzMMPP9zJK9euXat1A52oqamJFqZPn27apCLzne98J7scXbrf0tJSV1e3devWcePGzZo1K7lo5KN9+/Zt3bo1mEStQAwfPnzz5s0nrNy3b9/y5cujyfC2bNmyYMECn3Sg4ORL637xxRejhWi68pOKavnu3bsPHDgQ3c0b4AT33ntv9ipfYxGLzwm/tg8fPrx27dpFixZF3Xv//v3Og9He448/3tLSYhK1gjZo0KB58+YNHDgwGna+detWrRsoOHkxh3lzc3PUqCdPntx8apMnTw4hZDKZ6AZjACf45S9/GY0tHzp0qPZ1NujXr9+MGTMWLFgQPdyyZcuGDRuSjUT+MIlaMZkxY0Y0+LylpWXPnj1JxwE4PXlxrjv7g6nj7OXtZWcyX716dfsbegOEEJYtWxYNQUylUosXL046DrkzceLE7N2Yn3/+eTOZE3n++edDCKlUKpPJRAf3O/rggw+WLVsWQujRo4fRMXmub9++0TXe6XT64osvTjoOwGnIi9a9ffv2cIrZy9vLzmSeTqebm5srKipyFRDIdxs2bIgGH6ZSqSeeeMIFnGebgQMHJh2BvJO98r/jhNhZ2WdTqZTWDUBMkm/d27Zti45AX3LJJV/44iuuuCJ68dNPP71w4cLYwwGFYMOGDdFlflHldg4ECCF0fnQ+OmsaQojGLfft2zcXmegOI0eOTDoCwOlJvnUvWbIkWuh8eHlk2rRpK1asCCG8+OKLWjcQVG5CCCHs3r07WrjggguSTUL+6Hxyh/Hjx0cTrdXX1+csEmfs8OHD0eCFVCplPw8UnORbdwhh5MiR/fr168r9wMaMGTN58uTDhw+HEMxkDqjcZ4977723qqrqpNdsZyfNCiHccsstuc0FdI99+/YdOnRo+PDhHZ86fvz4/fffHw1PGDZsWM6jAXxZybfu052Q3ATmZ4Pjx4/v3bs3+/Djjz/OLrSfuVTFOssdPny4trY2Wh42bFg6nU6n0yd95fjx4wcNGpS7ZMSgubl5y5YttbW148aNu/baa/v37x9COHTo0HPPPRfNoxZCqKqqOulPdiD/bd68edGiRUOHDp0wYcKQIUP69+/fr1+/PXv2pNPptWvXRpU7lUrNnj076aQApy351g0dPfTQQ9kzV+3V1dXV1dVFy6lUavPmzbnNRX45dOhQ9srMbO86FXfrLXQVFRUtLS3Rfbnr6uqy9xDKvqCqqsrt4qBw9ejRI4Tw1ltvvfXWW+F/19u3/4wPHTr0N7/5zXnnnZdUQoAzpnWTj3r16hV93UInSkpKuridRD/mKGhLly7dsGHD888//8EHH0T1O1qfSqX69u178803u2EYpyuVSpkIIH9Ec8hv3LjxpJ/xCRMmmGQeKFxaN/lo3rx5SUegAAwaNMh4h7PKxIkTo2rtShO+PHuPPDR16tSoWrf/jEdDzZMLBdANtG4ACoymDcXNZxwoMl9JOgAAAAAULa0bAAAA4qJ1AwAAQFy0bgAAAIiL1g0AAABx0boBAAAgLlo3AAAAxEXrBgAAgLho3QAAABAXrRsAAADionUDAABAXL6adAAAAACI3YEDB95///0QQs+ePSsqKnL2d7VuAAAACtvRo0d79OjR+WtuuummdDodQigvL29ubs5JrhCMMAcAAKDQrVmzZtOmTUmnODmtGwAAgIK3aNGixsbGpFOchNYNAABAwfv0008feeSRf/zjHx2fuvPOO0eNGnXw4MHoYSaTGfU/Bw4ciDuY67oBAAAoBp9++ukDDzxQW1v7jW98o/367du3ZzKZ9muiC7xDCO+//35paWmsqZzrBgAAoEgcPXr0Zz/72b/+9a/2KwcMGJBUnqB1AwAAUEwOHz7885///OjRo9k1f/zjH998882RI0dGD8vLy9/8n6FDh8ad5/8+//zzuP/G2em66647duxY0ing5M4555zPPvss6RScNm8cnSspKXnppZeSTnGGiu970weWPFHQewboumeeeeYPf/hD+zXl5eVPPvnk1772teyaUaNGJXLnMNd1x8XeDQC6zvcmAN0rk8nMmjVr8eLFSQcxwhwAAIBi9M477/z6179OOoXWDQAAQJH6y1/+smjRomQzFMkI8wceeKCpqSnpFAAAAOSXDRs2XHTRRT/84Q+TClAkrTvxoxdQWK688spf/epXSafgv+bMmfPnP/+5K68svjeu6/92uqL4tpCCNmfOHG8HncjZDtCeIQd8neWDjrOpZY0ePfp73/vegQMHchwpywhzAAAAitPo0aNnzJgRLX/66afZ9e3vKxa3IjnX3d6HH374n//8J+kUkNeuuuqqr3/960mn4L+uuuqqLh58Lb43ruv/drqi+LaQgubtoHM52wHaFHPA11k+OGmLbl+5QwgXXnhhY2NjCCGTyVxzzTXXXHPNyy+/vGLFioqKilizFWHrvuCCC5KOAPnulVde+cEPfpB0Cv7rlVde+cUvftHFVxbZG9f1fztdUXxbSEHzdtC5nO0AbYo54OssH/To0eOENSdU7hDCiBEjnnvuuWg5nU5H9+7+5JNP4s5mhDkAAABFpWPlDiHcc889d9xxxwkre/bsGXeYIjzXDQAAwFnrpJW7tLQ0hLB8+fJZs2atWbMmWnnjjTfGPbw8aN0AAAAUjU4qd6SiomL27Nm5jKR1AwAAUAyuvvrq6dOnn7CyfeVOhOu6AQAAKHhXX331Qw89dMLKxCt3cK4bAACAQjdy5MiLLrrohJX5ULmDc90AAAAUuryt3EHrBgAAoMjkT+UORpgDAABQNPKqb0ec6wYAAIC4aN0AAAAQF60bAAAA4qJ1AwAAQFy0bgAAAIiLOcyBgvTvf//7ySef3L9///nnn//YY48lHacYbNmypaGhYe/evdHD3r17jx07dtKkScmm4izR1NT0+uuvv/vuu0eOHAkh9O7de+DAgVVVVUOGDEk6Gt2mtbX1d7/73UcffRRCsHuhvfr6+k6eLSkpsbVQ6LRuoPCsX7/+hRdeaG1tDSGUlZUlHafgtf//M6u1tXXXrl0vvPDCI488UlFRkVQ2il7UxBoaGk5YuWvXro0bN06YMOHBBx9MKhvda8GCBbt27co+1KOIrF+/fvny5Z28oKyszNZCodO6gULS1tZWU1Nzwg90voympqaamppouaysrHfv3iGEI0eORCW8tbV17ty5ixcv7tOnT5IpKV7ZJlZWVnb55Zf37Nnzk08+2bFjR7QFbty4sWfPnjNnzkw6Jl9WfX19+8oNWceOHYsWHEaniGndQMGor6/ftGlT9Ft8woQJO3fuPOH0LGdg3759IYRRo0ZVV1e3H827fv36qI23trbW1dU530h8Kisrp0yZMmLEiOyamTNnLly4cOPGjSGEHTt2aN2Frq2tbdOmTcGum04ZWkUR07qBwtDc3ByNQKusrLz99tuHDBlyyy23JB2qGIwfP75///7tC09k0qRJmUwmqj07d+5MIhpnhVmzZp30BNeDDz4Y1bPW1tbm5ma/xQtaTU1Na2trWVnZPffcc9dddyUdByDXtG6gYJSVld1www0u7upe5557bsfKHamqqopaN8SnkzGlvXv3dlK0CLz22mvRZUHTp08/99xzk44DkACtGygMFRUVK1euTDrF2eW8885LOgJQ8FavXh1CGDVqVFVVVdJZAJKRR627trb2448/7ri+V69eVVVVhpYB5FhLS0vSETh7tbW1RXcRKysr8xugcGUnUauurk46C0Bi8qh119TUZDKZUz07efLk2tra0tLSXEYCOJv985//jBYGDx6cbBLOQnV1ddHw8ssvvzzpLJyh9pOoufU6cDbLo9YdKS8vHzBgQPbhwYMHoyq+bt263bt3/+Uvf1G8AXJjx44d0cKoUaOSTcJZpampqa6uLjpBWllZaQLzwhUdOokmUUs6CwVg7ty57R8OHjzYhQkUjbxr3QMGDDjhTrzbtm276667MplMJpN55JFHokmMAYhVfX19dKaxsrLSjx5i1dbWdv/992cfZje8sWPHmj2xcDU1NUXTMd5www0mUaMTJSUl0cIJsye2trY2NDT86U9/im5ckkQ06DZ517o7GjNmzO9+97srr7wyhLB9+/ak4wAUv+y40BDC7bffnmwYil5bW1vHucqPHDny6quvlpSUOOhToOrq6kIIlZWVDp3QufHjxx87duyElX//+9/37t3b2tq6a9euxx9/3K28KXQF0LpDCGPGjCkvL+/kqm8AutGcOXOiFnTzzTc7w0DcKioqli1bFi23tLQcOnTojTfe2LVrV/SDu6Gh4bHHHks2IacrO4maw3Z8oXPPPXfq1Kkd17e1tc2ZMyfaFTz55JNLlizJfTboLl9JOgAA+WXhwoUuqSXHKv6nqqpq6tSpS5YsmT17dvRUQ0PDU089lWw8TotJ1OgWffr0mTVrVllZWQgh6t5JJ4Izp3UD8P9buHBhdClmZWWlEwskqKqq6r777ouWd+zY0dbWlmweus4kanSXsrKy3r17R8t/+9vfkg0DX0ZhjDB/8MEHo+Hlt956a9JZAIrWli1bosrt5zL5YNKkSS+88EJra2tra2tbW1ufPn2STkSX7Ny5M4TQ2tp61113dXw2OmO5a9euW265JYTQu3dvB/joikOHDiUdAc5cvrfu5ubmBQsWrFixIoQwcuTI7HgzALrXli1b5s+fH0IoKyszbw3w5XU+JNiAYU5L//79k44AZy7vWnc6nW7/Uy87g9rkyZPXrl2bUCiAIqdyA93l7rvv3rt376me3bRpUzT+/Oqrrw4hDB48OIfRKDxHjhyJFr71rW8lmwS+jLxr3aFd025v3bp1o0aNmjt37pgxY3KeCKCYqdwkqJOh4+vXr49Oh5aVldksC8iIESNGjBhxqmejidZ69+590mmrob3sTqCysjKaVg0KVN617pEjRy5evDj78JNPPnnttddefvnldDqdTqevvPLKF198ceLEiQkmBCgmTU1NKjdJqa+v37Rp06WXXvqjH/3ohJ/U69evr6mpiZajk6JA8Vm/fv1f//rX6urqjtPd19fXL1++PFqeMmVKzqNBd8q71h1CGDp0aPuHY8aMmT179p133hld3b1w4UKtG85Ojz766EcffZR9GB3/bm1t/clPfpJdOXbs2EmTJiUQrmDV1dVFC62trXPnzu3klStXrsxJIs4iJSUl0WRpGzdujCYr/va3v/3uu+8eOXIke9FvZWWlk6JQrI4dO9bQ0NDQ0BDtAQYOHNizZ88TdgITJkzoZPQEFIR8bN0ntXz58u3bt2cymXQ6vW3bNuPM4WzT3Nzc0NBw0qeim0tHvv/97+cqURHqZHIjQ/uIw6RJkzKZzM6dO1v/p/3Huays7PLLL3fTeChio0ePji7177gHCCGUlZXdfffdKjdFoGBadwjhiiuuiC75fu2117RuONtUVFTceeedX/iy0aNH5yBMMZkyZUpXDlWUlJTkIAxnoQcffLCtra2hoSGTyezfvz9aef7553/3u98dNWqUu4UVn+h6AbsUImVlZStXrmxqatqzZ88bb7yRXT9w4MAhQ4ZUVVUlmA26USG17m9+85tJRwCSZJRpHDqf9whyoE+fPi4MOXvYk9PRkCFDhgwZYtugiH0l6QCn4eWXX44WvvGNbySbBAAAALqiYFr3tm3b0ul0CKG8vHzcuHFJxwEAAIAvVhitu7a29q677oqWr7/++tLS0mTzAAAAQFfk3XXd6XS6491io0nUQggjR45cuHBhzkMBAADAmci71h3adez2ysvLb7311tmzZ+c+DwAAAJyZPGrdv/3tb3fv3t1xfa9evaqqqjqeAAcAAIA8l0ete+LEiRMnTkw6BQAAAHSbwphNDQAAAAqR1g0AAABx0boBAAAgLlo3AAAAxEXrBgAAgLho3QAAABAXrRsAAADionUDAABAXLRuAAAAiIvWDQAAAHHRugEAACAuWjcAAADEResGAACAuPzf559/nnQGINeuu+66Y8eOJZ2C/yopKXnppZe68srie+O6/m+nK4pvCylo55xzzmeffZZ0CvJXznaA9gw54OuMzmndAAAAEBcjzAEAACAuWjcAAADEResGAACAuGjdAAAAEBetGwAAAOKidQMAAEBctG4AAACIi9YNAAAAcdG6AQAAIC5aNwAAAMRF6wYAAIC4aN0AAAAQF60bAAAA4qJ1AwAAQFy0bgAAAIiL1g0AAABx0boBAAAgLlo3AAAAxEXrBgAAgLho3QAAABAXrRsAAADionUDAABAXLRuAAAAiIvWDQAAAHHRugEAACAuWjcAAADEResGAACAuGjdAAAAEBetGwAAAOKidQMAAEBctG4AAACIi9YNAAAAcdG6AQAAIC5aNwAAAMRF6wYAAIC4aN0AAAAQF60bAAAA4qJ1AwAAQFy0bgAAAIiL1g0AAABx0boBAAAgLlo3AAAAxEXrBgAAgLh8NekAReuOO+547733kk5B/vrmN7+5YsWKpFOcoeLbvHv06HH06NGkU4BNkbxm+yxQBf2TA4qD1h2X995776mnnko6Bflr5syZSUc4c8W3ec+cObPI/kUUKJsi+cz2WaAK+icHFAcjzAEAACAuWjcAAADEResGAACAuGjdAAAAEBetGwAAAOKidQMAAEBctG4AAACIi9YNAAAAcdG6AQAAIC5aNwAAAMRF6wYAAIC4aN0AAAAQF60bAAAA4qJ1AwAAQFy+mnSAU6qtrf34449DCLfddltpaWnScQAAAOC05Wnrrq2tveeee6LlN998c+3atcnmAQAAgDOQpyPMV69enV3evXt3gkkAAADgjOXjue7m5uZ0Oh1CKC8vz2QymUxm1apV06ZNSzoXZ2Lfvn07d+48cOBAjx49hgwZcvHFFyediAKzb9++Y8eOhRBsPMDp2rNnT7D3oFN79uyJfnZedtllgwcP7tevX9KJgCKUj6376aefDiGUl5f/9re/vf7660MIy5Yt07oLzrJly9auXdvS0tJ+ZSqVqq6unjFjRlKpKCwLFiyoq6uLlquqqpYuXZpsHrIaGxsfeeSRzl+zefPm3ISBjhobG2tqat56660QwgMPPOB7hxM0NjauXLmyubm5/Q+VVCpVUVHx05/+dNCgQclFA4pQPrbuF198MYQwYMCAiRMnjhw5Mp1OHzx48MCBA+ZUKxSHDx+eNm1a9msslUqFEKKHLS0tixYt2r9//7x585KMSCFobGzMVu4QwocffphgGE7w9ttvn3BM7QTRBx8S0f6AHXR0qi2kpaWlpaWlubn5iSeeMEQC6EZ517q3bduWyWRCCFOmTIn+m06nM5nM73//+9mzZyedji45dOhQS0tLKpUaNmzYnXfeGR0w3rdv3/Lly9esWRNCWLNmzfDhwydOnJhwUPJbTU1N+H+P2pCHbr/99l69enVc36NHj9yHgVdffXXFihXRKe5UKmXXwUlt3bo1hJBKpcaNG3fttddGK5977rnoV0pLS8v8+fPr6+uTjAgUl7xr3atWrQohlJeXV1dXhxCqq6tramoymcwzzzyjdReKkpKSqqqqRx99tP3FUYMGDZo3b97HH3+8ZcuWEMKWLVu0bjpRX18f/W6eO3fuF45kJkHXXnutM0LkiewJzFQqNX369KNHjy5atCjpUOSjvn37drzebd68eQMHDoy2mbfeequxsXH48OEJBQSKTd7NYb59+/YQwoABA6Lx5KWlpQMGDAghZDKZ5ubmhMPRNYMGDVq6dOlJ5yOpqqqKFowWphPHjx9/9tlnQwg33nijHz1AF73zzjshhBtvvHHdunVTp05NOg75q76+/qSX+s+YMSN7dczbb7+d21BAMcuv1r1q1ar2w8sj2eUFCxYkE4vuc+GFFyYdgQIwf/786CKF++67L+ksQMGYMGHCs88+O2/evPPOOy/pLBSqvn37Jh0BKEL51brXrl0bQigvL//xj3+cXVldXV1eXh7+dxqcgtbU1BQtXHDBBckmIW81NjZGV9ZVV1e7gwvQdVOnTjU6BoA8lF+te/fu3SGESy65pP3K0tLSaE0mk9m2bVsiweguGzdujBayQ83hBCtXrgwhDB061J1+AMixDz74IFq47LLLkk0CFJM8mk2ttrY2Gl4ezaPWXnV19bp160IIS5YsGTNmTO6z8eUdP358/vz50fxYVVVVplLjpDZs2BDNt3fHHXcknYUuSafT6XQ6Wi4tLb300kvd5xYoUI2NjdG896lUyrgJoBvlUetevXp1CKG8vHzatGknPDVt2rTHHnssk8lEJx5bdHQAABQRSURBVMMpCI2NjdmZSHbv3t3c3Jy9nZibdXMqtbW1IYSqqqqxY8cmnYUu6ThHdDR9tLmsgIITDbYKIQwbNizZJECRyZfWfeDAgYMHD0bL8+fPP9XLMpnMqlWrOtZy8lBNTU10ZjsrujHmbbfdllQk8tyCBQuiQzOPPvpo0ln4Apdddll2pt+s6BxRS0vL3LlzX3/99aVLlyYRDeBMNDY2RoOtzOUJdLt8ad1PPPFENLw8k8k8/PDDnbxy7dq1WndB+M53vpNdjq6Samlpqaur27p167hx42bNmpVcNPLRvn37tm7dGkyiViCGDx++efPmE1bu27dv+fLl0WR4W7ZsWbBggU86UChqamqihenTp/saArpXvrTuF198MVqIpis/qaiW7969+8CBA9HdvMlnJ/zaPnz48Nq1axctWhR17/379zsPRnuPP/54S0uLSdQK2qBBg+bNmzdw4MBo2PnWrVu1bqAg3HvvvdmpZ1wgA3S7vJjDvLm5OWrUkydPbj61yZMnhxAymUx0gzEKS79+/WbMmJG96fqWLVs2bNiQbCTyh0nUismMGTOiwectLS179uxJOg7AF/jlL38ZfQcNHTrUKQEgDnlxrjvbxDrOXt5edibz1atXt7+hNwVk4sSJ2bsxP//882YyJ/L888+HEFKpVCaTiY7BdfTBBx8sW7YshNCjRw8nIvJc3759o2u80+n0xRdfnHQcgFNatmxZ9LMklUotXrw46ThAccqL1r19+/ZwitnL28vOZJ5Op5ubmysqKnIVkO40cODApCOQd7JX/necEDsr+2wqldK6AfjyNmzYkP1meeKJJ1zODcQk+da9bdu26NTWJZdc8oUvvuKKK6IXP/300wsXLow9HJATnR9Ei86ahhCicct9+/bNRSa6w8iRI5OOAHByGzZsiOaeiCq3gTlAfJJv3UuWLIkWOh9eHpk2bdqKFStCCC+++KLWXaCyN12/4IILkk1C/uj8Orrx48dHE63V19fnLBJn7PDhw9HghVQq5VcskJ9UbiCXkm/dIYSRI0f269evK/cDGzNmzOTJkw8fPhxCMJN53rr33nurqqpOes12dtKsEMItt9yS21xA99i3b9+hQ4eGDx/e8anjx4/ff//90fCEYcOG5TwawBdTuYEcS751n+6E5CYwz3/Nzc1btmypra0dN27ctdde279//xDCoUOHnnvuuWjCkhBCVVXVSX+yA/lv8+bNixYtGjp06IQJE4YMGdK/f/9+/frt2bMnnU6vXbs2qtypVGr27NlJJ+Xscvz48b1792Yffvzxx9mF9tPpq1hnucOHD9fW1kbLw4YNS6fT6XT6pK8cP378oEGDcpcMKF7Jt26KT0VFRUtLS3Rf7rq6uuw9hLIvqKqqcmcOKFw9evQIIbz11lvR7W07fsaHDh36m9/85rzzzksqIWenhx56KDucqr3oyyhaTqVSmzdvzm0u8suhQ4ey+6vsyYBTmTFjRvyJgOKnddP9li5dumHDhueff/6DDz6I6ne0PpVK9e3b9+abb3bDME5XKpUyEUD+iOaQ37hx40k/4xMmTDDJPIno1atXdAwIOlFSUtLF7SQ6wgjw5WndxGLixIlRtTaojy/Piak8NHXq1Khat/+MR0PNkwvF2W7evHlJR6AADBo0yNcKkGNaN/HStKG4+YwDAHTuK0kHAAAAgKKldQMAAEBctG4AAACIi9YNAAAAcdG6AQAAIC5aNwAAAMRF6wYAAIC4aN0AAAAQF60bAAAA4qJ1AwAAQFy0bgAAAIjLV5MOAAAAAMk4cODA+++/H0Lo2bNnRUVFHH9C6wYAAKAIHT16tEePHp2/5qabbkqn0yGE8vLy5ubmOGIYYQ4AAEARWrNmzaZNm5JOoXUDAABQpBYtWtTY2JhsBq0bAACA4vTpp58+8sgj//jHPzo+deedd44aNergwYPRw0wmM+p/Dhw40I0ZXNcNAABA0fr0008feOCB2trab3zjG+3Xb9++PZPJtF8TXeAdQnj//fdLS0u7K4Bz3QAAABSzo0eP/uxnP/vXv/7VfuWAAQNy89e1bgAAAIrc4cOHf/7znx89ejS75o9//OObb745cuTI6GF5efmb/zN06NBu/NP/9/nnn3fj/xxZ11133bFjx5JOQf4qKSl56aWXkk5xhopv8z7nnHM+++yzpFOATZG8ZvssUAX9kwO+pGeeeeYPf/hD+zXl5eVPPvnk1772teyaUaNGxX3nMNd1x8XejSJm8wYAoBBlMplZs2YtXrw4l3/UCHMAAADOFu+8886vf/3rXP5FrRsAAICzyF/+8pdFixbl7M8V4QjzBx54oKmpKekUAAAA5KkNGzZcdNFFP/zhD3Pwt4qwdefyoAWcsSuvvPJXv/pV0in4rzlz5ng76MScOXP+/Oc/5+AP2TPkQM7ezeJj+8wrXd+Si++N8ymm6zrOppY1evTo733vewcOHMhBDCPMAQAAOIuMHj16xowZ0fKnn36aXd/+vmLdqAjPdWd9+OGH//nPf5JOASd31VVXff3rX086Bf/l7aBzV111VW6OhdsUcyBn72bxsX3mla5vycX3xvkU03UnbdHtK3cI4cILL2xsbAwhZDKZa6655pprrnn55ZdXrFhRUVHRXTGKuXVfcMEFSUeAU3rllVd+8IMfJJ2C//J20LlXXnnlF7/4RW7+kE0xbjl7N4uP7TOvdH1LLr43zqeYruvRo8cJa06o3CGEESNGPPfcc9FyOp2O7t39ySefdGMMI8wBAAAofh0rdwjhnnvuueOOO05Y2bNnz278u8V8rhsAAADCKSp3aWlpCGH58uWzZs1as2ZNtPLGG2/sxuHlQesGAACguHVSuSMVFRWzZ8+O6a9r3QAAABStq6++evr06SesbF+54+a6bgAAAIrT1Vdf/dBDD52wMpeVOzjXDQAAQFEaOXLkRRdddMLKHFfu4Fw3AAAARSkfKnfQugEAADgbJFK5gxHmAAAAFLek+nbEuW4AAACIi9YNAAAAcdG6AQAAIC5aNwAAAMRF6wYAAIC4mMMcOD1NTU2vv/76u+++e+TIkRBC7969Bw4cWFVVNWTIkKSj0W1aW1t/97vfffTRRyGEsWPHTpo0KelE5Iv6+vpOni0pKbG1kM/+/e9/P/nkk/v37z///PMfe+yxpOMUgy1btjQ0NOzduzd62Lt3b98a0JHWDXRV1MQaGhpOWLlr166NGzdOmDDhwQcfTCob3WvBggW7du3KPvT7icj69euXL1/eyQvKyspsLeSt9evXv/DCC62trSGEsrKypOMUvPb/f2ZFvwpeeOGFRx55pKKiIqlskG+0bqCrsk2srKzs8ssv79mz5yeffLJjx47oG3fjxo09e/acOXNm0jH5surr69tXbsg6duxYtKCxUFja2tpqampOOGrMl9HU1FRTUxMtl5WV9e7dO4Rw5MiR6CdBa2vr3LlzFy9e3KdPnyRTQt7QuoHTUFlZOWXKlBEjRmTXzJw5c+HChRs3bgwh7NixQ+sudG1tbZs2bQohTJgwYefOnSecxICIs1gUkPr6+k2bNkV7M3u27rJv374QwqhRo6qrq9tfYrZ+/fqojbe2ttbV1RkEBxGtG+iqWbNmnfQE14MPPhj9iGltbW1ubvZbvKDV1NS0traWlZXdc889d911V9JxAL6U5ubm6LKIysrK22+/fciQIbfcckvSoYrB+PHj+/fv3/4ofGTSpEmZTCY6Fr9z584kokE+0rqBrupkTGnv3r2dOigCr732WjQCc/r06eeee27ScQC6QVlZ2Q033GDGge517rnndqzckaqqqqh1A1laNwD/tXr16hDCqFGjqqqqks4C0A0qKipWrlyZdIqzy3nnnZd0BMg7edS6m5ubP/nkk47re/bsacAq5LO2trboLmJlZWU+rYUrO4ladXV10lkAKFQtLS1JR4C8k0et+7rrrstkMid9qry8/NZbb509e3aOIwFdUVdXFw0vv/zyy5POwhlqP4maW68DcMb++c9/RguDBw9ONgnkjzxq3Vnl5eXZ5aiHZzKZhx9++OWXX3bLB8grTU1NdXV10QnSyspKE5gXrujQSTSJWtJZKABz585t/3Dw4MEuTAAiO3bsiBZGjRqVbBLIH3nXukeOHNm+Wjc3N69Zs+bhhx8OIaTT6fnz5zvjDQlqa2u7//77sw+jU9yVlZVjx441UU3hampqima+ueGGG0yiRidKSkqihRNmT2xtbW1oaPjTn/4UzRGdRDQgL9TX12d/GzgSB1l517pPUFFRMXv27F69ekWnX5555hmtGxLU1tbWca7yI0eOvPrqqyUlJb5fC1RdXV0IobKy0qETOjd+/Phjx46dsPLvf//73r17W1tbd+3a9fjjj7uVN5y1shcrhRBuv/32ZMNAXsn31h358Y9/XFNTc6qrvoGcqaioWLZsWbTc0tJy6NChN954Y9euXdEP7oaGhsceeyzZhJyu7CRqfiHxhc4999ypU6d2XN/W1jZnzpxoV/Dkk08uWbIk99mAxM2ZMyc6NH/zzTcb9gLtfSXpAECBqfifqqqqqVOnLlmyJDsCpaGh4amnnko2HqfFJGp0iz59+syaNausrCyEEHXvpBMBubZw4ULzvMCpaN3Al1VVVXXfffdFyzt27Ghra0s2D11nEjW6S1lZWe/evaPlv/3tb8mGAXJs4cKF0fwglZWVRrtAR4Uxwry2tjYaXn7FFVcknQU4iUmTJr3wwgutra2tra1tbW19+vRJOhFdsnPnzhBCa2vrXXfd1fHZ6Izlrl27brnllhBC7969/ZaiKw4dOpR0BCB3tmzZElVux3DhVAqgda9ataqmpiaEUF5efsKtSgDoFp0PCTZgmNPSv3//pCMAObJly5b58+eHEMrKykymCKeSd6374MGD7W/ud/Dgwegs98iRI1esWFFaWppcNIBic/fdd+/du/dUz27atCkaf3711VeHEAYPHpzDaBSeI0eORAvf+ta3kk0C5IbKDV2Ud607k8mcdK7ygwcPLliwYPHixT169Mh9KiCE0MnQ8fXr10enQ8vKynzpFpARI0aMGDHiVM9GE6317t37pNNWQ3vZnUBlZWU0rRpQ3FRu6Lq8a93l5eW33npr9uGRI0def/316Ix3JpPZvn37Sy+95FMNuVdfX79p06ZLL730Rz/60Qk/qdevXx9dBhJCiE6KAsVn/fr1f/3rX6urqztOd19fX798+fJoecqUKTmPBuRaU1OTyg1dl3ete8CAAdm7EGUdOHDgpptuSqfTmUzm5z//+dq1axPJBmezkpKSaLK0jRs3RpMVf/vb33733XePHDmSvei3srLSSVEoVseOHWtoaGhoaIj2AAMHDuzZs+cJO4EJEyZ0MnoCEvHoo49+9NFH2YfR5tra2vqTn/wku3Ls2LGTJk1KIFzBqqurixZaW1s7n3dp5cqVOUkEeS3vWvdJlZaWvvzyy9/97nczmcy6deuam5sdUYMcmzRpUiaT2blzZ+v/RLfljJSVlV1++eXuzwlFbPTo0dGl/h33ACGEsrKyu+++W+Um3zQ3Nzc0NJz0qfbb8Pe///1cJSpCncy46XoTiBRG6w4h9OjR45JLLoku+V6zZk3H8+FA3B588MG2traGhoZMJrN///5o5fnnn//d73531KhR7hZWfKLrBUpKSpIOQl4oKytbuXJlU1PTnj173njjjez6gQMHDhkypKqqKsFscCoVFRV33nnnF75s9OjROQhTTKZMmdKVQxW+QSBSMK07hPC9731v3bp1SaeAs1qfPn2MwTt7uF6AjoYMGTJkyBDbBgXE5hqHzifjBE7wlaQDnIY333wzWujVq1eySQAAAKArCqZ1HzhwYPfu3dGyYWwAAAAUhMJo3c3NzTfddFN0UffkyZNNpQYAAEBByLvrug8ePDhq1KiOK6PKXV5eXltbm0QuAAAAOG1517ozmUxUsE9QXl5+ySWX1NbWlpaW5j4VAAAAnIE8at3XX3/966+/3nF9v379xo0bV11drW8DAABQWPKodS9cuDDpCAAAANCdCmM2NQAAAChEWjcAAADEResGAACAuGjdAAAAEBetGwAAAOKidQMAAEBctG4AAACIi9YNAAAAcdG6AQAAIC5aNwAAAMRF6wYAAIC4aN0AAAAQF60bAAAA4vJ/n3/+edIZ4Gx03XXXHTt2LOkU/Nc555zz2WefJZ2C/FVSUvLSSy/l4A/ZM+RAzt7N4mP7zCtd35KL743zKabgaN0AAAAQFyPMAQAAIC5aNwAAAMRF6wYAAIC4aN0AAAAQF60bAAAA4qJ1AwAAQFy0bgAAAIiL1g0AAABx0boBAAAgLlo3AAAAxEXrBgAAgLho3QAAABAXrRsAAADionUDAABAXLRuAAAAiIvWDQAAAHHRugEAACAuWjcAAADEResGAACAuGjdAAAAEBetGwAAAOKidQMAAEBctG4AAACIi9YNAAAAcdG6AQAAIC5aNwAAAMRF6wYAAIC4aN0AAAAQF60bAAAA4qJ1AwAAQFy0bgAAAIiL1g0AAABx0boBAAAgLlo3AAAAxEXrBgAAgLho3QAAABAXrRsAAADionUDAABAXLRuAAAAiIvWDQAAAHHRugEAACAuWjcAAADEResGAACAuGjdAAAAEBetGwAAAOKidQMAAEBctG4AAACIi9YNAAAAcdG6AQAAIC5aNwAAAMRF6wYAAIC4aN0AAAAQF60bAAAA4qJ1AwAAQFy0bgAAAIiL1g0AAABx0boBAAAgLlo3AAAAxEXrBgAAgLho3QAAABAXrRsAAADionUDAABAXLRuAAAAiIvWDQAAAHHRugEAACAuWjcAAADEResGAACAuGjdAAAAEJf/D2y4c1OQaKaMAAAAAElFTkSuQmCC" } }, "cell_type": "markdown", "metadata": {}, "source": [ "Here is an example of (no-wait) flow-shop scheduling with five jobs on two machines A and B. A comparison of total makespan is given for two different job sequences. Image from [commons.wikimedia.org](https://commons.wikimedia.org/wiki/File:No-wait_flow_shop_example.png).\n", "\"Flow" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "To build a COP (Constraint Optimization Problem) model, we need first to import the library PyCSP$^3$:" ] }, { "cell_type": "code", "execution_count": 1, "metadata": { "scrolled": true }, "outputs": [], "source": [ "from pycsp3 import *" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Then, we need some data. Here, this is a two-dimensional array of integers $\\mathtt{durations}$ such that $\\mathtt{durations}$[i][j] is the duration of operation/machine j for job i." ] }, { "cell_type": "code", "execution_count": 2, "metadata": {}, "outputs": [], "source": [ "durations = [\n", " [34, 2, 54, 61], \n", " [15, 89, 70, 9], \n", " [38, 19, 28, 87], \n", " [95, 7, 34, 29]\n", "]" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "From these data, we can compute a time horizon, i.e., a line with time points where jobs can be started. We also denote by $n$ and $m$ the number of jobs and the number of operations, respectively." ] }, { "cell_type": "code", "execution_count": 3, "metadata": {}, "outputs": [], "source": [ "horizon = sum(sum(t) for t in durations) # time horizon\n", "n = len(durations) # number of jobs \n", "m = len(durations[0]) # number of operations" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "We can check the computed values." ] }, { "cell_type": "code", "execution_count": 4, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "horizon: 671 n: 4 m: 4\n" ] } ], "source": [ "print(f\"horizon: {horizon} n: {n} m: {m}\")" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "We start our COP model with a two dimensional array $x$ of $n\\times m$ variables, each one with the time horizon, i.e., $\\{0,1,2,\\dots, 671\\}$, as domain. " ] }, { "cell_type": "code", "execution_count": 5, "metadata": {}, "outputs": [], "source": [ "# x[i][j] is the start time of the jth operation for the ith job\n", "x = VarArray(size=[n, m], dom= range(horizon+1))" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "To control that everything is fine, we can display the structure of the array of variables, as well as the domain of the first variable (here, remember that all variables have the same domain)." ] }, { "cell_type": "code", "execution_count": 6, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Array of variables: [\n", " [x[0][0], x[0][1], x[0][2], x[0][3]]\n", " [x[1][0], x[1][1], x[1][2], x[1][3]]\n", " [x[2][0], x[2][1], x[2][2], x[2][3]]\n", " [x[3][0], x[3][1], x[3][2], x[3][3]]\n", "]\n", "Domain of variables: 0..671\n" ] } ], "source": [ "print(\"Array of variables:\", x)\n", "print(\"Domain of variables: \", x[0][0].dom)" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Concerning the constraints, we post a first group of constraints for ensuring that the starting times of all successive operations concerning a job are in increasing order, while ensuring that the durations of these operations is taken into account. We use the constraint *Increasing* that takes as first parameter a list of variables, and possibly as second parameter (named parameter *lengths*) a list of integers. It ensures that the value of the ith variable of the specified list plus the value of the ith integer is less than or equal to the value of the i+1th variable. This gives:" ] }, { "cell_type": "code", "execution_count": 7, "metadata": {}, "outputs": [], "source": [ "satisfy(\n", " # operations must be ordered on each job\n", " Increasing(x[i], lengths=durations[i]) for i in range(n)\n", ");" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Interestingly, by calling the function *solve()*, we can check that the problem is satisfiable (SAT). We can also display, per job, the values assigned to the variables in the solution that has been found. Here, we call the function *values()* that collects the values assigned to a specified list of variables. " ] }, { "cell_type": "code", "execution_count": 8, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Starting times of operations of job 0: [0, 34, 36, 90]\n", "Starting times of operations of job 1: [0, 15, 104, 174]\n", "Starting times of operations of job 2: [0, 38, 57, 85]\n", "Starting times of operations of job 3: [0, 95, 102, 136]\n" ] } ], "source": [ "if solve() is SAT:\n", " for i in range(n):\n", " print(f\"Starting times of operations of job {i}: {values(x[i])}\")" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Note that the constraint *Increasing* is mainly an ease of use. Instead, one could have written: " ] }, { "cell_type": "raw", "metadata": { "raw_mimetype": "text/x-python" }, "source": [ "satisfy(\n", " # operations must be ordered on each job\n", " [x[i][j] + durations[i][j] <= x[i][j+1] for j in range(m-1)] \n", " for i in range(n)\n", ");" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Clearly, operations of different jobs on the same machine overlap. This is why we have to post a constraint *NoOverlap* per machine (kind of operation); to do this, we reason from the columns of both arrays $x$ and $\\mathtt{durations}$. " ] }, { "cell_type": "code", "execution_count": 9, "metadata": {}, "outputs": [], "source": [ "satisfy(\n", " # no overlap on resources\n", " NoOverlap(origins=columns(x)[j], lengths=columns(durations)[j]) for j in range(m)\n", ");" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "We can display the internal representation of the constraints that have been posted so far. Although this is a little bit technical, it allows us to control that constraints are correctly posted." ] }, { "cell_type": "code", "execution_count": 10, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "ordered(list:[x[0][0], x[0][1], x[0][2], x[0][3]], lengths:[34, 2, 54], operator:le)\n", "ordered(list:[x[1][0], x[1][1], x[1][2], x[1][3]], lengths:[15, 89, 70], operator:le)\n", "ordered(list:[x[2][0], x[2][1], x[2][2], x[2][3]], lengths:[38, 19, 28], operator:le)\n", "ordered(list:[x[3][0], x[3][1], x[3][2], x[3][3]], lengths:[95, 7, 34], operator:le)\n", "noOverlap(origins:[x[0][0], x[1][0], x[2][0], x[3][0]], lengths:[34, 15, 38, 95])\n", "noOverlap(origins:[x[0][1], x[1][1], x[2][1], x[3][1]], lengths:[2, 89, 19, 7])\n", "noOverlap(origins:[x[0][2], x[1][2], x[2][2], x[3][2]], lengths:[54, 70, 28, 34])\n", "noOverlap(origins:[x[0][3], x[1][3], x[2][3], x[3][3]], lengths:[61, 9, 87, 29])\n" ] } ], "source": [ "print(posted())" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "We can now check that we get a valid solution to our problem." ] }, { "cell_type": "code", "execution_count": 11, "metadata": {}, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Starting times of operations of job 0: [0, 34, 36, 90]\n", "Starting times of operations of job 1: [34, 49, 138, 208]\n", "Starting times of operations of job 2: [49, 138, 208, 236]\n", "Starting times of operations of job 3: [87, 182, 236, 323]\n" ] } ], "source": [ "if solve() is SAT:\n", " for i in range(n):\n", " print(f\"Starting times of operations of job {i}: {values(x[i])}\")" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Unfortunately, this solution is not totally satisfying, because the makespan (i.e., the time point at which the scheduling is finished) is rather large. We need to minimize it using the function *Maximum()*. We consider the ending time of each job (i.e., the ending time of the last operation of each job), and compute the maximal value. This is what we want to minimize as follows:" ] }, { "cell_type": "code", "execution_count": 12, "metadata": {}, "outputs": [], "source": [ "minimize(\n", " # minimizing the makespan\n", " Maximum(x[i][-1] + durations[i][-1] for i in range(n))\n", ");" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "We can run again the solver, with this optimization task. Note that we need to check that the status returned by the solver is now OPTIMUM. " ] }, { "cell_type": "code", "execution_count": 13, "metadata": { "scrolled": true }, "outputs": [ { "name": "stdout", "output_type": "stream", "text": [ "Starting times of operations of job 0: [38, 72, 85, 172]\n", "Starting times of operations of job 1: [72, 87, 223, 293]\n", "Starting times of operations of job 2: [0, 38, 57, 85]\n", "Starting times of operations of job 3: [87, 182, 189, 233]\n", "Makespan: 302\n" ] } ], "source": [ "if solve() is OPTIMUM:\n", " for i in range(n):\n", " print(f\"Starting times of operations of job {i}: {values(x[i])}\")\n", " print(\"Makespan: \", bound())" ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "The makespan, obtained here by calling the function *bound()*, is 302 because the last operation starts at 293 with a duration equal to 9." ] }, { "cell_type": "markdown", "metadata": {}, "source": [ "Finally, we give below the model in one piece. Here the data is expected to be given by the user (in a command line). Note that the notation [:, j] stands for the jth column of a two-dimensional array (list); here, we can use this notation because the arrays have specific types (the fact of externally loading the data guarantees this for the arry $\\mathtt{durations}$). " ] }, { "cell_type": "raw", "metadata": { "raw_mimetype": "text/x-python" }, "source": [ "from pycsp3 import *\n", "\n", "durations = data \n", "horizon = sum(sum(t) for t in durations) + 1\n", "n, m = len(durations), len(durations[0])\n", "\n", "# s[i][j] is the start time of the jth operation for the ith job\n", "s = VarArray(size=[n, m], dom=range(horizon))\n", "\n", "satisfy(\n", " # operations must be ordered on each job\n", " [Increasing(s[i], lengths=durations[i]) for i in range(n)],\n", "\n", " # no overlap on resources\n", " [NoOverlap(origins=s[:, j], lengths=durations[:, j]) for j in range(m)]\n", ")\n", "\n", "minimize(\n", " # minimizing the makespan\n", " Maximum(s[i][-1] + durations[i][-1] for i in range(n))\n", ")" ] } ], "metadata": { "kernelspec": { "display_name": "Python 3 (ipykernel)", "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.7.12" } }, "nbformat": 4, "nbformat_minor": 2 }