1% BEGIN LICENSE BLOCK 2% Version: CMPL 1.1 3% 4% The contents of this file are subject to the Cisco-style Mozilla Public 5% License Version 1.1 (the "License"); you may not use this file except 6% in compliance with the License. You may obtain a copy of the License 7% at www.eclipse-clp.org/license. 8% 9% Software distributed under the License is distributed on an "AS IS" 10% basis, WITHOUT WARRANTY OF ANY KIND, either express or implied. See 11% the License for the specific language governing rights and limitations 12% under the License. 13% 14% The Original Code is The ECLiPSe Constraint Logic Programming System. 15% The Initial Developer of the Original Code is Cisco Systems, Inc. 16% Portions created by the Initial Developer are 17% Copyright (C) 2006 Cisco Systems, Inc. All Rights Reserved. 18% 19% Contributor(s): 20% 21% END LICENSE BLOCK 22% The data for the Network Scheduling/Routing Problem 23% The BBC network - 24% arc( node1, node2, id, capacity ). 25 26 27 28arc(1,2,1,29). 29arc(1,3,2,17). 30arc(4,5,3,16). 31arc(4,2,4,31). 32arc(4,6,5,55). 33arc(4,7,6,17). 34arc(5,4,7,17). 35arc(5,8,8,27). 36arc(5,6,9,29). 37arc(5,9,10,21). 38arc(5,10,11,17). 39arc(2,1,12,31). 40arc(2,11,13,33). 41arc(2,12,14,27). 42arc(8,5,15,24). 43arc(8,13,16,17). 44arc(8,14,17,17). 45arc(3,1,18,16). 46arc(3,11,19,16). 47arc(15,12,20,50). 48arc(16,17,21,16). 49arc(6,4,22,61). 50arc(6,5,23,31). 51arc(6,18,24,27). 52arc(6,19,25,35). 53arc(6,20,26,17). 54arc(6,21,27,23). 55arc(6,30,69,17). 56arc(17,16,28,17). 57arc(17,11,29,27). 58arc(17,22,30,27). 59arc(17,7,31,19). 60arc(11,2,32,27). 61arc(11,3,33,17). 62arc(11,17,34,24). 63arc(22,2,35,25). 64arc(22,17,36,24). 65arc(22,23,37,21). 66arc(9,5,38,19). 67arc(9,24,39,21). 68arc(18,6,40,24). 69arc(18,25,41,17). 70arc(13,8,42,16). 71arc(10,5,43,16). 72arc(23,22,44,19). 73arc(23,12,45,17). 74arc(26,27,46,17). 75arc(26,12,47,16). 76arc(28,27,48,16). 77arc(24,9,49,19). 78arc(27,26,50,16). 79arc(27,28,51,17). 80arc(27,12,52,16). 81arc(27,29,53,17). 82arc(12,2,54,24). 83arc(12,15,55,51). 84arc(12,23,56,16). 85arc(12,26,57,17). 86arc(12,27,58,21). 87arc(19,6,59,31). 88arc(7,4,60,16). 89arc(7,6,61,21). 90arc(7,17,62,21). 91arc(7,20,63,21). 92arc(29,27,64,16). 93arc(25,18,65,16). 94arc(20,6,66,16). 95arc(14,8,67,16). 96arc(21,6,68,24). 97 98 99 100 101 102 103% The list of nodes in the graph - node( node_list ). 104 105nodes( 106[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29] 107 108). 109 110node_no( 29 ). 111 112max_path( 20 ). 113 114 115% The goegraphical location of the nodes - node( id, x-coord, y-coord ). 116 117node( 1, be, 195, 576 ). 118node( 2, ce, 414, 611 ). 119node( 3, dn, 151, 387 ). 120node( 4, bm, 482, 314 ). 121node( 5, bs, 434, 190 ). 122node( 6, l, 608, 191 ). 123node( 7, ymor, 588, 320 ). 124node( 8, cf, 392, 235 ). 125node( 9, py, 322, 62 ). 126node( 10, ycdw, 295, 211 ). 127node( 11, mr, 428, 436 ). 128node( 12, yksh, 403, 726 ). 129node( 13, ybnp, 297, 298 ). 130node( 14, ysxc, 340, 235 ). 131node( 15, gw, 332, 731 ). 132node( 16, hu, 585, 473 ). 133node( 17, ls, 505, 477 ). 134node( 18, so, 517, 124 ). 135node( 19, ymhr, 700, 270 ). 136node( 20, yshc, 699, 332 ). 137node( 21, yzth, 691, 151 ). 138node( 22, nt, 501, 621 ). 139node( 23, ycra, 450, 768 ). 140node( 24, ygoy, 249, 20 ). 141node( 25, yrow, 517, 78 ). 142node( 26, ycrg, 409, 822 ). 143node( 27, ygrh, 495, 937 ). 144node( 28, ydur, 399, 963 ). 145node( 29, yrmk, 348, 942 ). 146 147 148% The in-out nodes for each node in the network 149 150nodes_in_out([1 - [2, 3] - [2, 3], 2 - [1, 4, 11, 12, 22] - [1, 11, 12], 3 151- [1, 11] - [1, 11], 4 - [5, 6, 7] - [2, 5, 6, 7], 5 - [4, 6, 8, 9, 10] - 152[4, 6, 8, 9, 10], 6 - [4, 5, 7, 18, 19, 20, 21] - [4, 5, 18, 19, 20, 21], 1537 - [4, 17] - [4, 6, 17, 20], 8 - [5, 13, 14] - [5, 13, 14], 9 - [5, 24] - 154[5, 24], 10 - [5] - [5], 11 - [2, 3, 17] - [2, 3, 17], 12 - [2, 15, 23, 15526, 27] - [2, 15, 23, 26, 27], 13 - [8] - [8], 14 - [8] - [8], 15 - [12] - 156[12], 16 - [17] - [17], 17 - [7, 11, 16, 22] - [7, 11, 16, 22], 18 - [6, 15725] - [6, 25], 19 - [6] - [6], 20 - [6, 7] - [6], 21 - [6] - [6], 22 - 158[17, 23] - [2, 17, 23], 23 - [12, 22] - [12, 22], 24 - [9] - [9], 25 - 159[18] - [18], 26 - [12, 27] - [12, 27], 27 - [12, 26, 28, 29] - [12, 26, 16028, 29], 28 - [27] - [27], 29 - [27] - [27]]). 161 162disj_subnets([27-[28,29],12-[26,27,28,29],12-[15],5-[10],5-[14,8,13],5-[9,24],8-[14], 1638-[13],9-[24],6-[18,25],6-[21],6-[19],18-[25],17-[16],b-[12,23,2,22,1,3,11,17, 1644,7,20,5,6]]). 165 166disj_links([[(12,2),(2,12),(22,23),(23,22)]-[26,28,29,27,15,12,23], 167[(4,2),(17,7),(7,17)]-[26,28,29,27,15,12,23,2,22,1,3,11,17,16], 168[(4,5),(5,4),(4,6),(6,4),(7,6),(6,7),(20,6),(6,20)]-[13,14,8,5,10, 1699,24,6,18,25,21,19]]). 170 171