2
$\begingroup$

I have an ILP $Ax=b$ that I know has feasible solution(s), and I would like to find a/all feasible solution(s). The issue is that $A,x,b$ are defined over $\mathbb{F}_p$. More specifically, I need the RHS to be equal to $k\mod p$. I'm trying to solve this ILP in MatLab (due to the presence of the graph class, which makes things convenient in other steps), but I'm open to use any other solver than can be obtained for free as a student.

I'm also curious if there is a way to 'Euclideanize' this ILP? As in instead of solving $Ax=b$ defined over $\mathbb{F}_p$, we instead solve $A'x'=b'$ defined over $\mathbb{R}$.

Just to be clear, I'm willing to accept mathematical solutions, but also MatLab/solver setting changes.

$\endgroup$

1 Answer 1

6
$\begingroup$

Introduce an integer variable $y$ and replace the RHS with $k+py$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.