larger threshold

Author: GiggleLiu

examples/IndependentSet.jl

@@ -151,4 +151,4 @@ mis_tropical_tensor = solve(problem, SizeMax())
 
 mis_compactify!(mis_tropical_tensor)
 
-# It will eliminate some entries having no contribution to the MIS size when embeding this local graph into a larger one.
+# It will eliminate some entries having no contribution to the MIS size when embeding this local graph into a larger one.

src/bounding.jl

@@ -24,8 +24,8 @@ function backward_tropical(mode, ixs, @nospecialize(xs::Tuple), iy, @nospecializ
         niy = ixs[i]
         if mode isa AllConfigs
             mask = zeros(Bool, size(xs[i]))
-            # here, we set a threshold `1e-15` to avoid round off errors.
-            mask .= inv.(einsum(EinCode(nixs, niy), nxs, size_dict)) .<= xs[i] .* Tropical(largest_k(mode)-1+1e-15)
+            # here, we set a threshold `1e-12` to avoid round off errors.
+            mask .= inv.(einsum(EinCode(nixs, niy), nxs, size_dict)) .<= xs[i] .* Tropical(largest_k(mode)-1+1e-12)
             push!(masks, mask)
         elseif mode isa SingleConfig
             A = zeros(eltype(xs[i]), size(xs[i]))