MINLPLib

A Library of Mixed-Integer and Continuous Nonlinear Programming Instances

Home // Instances // Documentation // Download // Statistics


Instance graphpart_2pm-0099-0999

This is a quadratic model for the graph partitioning problem. The
graphs are taken from the publication of Ghaddar et al. We used 3
parts of the partition to generate the quadratic instances. The model
assigns each node to one of the three parts. Hence, the model is
symmetric, which should probably be used in a solution algorithm.
Formats ams gms lp mod nl osil pip py
Primal Bounds (infeas ≤ 1e-08)
-60.00000000 p1 ( gdx sol )
(infeas: 0)
-64.00000000 p2 ( gdx sol )
(infeas: 0)
Other points (infeas > 1e-08)  
Dual Bounds
-64.00000006 (ANTIGONE)
-64.00000000 (BARON)
-64.00000000 (COUENNE)
-64.00000000 (CPLEX)
-64.00000000 (GUROBI)
-64.00000000 (LINDO)
-64.00000000 (SCIP)
-64.00000000 (SHOT)
References Ghaddar, Bissan, Anjos, Miguel F, and Liers, Frauke, A Branch-and-Cut Algorithm based on Semidefinite Programming for the Minimum k-Partition Problem, Annals of Operations Research, 188:1, 2011, 155-174.
Source POLIP instance graphpart/data_2pm_99_999.dimacs
Application Graph Partitioning
Added to library 26 Feb 2014
Problem type BQP
#Variables 243
#Binary Variables 243
#Integer Variables 0
#Nonlinear Variables 243
#Nonlinear Binary Variables 243
#Nonlinear Integer Variables 0
Objective Sense min
Objective type quadratic
Objective curvature indefinite
#Nonzeros in Objective 243
#Nonlinear Nonzeros in Objective 243
#Constraints 81
#Linear Constraints 81
#Quadratic Constraints 0
#Polynomial Constraints 0
#Signomial Constraints 0
#General Nonlinear Constraints 0
Operands in Gen. Nonlin. Functions  
Constraints curvature linear
#Nonzeros in Jacobian 243
#Nonlinear Nonzeros in Jacobian 0
#Nonzeros in (Upper-Left) Hessian of Lagrangian 972
#Nonzeros in Diagonal of Hessian of Lagrangian 0
#Blocks in Hessian of Lagrangian 3
Minimal blocksize in Hessian of Lagrangian 81
Maximal blocksize in Hessian of Lagrangian 81
Average blocksize in Hessian of Lagrangian 81.0
#Semicontinuities 0
#Nonlinear Semicontinuities 0
#SOS type 1 0
#SOS type 2 0
Minimal coefficient 1.0000e+00
Maximal coefficient 1.0000e+00
Infeasibility of initial point 1
Sparsity Jacobian Sparsity of Objective Gradient and Jacobian
Sparsity Hessian of Lagrangian Sparsity of Hessian of Lagrangian

$offlisting
*  
*  Equation counts
*      Total        E        G        L        N        X        C        B
*         82       82        0        0        0        0        0        0
*  
*  Variable counts
*                   x        b        i      s1s      s2s       sc       si
*      Total     cont   binary  integer     sos1     sos2    scont     sint
*        244        1      243        0        0        0        0        0
*  FX      0
*  
*  Nonzero counts
*      Total    const       NL      DLL
*        487      244      243        0
*
*  Solve m using MINLP minimizing objvar;


Variables  b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17,b18,b19
          ,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34,b35,b36
          ,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51,b52,b53
          ,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68,b69,b70
          ,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85,b86,b87
          ,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101,b102,b103
          ,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114,b115,b116
          ,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127,b128,b129
          ,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140,b141,b142
          ,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153,b154,b155
          ,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166,b167,b168
          ,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179,b180,b181
          ,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192,b193,b194
          ,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205,b206,b207
          ,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218,b219,b220
          ,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231,b232,b233
          ,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243,objvar;

Binary Variables  b1,b2,b3,b4,b5,b6,b7,b8,b9,b10,b11,b12,b13,b14,b15,b16,b17
          ,b18,b19,b20,b21,b22,b23,b24,b25,b26,b27,b28,b29,b30,b31,b32,b33,b34
          ,b35,b36,b37,b38,b39,b40,b41,b42,b43,b44,b45,b46,b47,b48,b49,b50,b51
          ,b52,b53,b54,b55,b56,b57,b58,b59,b60,b61,b62,b63,b64,b65,b66,b67,b68
          ,b69,b70,b71,b72,b73,b74,b75,b76,b77,b78,b79,b80,b81,b82,b83,b84,b85
          ,b86,b87,b88,b89,b90,b91,b92,b93,b94,b95,b96,b97,b98,b99,b100,b101
          ,b102,b103,b104,b105,b106,b107,b108,b109,b110,b111,b112,b113,b114
          ,b115,b116,b117,b118,b119,b120,b121,b122,b123,b124,b125,b126,b127
          ,b128,b129,b130,b131,b132,b133,b134,b135,b136,b137,b138,b139,b140
          ,b141,b142,b143,b144,b145,b146,b147,b148,b149,b150,b151,b152,b153
          ,b154,b155,b156,b157,b158,b159,b160,b161,b162,b163,b164,b165,b166
          ,b167,b168,b169,b170,b171,b172,b173,b174,b175,b176,b177,b178,b179
          ,b180,b181,b182,b183,b184,b185,b186,b187,b188,b189,b190,b191,b192
          ,b193,b194,b195,b196,b197,b198,b199,b200,b201,b202,b203,b204,b205
          ,b206,b207,b208,b209,b210,b211,b212,b213,b214,b215,b216,b217,b218
          ,b219,b220,b221,b222,b223,b224,b225,b226,b227,b228,b229,b230,b231
          ,b232,b233,b234,b235,b236,b237,b238,b239,b240,b241,b242,b243;

Equations  e1,e2,e3,e4,e5,e6,e7,e8,e9,e10,e11,e12,e13,e14,e15,e16,e17,e18,e19
          ,e20,e21,e22,e23,e24,e25,e26,e27,e28,e29,e30,e31,e32,e33,e34,e35,e36
          ,e37,e38,e39,e40,e41,e42,e43,e44,e45,e46,e47,e48,e49,e50,e51,e52,e53
          ,e54,e55,e56,e57,e58,e59,e60,e61,e62,e63,e64,e65,e66,e67,e68,e69,e70
          ,e71,e72,e73,e74,e75,e76,e77,e78,e79,e80,e81,e82;


e1..    b1 + b2 + b3 =E= 1;

e2..    b4 + b5 + b6 =E= 1;

e3..    b7 + b8 + b9 =E= 1;

e4..    b10 + b11 + b12 =E= 1;

e5..    b13 + b14 + b15 =E= 1;

e6..    b16 + b17 + b18 =E= 1;

e7..    b19 + b20 + b21 =E= 1;

e8..    b22 + b23 + b24 =E= 1;

e9..    b25 + b26 + b27 =E= 1;

e10..    b28 + b29 + b30 =E= 1;

e11..    b31 + b32 + b33 =E= 1;

e12..    b34 + b35 + b36 =E= 1;

e13..    b37 + b38 + b39 =E= 1;

e14..    b40 + b41 + b42 =E= 1;

e15..    b43 + b44 + b45 =E= 1;

e16..    b46 + b47 + b48 =E= 1;

e17..    b49 + b50 + b51 =E= 1;

e18..    b52 + b53 + b54 =E= 1;

e19..    b55 + b56 + b57 =E= 1;

e20..    b58 + b59 + b60 =E= 1;

e21..    b61 + b62 + b63 =E= 1;

e22..    b64 + b65 + b66 =E= 1;

e23..    b67 + b68 + b69 =E= 1;

e24..    b70 + b71 + b72 =E= 1;

e25..    b73 + b74 + b75 =E= 1;

e26..    b76 + b77 + b78 =E= 1;

e27..    b79 + b80 + b81 =E= 1;

e28..    b82 + b83 + b84 =E= 1;

e29..    b85 + b86 + b87 =E= 1;

e30..    b88 + b89 + b90 =E= 1;

e31..    b91 + b92 + b93 =E= 1;

e32..    b94 + b95 + b96 =E= 1;

e33..    b97 + b98 + b99 =E= 1;

e34..    b100 + b101 + b102 =E= 1;

e35..    b103 + b104 + b105 =E= 1;

e36..    b106 + b107 + b108 =E= 1;

e37..    b109 + b110 + b111 =E= 1;

e38..    b112 + b113 + b114 =E= 1;

e39..    b115 + b116 + b117 =E= 1;

e40..    b118 + b119 + b120 =E= 1;

e41..    b121 + b122 + b123 =E= 1;

e42..    b124 + b125 + b126 =E= 1;

e43..    b127 + b128 + b129 =E= 1;

e44..    b130 + b131 + b132 =E= 1;

e45..    b133 + b134 + b135 =E= 1;

e46..    b136 + b137 + b138 =E= 1;

e47..    b139 + b140 + b141 =E= 1;

e48..    b142 + b143 + b144 =E= 1;

e49..    b145 + b146 + b147 =E= 1;

e50..    b148 + b149 + b150 =E= 1;

e51..    b151 + b152 + b153 =E= 1;

e52..    b154 + b155 + b156 =E= 1;

e53..    b157 + b158 + b159 =E= 1;

e54..    b160 + b161 + b162 =E= 1;

e55..    b163 + b164 + b165 =E= 1;

e56..    b166 + b167 + b168 =E= 1;

e57..    b169 + b170 + b171 =E= 1;

e58..    b172 + b173 + b174 =E= 1;

e59..    b175 + b176 + b177 =E= 1;

e60..    b178 + b179 + b180 =E= 1;

e61..    b181 + b182 + b183 =E= 1;

e62..    b184 + b185 + b186 =E= 1;

e63..    b187 + b188 + b189 =E= 1;

e64..    b190 + b191 + b192 =E= 1;

e65..    b193 + b194 + b195 =E= 1;

e66..    b196 + b197 + b198 =E= 1;

e67..    b199 + b200 + b201 =E= 1;

e68..    b202 + b203 + b204 =E= 1;

e69..    b205 + b206 + b207 =E= 1;

e70..    b208 + b209 + b210 =E= 1;

e71..    b211 + b212 + b213 =E= 1;

e72..    b214 + b215 + b216 =E= 1;

e73..    b217 + b218 + b219 =E= 1;

e74..    b220 + b221 + b222 =E= 1;

e75..    b223 + b224 + b225 =E= 1;

e76..    b226 + b227 + b228 =E= 1;

e77..    b229 + b230 + b231 =E= 1;

e78..    b232 + b233 + b234 =E= 1;

e79..    b235 + b236 + b237 =E= 1;

e80..    b238 + b239 + b240 =E= 1;

e81..    b241 + b242 + b243 =E= 1;

e82.. b1*b25 - b1*b4 + b1*b28 + b1*b217 - b2*b5 + b2*b26 + b2*b29 + b2*b218 - 
      b3*b6 + b3*b27 + b3*b30 + b3*b219 - b4*b7 - b4*b31 + b4*b220 - b5*b8 - b5
      *b32 + b5*b221 - b6*b9 - b6*b33 + b6*b222 - b7*b10 + b7*b34 - b7*b223 - 
      b8*b11 + b8*b35 - b8*b224 - b9*b12 + b9*b36 - b9*b225 - b10*b13 - b10*b37
       + b10*b226 - b11*b14 - b11*b38 + b11*b227 - b12*b15 - b12*b39 + b12*b228
       - b13*b16 - b13*b40 - b13*b229 - b14*b17 - b14*b41 - b14*b230 - b15*b18
       - b15*b42 - b15*b231 + b16*b19 - b16*b43 + b16*b232 + b17*b20 - b17*b44
       + b17*b233 + b18*b21 - b18*b45 + b18*b234 - b19*b22 - b19*b46 - b19*b235
       - b20*b23 - b20*b47 - b20*b236 - b21*b24 - b21*b48 - b21*b237 + b22*b25
       + b22*b49 + b22*b238 + b23*b26 + b23*b50 + b23*b239 + b24*b27 + b24*b51
       + b24*b240 - b25*b52 - b25*b241 - b26*b53 - b26*b242 - b27*b54 - b27*
      b243 + b28*b31 + b28*b52 + b28*b55 + b29*b32 + b29*b53 + b29*b56 + b30*
      b33 + b30*b54 + b30*b57 + b31*b34 - b31*b58 + b32*b35 - b32*b59 + b33*b36
       - b33*b60 + b34*b37 + b34*b61 + b35*b38 + b35*b62 + b36*b39 + b36*b63 + 
      b37*b40 - b37*b64 + b38*b41 - b38*b65 + b39*b42 - b39*b66 + b40*b43 + b40
      *b67 + b41*b44 + b41*b68 + b42*b45 + b42*b69 + b43*b46 - b43*b70 + b44*
      b47 - b44*b71 + b45*b48 - b45*b72 - b46*b49 - b46*b73 - b47*b50 - b47*b74
       - b48*b51 - b48*b75 - b49*b52 - b49*b76 - b50*b53 - b50*b77 - b51*b54 - 
      b51*b78 - b52*b79 - b53*b80 - b54*b81 - b55*b58 + b55*b79 - b55*b82 - b56
      *b59 + b56*b80 - b56*b83 - b57*b60 + b57*b81 - b57*b84 + b58*b61 - b58*
      b85 + b59*b62 - b59*b86 + b60*b63 - b60*b87 - b61*b64 + b61*b88 - b62*b65
       + b62*b89 - b63*b66 + b63*b90 - b64*b67 - b64*b91 - b65*b68 - b65*b92 - 
      b66*b69 - b66*b93 + b67*b70 - b67*b94 + b68*b71 - b68*b95 + b69*b72 - b69
      *b96 + b70*b73 - b70*b97 + b71*b74 - b71*b98 + b72*b75 - b72*b99 + b73*
      b76 + b73*b100 + b74*b77 + b74*b101 + b75*b78 + b75*b102 + b76*b79 + b76*
      b103 + b77*b80 + b77*b104 + b78*b81 + b78*b105 + b79*b106 + b80*b107 + 
      b81*b108 + b82*b85 - b82*b106 + b82*b109 + b83*b86 - b83*b107 + b83*b110
       + b84*b87 - b84*b108 + b84*b111 - b85*b88 - b85*b112 - b86*b89 - b86*
      b113 - b87*b90 - b87*b114 - b88*b91 - b88*b115 - b89*b92 - b89*b116 - b90
      *b93 - b90*b117 - b91*b94 + b91*b118 - b92*b95 + b92*b119 - b93*b96 + b93
      *b120 - b94*b97 + b94*b121 - b95*b98 + b95*b122 - b96*b99 + b96*b123 - 
      b97*b100 + b97*b124 - b98*b101 + b98*b125 - b99*b102 + b99*b126 + b100*
      b103 - b100*b127 + b101*b104 - b101*b128 + b102*b105 - b102*b129 + b103*
      b106 - b103*b130 + b104*b107 - b104*b131 + b105*b108 - b105*b132 + b106*
      b133 + b107*b134 + b108*b135 - b109*b112 - b109*b133 - b109*b136 - b110*
      b113 - b110*b134 - b110*b137 - b111*b114 - b111*b135 - b111*b138 + b112*
      b115 + b112*b139 + b113*b116 + b113*b140 + b114*b117 + b114*b141 - b115*
      b118 - b115*b142 - b116*b119 - b116*b143 - b117*b120 - b117*b144 + b118*
      b121 + b118*b145 + b119*b122 + b119*b146 + b120*b123 + b120*b147 - b121*
      b124 - b121*b148 - b122*b125 - b122*b149 - b123*b126 - b123*b150 - b124*
      b127 + b124*b151 - b125*b128 + b125*b152 - b126*b129 + b126*b153 - b127*
      b130 + b127*b154 - b128*b131 + b128*b155 - b129*b132 + b129*b156 + b130*
      b133 + b130*b157 + b131*b134 + b131*b158 + b132*b135 + b132*b159 + b133*
      b160 + b134*b161 + b135*b162 - b136*b139 - b136*b160 + b136*b163 - b137*
      b140 - b137*b161 + b137*b164 - b138*b141 - b138*b162 + b138*b165 - b139*
      b142 + b139*b166 - b140*b143 + b140*b167 - b141*b144 + b141*b168 - b142*
      b145 + b142*b169 - b143*b146 + b143*b170 - b144*b147 + b144*b171 - b145*
      b148 + b145*b172 - b146*b149 + b146*b173 - b147*b150 + b147*b174 - b148*
      b151 - b148*b175 - b149*b152 - b149*b176 - b150*b153 - b150*b177 + b151*
      b154 + b151*b178 + b152*b155 + b152*b179 + b153*b156 + b153*b180 - b154*
      b157 + b154*b181 - b155*b158 + b155*b182 - b156*b159 + b156*b183 + b157*
      b160 + b157*b184 + b158*b161 + b158*b185 + b159*b162 + b159*b186 + b160*
      b187 + b161*b188 + b162*b189 - b163*b166 + b163*b187 + b163*b190 - b164*
      b167 + b164*b188 + b164*b191 - b165*b168 + b165*b189 + b165*b192 + b166*
      b169 + b166*b193 + b167*b170 + b167*b194 + b168*b171 + b168*b195 - b169*
      b172 + b169*b196 - b170*b173 + b170*b197 - b171*b174 + b171*b198 + b172*
      b175 - b172*b199 + b173*b176 - b173*b200 + b174*b177 - b174*b201 - b175*
      b178 + b175*b202 - b176*b179 + b176*b203 - b177*b180 + b177*b204 - b178*
      b181 - b178*b205 - b179*b182 - b179*b206 - b180*b183 - b180*b207 + b181*
      b184 + b181*b208 + b182*b185 + b182*b209 + b183*b186 + b183*b210 + b184*
      b187 + b184*b211 + b185*b188 + b185*b212 + b186*b189 + b186*b213 - b187*
      b214 - b188*b215 - b189*b216 - b190*b193 - b190*b214 + b190*b217 - b191*
      b194 - b191*b215 + b191*b218 - b192*b195 - b192*b216 + b192*b219 - b193*
      b196 + b193*b220 - b194*b197 + b194*b221 - b195*b198 + b195*b222 + b196*
      b199 + b196*b223 + b197*b200 + b197*b224 + b198*b201 + b198*b225 + b199*
      b202 + b199*b226 + b200*b203 + b200*b227 + b201*b204 + b201*b228 - b202*
      b205 + b202*b229 - b203*b206 + b203*b230 - b204*b207 + b204*b231 + b205*
      b208 - b205*b232 + b206*b209 - b206*b233 + b207*b210 - b207*b234 - b208*
      b211 - b208*b235 - b209*b212 - b209*b236 - b210*b213 - b210*b237 - b211*
      b214 - b211*b238 - b212*b215 - b212*b239 - b213*b216 - b213*b240 + b214*
      b241 + b215*b242 + b216*b243 - b217*b220 + b217*b241 - b218*b221 + b218*
      b242 - b219*b222 + b219*b243 - b220*b223 - b221*b224 - b222*b225 + b223*
      b226 + b224*b227 + b225*b228 - b226*b229 - b227*b230 - b228*b231 + b229*
      b232 + b230*b233 + b231*b234 - b232*b235 - b233*b236 - b234*b237 - b235*
      b238 - b236*b239 - b237*b240 - b238*b241 - b239*b242 - b240*b243 - objvar
       =E= 0;

Model m / all /;

m.limrow=0; m.limcol=0;
m.tolproj=0.0;

$if NOT '%gams.u1%' == '' $include '%gams.u1%'

$if not set MINLP $set MINLP MINLP
Solve m using %MINLP% minimizing objvar;


Last updated: 2024-03-25 Git hash: 1dae024f
Imprint / Privacy Policy / License: CC-BY 4.0