I try to solve a Prize-Collecting-Steiner-Tree-Optimization problem with AMPL. I did find an ILP formulation for that, but now I have problems to implement that into AMPL. Specially the constraint in (c). ILP-formulation I hope somebody can help me.
my try:
param n; #Anzahl der Knoten
set V := 1..n; #Knotenmenge
set E within {i in V, j in V: i<j}; #Kantenmenge
set T {i in V}; #Terminalmenge
param p {i in V};
param w {(i,j) in E};
param r in V;
var x {(i,j) in E} binary;
var y {k in V: k != r} binary;
maximize profit: sum {i in V} p[i]*y[i] - sum {(i,j) in E} w[i,j]*x[i,j];
subject to Verhältnis: sum {(i,j) in E} x[i,j] = sum {i in V} y[i] - 1 ;
subject to Terminal{i in T}: y[i] = 1;