Не уверен, что следующее работает, но, возможно, поможет вам приступить к работе
set Vt within V #Vt subset of V
set card(Vt) >= 2 #|Vt| >= 2
set v in Vt
set E_Vt --> "maybe set similar as E but with Vt"
subject to constraint_C: sum{(i,j) in E_Vt} x[i,j] <= sum{i in Vt and i<>v} y[i]
Я сам не знаю, как писать i in Vt\{v}
, поэтому я написал i<>v
и очень заинтересованесли вы нашли решение.