我的 CPLEX CP 调度问题解决方案中不包含转换矩阵

Transition matrix not included in my solution of my scheduling problem in CPLEX CP

我的无重叠约束中的距离矩阵似乎在我的 model 结果中不起作用。我已经通过元组集制定了距离矩阵。从代码中可以看出,我已经以两种不同的方式进行了尝试。两个元组集似乎都是正确的,并且在 dvar 序列的 noOverlap 约束中添加了距离矩阵。

尽管如此,我没有在最佳结果中看到产品之间增加的过渡距离。当一项工作完成时,工作似乎同时继续进行。而不是等待过渡时间。我希望此转换矩阵同时适用于机器 1 和机器 2。

有人能告诉我我的 model 公式哪里做错了吗?我查看了这些示例,但它们似乎是以相同的方式构建的。所以我不知道我做错了什么。

mod.


using CP;

// Number of Machines (Packing + Manufacturing)
int nbMachines = ...;
range Machines = 1..nbMachines;


// Number of Jobs
int nbJobs = ...;
range Jobs = 1..nbJobs;

int duration[Jobs,Machines] = ...;
int release = ...;
int due     = ...;

tuple Matrix { int job1; int job2; int value; }; 
//{Matrix} transitionTimes ={<1,1,0>,<1,2,6>,<1,3,2>,<2,1,2>,<2,2,0>,<2,3,1>,<3,1,2>,<3,2,3>,<3,3,0>};
{Matrix} transitionTimes ={ <i,j, ftoi(abs(i-j))> | i in Jobs, j in Jobs }; 

dvar interval task[j in Jobs] in release..due;
dvar interval opttask[j in Jobs][m in Machines] optional size duration[j][m];

dvar sequence tool[m in Machines] in all(j in Jobs) opttask[j][m];   

execute {
        cp.param.FailLimit = 5000;
}

 // Minimize the max timespan
dexpr int makespan = max(j in Jobs, m in Machines)endOf(opttask[j][m]);
minimize makespan;
 
subject to {
  // Each job needs one unary resource of the alternative set s (28)
  forall(j in Jobs){
    alternative(task[j], all(m in Machines) opttask[j][m]);
       }     
      forall(m in Machines){
     noOverlap(tool[m],transitionTimes);
       }     
   };

execute {
  writeln(task);
};

数据

nbMachines = 2;
nbJobs = 3;

duration = [
        [5,6], 
        [3,4],
        [5,7]
            ];

release = 1;

due = 30;
 
``

您应该为每个序列指定间隔类型。 在您的情况下,类型是作业 ID:

int JobId[j in Jobs] = j;
dvar sequence tool[m in Machines] in all(j in Jobs) opttask[j][m] types JobId;