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.

The concrete problem: for any given $N\ge 1$ I have a system of $2^N-1$ linear inequalities over $\mathbb{Z}_6^N$ which looks like this: for every nonempty $S\subseteq[N]$ there is some $b_S\in\mathbb{Z}_6$ and the inequality $\sum_{i\in S}x_i\ne b_S$. I want to find a solution to all the inequalities at once, of course.

Is there an efficient way to find solution to such a system? To count the number of solutions? To check whether a solution exists? Also, what about more general cases (any number of inequalities, any type of ring, no restriction on the coefficients of the variables in the inequalities)?

share|improve this question
    
What order are you using in the inequalities? –  user23211 May 13 '12 at 9:54
    
I'm afraid I don't understand the question. –  Gadi A May 13 '12 at 10:02
    
In an inequality you use the symbol $\leq$ or a similar one. What does the symbol mean in this case? –  user23211 May 13 '12 at 10:07
    
Maybe "inequality" is the wrong word (but I don't know what's the right word). There's no order here, only expressions of the form $x\ne y$ (not equal). –  Gadi A May 13 '12 at 11:41
    
Oh, I see. Sorry, I misunderstood your question. –  user23211 May 13 '12 at 11:48

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.