Add the test suggested by Guillaume

Author: amontoison

test/small.jl

@@ -88,6 +88,15 @@ end;
 end;
 
 @testset "Bidirectional coloring" begin
+    color_stats = Dict("Anti-diagonal" => Dict(:direct       => Dict(:all_colors => (0,0), :row_colors => (0,0), :column_colors => (0,0)),
+                                               :substitution => Dict(:all_colors => (0,0), :row_colors => (0,0), :column_colors => (0,0))),
+                       "Triangle"      => Dict(:direct       => Dict(:all_colors => (0,0), :row_colors => (0,0), :column_colors => (0,0)),
+                                               :substitution => Dict(:all_colors => (0,0), :row_colors => (0,0), :column_colors => (0,0))),
+                       "Rectangle"     => Dict(:direct       => Dict(:all_colors => (0,0), :row_colors => (0,0), :column_colors => (0,0)),
+                                               :substitution => Dict(:all_colors => (0,0), :row_colors => (0,0), :column_colors => (0,0))),
+                       "Arrowhead"     => Dict(:direct       => Dict(:all_colors => (0,0), :row_colors => (0,0), :column_colors => (0,0)),
+                                               :substitution => Dict(:all_colors => (0,0), :row_colors => (0,0), :column_colors => (0,0))))
+
     @testset "postprocessing_minimizes = $target" for target in (:all_colors, :row_colors, :column_colors)
         problem = ColoringProblem(; structure=:nonsymmetric, partition=:bidirectional)
         order = RandomOrder(StableRNG(0), 0)
@@ -104,6 +113,7 @@ end;
                 A, problem, GreedyColoringAlgorithm{:direct}(; postprocessing=true, postprocessing_minimizes=target),
             )
             @test ncolors(result) == 1
+            color_stats["Anti-diagonal"][:direct][target] = (row_colors(result) |> maximum, column_colors(result) |> maximum)
 
             result = coloring(
                 A, problem, GreedyColoringAlgorithm{:substitution}(; postprocessing=false),
@@ -114,6 +124,7 @@ end;
                 A, problem, GreedyColoringAlgorithm{:substitution}(; postprocessing=true, postprocessing_minimizes=target),
             )
             @test ncolors(result) == 1
+            color_stats["Anti-diagonal"][:substitution][target] = (row_colors(result) |> maximum, column_colors(result) |> maximum)
         end
 
         @testset "Triangle" begin
@@ -123,11 +134,13 @@ end;
                 A, problem, GreedyColoringAlgorithm{:direct}(; postprocessing=true, postprocessing_minimizes=target),
             )
             @test ncolors(result) == 3
+            color_stats["Triangle"][:direct][target] = (row_colors(result) |> maximum, column_colors(result) |> maximum)
 
             result = coloring(
                 A, problem, GreedyColoringAlgorithm{:substitution}(; postprocessing=true, postprocessing_minimizes=target),
             )
             @test ncolors(result) == 3
+            color_stats["Triangle"][:substitution][target] = (row_colors(result) |> maximum, column_colors(result) |> maximum)
         end
 
         @testset "Rectangle" begin
@@ -145,6 +158,7 @@ end;
                 A, problem, GreedyColoringAlgorithm{:direct}(order; postprocessing=true, postprocessing_minimizes=target),
             )
             @test ncolors(result) == 4  # optimal number
+            color_stats["Rectangle"][:direct][target] = (row_colors(result) |> maximum, column_colors(result) |> maximum)
 
             result = coloring(
                 A, problem, GreedyColoringAlgorithm{:substitution}(order; postprocessing=false),
@@ -154,6 +168,7 @@ end;
                 A, problem, GreedyColoringAlgorithm{:substitution}(order; postprocessing=true, postprocessing_minimizes=target),
             )
             @test ncolors(result) == 4  # optimal number
+            color_stats["Rectangle"][:substitution][target] = (row_colors(result) |> maximum, column_colors(result) |> maximum)
         end
 
         @testset "Arrowhead" begin
@@ -164,23 +179,20 @@ end;
                 A[i, i] = 1
             end
 
-            result = coloring(
-                A, problem, GreedyColoringAlgorithm{:direct}(order; postprocessing=true, postprocessing_minimizes=target),
-            )
             @test ncolors(coloring(A, problem, GreedyColoringAlgorithm{:substitution}(order))) <
                 ncolors(coloring(A, problem, GreedyColoringAlgorithm{:direct}(order)))
 
-            @test ncolors(
-                coloring(
-                    A,
-                    problem,
-                    GreedyColoringAlgorithm{:substitution}(order; postprocessing=true, postprocessing_minimizes=target),
-                ),
-            ) < ncolors(
-                coloring(
-                    A, problem, GreedyColoringAlgorithm{:direct}(order; postprocessing=true, postprocessing_minimizes=target),
-                ),
+            result_direct = coloring(
+                A, problem, GreedyColoringAlgorithm{:direct}(order; postprocessing=true, postprocessing_minimizes=target),
             )
+            color_stats["Arrowhead"][:direct][target] = (row_colors(result_direct) |> maximum, column_colors(result_direct) |> maximum)
+
+            result_substitution = coloring(
+                A, problem, GreedyColoringAlgorithm{:substitution}(order; postprocessing=true, postprocessing_minimizes=target),
+            )
+            color_stats["Arrowhead"][:substitution][target] = (row_colors(result_substitution) |> maximum, column_colors(result_substitution) |> maximum)
+
+            @test ncolors(result_substitution) < ncolors(result_direct)
 
             test_bicoloring_decompression(
                 A,
@@ -197,4 +209,16 @@ end;
             )
         end
     end
+
+    @testset "Variants of post-processing" begin
+        for problem in ("Anti-diagonal", "Triangle", "Rectangle", "Arrowhead")
+            for mode in (:direct, :substitution)
+                (num_row_colors1, num_column_colors1) = color_stats[problem][mode][:row_colors]
+                (num_row_colors2, num_column_colors2) = color_stats[problem][mode][:all_colors]
+                (num_row_colors3, num_column_colors3) = color_stats[problem][mode][:column_colors]
+                @test num_row_colors1 ≤ num_row_colors2 ≤ num_row_colors3
+                @test num_column_colors3 ≤ num_column_colors2 ≤ num_column_colors1
+            end
+        end
+    end
 end;