build based on 4759afb

dev/.documenter-siteinfo.json

@@ -1 +1 @@
-{"documenter":{"julia_version":"1.11.2","generation_timestamp":"2024-12-14T03:02:37","documenter_version":"1.8.0"}}
+{"documenter":{"julia_version":"1.11.2","generation_timestamp":"2024-12-15T09:27:25","documenter_version":"1.8.0"}}

dev/generated/Coloring/index.html

@@ -69,14 +69,14 @@
 <path fill="none" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 97.503906 71.933594 L 67.519531 50.148438 "/>
 <path fill="none" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 95.59375 77.8125 L 58.53125 77.8125 "/>
 <path fill="none" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 86.605469 50.148438 L 56.621094 71.933594 "/>
-<path fill-rule="nonzero" fill="rgb(0%25, 50.196078%25, 0%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 87.0625 128.542969 C 87.0625 134.0625 82.585938 138.542969 77.0625 138.542969 C 71.539062 138.542969 67.0625 134.0625 67.0625 128.542969 C 67.0625 123.019531 71.539062 118.542969 77.0625 118.542969 C 82.585938 118.542969 87.0625 123.019531 87.0625 128.542969 Z M 87.0625 128.542969 "/>
-<path fill-rule="nonzero" fill="rgb(100%25, 0%25, 0%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 144.125 87.082031 C 144.125 92.605469 139.648438 97.082031 134.125 97.082031 C 128.605469 97.082031 124.125 92.605469 124.125 87.082031 C 124.125 81.558594 128.605469 77.082031 134.125 77.082031 C 139.648438 77.082031 144.125 81.558594 144.125 87.082031 Z M 144.125 87.082031 "/>
-<path fill-rule="nonzero" fill="rgb(0%25, 0%25, 100%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 122.332031 20 C 122.332031 25.523438 117.851562 30 112.332031 30 C 106.808594 30 102.332031 25.523438 102.332031 20 C 102.332031 14.476562 106.808594 10 112.332031 10 C 117.851562 10 122.332031 14.476562 122.332031 20 Z M 122.332031 20 "/>
+<path fill-rule="nonzero" fill="rgb(100%25, 0%25, 0%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 87.0625 128.542969 C 87.0625 134.0625 82.585938 138.542969 77.0625 138.542969 C 71.539062 138.542969 67.0625 134.0625 67.0625 128.542969 C 67.0625 123.019531 71.539062 118.542969 77.0625 118.542969 C 82.585938 118.542969 87.0625 123.019531 87.0625 128.542969 Z M 87.0625 128.542969 "/>
+<path fill-rule="nonzero" fill="rgb(0%25, 50.196078%25, 0%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 144.125 87.082031 C 144.125 92.605469 139.648438 97.082031 134.125 97.082031 C 128.605469 97.082031 124.125 92.605469 124.125 87.082031 C 124.125 81.558594 128.605469 77.082031 134.125 77.082031 C 139.648438 77.082031 144.125 81.558594 144.125 87.082031 Z M 144.125 87.082031 "/>
+<path fill-rule="nonzero" fill="rgb(100%25, 0%25, 0%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 122.332031 20 C 122.332031 25.523438 117.851562 30 112.332031 30 C 106.808594 30 102.332031 25.523438 102.332031 20 C 102.332031 14.476562 106.808594 10 112.332031 10 C 117.851562 10 122.332031 14.476562 122.332031 20 Z M 122.332031 20 "/>
 <path fill-rule="nonzero" fill="rgb(0%25, 50.196078%25, 0%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 51.796875 20 C 51.796875 25.523438 47.320312 30 41.796875 30 C 36.273438 30 31.796875 25.523438 31.796875 20 C 31.796875 14.476562 36.273438 10 41.796875 10 C 47.320312 10 51.796875 14.476562 51.796875 20 Z M 51.796875 20 "/>
 <path fill-rule="nonzero" fill="rgb(0%25, 0%25, 100%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 30 87.082031 C 30 92.605469 25.523438 97.082031 20 97.082031 C 14.476562 97.082031 10 92.605469 10 87.082031 C 10 81.558594 14.476562 77.082031 20 77.082031 C 25.523438 77.082031 30 81.558594 30 87.082031 Z M 30 87.082031 "/>
-<path fill-rule="nonzero" fill="rgb(0%25, 0%25, 100%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 87.0625 98.542969 C 87.0625 104.0625 82.585938 108.542969 77.0625 108.542969 C 71.539062 108.542969 67.0625 104.0625 67.0625 98.542969 C 67.0625 93.019531 71.539062 88.542969 77.0625 88.542969 C 82.585938 88.542969 87.0625 93.019531 87.0625 98.542969 Z M 87.0625 98.542969 "/>
+<path fill-rule="nonzero" fill="rgb(0%25, 50.196078%25, 0%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 87.0625 98.542969 C 87.0625 104.0625 82.585938 108.542969 77.0625 108.542969 C 71.539062 108.542969 67.0625 104.0625 67.0625 98.542969 C 67.0625 93.019531 71.539062 88.542969 77.0625 88.542969 C 82.585938 88.542969 87.0625 93.019531 87.0625 98.542969 Z M 87.0625 98.542969 "/>
 <path fill-rule="nonzero" fill="rgb(0%25, 0%25, 100%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 115.59375 77.8125 C 115.59375 83.335938 111.117188 87.8125 105.59375 87.8125 C 100.070312 87.8125 95.59375 83.335938 95.59375 77.8125 C 95.59375 72.289062 100.070312 67.8125 105.59375 67.8125 C 111.117188 67.8125 115.59375 72.289062 115.59375 77.8125 Z M 115.59375 77.8125 "/>
-<path fill-rule="nonzero" fill="rgb(0%25, 50.196078%25, 0%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 104.695312 44.269531 C 104.695312 49.792969 100.21875 54.269531 94.695312 54.269531 C 89.175781 54.269531 84.695312 49.792969 84.695312 44.269531 C 84.695312 38.746094 89.175781 34.269531 94.695312 34.269531 C 100.21875 34.269531 104.695312 38.746094 104.695312 44.269531 Z M 104.695312 44.269531 "/>
+<path fill-rule="nonzero" fill="rgb(0%25, 0%25, 100%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 104.695312 44.269531 C 104.695312 49.792969 100.21875 54.269531 94.695312 54.269531 C 89.175781 54.269531 84.695312 49.792969 84.695312 44.269531 C 84.695312 38.746094 89.175781 34.269531 94.695312 34.269531 C 100.21875 34.269531 104.695312 38.746094 104.695312 44.269531 Z M 104.695312 44.269531 "/>
 <path fill-rule="nonzero" fill="rgb(100%25, 0%25, 0%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 69.429688 44.269531 C 69.429688 49.792969 64.953125 54.269531 59.429688 54.269531 C 53.90625 54.269531 49.429688 49.792969 49.429688 44.269531 C 49.429688 38.746094 53.90625 34.269531 59.429688 34.269531 C 64.953125 34.269531 69.429688 38.746094 69.429688 44.269531 Z M 69.429688 44.269531 "/>
 <path fill-rule="nonzero" fill="rgb(100%25, 0%25, 0%25)" fill-opacity="1" stroke-width="1" stroke-linecap="butt" stroke-linejoin="miter" stroke="rgb(0%25, 0%25, 0%25)" stroke-opacity="1" stroke-miterlimit="10" d="M 58.53125 77.8125 C 58.53125 83.335938 54.054688 87.8125 48.53125 87.8125 C 43.007812 87.8125 38.53125 83.335938 38.53125 77.8125 C 38.53125 72.289062 43.007812 67.8125 48.53125 67.8125 C 54.054688 67.8125 58.53125 72.289062 58.53125 77.8125 Z M 58.53125 77.8125 "/>
 </svg>
@@ -86,4 +86,4 @@
      for e in edges(graph)]; format=:svg)</code></pre><img src="394375b8.svg" alt="Example block output"/><p>Let us construct the tensor network and see if there are solutions.</p><pre><code class="language-julia hljs">lineproblem = Coloring{3}(linegraph);
 
 num_of_coloring = solve(GenericTensorNetwork(lineproblem), CountingMin())[]
-read_size_count(num_of_coloring)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">17.0 =&gt; 1800.0</code></pre><p>You will see the maximum size 28 is smaller than the number of edges in the <code>linegraph</code>, meaning no solution for the 3-coloring on edges of a Petersen graph.</p><hr/><p><em>This page was generated using <a href="https://github.com/fredrikekre/Literate.jl">Literate.jl</a>.</em></p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../PaintShop/">« Binary paint shop problem</a><a class="docs-footer-nextpage" href="../DominatingSet/">Dominating set problem »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.8.0 on <span class="colophon-date" title="Saturday 14 December 2024 03:02">Saturday 14 December 2024</span>. Using Julia version 1.11.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>
+read_size_count(num_of_coloring)</code></pre><pre class="documenter-example-output"><code class="nohighlight hljs ansi">17.0 =&gt; 1800.0</code></pre><p>You will see the maximum size 28 is smaller than the number of edges in the <code>linegraph</code>, meaning no solution for the 3-coloring on edges of a Petersen graph.</p><hr/><p><em>This page was generated using <a href="https://github.com/fredrikekre/Literate.jl">Literate.jl</a>.</em></p></article><nav class="docs-footer"><a class="docs-footer-prevpage" href="../PaintShop/">« Binary paint shop problem</a><a class="docs-footer-nextpage" href="../DominatingSet/">Dominating set problem »</a><div class="flexbox-break"></div><p class="footer-message">Powered by <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> and the <a href="https://julialang.org/">Julia Programming Language</a>.</p></nav></div><div class="modal" id="documenter-settings"><div class="modal-background"></div><div class="modal-card"><header class="modal-card-head"><p class="modal-card-title">Settings</p><button class="delete"></button></header><section class="modal-card-body"><p><label class="label">Theme</label><div class="select"><select id="documenter-themepicker"><option value="auto">Automatic (OS)</option><option value="documenter-light">documenter-light</option><option value="documenter-dark">documenter-dark</option><option value="catppuccin-latte">catppuccin-latte</option><option value="catppuccin-frappe">catppuccin-frappe</option><option value="catppuccin-macchiato">catppuccin-macchiato</option><option value="catppuccin-mocha">catppuccin-mocha</option></select></div></p><hr/><p>This document was generated with <a href="https://github.com/JuliaDocs/Documenter.jl">Documenter.jl</a> version 1.8.0 on <span class="colophon-date" title="Sunday 15 December 2024 09:27">Sunday 15 December 2024</span>. Using Julia version 1.11.2.</p></section><footer class="modal-card-foot"></footer></div></div></div></body></html>