0

有什么更聪明的方法可以强制一组决策变量相等？

（如果不能随意使用该解决方案）

声明

给定以下集合：

ID1     | ID2
------- | -------
A       | AA
B       | AA
C       | BB
C       | AA
C       | CC
D       | CC

例如在 OPL 中由

//Set ID
tuple ObjectID{
    string ID1;
    string ID2;
    }
{ObjectID} ID = {
    <"A", "AA">,
    <"B", "AA">,
    <"C", "BB">,
    <"C", "AA">,
    <"C", "CC">,
    <"D", "CC">,
    };

以及要在 OPL 中声明为的决策变量x[ID]

dvar int+ x[ID]

问题

如果 ID1 对所有 ID2 都相等，则决策变量x[ID]应该相等。

例子：

x[<"C", "BB">] == x[<"C", "AA">] == x[<"C", "CC">]

当前解决方案

具有相同 ID1 和不同 ID2 的所有 dvar 的成对比较。

forall(
   id_1 in ID, id_2 in ID:
      id_1.ID1 == id_2.ID1 &&
      id_1.ID2 != id_2.ID2
   )
x[id_1] == x[id_2];
4

1 回答 1

0

第一个改进是使用ordered除以2等式约束的数量：

forall(ordered id_1,id_2 in ID :id_1.ID1 == id_2.ID1 )
     x[id_1] == x[id_2];

第二个改进可能是从 (n-1)*n/2 约束转移到 (n-1) 约束

//Set ID
tuple ObjectID{
    string ID1;
    string ID2;
    }
{ObjectID} ID = {
    <"A", "AA">,
    <"B", "AA">,
    <"C", "BB">,
    <"C", "AA">,
    <"C", "CC">,
    <"D", "CC">
    };

dvar int+ x[ID];

{string} Id1s={i.ID1 | i in ID};
{string} Id2PerId1[id1 in Id1s]={i.ID2 | i in ID : i.ID1==id1};



subject to
{


forall(id1 in Id1s) forall(id2 in Id2PerId1[id1] diff     {last(Id2PerId1[id1])})
   x[<id1,id2>] == x[<id1,next(Id2PerId1[id1],id2)>];


  }

`

于 2017-09-29T07:52:37.753 回答