求解器求解约束规划问题

发布于 2024-10-05 06:04:58 字数 1396 浏览 4 评论 0原文

有谁知道任何可以求解线性约束数学模型的简单求解器？一个简单模型的示例：

a + b + c = 100;
a/b/c = 2/3/4;
a > d

我正在使用 MS Solver 基础，这是我的 C# 代码，但它抛出 UnsolvableModelException:

        SolverContext solverContext = SolverContext.GetContext();
        Model model = solverContext.CreateModel();
        Decision a = new Decision(Domain.Real, "a");
        Decision b = new Decision(Domain.Real, "b");
        model.AddDecisions(a, b);
        model.AddConstraint("fator", a / b ==  4);
        model.AddConstraint("sum", a + b == 5);
        Solution solution = solverContext.Solve(new ConstraintProgrammingDirective());
        Report report = solution.GetReport();
        Console.WriteLine("a = {0} ; b = {1}", a, b);

感谢您的任何帮助

编辑：

因为 int CSP（约束 sstisfaction 编程）问题，你应该'解决问题时不要使用任何指令。代码应该是：

    SolverContext solverContext = SolverContext.GetContext();
    Model model = solverContext.CreateModel();
    Decision a = new Decision(Domain.Real, "a");
    Decision b = new Decision(Domain.Real, "b");
    model.AddDecisions(a, b);
    model.AddConstraint("fator", a / b ==  4);
    model.AddConstraint("sum", a + b == 5);
    Solution solution = solverContext.Solve();
    Report report = solution.GetReport();
    Console.WriteLine("a = {0} ; b = {1}", a, b);

但是，我不知道为什么我跑得很慢我只需要解决方案集中的第一个解决方案。

原文

Do anyone know any simple solver that can solve linear constraint math models? Example a simple model:

a + b + c = 100;
a/b/c = 2/3/4;
a > d

I'm using MS Solver foundation and this is my C# code, but it throw UnsolvableModelException:

        SolverContext solverContext = SolverContext.GetContext();
        Model model = solverContext.CreateModel();
        Decision a = new Decision(Domain.Real, "a");
        Decision b = new Decision(Domain.Real, "b");
        model.AddDecisions(a, b);
        model.AddConstraint("fator", a / b ==  4);
        model.AddConstraint("sum", a + b == 5);
        Solution solution = solverContext.Solve(new ConstraintProgrammingDirective());
        Report report = solution.GetReport();
        Console.WriteLine("a = {0} ; b = {1}", a, b);

Thanks for any help

Edit:

Because int CSP(constraint sstisfaction programming) problem, you shouldn't use any Directive when solving it.
The code should be:

    SolverContext solverContext = SolverContext.GetContext();
    Model model = solverContext.CreateModel();
    Decision a = new Decision(Domain.Real, "a");
    Decision b = new Decision(Domain.Real, "b");
    model.AddDecisions(a, b);
    model.AddConstraint("fator", a / b ==  4);
    model.AddConstraint("sum", a + b == 5);
    Solution solution = solverContext.Solve();
    Report report = solution.GetReport();
    Console.WriteLine("a = {0} ; b = {1}", a, b);

However, I don't know why I ran to slowly I only need the first solution in the solution set.

分享到QQ

分享到微博