Professional Documents
Culture Documents
HW 8
HW 8
.2נניח שקבוצת האטומים היא . P1 , P2 ,...נאמר שהשמה היא -dחשבונית אם קבוצת האינדקסים
של האטומים שמקבלים 1היא ריקה או סידרה חשבונית עם הפרש .d
1 i 15,18, 21,...
v) Pi ( למשל:
0 else
היא השמה -3חשבונית .כמו כן השמת ה 0-היא dחשבונית לכל .d
.1תהי { vהשמה 3חשבונית . k1 {v :האם k1גדירה?
.2נאמר שקבוצת פסוקים היא -3חשבונית אם קיימת השמה -3חשבונית אם קיימת
-3חשבונית המספקת אותה. השמה
הוכח או הפרך-3 :חשבונית אמ"מ כל תת קבוצה סופית של היא -3חשבונית.
.3נאמר שהשמה vהיא חשבונית אם קיים dכך ש-v d-חשבונית .תהי { vחשבונית
. k2 {v :
האם k2גדירה?
.4הוכח או הפרך:
.1אם k1 k2ו k1 -גדירה אז k2גדירה.
.2אם k1 k2ו k2 -גדירה אז k1גדירה.
.3אם k1 , k2גדירות אז k1 \ k2גדירה.
.5הוכח שכל גרף Gניתן לכיסוי ע"י kקליקים אמ"מ כל תת-גרף סופי שלו ניתן לכיסוי ע"י k
קליקים.
הדרכה :הגדר קבוצת פסוקים X Gkכאשר X Gkספיקה אמ"מ ניתן לכסות את Gב k-קליקים.
i i
השתמש באטומים pvכאשר pvיקבל 1אמ"מ הקודקוד vשייך לקליק ה.i-
הגדר ע"י פסוקים את הטענות הבאות:
()iאם הקשת ( )u,vאינה בגרף ,אזי uו v-בקליקים
שונים
()iiכל צומת נמצא באחד הקליקים
בהצלחה!
להגשה עד 28.6.07 :בשעה 14:00