私は多項式を持っています
b*p + a*q + y = 0
ここで、b、p、a、q、y は整数変数です。あるエリアを指定します。
1) 線形不等式を指定する方法 (アルゴリズム) がある場合、それらが表す領域には多項式の領域が含まれますか?
2) 一組の線形不等式を指定する方法 (アルゴリズム) がある場合、それらが記述する領域は多項式の領域に含まれますか?
この質問は、一般に、任意の多項式にも当てはまります。
a1*x1^y11*...*xm^ym1 + ak*x1^y1k*...*xm^ymk = 0
ここで、x1、...、xm - 整数変数、a1、...ak、y11、...、ymk - 整数。