小编Mas*_*ssA的帖子

Minizinc:输出五天,有没有更好的灵活方式?

我必须扩展项目的输出和解决方案(安排考试时间):

-将结构扩展到五天(我一直工作一天):我仔细考虑了插槽时间的天数(5 * 10),然后调整输出!有没有更好的办法?

现在整个代码:

include "globals.mzn";include "alldifferent.mzn";

%------------------------------Scalar_data----------------------
int: Students;          % number of students
int: Exams;             % number of exams
int: Rooms;             % number of rooms
int: Slotstime;         % number of slots
int: Days;              % a period i.e. five days
int: Exam_max_duration; % the maximum length of any exam (in slots)

%------------------------------Vectors--------------------------
array[1..Rooms] of int  : Rooms_capacity;
array[1..Exams] of int  : Exams_duration; % the duration of written test
array[1..Slotstime, 1..Rooms] of 0..1: Unavailability;
array[1..Students,1..Exams]   of 0..1: Enrollments;
Run Code Online (Sandbox Code Playgroud)

招生会跟踪每个学生的注册情况;从中我可以得出要参加考试的学生人数,以便根据能力选择合适的房间

%---------------------------Decision_variables------------------ …
Run Code Online (Sandbox Code Playgroud)

constraints check-constraints constraint-programming minizinc

3
推荐指数
1
解决办法
1514
查看次数