114 lines
15 KiB
Plaintext
114 lines
15 KiB
Plaintext
/*
|
|
Resolution tree for sudoku number
|
|
*/
|
|
digraph T {
|
|
bgcolor="#FFFF00";
|
|
node[style=filled];
|
|
START[shape=hexagon, fillcolor="#FF0000"];
|
|
"START760"[label="('7', 6, 0)"];
|
|
"START" -> "START760";
|
|
"START760110"[label="('1', 1, 0)"];
|
|
"START760" -> "START760110";
|
|
"START760110430"[label="('4', 3, 0)"];
|
|
"START760110" -> "START760110430";
|
|
"START760110430570"[label="('5', 7, 0)"];
|
|
"START760110430" -> "START760110430570";
|
|
"START760110430570751"[label="('7', 5, 1)"];
|
|
"START760110430570" -> "START760110430570751";
|
|
"START760110430570751301"[label="('3', 0, 1)"];
|
|
"START760110430570751" -> "START760110430570751301";
|
|
"START760110430570751301221"[label="('2', 2, 1)"];
|
|
"START760110430570751301" -> "START760110430570751301221";
|
|
"START760110430570751301221641"[label="('6', 4, 1)"];
|
|
"START760110430570751301221" -> "START760110430570751301221641";
|
|
"START760110430570751301221641861"[label="('8', 6, 1)"];
|
|
"START760110430570751301221641" -> "START760110430570751301221641861";
|
|
"START760110430570751301221641861971"[label="('9', 7, 1)"];
|
|
"START760110430570751301221641861" -> "START760110430570751301221641861971";
|
|
"START760110430570751301221641861971152"[label="('1', 5, 2)"];
|
|
"START760110430570751301221641861971" -> "START760110430570751301221641861971152";
|
|
"START760110430570751301221641861971152342"[label="('3', 4, 2)"];
|
|
"START760110430570751301221641861971152" -> "START760110430570751301221641861971152342";
|
|
"START760110430570751301221641861971152342714"[label="('7', 1, 4)"];
|
|
"START760110430570751301221641861971152342" -> "START760110430570751301221641861971152342714";
|
|
"START760110430570751301221641861971152342714484"[label="('4', 8, 4)"];
|
|
"START760110430570751301221641861971152342714" -> "START760110430570751301221641861971152342714484";
|
|
"START760110430570751301221641861971152342714484504"[label="('5', 0, 4)"];
|
|
"START760110430570751301221641861971152342714484" -> "START760110430570751301221641861971152342714484504";
|
|
"START760110430570751301221641861971152342714484504702"[label="('7', 0, 2)"];
|
|
"START760110430570751301221641861971152342714484504" -> "START760110430570751301221641861971152342714484504702";
|
|
"START760110430570751301221641861971152342714484504702522"[label="('5', 2, 2)"];
|
|
"START760110430570751301221641861971152342714484504702" -> "START760110430570751301221641861971152342714484504702522";
|
|
"START760110430570751301221641861971152342714484504702522144"[label="('1', 4, 4)"];
|
|
"START760110430570751301221641861971152342714484504702522" -> "START760110430570751301221641861971152342714484504702522144";
|
|
"START760110430570751301221641861971152342714484504702522144333"[label="('3', 3, 3)"];
|
|
"START760110430570751301221641861971152342714484504702522144" -> "START760110430570751301221641861971152342714484504702522144333";
|
|
"START760110430570751301221641861971152342714484504702522144333374"[label="('3', 7, 4)"];
|
|
"START760110430570751301221641861971152342714484504702522144333" -> "START760110430570751301221641861971152342714484504702522144333374";
|
|
"START760110430570751301221641861971152342714484504702522144333374405"[label="('4', 0, 5)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374" -> "START760110430570751301221641861971152342714484504702522144333374405";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735"[label="('7', 3, 5)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405" -> "START760110430570751301221641861971152342714484504702522144333374405735";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955"[label="('9', 5, 5)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735" -> "START760110430570751301221641861971152342714484504702522144333374405735955";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125"[label="('1', 2, 5)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955" -> "START760110430570751301221641861971152342714484504702522144333374405735955125";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923"[label="('9', 2, 3)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213"[label="('2', 1, 3)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163"[label="('1', 6, 3)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883"[label="('8', 8, 3)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845"[label="('8', 4, 5)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275"[label="('2', 7, 5)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665"[label="('6', 6, 5)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262"[label="('2', 6, 2)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682"[label="('6', 8, 2)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806"[label="('8', 0, 6)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136"[label="('1', 3, 6)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466"[label="('4', 6, 6)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726"[label="('7', 2, 6)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946"[label="('9', 4, 6)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286"[label="('2', 8, 6)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637"[label="('6', 3, 7)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917"[label="('9', 1, 7)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367"[label="('3', 6, 7)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427"[label="('4', 2, 7)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547"[label="('5', 4, 7)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443"[label="('4', 4, 3)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553"[label="('5', 5, 3)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787"[label="('7', 8, 7)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618"[label="('6', 1, 8)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328"[label="('3', 2, 8)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458"[label="('4', 5, 8)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178"[label="('1', 7, 8)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178988"[label="('9', 8, 8)"];
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178" -> "START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178988";
|
|
"START760110430570751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917367427547443553787618328458178988"[shape=hexagon, fillcolor="#00FF00"];
|
|
}
|