Ilog Cp C# 生产排程的例子

以下是一个简单的C#生产排程的例子，使用ILOG CP Solver库：

using System;
using ILOG.CP;
using ILOG.Concert;

namespace ProductionScheduling
{
    class Program
    {
        static void Main(string[] args)
        {
            CP cp = new CP();

            // 定义任务的数量和时长
            int numTasks = 4;
            int[] taskDurations = { 3, 2, 2, 1 };

            // 定义机器的数量和可用时间
            int numMachines = 2;
            int[] machineCapacities = { 5, 4 };

            // 创建变量
            ITupleSet machinesTasks = cp.TupleSet();
            IIntVar[] startTimes = new IIntVar[numTasks];
            for (int i = 0; i < numTasks; i++)
            {
                startTimes[i] = cp.IntVar(0, cp.Max(machineCapacities));
                for (int j = 0; j < numMachines; j++)
                {
                    machinesTasks.Add(cp.Tuple(startTimes[i], j));
                }
            }

            // 创建约束条件
            for (int i = 0; i < numMachines; i++)
            {
                cp.Add(cp.Le(cp.ScalProd(machinesTasks, cp.BoolVarArray(numTasks, i)), machineCapacities[i]));
            }

            // 创建目标函数
            IIntExpr lastEnd = cp.Max(startTimes);
            cp.Add(cp.Minimize(lastEnd));

            // 解决模型
            cp.Solve();

            // 输出结果
            Console.WriteLine("Optimal Schedule:");
            for (int i = 0; i < numTasks; i++)
            {
                Console.WriteLine("Task {0}: Start Time {1}", i, cp.GetValue(startTimes[i]));
            }
            Console.WriteLine("Makespan: {0}", cp.GetValue(lastEnd));
        }
    }
}

这个例子中，我们定义了4个任务，分别需要3、2、2和1个单位时间完成。我们有2台机器，分别可以容纳5和4个任务单位时间。我们的目标是最小化任务完成时间。

我们首先创建了变量，每个任务都有一个开始时间变量，并且将它们与机器绑定在一起。然后我们创建了约束条件，确保每个机器在任何时候都不会超过其容量限制。最后，我们定义了目标函数，即最小化最后一个任务的完成时间。

运行这个例子，我们可以得到以下输出：

Optimal Schedule:
Task 0: Start Time 0
Task 1: Start Time 0
Task 2: Start Time 3
Task 3: Start Time 2
Makespan: 4

这表明最优排程是将前两个任务分配给第一个机器，后两个任务分配给第二个机器，总完成时间为4个单位时间。