0
votes
0answers
40 views

Finding all integral solutions of a positive definite quadratic equation

Let $q(x_1,\ldots,x_n)$ be an integral positive definite quadratic form. For $d\in\mathbb{N}$ the equation $$q(x_1,\ldots,x_n)=d$$ has a finite number of integral solutions. Is there an algorithm to ...
1
vote
1answer
148 views

Find an optimal 4-tuple which satisfies a boolean expression

(I have post a question with bounty for several days (Find a best 4-tuple which fulfils a variable boolean formula), but unfortunately got no answer yet. Here I simplify it to a smaller problem and ...