133 lines
20 KiB
Plaintext
133 lines
20 KiB
Plaintext
/*
|
|
Resolution tree for sudoku number
|
|
*/
|
|
digraph T {
|
|
bgcolor="#FFFF00";
|
|
node[style=filled];
|
|
START[shape=hexagon, fillcolor="#FF0000"];
|
|
"START570"[label="('5', 7, 0)"];
|
|
"START" -> "START570";
|
|
"START570760"[label="('7', 6, 0)"];
|
|
"START570" -> "START570760";
|
|
"START570760110"[label="('1', 1, 0)"];
|
|
"START570760" -> "START570760110";
|
|
"START570760110430"[label="('4', 3, 0)"];
|
|
"START570760110" -> "START570760110430";
|
|
"START570760110430751"[label="('7', 5, 1)"];
|
|
"START570760110430" -> "START570760110430751";
|
|
"START570760110430751301"[label="('3', 0, 1)"];
|
|
"START570760110430751" -> "START570760110430751301";
|
|
"START570760110430751301221"[label="('2', 2, 1)"];
|
|
"START570760110430751301" -> "START570760110430751301221";
|
|
"START570760110430751301221641"[label="('6', 4, 1)"];
|
|
"START570760110430751301221" -> "START570760110430751301221641";
|
|
"START570760110430751301221641861"[label="('8', 6, 1)"];
|
|
"START570760110430751301221641" -> "START570760110430751301221641861";
|
|
"START570760110430751301221641861971"[label="('9', 7, 1)"];
|
|
"START570760110430751301221641861" -> "START570760110430751301221641861971";
|
|
"START570760110430751301221641861971152"[label="('1', 5, 2)"];
|
|
"START570760110430751301221641861971" -> "START570760110430751301221641861971152";
|
|
"START570760110430751301221641861971152342"[label="('3', 4, 2)"];
|
|
"START570760110430751301221641861971152" -> "START570760110430751301221641861971152342";
|
|
"START570760110430751301221641861971152342714"[label="('7', 1, 4)"];
|
|
"START570760110430751301221641861971152342" -> "START570760110430751301221641861971152342714";
|
|
"START570760110430751301221641861971152342714484"[label="('4', 8, 4)"];
|
|
"START570760110430751301221641861971152342714" -> "START570760110430751301221641861971152342714484";
|
|
"START570760110430751301221641861971152342714484504"[label="('5', 0, 4)"];
|
|
"START570760110430751301221641861971152342714484" -> "START570760110430751301221641861971152342714484504";
|
|
"START570760110430751301221641861971152342714484504702"[label="('7', 0, 2)"];
|
|
"START570760110430751301221641861971152342714484504" -> "START570760110430751301221641861971152342714484504702";
|
|
"START570760110430751301221641861971152342714484504702522"[label="('5', 2, 2)"];
|
|
"START570760110430751301221641861971152342714484504702" -> "START570760110430751301221641861971152342714484504702522";
|
|
"START570760110430751301221641861971152342714484504702522144"[label="('1', 4, 4)"];
|
|
"START570760110430751301221641861971152342714484504702522" -> "START570760110430751301221641861971152342714484504702522144";
|
|
"START570760110430751301221641861971152342714484504702522144333"[label="('3', 3, 3)"];
|
|
"START570760110430751301221641861971152342714484504702522144" -> "START570760110430751301221641861971152342714484504702522144333";
|
|
"START570760110430751301221641861971152342714484504702522144333374"[label="('3', 7, 4)"];
|
|
"START570760110430751301221641861971152342714484504702522144333" -> "START570760110430751301221641861971152342714484504702522144333374";
|
|
"START570760110430751301221641861971152342714484504702522144333374405"[label="('4', 0, 5)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374" -> "START570760110430751301221641861971152342714484504702522144333374405";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735"[label="('7', 3, 5)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405" -> "START570760110430751301221641861971152342714484504702522144333374405735";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955"[label="('9', 5, 5)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735" -> "START570760110430751301221641861971152342714484504702522144333374405735955";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125"[label="('1', 2, 5)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955" -> "START570760110430751301221641861971152342714484504702522144333374405735955125";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923"[label="('9', 2, 3)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213"[label="('2', 1, 3)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163"[label="('1', 6, 3)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883"[label="('8', 8, 3)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845"[label="('8', 4, 5)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275"[label="('2', 7, 5)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665"[label="('6', 6, 5)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262"[label="('2', 6, 2)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682"[label="('6', 8, 2)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806"[label="('8', 0, 6)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136"[label="('1', 3, 6)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466"[label="('4', 6, 6)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726"[label="('7', 2, 6)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946"[label="('9', 4, 6)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286"[label="('2', 8, 6)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637"[label="('6', 3, 7)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917"[label="('9', 1, 7)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787"[label="('7', 8, 7)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618"[label="('6', 1, 8)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178"[label="('1', 7, 8)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988"[label="('9', 8, 8)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443"[label="('4', 4, 3)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553"[label="('5', 5, 3)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547"[label="('5', 4, 7)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367"[label="('3', 6, 7)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427"[label="('4', 2, 7)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328"[label="('3', 2, 8)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458"[label="('4', 5, 8)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458568"[label="('5', 6, 8)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458568";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988443553547367427328458568"[shape=hexagon, fillcolor="#00FF00"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543"[label="('5', 4, 3)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453"[label="('4', 5, 3)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447"[label="('4', 4, 7)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327"[label="('3', 2, 7)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567"[label="('5', 6, 7)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428"[label="('4', 2, 8)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558"[label="('5', 5, 8)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558368"[label="('3', 6, 8)"];
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558" -> "START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558368";
|
|
"START570760110430751301221641861971152342714484504702522144333374405735955125923213163883845275665262682806136466726946286637917787618178988543453447327567428558368"[shape=hexagon, fillcolor="#00FF00"];
|
|
}
|