4040"""
4141 solve(problem, task; usecuda=false)
4242
43- * `code` is the einsum code,
44- * `task` is one of
45- * `:totalsize`, total number of independent sets,
46- * `:maxsize`, the maximum independent set size,
47- * `:counting`, the dengeneracy is MIS,
48- * `:idp_polynomial`, independence polynomial, the polynomial number approach,
49- * `:idp_fft`, independence polynomial, the fast fourier transformation approach,
50- * `:idp_finitefield`, independence polynomial, the finite field approach,
51- * `:config_single`, single MIS configuration,
52- * `:config_single_bounded`, single MIS configuration, the bounded approach (maybe faster),
53- * `:config_all`, all MIS configurations,
54- * `:config_all_bounded`, all MIS configurations, the bounded approach (much faster),
43+ * `problem` is the graph problem with tensor network information,
44+ * `task` is string specifying the task. Using the maximum independent set problem as an example, it can be one of
45+ * "size max", the maximum independent set size,
46+ * "counting sum", total number of independent sets,
47+ * "counting max", the dengeneracy of maximum independent sets (MIS),
48+ * "counting max2", the dengeneracy of MIS and MIS-1,
49+ * "counting all", independence polynomial, the polynomial number approach,
50+ * "counting all (fft)", independence polynomial, the fourier transformation approach,
51+ * "counting all (finitefield)", independence polynomial, the finite field approach,
52+ * "config max", one of the maximum independent set,
53+ * "config max (bounded)", one of the maximum independent set, the bounded version,
54+ * "configs max", all MIS configurations,
55+ * "configs max2", all MIS configurations and MIS-1 configurations,
56+ * "configs all", all MIS configurations,
57+ * "configs max (bounded)", all MIS configurations, the bounded approach (much faster),
5558"""
5659function solve (gp:: GraphProblem , task; usecuda= false )
5760 if task == " size max"
@@ -87,5 +90,5 @@ function solve(gp::GraphProblem, task; usecuda=false)
8790end
8891
8992function solve_is (g:: SimpleGraph , task; usecuda= false )
90- solve (optimize_code (Independence (g); method = :auto ), task; usecuda= usecuda)
93+ solve (optimize_code (Independence (g); optmethod = :auto ), task; usecuda= usecuda)
9194end
0 commit comments