Add quadratization benchmark

benchmark/benchmark.jl

@@ -17,14 +17,18 @@ Random.seed!(0)
 
 const SUITE = BenchmarkGroup()
 
-include("constructors.jl")
+include("suites/constructors.jl")
 
 benchmark_constructors!(SUITE, PBO.PBF{Int,Float64})
 
-include("operators.jl")
+include("suites/operators.jl")
 
 benchmark_operators!(SUITE, PBO.PBF{Int,Float64})
 
+include("suites/quadratization.jl")
+
+benchmark_quadratization!(SUITE, PBO.PBF{Int,Float64})
+
 function benchmark_main(suite)
     data_path = joinpath(@__DIR__, "data")
 

benchmark/report.jl

@@ -67,7 +67,7 @@ function compare_results(results; keypath = "")
         end
     end
 
-    return report
+    return sort!(report)
 end
 
 function write_report(report, data_path)

benchmark/suites/quadratization.jl

@@ -0,0 +1,18 @@
+function benchmark_quadratization!(suite, ::Type{F}) where {V,T,F<:PBO.AbstractFunction{V,T}}
+    suite["quadratization"] = BenchmarkGroup()
+    suite["quadratization"]["automatic"] = BenchmarkGroup()
+    suite["quadratization"]["automatic"]["small"] = @benchmarkable(
+        PBO.quadratize(f, PBO.Quadratization{PBO.INFER}());
+        setup = begin
+            f = PBO.k_regular_k_xorsat(Random.GLOBAL_RNG, $F, 10, 3; quad = nothing)
+        end
+    )
+    suite["quadratization"]["automatic"]["large"] = @benchmarkable(
+        PBO.quadratize(f, PBO.Quadratization{PBO.INFER}());
+        setup = begin
+            f = PBO.k_regular_k_xorsat(Random.GLOBAL_RNG, $F, 100, 3; quad = nothing)
+        end
+    )
+
+    return nothing
+end

src/quadratization.jl

@@ -275,14 +275,14 @@ function auxgen(::AbstractFunction{V,T}; start::V = V(0), step::V = V(-1)) where
     return aux
 end
 
-function quadratize!(f::PBF, quad::Union{Quadratization,Nothing})
+function quadratize!(f::PBF, quad::Union{Quadratization,Nothing} = Quadratization{INFER})
     return quadratize!(auxgen(f), f, quad)
 end
 
-function quadratize(aux, f::PBF, quad::Union{Quadratization,Nothing})
+function quadratize(aux, f::PBF, quad::Union{Quadratization,Nothing} = Quadratization{INFER})
     return quadratize!(aux, copy(f), quad)
 end
 
-function quadratize(f::PBF, quad::Union{Quadratization,Nothing})
+function quadratize(f::PBF, quad::Union{Quadratization,Nothing} = Quadratization{INFER})
     return quadratize!(copy(f), quad)
 end