汽车涂装问题（clp5）
/***************************************************************//* *//*S A S S A M P L E L I B R A R Y*//* *//*姓名：clp5*//*标题：汽车涂装问题（clp5）*//*产品：或*//*系统：所有*//*关键字：或*//*程序：CLP，GANTT*//*数据：*//* *//*支持：更新：*//*参考：*//*MISC：CLP程序章节中的示例5*//*约束编程书*//* *//***************************************************************/%宏车漆（purgings）；proc clp out=car_ds findall；%do i=1%至10；变量S&i=[1，10]；/*哪个车在槽里&i*/变量C&i=[1,4]；/*插槽中的汽车是什么颜色的&我是*//*红色=1；蓝色=2；绿色=3；黄色=4*/元素（S&i，（1，2，3，4，1，2，3，4，1，2），C&i）；%结束；/*汽车只能漆一次*/所有差异（S1-S10）；/*汽车必须在装配顺序的3个位置内喷漆*/%do i=1%至10；lincon S&i-&i>=-3；lincon S&i-&i<=3；%结束；%do i=1%至9；变量P&i=[0，1]；/*插槽后是否清除（&i）*/具体化P&i：（C&i<>C%评估（&i+1））；%结束；/*计算净化次数*/林肯0%do i=1%至9；+管道仪表%结束；<=&purgings；运行；%修补；%汽车涂装（5）/*生成甘特图*/%宏car_painting_gantt；/*将颜色映射到图案*/%设color1=红色；%设color5=&color1；%设color9=&color5；%设color2=蓝色；%设color6=&color2；%让color10=&color6；%设color3=绿色；%让color7=&color3；%设color4=黄色；%设color8＝&color4；/*设置图案*/%do i=1%至10；pattern&i.v=s color=&&color&i.repeat=1；%结束；数据卡_ds（keep=S1-S10 dist）；设置car_ds；距离=0；%do i=1%至10；dist=dist+abs（S&i-&i）；%结束；运行；proc排序数据=card_ds；按距离；运行；proc格式；价值阶段0.5 = '1'9.5 = '10'10.5 = ' ';运行；数据调度；格式标签$13。；格式化s_start阶段。；label solution=“解决方案”；label dist=“距离”；设置card_ds；keep _ pattern _ label segmt _ no solution s _ start s _ finish dist；保留溶液1；%do i=1%至10；s_start=%eval（&i-1）+0.5；s_finish=&i+0.5；segmt_no=&i；nextpat=0；/*确保不匹配*/%do j=1%至10；如果S[i.eq&j，那么do；_label=“Car&j:&&color&j”；_模式=&j；结束；%如果%eval（&i.+1）lt 10%，则%do；如果S%eval（&i+1）eq&j，则执行；nextpat=&j；结束；%结束；%结束；如果mod（nextpat-pattern，4）ne为0，则执行；s_饰面=s_饰面-0.05；结束；产出；%结束；溶液=溶液+1；运行；数据标签；_y=-1；_lvar=“_label”；_xvar=“s_start”；_hlabel=0.67；_yoffset=-0.2；_xoffset=0；运行；proc格式；价值阶段0.5 = '1'9.5 = '10'10.5 = ' ';运行；goptions htext=1.0；title1 j=c h=3.3%“汽车涂装问题”；title2 j=c h=2.3%“五次净化溶液”；proc-gantt数据=调度labdata=标签；图表/hpages=1压缩比例=5njobs=15图表宽度=84诺霍布努姆诺列根心智=0.5使用格式labsplit=“/”;id解决方案分布；运行；%修补车漆；%汽车喷漆甘特；