משהו יודע למה זה ב NPC ולא ב P?

6 views
Skip to first unread message

Oza

unread,
Jun 23, 2010, 3:28:18 PM6/23/10
to Computational Complexity, Spring 2010
4. נתונה הבעיה הבאה:
קלט: נוסחת Exactly-2-CNF  (כלומר כל הסגר ב-  מכיל 2 ליטרלים של
משתנים שונים) ומספר טבעי k.
שאלה: האם קיימת השמה שמספקת את , כך שלכל היותר k משתנים מקבלים ערך
T ?
מהי המחלקה הקטנה ביותר שאליה שייכת הבעיה, אם כל הליטרלים הם משתנים
(ולא שלילות של משתנים)?

א. PSPACE
ב. NPC
ג. NP
ד. co-NP
ה. P

Einat Kreiczer

unread,
Jun 23, 2010, 3:29:58 PM6/23/10
to Computational Complexity, Spring 2010
ושאלה אחר כך

1.      כנ"ל, כאשר בכל הסגר, ליטרל אחד הוא משתנה והשני הוא שלילה של משתנה.

                     א.         PSPACE

                     ב.         NPC

                      ג.          NP

                     ד.         co-NP

                     ה.         P



התשובה היא P


משהו יכול להסביר את ההבדל

תודה :)


בתאריך 23 ביוני 2010 22:28, מאת Oza <eina...@gmail.com>:

Ran Zvilik

unread,
Jun 24, 2010, 2:59:24 AM6/24/10
to Computational Complexity, Spring 2010
מצטרף לשאלה

On Jun 23, 10:29 pm, Einat Kreiczer <einat...@gmail.com> wrote:
> ושאלה אחר כך
>
> 1.      כנ"ל, כאשר בכל הסגר, ליטרל אחד הוא משתנה והשני הוא שלילה של משתנה.
>
>                       א.         PSPACE
>
>                      ב.         NPC
>
>                       ג.          NP
>
>                      ד.         co-NP
>
>                      ה.         P
>
> התשובה היא P
>
> משהו יכול להסביר את ההבדל
>
> תודה :)
>

> בתאריך 23 ביוני 2010 22:28, מאת Oza <einat...@gmail.com>:

Yigal Shenkman

unread,
Jun 24, 2010, 3:20:43 AM6/24/10
to Computational Complexity, Spring 2010
רדוקציה מ
VC

x1---x2
צמתים שמחוברים בקשת
עובר ל
(x1 or x2)
הרעיון הוא שצריך למצוא קבוצת צמתים בגודל
K
שנמצאות בכל ההסגרים.

Yigal Shenkman

unread,
Jun 24, 2010, 3:21:12 AM6/24/10
to Computational Complexity, Spring 2010
עכשיו אפשר לתת לכולם
false
כלומר נחזיר תמיד 'כן'

On Jun 23, 10:29 pm, Einat Kreiczer <einat...@gmail.com> wrote:

> ושאלה אחר כך
>
> 1.      כנ"ל, כאשר בכל הסגר, ליטרל אחד הוא משתנה והשני הוא שלילה של משתנה.
>
>                       א.         PSPACE
>
>                      ב.         NPC
>
>                       ג.          NP
>
>                      ד.         co-NP
>
>                      ה.         P
>
> התשובה היא P
>
> משהו יכול להסביר את ההבדל
>
> תודה :)
>

> בתאריך 23 ביוני 2010 22:28, מאת Oza <einat...@gmail.com>:

Message has been deleted

dannyvai

unread,
Jun 24, 2010, 6:17:06 AM6/24/10
to Computational Complexity, Spring 2010
אה לא שמתי לב שהוא ענה. לפחות אנחנו עלינו על זה בעצמנו ואתה לא.

On Jun 24, 12:59 pm, Eyal Dushkin <eyal...@gmail.com> wrote:
> אין צורך לחזור על דבריי המתרגל יגאל.
> 0

> > > > ה.      P- Hide quoted text -
>
> - Show quoted text -

itai rosenblatt

unread,
Jun 24, 2010, 6:49:02 AM6/24/10
to computational-comp...@googlegroups.com
אפשר פשוט לתת לכל המשתנים  את הערך 
FALSE
וכך מספקים את כל הפסוקיות

2010/6/24 Ran Zvilik <rzv...@gmail.com>

Haim Nachmias

unread,
Jun 24, 2010, 6:51:44 AM6/24/10
to Computational Complexity, Spring 2010
לחילופין, ניתן לתת לכל המשתנים את ההשמה false, כך נספק את כל הפסוקיות
תחת האילוץ.

On Jun 24, 1:49 pm, itai rosenblatt <dongo...@gmail.com> wrote:
> אפשר פשוט לתת לכל המשתנים  את הערך
> FALSE
> וכך מספקים את כל הפסוקיות
>

> 2010/6/24 Ran Zvilik <rzvi...@gmail.com>

Eyal Dushkin

unread,
Jun 24, 2010, 6:52:54 AM6/24/10
to Computational Complexity, Spring 2010
יש פתרון מקורי - לתת לכל המשתנים את הערך FALSE וכתוצאה תסופק כל
הפסוקית.

Yigal Shenkman

unread,
Jun 24, 2010, 11:18:58 AM6/24/10
to Computational Complexity, Spring 2010
יש לי פתרון יצירתי יותר- לפתור עם כופלי לגרנז' ולתת
FALSE
לכל המשתנים.
Reply all
Reply to author
Forward
0 new messages