Commit 63a1218a authored by Hans-Peter Deifel's avatar Hans-Peter Deifel
Browse files

dfa: Answer question whether a M=1 model is minimal

parent b78c51c8
......@@ -192,6 +192,112 @@ done
| 290000 | 1 | 10 | 290000 | 290000 | 2 | 190044 | 190044 | 22976 | 10.8875411057 | 0.3231777853754279 | 3.2379748348 | 0.015718810790019754 | 6.9012326078 | 0.3570489487250581 | 1.0157828841 | 0.0067663978067151525 | 5.745269477999999 | 0.34550046535345835 | 0.6994596174 | 0.020991553070787917 | 190044 |
| 300000 | 1 | 10 | 300000 | 300000 | 2 | 197133 | 197133 | 23844 | 11.6383832293 | 0.32088026618713805 | 3.3229065135 | 0.028968215816625995 | 7.5626338512 | 0.2829614452296093 | 0.9824864115 | 0.13146291683857875 | 6.3761597855 | 0.2835986824686698 | 0.74688904 | 0.030483611878687856 | 197133 |
**** Wie viele Modelle sind bereits minimal?
Thorsten fragt, wie viele der Modelle noch minimierbar waren, weil ich "very
few" geschrieben habe.
#+begin_src sh :hlines yes :colnames '("N" "M" "i" "States" "Edges" "I" "Q" "Qs1" "Opts" "t (s)" "tp (s)" "ta (s)" "ti (s)" "tr (s)" "tv (s)" "Qv")
for n in 100000 110000 120000 130000 140000 150000 160000 170000; do
python bench.py run ../../copar/bin/copar ../../valmari_cpp/mdpmin $n 1 --indiv
done
#+end_src
#+NAME: results1indiv
#+RESULTS:
| N | M | i | States | Edges | I | Q | Qs1 | Opts | t (s) | tp (s) | ta (s) | ti (s) | tr (s) | tv (s) | Qv |
|--------+---+---+--------+--------+---+--------+--------+-------+-------------+-------------+-------------+-------------+-------------+-------------+--------|
| 100000 | 1 | 0 | 100000 | 100000 | 2 | 65489 | 65489 | 8071 | 3.075219251 | 1.016393606 | 1.860979017 | 0.324656734 | 1.395473518 | 0.130707758 | 65489 |
| 100000 | 1 | 1 | 100000 | 100000 | 2 | 65912 | 65912 | 8413 | 3.116122542 | 1.015110996 | 1.901503637 | 0.325672327 | 1.450852626 | 0.130313487 | 65912 |
| 100000 | 1 | 2 | 100000 | 100000 | 2 | 65551 | 65551 | 8087 | 3.265483129 | 1.011379679 | 2.052158084 | 0.323719205 | 1.60609957 | 0.148720428 | 65551 |
| 100000 | 1 | 3 | 100000 | 100000 | 2 | 65473 | 65473 | 7919 | 3.091434512 | 1.023571016 | 1.868586935 | 0.334955746 | 1.389472857 | 0.130349296 | 65473 |
| 100000 | 1 | 4 | 100000 | 100000 | 2 | 65668 | 65668 | 8130 | 3.149304182 | 1.020738263 | 1.929853793 | 0.322471701 | 1.483947833 | 0.135864777 | 65668 |
| 100000 | 1 | 5 | 100000 | 100000 | 2 | 65857 | 65857 | 8264 | 3.124621294 | 1.010101411 | 1.91249681 | 0.32534672 | 1.463610263 | 0.129844195 | 65857 |
| 100000 | 1 | 6 | 100000 | 100000 | 2 | 65709 | 65709 | 8190 | 3.119871747 | 1.016014505 | 1.906142684 | 0.322655902 | 1.459053505 | 0.13265351 | 65709 |
| 100000 | 1 | 7 | 100000 | 100000 | 2 | 65777 | 65777 | 8199 | 3.099127401 | 1.003755299 | 1.897611872 | 0.323984237 | 1.450599931 | 0.142075197 | 65777 |
| 100000 | 1 | 8 | 100000 | 100000 | 2 | 65443 | 65443 | 7867 | 3.13440342 | 1.008052536 | 1.928383679 | 0.331809869 | 1.471185405 | 0.132536734 | 65443 |
| 100000 | 1 | 9 | 100000 | 100000 | 2 | 65551 | 65551 | 8353 | 3.166899932 | 1.013872041 | 1.955168022 | 0.323107684 | 1.508640938 | 0.132396117 | 65551 |
| 110000 | 1 | 0 | 110000 | 110000 | 2 | 72513 | 72513 | 9297 | 3.569363476 | 1.119818753 | 2.117401824 | 0.382279594 | 1.691728402 | 0.1569582 | 72513 |
| 110000 | 1 | 1 | 110000 | 110000 | 2 | 72154 | 72154 | 9232 | 3.73215774 | 1.118970625 | 2.267884268 | 0.379717955 | 1.844213522 | 0.143942143 | 72154 |
| 110000 | 1 | 2 | 110000 | 110000 | 2 | 71771 | 71771 | 9054 | 3.588886765 | 1.107026424 | 2.146325136 | 0.370949881 | 1.73238878 | 0.14916355 | 71771 |
| 110000 | 1 | 3 | 110000 | 110000 | 2 | 72036 | 72036 | 9000 | 3.507444157 | 1.110593071 | 2.056530678 | 0.381284583 | 1.611080265 | 0.153620916 | 72036 |
| 110000 | 1 | 4 | 110000 | 110000 | 2 | 71937 | 71937 | 8951 | 3.575299526 | 1.109266546 | 2.132903126 | 0.382058363 | 1.707566969 | 0.150420488 | 71937 |
| 110000 | 1 | 5 | 110000 | 110000 | 2 | 71792 | 71792 | 9055 | 3.612489734 | 1.108004896 | 2.164392269 | 0.367315779 | 1.753877234 | 0.16148724 | 71792 |
| 110000 | 1 | 6 | 110000 | 110000 | 2 | 71770 | 71770 | 8890 | 3.616283222 | 1.103457981 | 2.176573336 | 0.393687973 | 1.738645391 | 0.143199242 | 71770 |
| 110000 | 1 | 7 | 110000 | 110000 | 2 | 71872 | 71872 | 9105 | 3.550739383 | 1.100672807 | 2.119781243 | 0.383916077 | 1.692992691 | 0.146208416 | 71872 |
| 110000 | 1 | 8 | 110000 | 110000 | 2 | 71821 | 71821 | 9209 | 3.584102896 | 1.10809578 | 2.124702782 | 0.381536265 | 1.700044159 | 0.161113669 | 71821 |
| 110000 | 1 | 9 | 110000 | 110000 | 2 | 71886 | 71886 | 8496 | 3.413220866 | 1.116265459 | 1.969699346 | 0.372331854 | 1.533935828 | 0.147966004 | 71886 |
| 120000 | 1 | 0 | 120000 | 120000 | 2 | 78444 | 78444 | 9790 | 4.069342595 | 1.238783151 | 2.453433969 | 0.426771494 | 1.979953795 | 0.173410239 | 78444 |
| 120000 | 1 | 1 | 120000 | 120000 | 2 | 79064 | 79064 | 9263 | 3.758061696 | 1.227616777 | 2.123877937 | 0.423050215 | 1.651843389 | 0.164504967 | 79064 |
| 120000 | 1 | 2 | 120000 | 120000 | 2 | 78524 | 78524 | 9654 | 4.01143738 | 1.232131643 | 2.40162801 | 0.429634 | 1.924545475 | 0.177220402 | 78524 |
| 120000 | 1 | 3 | 120000 | 120000 | 2 | 78399 | 78399 | 9588 | 3.995277317 | 1.222230251 | 2.396551393 | 0.412733661 | 1.935789441 | 0.176388153 | 78399 |
| 120000 | 1 | 4 | 120000 | 120000 | 2 | 78746 | 78746 | 9978 | 3.974422801 | 1.227714059 | 2.364443107 | 0.425459117 | 1.891445689 | 0.175432849 | 78746 |
| 120000 | 1 | 5 | 120000 | 120000 | 2 | 78615 | 78615 | 9663 | 3.917738942 | 1.220087523 | 2.314338623 | 0.424702349 | 1.842289442 | 0.171312703 | 78615 |
| 120000 | 1 | 6 | 120000 | 120000 | 2 | 78527 | 78527 | 9645 | 3.94036953 | 1.218993873 | 2.346867738 | 0.425413568 | 1.873926259 | 0.174608538 | 78527 |
| 120000 | 1 | 7 | 120000 | 120000 | 2 | 78774 | 78774 | 9675 | 3.965907516 | 1.248057246 | 2.338368857 | 0.425580612 | 1.865444724 | 0.170047685 | 78774 |
| 120000 | 1 | 8 | 120000 | 120000 | 2 | 78247 | 78247 | 9857 | 3.968748425 | 1.225095151 | 2.368057707 | 0.42623809 | 1.895107695 | 0.177741888 | 78247 |
| 120000 | 1 | 9 | 120000 | 120000 | 2 | 78928 | 78928 | 9693 | 3.872514593 | 1.215166985 | 2.280317135 | 0.435296015 | 1.775243516 | 0.166218788 | 78928 |
| 130000 | 1 | 0 | 130000 | 130000 | 2 | 85315 | 85315 | 10567 | 4.501026206 | 1.342790878 | 2.735433238 | 0.464495628 | 2.218602487 | 0.199508275 | 85315 |
| 130000 | 1 | 1 | 130000 | 130000 | 2 | 85142 | 85142 | 10403 | 4.396407477 | 1.335274061 | 2.613262381 | 0.471083056 | 2.089756189 | 0.194808266 | 85142 |
| 130000 | 1 | 2 | 130000 | 130000 | 2 | 84925 | 84925 | 10388 | 4.338347004 | 1.337826524 | 2.556239179 | 0.469600129 | 2.034926833 | 0.197639463 | 84925 |
| 130000 | 1 | 3 | 130000 | 130000 | 2 | 85122 | 85122 | 10224 | 4.353772157 | 1.342125611 | 2.564450923 | 0.463526411 | 2.049189812 | 0.191741507 | 85122 |
| 130000 | 1 | 4 | 130000 | 130000 | 2 | 84972 | 84972 | 10050 | 4.166589043 | 1.342834979 | 2.376818402 | 0.468541701 | 1.856207934 | 0.203356829 | 84972 |
| 130000 | 1 | 5 | 130000 | 130000 | 2 | 84995 | 84995 | 10729 | 4.478496303 | 1.339820796 | 2.710607439 | 0.468935165 | 2.167174535 | 0.194667287 | 84995 |
| 130000 | 1 | 6 | 130000 | 130000 | 2 | 85356 | 85356 | 9815 | 4.145077528 | 1.341588829 | 2.355940755 | 0.46767948 | 1.836206911 | 0.203810633 | 85356 |
| 130000 | 1 | 7 | 130000 | 130000 | 2 | 84961 | 84961 | 10513 | 4.409125822 | 1.334864989 | 2.647270925 | 0.463919552 | 2.107834639 | 0.196470758 | 84961 |
| 130000 | 1 | 8 | 130000 | 130000 | 2 | 85019 | 85019 | 10795 | 4.365329247 | 1.351712695 | 2.560567903 | 0.467896279 | 2.040988999 | 0.196142687 | 85019 |
| 130000 | 1 | 9 | 130000 | 130000 | 2 | 85572 | 85572 | 10741 | 4.331631441 | 1.341549552 | 2.543712738 | 0.468076477 | 2.024120064 | 0.194865578 | 85572 |
| 140000 | 1 | 0 | 140000 | 140000 | 2 | 91961 | 91961 | 11636 | 4.813179945 | 1.455581203 | 2.910940726 | 0.508547541 | 2.346748404 | 0.228881309 | 91961 |
| 140000 | 1 | 1 | 140000 | 140000 | 2 | 92261 | 92261 | 11446 | 4.879484983 | 1.427232795 | 2.985289396 | 0.491290506 | 2.437514334 | 0.216363143 | 92261 |
| 140000 | 1 | 2 | 140000 | 140000 | 2 | 91700 | 91700 | 10883 | 4.66983062 | 1.442716627 | 2.737677114 | 0.608711362 | 2.072788634 | 0.238295376 | 91700 |
| 140000 | 1 | 3 | 140000 | 140000 | 2 | 91529 | 91529 | 10873 | 4.907649866 | 1.5015704 | 2.938429497 | 0.510420053 | 2.370488401 | 0.218100194 | 91529 |
| 140000 | 1 | 4 | 140000 | 140000 | 2 | 91629 | 91629 | 11305 | 4.830356822 | 1.439082203 | 2.929881336 | 0.576003758 | 2.271742162 | 0.21585962 | 91629 |
| 140000 | 1 | 5 | 140000 | 140000 | 2 | 91880 | 91880 | 11470 | 4.91423664 | 1.448168084 | 3.001895587 | 0.493154024 | 2.452395666 | 0.218942322 | 91880 |
| 140000 | 1 | 6 | 140000 | 140000 | 2 | 91604 | 91604 | 11166 | 4.667486167 | 1.440795599 | 2.738309613 | 0.567755464 | 2.113455919 | 0.227232418 | 91604 |
| 140000 | 1 | 7 | 140000 | 140000 | 2 | 91511 | 91511 | 10132 | 4.398069285 | 1.436154238 | 2.514956101 | 0.587945332 | 1.871389377 | 0.208235616 | 91511 |
| 140000 | 1 | 8 | 140000 | 140000 | 2 | 92066 | 92066 | 11696 | 4.930771039 | 1.443342623 | 3.040578387 | 0.505273022 | 2.479661092 | 0.217466706 | 92066 |
| 140000 | 1 | 9 | 140000 | 140000 | 2 | 91879 | 91879 | 11445 | 4.884916867 | 1.449982962 | 2.972289977 | 0.499279593 | 2.416436588 | 0.257315528 | 91879 |
| 150000 | 1 | 0 | 150000 | 150000 | 2 | 98627 | 98627 | 11706 | 4.872019521 | 1.655503115 | 2.873671662 | 0.558746555 | 2.248680022 | 0.235247684 | 98627 |
| 150000 | 1 | 1 | 150000 | 150000 | 2 | 98261 | 98261 | 11998 | 5.116727582 | 1.672626075 | 3.099944137 | 0.579007147 | 2.453658451 | 0.241741848 | 98261 |
| 150000 | 1 | 2 | 150000 | 150000 | 2 | 98235 | 98235 | 12071 | 4.997412768 | 1.641890305 | 3.01458561 | 0.563418466 | 2.385397834 | 0.258076894 | 98235 |
| 150000 | 1 | 3 | 150000 | 150000 | 2 | 98312 | 98312 | 11705 | 5.016588812 | 1.654784636 | 3.009550171 | 0.560464767 | 2.384445994 | 0.252234889 | 98312 |
| 150000 | 1 | 4 | 150000 | 150000 | 2 | 98743 | 98743 | 12062 | 5.049099289 | 1.636705601 | 3.059607898 | 0.56184508 | 2.431595053 | 0.262377629 | 98743 |
| 150000 | 1 | 5 | 150000 | 150000 | 2 | 98223 | 98223 | 12114 | 5.185375559 | 1.650754772 | 3.183230628 | 0.570270251 | 2.547707736 | 0.238793267 | 98223 |
| 150000 | 1 | 6 | 150000 | 150000 | 2 | 98058 | 98058 | 12112 | 5.050064472 | 1.630022597 | 3.08029486 | 0.564257409 | 2.450098535 | 0.243755685 | 98058 |
| 150000 | 1 | 7 | 150000 | 150000 | 2 | 98210 | 98210 | 11960 | 5.115982412 | 1.633837601 | 3.137975015 | 0.565816974 | 2.506028669 | 0.2505944 | 98210 |
| 150000 | 1 | 8 | 150000 | 150000 | 2 | 97960 | 97960 | 11597 | 4.858785307 | 1.647165757 | 2.872074398 | 0.574074002 | 2.231803514 | 0.265061064 | 97960 |
| 150000 | 1 | 9 | 150000 | 150000 | 2 | 98422 | 98422 | 12311 | 5.327401077 | 1.653696997 | 3.296907266 | 0.583230537 | 2.6468857 | 0.239040268 | 98422 |
| 160000 | 1 | 0 | 160000 | 160000 | 2 | 104809 | 104809 | 12764 | 5.413611245 | 1.753899129 | 3.253625322 | 0.554772889 | 2.62708176 | 0.277332836 | 104809 |
| 160000 | 1 | 1 | 160000 | 160000 | 2 | 104736 | 104736 | 12041 | 5.180526371 | 1.755584154 | 3.047974787 | 0.552660393 | 2.423316692 | 0.282131995 | 104736 |
| 160000 | 1 | 2 | 160000 | 160000 | 2 | 105357 | 105357 | 13124 | 5.462877794 | 1.75207744 | 3.299392518 | 0.555550183 | 2.67233249 | 0.269992552 | 105357 |
| 160000 | 1 | 3 | 160000 | 160000 | 2 | 105082 | 105082 | 12438 | 5.134563796 | 1.730090568 | 3.034500876 | 0.552380443 | 2.411077245 | 0.263569812 | 105082 |
| 160000 | 1 | 4 | 160000 | 160000 | 2 | 105268 | 105268 | 12063 | 5.091023835 | 1.734985455 | 2.983805154 | 0.558386199 | 2.352960234 | 0.256864157 | 105268 |
| 160000 | 1 | 5 | 160000 | 160000 | 2 | 104256 | 104256 | 12487 | 5.431687389 | 1.737341656 | 3.2900801 | 0.574433213 | 2.643243271 | 0.272561367 | 104256 |
| 160000 | 1 | 6 | 160000 | 160000 | 2 | 104686 | 104686 | 12465 | 5.280913408 | 1.7583244 | 3.098232133 | 0.558517743 | 2.467514219 | 0.267944903 | 104686 |
| 160000 | 1 | 7 | 160000 | 160000 | 2 | 105070 | 105070 | 12893 | 5.4467357 | 1.771163808 | 3.271982134 | 0.552677048 | 2.647541945 | 0.27193751 | 105070 |
| 160000 | 1 | 8 | 160000 | 160000 | 2 | 104067 | 104067 | 12612 | 5.510559824 | 1.732796322 | 3.375361897 | 0.551505069 | 2.751637236 | 0.283181036 | 104067 |
| 160000 | 1 | 9 | 160000 | 160000 | 2 | 104683 | 104683 | 12955 | 5.476821459 | 1.742660111 | 3.322719819 | 0.555859222 | 2.695381497 | 0.272989731 | 104683 |
| 170000 | 1 | 0 | 170000 | 170000 | 2 | 111232 | 111232 | 14138 | 6.160235107 | 1.795280802 | 3.773803546 | 0.67018494 | 3.004337578 | 0.313427797 | 111232 |
| 170000 | 1 | 1 | 170000 | 170000 | 2 | 111515 | 111515 | 14069 | 6.323942849 | 1.808427332 | 3.928144504 | 0.645564662 | 3.214819788 | 0.303169693 | 111515 |
| 170000 | 1 | 2 | 170000 | 170000 | 2 | 111410 | 111410 | 13322 | 6.050619652 | 1.795226118 | 3.639246382 | 0.644719471 | 2.927228123 | 0.287434147 | 111410 |
| 170000 | 1 | 3 | 170000 | 170000 | 2 | 111530 | 111530 | 13559 | 6.063843832 | 1.793230593 | 3.689430199 | 0.644887858 | 2.945571011 | 0.310330865 | 111530 |
| 170000 | 1 | 4 | 170000 | 170000 | 2 | 111153 | 111153 | 13532 | 6.071848735 | 1.831054583 | 3.629359022 | 0.628641866 | 2.932875005 | 0.320646436 | 111153 |
| 170000 | 1 | 5 | 170000 | 170000 | 2 | 111203 | 111203 | 13432 | 6.076686753 | 1.79953162 | 3.660656001 | 0.650203751 | 2.942526378 | 0.295326964 | 111203 |
| 170000 | 1 | 6 | 170000 | 170000 | 2 | 111830 | 111830 | 13548 | 6.076912142 | 1.794745522 | 3.69609161 | 0.648772721 | 2.949764056 | 0.310190598 | 111830 |
| 170000 | 1 | 7 | 170000 | 170000 | 2 | 111722 | 111722 | 14225 | 6.122092054 | 1.818769752 | 3.721088306 | 0.648051589 | 2.9746513 | 0.30267634 | 111722 |
| 170000 | 1 | 8 | 170000 | 170000 | 2 | 111333 | 111333 | 13460 | 6.019120253 | 1.828318648 | 3.571670678 | 0.625591525 | 2.876677423 | 0.300308666 | 111333 |
| 170000 | 1 | 9 | 170000 | 170000 | 2 | 111104 | 111104 | 14024 | 6.310595994 | 1.809845988 | 3.910658691 | 0.648235985 | 3.194725245 | 0.31328522 | 111104 |
#+begin_src python :var data=results1indiv
return all(x[3] != x[6] for x in data)
#+end_src
#+RESULTS:
: True
=> Zumindest für den ersten Teil gilt die Aussage das /keins/ schon minimal ist.
*** And plotting
#+CALL: plot(results1, "results1.png")
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment