Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $X$ be subset of $\mathbb{R}^n$ which is $n$-dimensional space.

This subset is defined by k inequalities: $g_{i}(x)<0$, $x\in X$, $i=1..k$ and m equalities: $h_j(x)=0$, $x\in X$, $j=1..m$.

How to test that the equalities-inequalities are inconsistent? That is, $X$ is empty set.

As far as I understand this can be checked in polynomial time.

share|improve this question
Do you know something about the $g_i, h_j$? Are they linear, convex,... –  copper.hat May 19 '12 at 15:30
$g_i$ and $h_j$ are general (non-convex), but they are at-least continuously differentiable –  0x2207 May 19 '12 at 15:41
I think that's too broad a category of problems to expect P-time checking? –  copper.hat May 19 '12 at 22:06

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.