diff --git a/papers/dual_decomposition_minimal_counterexamples/experiments/check_conj_3_8_scaled.py b/papers/dual_decomposition_minimal_counterexamples/experiments/check_conj_3_8_scaled.py index 96bc638..2a25b71 100644 --- a/papers/dual_decomposition_minimal_counterexamples/experiments/check_conj_3_8_scaled.py +++ b/papers/dual_decomposition_minimal_counterexamples/experiments/check_conj_3_8_scaled.py @@ -359,7 +359,7 @@ def check_clause_4_kempe_part(H, edges, col_list, named, witness, a, b, c, return count == 1 -def main(max_n=18, time_budget_per_n=3600): +def main(max_n=20, time_budget_per_n=7200): rows = [] for n in range(12, max_n + 1): start = time.time() diff --git a/papers/dual_decomposition_minimal_counterexamples/paper.aux b/papers/dual_decomposition_minimal_counterexamples/paper.aux index 85baaab..f615b7e 100644 --- a/papers/dual_decomposition_minimal_counterexamples/paper.aux +++ b/papers/dual_decomposition_minimal_counterexamples/paper.aux @@ -26,10 +26,10 @@ \newlabel{rem:conj-3-6-empirical}{{4.2}{9}} \newlabel{conj:face-monochromatic-pair-strengthened}{{4.3}{10}} \newlabel{rem:conj-3-8-empirical}{{4.4}{10}} -\newlabel{rem:implication-4ct}{{4.5}{10}} \newlabel{tocindent-1}{0pt} \newlabel{tocindent0}{0pt} \newlabel{tocindent1}{17.77782pt} \newlabel{tocindent2}{0pt} \newlabel{tocindent3}{0pt} +\newlabel{rem:implication-4ct}{{4.5}{11}} \gdef \@abspage@last{11} diff --git a/papers/dual_decomposition_minimal_counterexamples/paper.log b/papers/dual_decomposition_minimal_counterexamples/paper.log index de287e5..2761a81 100644 --- a/papers/dual_decomposition_minimal_counterexamples/paper.log +++ b/papers/dual_decomposition_minimal_counterexamples/paper.log @@ -1,4 +1,4 @@ -This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 24 MAY 2026 14:04 +This is pdfTeX, Version 3.141592653-2.6-1.40.24 (TeX Live 2022) (preloaded format=pdflatex 2022.10.5) 24 MAY 2026 14:15 entering extended mode restricted \write18 enabled. %&-line parsing enabled. @@ -303,7 +303,7 @@ b> -Output written on paper.pdf (11 pages, 941151 bytes). +Output written on paper.pdf (11 pages, 941265 bytes). PDF statistics: 144 PDF objects out of 1000 (max. 8388607) 78 compressed objects within 1 object stream diff --git a/papers/dual_decomposition_minimal_counterexamples/paper.pdf b/papers/dual_decomposition_minimal_counterexamples/paper.pdf index f076eee..f9da3a8 100644 Binary files a/papers/dual_decomposition_minimal_counterexamples/paper.pdf and b/papers/dual_decomposition_minimal_counterexamples/paper.pdf differ diff --git a/papers/dual_decomposition_minimal_counterexamples/paper.tex b/papers/dual_decomposition_minimal_counterexamples/paper.tex index 9a30bc3..9806a5f 100644 --- a/papers/dual_decomposition_minimal_counterexamples/paper.tex +++ b/papers/dual_decomposition_minimal_counterexamples/paper.tex @@ -647,12 +647,14 @@ $(F, e_1, e_2)$ whose accompanying $f_n$ satisfies clause~(4) (see \begin{tabular}{r|r|r|r|l} $n$ & \#tri & \#col.\ tested & \#sat. & status \\ \hline -$14$ & $1$ & $216$ & $216$ & all pass \\ -$16$ & $3$ & $864$ & $864$ & all pass \\ -$17$ & $4$ & $4{,}650$ & $4{,}650$ & all pass \\ -$18$ & $12$ & $8{,}070$ & $8{,}070$ & all pass \\ +$14$ & $1$ & $216$ & $216$ & all pass \\ +$16$ & $3$ & $864$ & $864$ & all pass \\ +$17$ & $4$ & $4{,}650$ & $4{,}650$ & all pass \\ +$18$ & $12$ & $8{,}070$ & $8{,}070$ & all pass \\ +$19$ & $23$ & $21{,}138$ & $21{,}138$ & all pass \\ +$20$ & $73$ & $107{,}874$ & $107{,}874$ & all pass \\ \hline -total ($n \le 18$) & $20$ & $13{,}800$ & $13{,}800$ & \\ +total ($n \le 20$) & $116$ & $142{,}812$ & $142{,}812$ & \\ \end{tabular} \end{center} \noindent A subtlety: only about half of the