| Title |
User |
Message |
Date Posted |
| Clarification |
SourSpinach |
Each variable can be any sequence of alphanumeric characters. |
Feb 19, 2011 - 5:50:02 am UTC |
| Correction |
SourSpinach |
This is pretty strange, and I don't know why no one pointed it out before, but the second line of the Sample Output should read 'unsatisfiable'. |
May 01, 2010 - 3:29:18 am UTC |
| Re: I don't understand |
SourSpinach |
Yup |
Dec 07, 2008 - 9:56:56 pm UTC |
| Re: Re: Re: output |
bleung91 |
hey, Comp Sci is a noble subject, don't you think? It's the subject of the kings. |
Dec 06, 2008 - 3:00:47 am UTC |
| Re: Re: output |
SourSpinach |
Lol... "nobly" |
Dec 05, 2008 - 11:57:14 pm UTC |
| Re: output |
bleung91 |
wow, how naive can you get. and guess what, after they see your code seyon, they will ban you. This judge is for learning, what do you learn by doing that? does it rest well on your conscience that... |
Dec 05, 2008 - 11:11:10 pm UTC |
| Re: output |
Saravannan |
Which is why Hanson and the other admins can see your code =P |
Dec 05, 2008 - 9:22:23 pm UTC |
| I don't understand |
StealthAdept |
What does it mean if it satisfiable? Is the question basically "Is there a set of numbers that you can substitute into each variable to make this equation evaluate to true?"? |
Dec 05, 2008 - 8:53:15 pm UTC |
| output |
seyonv |
can we not just output satisfiable or unsatisfiable for partial points? |
Dec 05, 2008 - 8:16:35 pm UTC |
