7
$\begingroup$

Let $S$ be a subset of $\mathbb{R}^n$ defined by a system $\theta$ of polynomial inequalities with integer coefficients.

Let's say that $\theta$ has no integer solutions "for trivial reasons" if there is a polynomial $h$ with integer coefficients such that for all $p\in S$, it holds that $0 <h(p) < 1$.

Question: Is it effectively decidable whether a given system $\theta$ has no integer solutions "for trivial reasons"?

Improve this question
$\endgroup$
1
  • $\begingroup$ Is there anyway to show that $\neg$( a given system $\theta$ has no integer solution " for trivial reason") except for pointing out a solution? $\endgroup$
    – abcdxyz
    Commented Apr 12, 2010 at 16:53

1 Answer 1

Reset to default
1
$\begingroup$

Try putting spaces between the relation symbols, otherwise it will look like a malformed HTML tag. As in 0 < h(p) < 1 .

Oh, and I think it is not possible if h has integral coefficients and p also has integer parts.

EDIT: Upon rereading the problem, I see where it is possible that h could exist, however, by scaling, I think it could turn into an undecidable variant of Hilbert's 10th: deciding if 0 < h(p) < 1 may be the same as deciding if 2h(p) has a solution. END EDIT

Gerhard "Ask Me About System Design" Paseman, 2010.04.12

Improve this answer
$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .