red_dust's blog

By red_dust, history, 6 years ago, In English
  • Vote: I like it
  • 0
  • Vote: I do not like it

»
6 years ago, # |
  Vote: I like it 0 Vote: I do not like it

It requires to log in. Please explain in details problem statements.

  • »
    »
    6 years ago, # ^ |
      Vote: I like it 0 Vote: I do not like it

    it's a 2-sat problem given the inputs like this

    3

    4[or operation] 3[number of variable]

    +1 +3

    +2 -1

    +2 -3

    -1 -2

    we have to find if it is satisfiable or not if satisfiable we have to find the possible values of the variables for which it is satisfiable