|
13 | 13 | },
|
14 | 14 | {
|
15 | 15 | "cell_type": "code",
|
16 |
| - "execution_count": 1, |
| 16 | + "execution_count": 2, |
17 | 17 | "metadata": {},
|
18 | 18 | "outputs": [],
|
19 | 19 | "source": [
|
|
45 | 45 | },
|
46 | 46 | {
|
47 | 47 | "cell_type": "code",
|
48 |
| - "execution_count": 2, |
| 48 | + "execution_count": 3, |
49 | 49 | "metadata": {},
|
50 | 50 | "outputs": [
|
51 | 51 | {
|
|
54 | 54 | "\"BinaryVar(name='x', shape=[]) + BinaryVar(name='y', shape=[])\""
|
55 | 55 | ]
|
56 | 56 | },
|
57 |
| - "execution_count": 2, |
| 57 | + "execution_count": 3, |
58 | 58 | "metadata": {},
|
59 | 59 | "output_type": "execute_result"
|
60 | 60 | }
|
|
99 | 99 | },
|
100 | 100 | {
|
101 | 101 | "cell_type": "code",
|
102 |
| - "execution_count": 5, |
| 102 | + "execution_count": 4, |
103 | 103 | "metadata": {},
|
104 | 104 | "outputs": [
|
105 | 105 | {
|
|
108 | 108 | "\"BinaryVar(name='x', shape=[]) == BinaryVar(name='y', shape=[])\""
|
109 | 109 | ]
|
110 | 110 | },
|
111 |
| - "execution_count": 5, |
| 111 | + "execution_count": 4, |
112 | 112 | "metadata": {},
|
113 | 113 | "output_type": "execute_result"
|
114 | 114 | }
|
|
121 | 121 | },
|
122 | 122 | {
|
123 | 123 | "cell_type": "code",
|
124 |
| - "execution_count": 6, |
| 124 | + "execution_count": 5, |
125 | 125 | "metadata": {},
|
126 | 126 | "outputs": [
|
127 | 127 | {
|
|
130 | 130 | "False"
|
131 | 131 | ]
|
132 | 132 | },
|
133 |
| - "execution_count": 6, |
| 133 | + "execution_count": 5, |
134 | 134 | "metadata": {},
|
135 | 135 | "output_type": "execute_result"
|
136 | 136 | }
|
|
150 | 150 | },
|
151 | 151 | {
|
152 | 152 | "cell_type": "code",
|
153 |
| - "execution_count": 7, |
| 153 | + "execution_count": 6, |
154 | 154 | "metadata": {},
|
155 | 155 | "outputs": [
|
156 | 156 | {
|
|
162 | 162 | "BinaryVar(name='x', shape=[NumberLit(value=3), NumberLit(value=4)])[NumberLit(value=0), NumberLit(value=2)]"
|
163 | 163 | ]
|
164 | 164 | },
|
165 |
| - "execution_count": 7, |
| 165 | + "execution_count": 6, |
166 | 166 | "metadata": {},
|
167 | 167 | "output_type": "execute_result"
|
168 | 168 | }
|
|
185 | 185 | },
|
186 | 186 | {
|
187 | 187 | "cell_type": "code",
|
188 |
| - "execution_count": 8, |
| 188 | + "execution_count": 7, |
189 | 189 | "metadata": {},
|
190 | 190 | "outputs": [
|
191 | 191 | {
|
|
197 | 197 | "BinaryVar(name='x', shape=[NumberLit(value=3), NumberLit(value=4)])[NumberLit(value=2) * Placeholder(name='n', ndim=0), NumberLit(value=3) * Placeholder(name='n', ndim=0)]"
|
198 | 198 | ]
|
199 | 199 | },
|
200 |
| - "execution_count": 8, |
| 200 | + "execution_count": 7, |
201 | 201 | "metadata": {},
|
202 | 202 | "output_type": "execute_result"
|
203 | 203 | }
|
|
223 | 223 | },
|
224 | 224 | {
|
225 | 225 | "cell_type": "code",
|
226 |
| - "execution_count": 9, |
| 226 | + "execution_count": 8, |
227 | 227 | "metadata": {},
|
228 | 228 | "outputs": [
|
229 | 229 | {
|
|
235 | 235 | "sum(Element(name='n', belong_to=(NumberLit(value=0), Placeholder(name='N', ndim=0))), BinaryVar(name='x', shape=[Placeholder(name='N', ndim=0)])[Element(name='n', belong_to=(NumberLit(value=0), Placeholder(name='N', ndim=0)))])"
|
236 | 236 | ]
|
237 | 237 | },
|
238 |
| - "execution_count": 9, |
| 238 | + "execution_count": 8, |
239 | 239 | "metadata": {},
|
240 | 240 | "output_type": "execute_result"
|
241 | 241 | }
|
|
288 | 288 | },
|
289 | 289 | {
|
290 | 290 | "cell_type": "code",
|
291 |
| - "execution_count": 11, |
| 291 | + "execution_count": 9, |
292 | 292 | "metadata": {},
|
293 | 293 | "outputs": [
|
294 | 294 | {
|
|
300 | 300 | "sum(Element(name='n', belong_to=(NumberLit(value=0), Placeholder(name='N', ndim=0))), Element(name='n', belong_to=(NumberLit(value=0), Placeholder(name='N', ndim=0))) * BinaryVar(name='x', shape=[Placeholder(name='N', ndim=0)])[Element(name='n', belong_to=(NumberLit(value=0), Placeholder(name='N', ndim=0)))])"
|
301 | 301 | ]
|
302 | 302 | },
|
303 |
| - "execution_count": 11, |
| 303 | + "execution_count": 9, |
304 | 304 | "metadata": {},
|
305 | 305 | "output_type": "execute_result"
|
306 | 306 | }
|
|
318 | 318 | },
|
319 | 319 | {
|
320 | 320 | "cell_type": "code",
|
321 |
| - "execution_count": 12, |
| 321 | + "execution_count": 10, |
322 | 322 | "metadata": {},
|
323 | 323 | "outputs": [
|
324 | 324 | {
|
|
330 | 330 | "sum(Element(name='n', belong_to=(NumberLit(value=0), Placeholder(name='N', ndim=0))), BinaryVar(name='x', shape=[Placeholder(name='N', ndim=0)])[Element(name='n', belong_to=(NumberLit(value=0), Placeholder(name='N', ndim=0)))]) * (- sum(Element(name='n', belong_to=(NumberLit(value=0), Placeholder(name='N', ndim=0))), BinaryVar(name='x', shape=[Placeholder(name='N', ndim=0)])[Element(name='n', belong_to=(NumberLit(value=0), Placeholder(name='N', ndim=0)))]) + NumberLit(value=1))"
|
331 | 331 | ]
|
332 | 332 | },
|
333 |
| - "execution_count": 12, |
| 333 | + "execution_count": 10, |
334 | 334 | "metadata": {},
|
335 | 335 | "output_type": "execute_result"
|
336 | 336 | }
|
|
367 | 367 | },
|
368 | 368 | {
|
369 | 369 | "cell_type": "code",
|
370 |
| - "execution_count": 13, |
| 370 | + "execution_count": 15, |
371 | 371 | "metadata": {},
|
372 | 372 | "outputs": [],
|
373 | 373 | "source": [
|
|
393 | 393 | },
|
394 | 394 | {
|
395 | 395 | "cell_type": "code",
|
396 |
| - "execution_count": 14, |
| 396 | + "execution_count": 16, |
397 | 397 | "metadata": {},
|
398 | 398 | "outputs": [],
|
399 | 399 | "source": [
|
|
432 | 432 | },
|
433 | 433 | {
|
434 | 434 | "cell_type": "code",
|
435 |
| - "execution_count": 15, |
| 435 | + "execution_count": 17, |
436 | 436 | "metadata": {},
|
437 | 437 | "outputs": [],
|
438 | 438 | "source": [
|
|
466 | 466 | },
|
467 | 467 | {
|
468 | 468 | "cell_type": "code",
|
469 |
| - "execution_count": null, |
| 469 | + "execution_count": 20, |
470 | 470 | "metadata": {},
|
471 | 471 | "outputs": [],
|
472 | 472 | "source": [
|
473 | 473 | "problem = jm.Problem('K-hot')\n",
|
474 | 474 | "problem += k_hot\n",
|
475 | 475 | "\n",
|
476 | 476 | "instance_data = {\n",
|
477 |
| - " \"N\": 4,\n", |
| 477 | + " \"N\": 10,\n", |
478 | 478 | " \"C\": [[1, 4, 5, 9],\n",
|
479 | 479 | " [2, 6],\n",
|
480 | 480 | " [3, 7, 8]],\n",
|
|
0 commit comments