Questions about Parity SAT

Hi everyone,

I've constructed a way to reduce Parity SAT (that is, the question
whether a SAT instance has an odd number of satisfying assignments; a
complete problem for Parity P if I'm not mistaken) to its special case
(which looks much easier) in polynomial time and space.

The special case, which I'll here denote "Parity SAT Positive", is the
same question about SAT instances where all literals are positive
(i.e. every clause doesn't contain negations).

As computational complexity is only my hobby, I have no scientific
advisor. So I would humbly thank anyone who can give me some hints:

1) Is it a new or an already-known result? If second, could you give
me a reference?
2) Does this result have some practical value or it just shows that
even "Parity SAT Positive" is extremely hard?
3) Maybe what I call "Parity SAT Positive" in fact has a
widespread name?

Kind regards,
Andrey Plakhov
.

Relevant Pages

  • Re: Curtnetrons Dont Do Parity
    ... they cannot distinguish even parity from odd ... parity, the prototypical problem perceptrons cannot solve. ... response on output line 1 and the next 3 bits the response on output line ... discriminate even from odd - it is a correlation structure in the input ...
    (comp.ai.philosophy)
  • Re: Curtnetrons Dont Do Parity
    ... they cannot distinguish even parity from odd ... parity, the prototypical problem perceptrons cannot solve. ... of the net is to combine streams of pulses. ... A pulse implies a gap value. ...
    (comp.ai.philosophy)
  • Re: Curtnetrons Dont Do Parity
    ... Michael Olea wrote: ... they cannot distinguish even parity from odd ... parity, the prototypical problem perceptrons cannot solve. ... of the net is to combine streams of pulses. ...
    (comp.ai.philosophy)
  • Re: a problem
    ... One might argue in favor of the former, but not that it is necessary given the latter. ... precludes knowledge that the recipient may NOT have. ... If you don't need the word "odd" or "even" then how you determine the parity can be as simple as doing a modulus on it and spit out the result. ...
    (comp.lang.java.programmer)
  • Re: Serial port configuration
    ... RedHat Enterprise Linux 4 ES. ... a single parity bit. ... odd) is not specificed - so you may need to add parodd ... one thing that could be is that the serial port driver expects to ...
    (comp.os.linux.networking)