Я хочу проверить выполнимость всех точек, как это в моем ILP.
(1,0,0,0)+t(1,1,1,1)
, где t - целочисленная точка. Например, для t=1,2,3 мы должны проверить выполнимость (2,1,1,1),(3,2,2,2),(4,3,3,3)
Но я хочу проверить выполнимость этих точек для каждого целого числа t \ in Z. Как я могу написать ограничение для этого?
Я должен упомянуть, что математически L=(1,0,0,0)+t(1,1,1,1) является уравнением линии для t \ in R, но у меня есть t \ in Z. Таким образом, на линии есть целые точки L.