虽然正如 Kermit 所提到的,这个问题是 NP 难的,但仍然值得知道如何解决这些问题。
虽然其中一些类型有专门的启发式算法,但您可以做的最简单、最快的事情就是使用求解器:
using JuMP, Cbc
numbers = [1, 2, 3, 7, 7, 9, 10]
target = 35
m = Model(Cbc.Optimizer)
@variable(m, x[1:length(numbers)], Bin)
@constraint(m, numbers'*x == target)
optimize!(m)
res_x = round.(Int,value.(x))
@assert numbers'*res_x == target
对于较大的数字集,此代码将比您的代码快几个数量级。使用商业求解器(Gurobi、CPLEX、Fico)代替 Cbc 可以进一步提高速度。
但是 CBC 似乎相当不错(即使对于较大的应用程序也是如此)。看看numbers 的这个基准测试,它有50_000 元素,需要 17 秒才能用 Cbc 解决:
using JuMP, Cbc, StatsBase, Random
Random.seed!(0)
numbers = rand(1:30_000,50_000)
target = sum(sample(numbers,45_000,replace=false))
m = Model(Cbc.Optimizer)
@variable(m, x[1:length(numbers)], Bin)
@constraint(m, numbers'*x == target)
现在:
julia> @time optimize!(m)
...
Result - Optimal solution found
Objective value: 0.00000000
Enumerated nodes: 605
Total iterations: 615
Time (CPU seconds): 7.57
Time (Wallclock seconds): 7.57
Total time (CPU seconds): 7.60 (Wallclock seconds): 7.60
17.666201 seconds (40.22 M allocations: 2.372 GiB, 5.82% gc time, 0.83% compilation time)