CCTV surveillance

    {  Exmpl15.2-1_Surveillance.mpl  }

    {  Applications of Optimization with Xpress-MP  }

    {  Chapter 15.2,  CCTV Surveillance,  Size: 103x49,  Page 315 }


TITLE
    Surveillance;

INDEX
    node := 0..49;
    node2 := node;
    street[node,node2] := ((1,2),(1,3),(2,1),(2,39),(2,41),(3,1),(3,4),(3,11),(4,3),(4,5),(4,6),(4,9),(5,4),
                           (6,4),(6,7),(6,8),(7,6),(8,6),(9,4),(9,10),(10,9),
                           (11,3),(11,21),(12,13),(13,14),(14,13),(14,15),(14,18),(15,12),(15,14),(15,19),
                           (16,20),(17,18),(18,14),(18,17),(18,19),(19,15),(19,18),(19,20),(20,16),(20,19),(20,21),
                           (21,11),(21,22),(22,21),(22,23),(22,25),(23,22),(23,32),(24,25),(25,22),(25,24),(25,26),(25,30),
                           (26,25),(26,27),(26,28),(27,26),(28,26),(28,29),(29,28),(30,25),(30,31),
                           (31,30),(31,32),(31,33),(32,23),(32,31),(32,38),(33,31),(33,34),(33,37),(34,33),(34,35),(35,34),(35,36),
                           (36,35),(37,33),(37,38),(37,43),(38,32),(38,47),(38,37),(39,2),(39,40),(40,39),(40,38),(40,41),
                           (41,2),(41,40),(41,42),(42,41),(43,37),(43,44),(44,43),(44,45),(44,49),(45,44),(45,47),
                           (46,0),(47,45),(47,48),(48,47));


VARIABLE
    Place[node>0];

MODEL

    MIN TotalCameras = SUM(node: Place);

SUBJECT TO

    FlowBalance[node,node2 IN street] -> FBAL:
        Place + Place[node:=node2] >= 1;

BINARY
    Place;

END