FisSal2011: Improve estimated tableau density

This commit is contained in:
2025-08-08 15:06:15 -05:00
parent 37f3abee42
commit 5e2b0c2958
2 changed files with 5 additions and 2 deletions

View File

@@ -327,6 +327,7 @@ function collect_gmi_FisSal2011(
pool_cut_age = nothing
pool_cut_hashes = Set{UInt64}()
pool_size_mb = 0
tableau_density::Float32 = 0.05
λ, Δ = 0, 0
μ = 10
end
@@ -470,7 +471,8 @@ function collect_gmi_FisSal2011(
end
@timeit "Compute tableau rows" begin
tableau = compute_tableau(data_s, basis, x = sol_frac, rows = selected_rows)
tableau = compute_tableau(data_s, basis, x = sol_frac, rows = selected_rows, estimated_density=tableau_density * 1.05)
tableau_density = nnz(tableau.lhs) / length(tableau.lhs)
assert_eq(tableau.lhs * sol_frac, tableau.rhs, atol=1e-3)
assert_eq(tableau.lhs * sol_opt_s, tableau.rhs, atol=1e-3)
end