|
25 | 25 | }, |
26 | 26 | { |
27 | 27 | "cell_type": "code", |
28 | | - "execution_count": null, |
| 28 | + "execution_count": 15, |
| 29 | + "id": "57df88bc-3ff1-4f0a-848e-02724351976c", |
| 30 | + "metadata": {}, |
| 31 | + "outputs": [], |
| 32 | + "source": [ |
| 33 | + "import numpy as np\n", |
| 34 | + "\n", |
| 35 | + "import pygambit as gbt" |
| 36 | + ] |
| 37 | + }, |
| 38 | + { |
| 39 | + "cell_type": "code", |
| 40 | + "execution_count": 16, |
29 | 41 | "id": "493cafb8", |
30 | 42 | "metadata": {}, |
31 | 43 | "outputs": [ |
|
39 | 51 | "Game(title='2x2x2 Example from McKelvey-McLennan, with 9 Nash equilibria, 2 totally mixed')" |
40 | 52 | ] |
41 | 53 | }, |
42 | | - "execution_count": 1, |
| 54 | + "execution_count": 16, |
43 | 55 | "metadata": {}, |
44 | 56 | "output_type": "execute_result" |
45 | 57 | } |
46 | 58 | ], |
47 | 59 | "source": [ |
48 | | - "import pygambit as gbt\n", |
49 | | - "g = gbt.read_nfg(\"../../2x2x2.nfg\")\n", |
| 60 | + "g = gbt.catalog.Game2x2x2NFG()\n", |
50 | 61 | "g" |
51 | 62 | ] |
52 | 63 | }, |
|
61 | 72 | }, |
62 | 73 | { |
63 | 74 | "cell_type": "code", |
64 | | - "execution_count": 2, |
| 75 | + "execution_count": 17, |
65 | 76 | "id": "b32adf22", |
66 | 77 | "metadata": {}, |
67 | 78 | "outputs": [ |
|
74 | 85 | "[[0.5, 0.5], [0.5, 0.5], [0.5, 0.5]]" |
75 | 86 | ] |
76 | 87 | }, |
77 | | - "execution_count": 2, |
| 88 | + "execution_count": 17, |
78 | 89 | "metadata": {}, |
79 | 90 | "output_type": "execute_result" |
80 | 91 | } |
|
86 | 97 | }, |
87 | 98 | { |
88 | 99 | "cell_type": "code", |
89 | | - "execution_count": 3, |
| 100 | + "execution_count": 18, |
90 | 101 | "id": "c0b62502", |
91 | 102 | "metadata": {}, |
92 | 103 | "outputs": [ |
93 | 104 | { |
94 | 105 | "data": { |
95 | 106 | "text/latex": [ |
96 | | - "$\\left[[0.3999999026224355, 0.6000000973775644],[0.49999981670851457, 0.5000001832914854],[0.3333329684317666, 0.6666670315682334]\\right]$" |
| 107 | + "$\\left[[0.4000002947381336, 0.5999997052618664],[0.4999994065053205, 0.5000005934946796],[0.3333334410505316, 0.6666665589494684]\\right]$" |
97 | 108 | ], |
98 | 109 | "text/plain": [ |
99 | | - "[[0.3999999026224355, 0.6000000973775644], [0.49999981670851457, 0.5000001832914854], [0.3333329684317666, 0.6666670315682334]]" |
| 110 | + "[[0.4000002947381336, 0.5999997052618664], [0.4999994065053205, 0.5000005934946796], [0.3333334410505316, 0.6666665589494684]]" |
100 | 111 | ] |
101 | 112 | }, |
102 | | - "execution_count": 3, |
| 113 | + "execution_count": 18, |
103 | 114 | "metadata": {}, |
104 | 115 | "output_type": "execute_result" |
105 | 116 | } |
|
121 | 132 | }, |
122 | 133 | { |
123 | 134 | "cell_type": "code", |
124 | | - "execution_count": 4, |
| 135 | + "execution_count": 19, |
125 | 136 | "id": "cf22064e", |
126 | 137 | "metadata": {}, |
127 | 138 | "outputs": [ |
|
134 | 145 | "[[0.9, 0.1], [0.9, 0.1], [0.9, 0.1]]" |
135 | 146 | ] |
136 | 147 | }, |
137 | | - "execution_count": 4, |
| 148 | + "execution_count": 19, |
138 | 149 | "metadata": {}, |
139 | 150 | "output_type": "execute_result" |
140 | 151 | } |
|
146 | 157 | }, |
147 | 158 | { |
148 | 159 | "cell_type": "code", |
149 | | - "execution_count": 5, |
| 160 | + "execution_count": 20, |
150 | 161 | "id": "08a22505", |
151 | 162 | "metadata": {}, |
152 | 163 | "outputs": [ |
153 | 164 | { |
154 | 165 | "data": { |
155 | 166 | "text/latex": [ |
156 | | - "$\\left[[1.0, 0.0],[0.9999999944750116, 5.524988446860122e-09],[0.9999999991845827, 8.154173380971617e-10]\\right]$" |
| 167 | + "$\\left[[0.9999999968173041, 3.1826958638999237e-09],[0.9999999929853859, 7.014614077736281e-09],[0.999999999193891, 8.061090096721423e-10]\\right]$" |
157 | 168 | ], |
158 | 169 | "text/plain": [ |
159 | | - "[[1.0, 0.0], [0.9999999944750116, 5.524988446860122e-09], [0.9999999991845827, 8.154173380971617e-10]]" |
| 170 | + "[[0.9999999968173041, 3.1826958638999237e-09], [0.9999999929853859, 7.014614077736281e-09], [0.999999999193891, 8.061090096721423e-10]]" |
160 | 171 | ] |
161 | 172 | }, |
162 | | - "execution_count": 5, |
| 173 | + "execution_count": 20, |
163 | 174 | "metadata": {}, |
164 | 175 | "output_type": "execute_result" |
165 | 176 | } |
|
178 | 189 | }, |
179 | 190 | { |
180 | 191 | "cell_type": "code", |
181 | | - "execution_count": 6, |
| 192 | + "execution_count": 21, |
182 | 193 | "id": "cfbc2714", |
183 | 194 | "metadata": {}, |
184 | 195 | "outputs": [ |
185 | 196 | { |
186 | 197 | "data": { |
187 | 198 | "text/latex": [ |
188 | | - "$\\left[[0.7187961367413075, 0.2812038632586925],[0.1291105793795489, 0.8708894206204512],[0.12367227612277114, 0.876327723877229]\\right]$" |
| 199 | + "$\\left[[0.5816023335384932, 0.41839766646150667],[0.14988214487024656, 0.8501178551297536],[0.1633565719798093, 0.8366434280201908]\\right]$" |
189 | 200 | ], |
190 | 201 | "text/plain": [ |
191 | | - "[[0.7187961367413075, 0.2812038632586925], [0.1291105793795489, 0.8708894206204512], [0.12367227612277114, 0.876327723877229]]" |
| 202 | + "[[0.5816023335384932, 0.41839766646150667], [0.14988214487024656, 0.8501178551297536], [0.1633565719798093, 0.8366434280201908]]" |
192 | 203 | ] |
193 | 204 | }, |
194 | | - "execution_count": 6, |
| 205 | + "execution_count": 21, |
195 | 206 | "metadata": {}, |
196 | 207 | "output_type": "execute_result" |
197 | 208 | } |
|
203 | 214 | }, |
204 | 215 | { |
205 | 216 | "cell_type": "code", |
206 | | - "execution_count": 7, |
| 217 | + "execution_count": 22, |
207 | 218 | "id": "eb53062a", |
208 | 219 | "metadata": {}, |
209 | 220 | "outputs": [ |
210 | 221 | { |
211 | 222 | "data": { |
212 | 223 | "text/latex": [ |
213 | | - "$\\left[[0.5000003932357804, 0.4999996067642197],[0.3999998501612186, 0.6000001498387814],[0.2500001518113522, 0.7499998481886477]\\right]$" |
| 224 | + "$\\left[[0.5000006764533134, 0.49999932354668664],[0.39999957335142133, 0.6000004266485787],[0.24999957325483269, 0.7500004267451672]\\right]$" |
214 | 225 | ], |
215 | 226 | "text/plain": [ |
216 | | - "[[0.5000003932357804, 0.4999996067642197], [0.3999998501612186, 0.6000001498387814], [0.2500001518113522, 0.7499998481886477]]" |
| 227 | + "[[0.5000006764533134, 0.49999932354668664], [0.39999957335142133, 0.6000004266485787], [0.24999957325483269, 0.7500004267451672]]" |
217 | 228 | ] |
218 | 229 | }, |
219 | | - "execution_count": 7, |
| 230 | + "execution_count": 22, |
220 | 231 | "metadata": {}, |
221 | 232 | "output_type": "execute_result" |
222 | 233 | } |
|
238 | 249 | }, |
239 | 250 | { |
240 | 251 | "cell_type": "code", |
241 | | - "execution_count": 8, |
| 252 | + "execution_count": 23, |
242 | 253 | "id": "4293343a", |
243 | 254 | "metadata": {}, |
244 | 255 | "outputs": [ |
|
248 | 259 | "True" |
249 | 260 | ] |
250 | 261 | }, |
251 | | - "execution_count": 8, |
| 262 | + "execution_count": 23, |
252 | 263 | "metadata": {}, |
253 | 264 | "output_type": "execute_result" |
254 | 265 | } |
255 | 266 | ], |
256 | 267 | "source": [ |
257 | | - "import numpy as np\n", |
258 | 268 | "gen = np.random.default_rng(seed=1234567890)\n", |
259 | 269 | "p1 = g.random_strategy_profile(gen=gen)\n", |
260 | 270 | "gen = np.random.default_rng(seed=1234567890)\n", |
|
278 | 288 | }, |
279 | 289 | { |
280 | 290 | "cell_type": "code", |
281 | | - "execution_count": 9, |
| 291 | + "execution_count": 24, |
282 | 292 | "id": "e9716ae0", |
283 | 293 | "metadata": {}, |
284 | 294 | "outputs": [ |
|
291 | 301 | "[[Rational(1, 2), Rational(1, 2)], [Rational(7, 10), Rational(3, 10)], [Rational(0, 1), Rational(1, 1)]]" |
292 | 302 | ] |
293 | 303 | }, |
294 | | - "execution_count": 9, |
| 304 | + "execution_count": 24, |
295 | 305 | "metadata": {}, |
296 | 306 | "output_type": "execute_result" |
297 | 307 | } |
|
304 | 314 | }, |
305 | 315 | { |
306 | 316 | "cell_type": "code", |
307 | | - "execution_count": 10, |
| 317 | + "execution_count": 25, |
308 | 318 | "id": "c153918a", |
309 | 319 | "metadata": {}, |
310 | 320 | "outputs": [ |
|
317 | 327 | "[[Rational(1, 1), Rational(0, 1)], [Rational(1, 1), Rational(0, 1)], [Rational(1, 1), Rational(0, 1)]]" |
318 | 328 | ] |
319 | 329 | }, |
320 | | - "execution_count": 10, |
| 330 | + "execution_count": 25, |
321 | 331 | "metadata": {}, |
322 | 332 | "output_type": "execute_result" |
323 | 333 | } |
|
328 | 338 | }, |
329 | 339 | { |
330 | 340 | "cell_type": "code", |
331 | | - "execution_count": 11, |
| 341 | + "execution_count": 26, |
332 | 342 | "id": "70a57b26", |
333 | 343 | "metadata": {}, |
334 | 344 | "outputs": [ |
|
341 | 351 | "[[Rational(1, 10), Rational(9, 10)], [Rational(3, 5), Rational(2, 5)], [Rational(3, 5), Rational(2, 5)]]" |
342 | 352 | ] |
343 | 353 | }, |
344 | | - "execution_count": 11, |
| 354 | + "execution_count": 26, |
345 | 355 | "metadata": {}, |
346 | 356 | "output_type": "execute_result" |
347 | 357 | } |
|
353 | 363 | }, |
354 | 364 | { |
355 | 365 | "cell_type": "code", |
356 | | - "execution_count": 12, |
| 366 | + "execution_count": 27, |
357 | 367 | "id": "11995836", |
358 | 368 | "metadata": {}, |
359 | 369 | "outputs": [ |
|
366 | 376 | "[[Rational(0, 1), Rational(1, 1)], [Rational(0, 1), Rational(1, 1)], [Rational(1, 1), Rational(0, 1)]]" |
367 | 377 | ] |
368 | 378 | }, |
369 | | - "execution_count": 12, |
| 379 | + "execution_count": 27, |
370 | 380 | "metadata": {}, |
371 | 381 | "output_type": "execute_result" |
372 | 382 | } |
|
377 | 387 | }, |
378 | 388 | { |
379 | 389 | "cell_type": "code", |
380 | | - "execution_count": 13, |
| 390 | + "execution_count": 28, |
381 | 391 | "id": "2791ffe2", |
382 | 392 | "metadata": {}, |
383 | 393 | "outputs": [ |
|
390 | 400 | "[[Rational(7, 10), Rational(3, 10)], [Rational(4, 5), Rational(1, 5)], [Rational(0, 1), Rational(1, 1)]]" |
391 | 401 | ] |
392 | 402 | }, |
393 | | - "execution_count": 13, |
| 403 | + "execution_count": 28, |
394 | 404 | "metadata": {}, |
395 | 405 | "output_type": "execute_result" |
396 | 406 | } |
|
402 | 412 | }, |
403 | 413 | { |
404 | 414 | "cell_type": "code", |
405 | | - "execution_count": 14, |
| 415 | + "execution_count": 29, |
406 | 416 | "id": "2ab2caa4", |
407 | 417 | "metadata": {}, |
408 | 418 | "outputs": [ |
|
415 | 425 | "[[Rational(1, 1), Rational(0, 1)], [Rational(1, 1), Rational(0, 1)], [Rational(1, 1), Rational(0, 1)]]" |
416 | 426 | ] |
417 | 427 | }, |
418 | | - "execution_count": 14, |
| 428 | + "execution_count": 29, |
419 | 429 | "metadata": {}, |
420 | 430 | "output_type": "execute_result" |
421 | 431 | } |
|
427 | 437 | ], |
428 | 438 | "metadata": { |
429 | 439 | "kernelspec": { |
430 | | - "display_name": "gambitvenv313", |
| 440 | + "display_name": "Python 3 (ipykernel)", |
431 | 441 | "language": "python", |
432 | 442 | "name": "python3" |
433 | 443 | }, |
|
0 commit comments