![[-]](/~ygleyzer/course.wiki/images/button-minus.gif)
שאלה 1ב
by shvagery - Sunday, 12 July 2009 10:01:45
מה הכוונה ב:
2-CNF
?
האם הכוונה ל
2-CNF
המוכלל, כמו שהוגדר בתחילת השאלה?
תודה.
2-CNF
?
האם הכוונה ל
2-CNF
המוכלל, כמו שהוגדר בתחילת השאלה?
תודה.
Re: שאלה 1ב
by golansha - Sunday, 12 July 2009 10:19:47
No. This is the original format of 2-CNF, not a generalized 2-CNF.
Re: שאלה 1ב
by shvagery - Sunday, 12 July 2009 10:21:56
תודה,
אבל אפשר בבקשה קצת יותר פירוט, למה בדיוק אתם מתכוונים?
אבל אפשר בבקשה קצת יותר פירוט, למה בדיוק אתם מתכוונים?
Re: שאלה 1ב
by golansha - Sunday, 12 July 2009 10:25:34
A formula, in the form "D1 AND... AND Dn", such that Di is in the form "xj OR xj'"
Re: שאלה 1ב
by eiland - Sunday, 12 July 2009 23:12:19
Is it Ok to write a formula for x1 x2 x3 which satisfies only when x1 = 1 and x2 =0 and x3 = 0 (And then i could generalize it with 'for each' ).
Or should it be one formula that will include all the possible options (100, 010 and 001) together?
Re: שאלה 1ב
by golansha - Monday, 13 July 2009 09:18:03
As long it is absolutely clear how to build the formula, you may do so. Make sure there is only one way to interpret your method.
Re: שאלה 1ב
by yaelzar - Monday, 13 July 2009 20:08:27
What's the difference between 2-SAT and 2-CNF?
Thanks