‫חישוביות וסיבוכיות ‪61306 -‬‬

‫מרצה‪ :‬דר' מרק טרכטנברוט‬

‫מועד א'‬
‫סמסטר ב'‪ ,‬תשס''ח‬
‫‪12.6.2008‬‬
‫הוראות‪:‬‬
‫משך הבחינה‪ 3 :‬שעות‪.‬‬ ‫‪‬‬
‫חומר עזר‪ :‬דף המצורף לשאלון זה‪.‬‬ ‫‪‬‬
‫במבחן ‪ 5‬שאלות‪ .‬יש לענות על כולן‪.‬‬ ‫‪‬‬
‫יש לנמק את כל התשובות‬ ‫‪‬‬

‫שאלה ‪ 20( 1‬נק')‬

‫א‪ .‬עבור השפה מעל א''ב }‪: {x,y‬‬
‫}‪L  {xn y2n | n  1‬‬
‫הציגו דיאגרמות מצבים של שתי מכונות טיורינג המזהות את ‪: L‬‬
‫מכונה דטרמיניסטית עם סרט אחד‬ ‫‪-‬‬
‫מכונה דטרמיניסטית עם שני סרטים‬ ‫‪-‬‬
‫בכל אחד מהמקרים‪ ,‬הסבירו רעיון של האלגוריתם המתבצע ע''י המכונה (אין זה אומר שיש להסביר‬
‫כל צעד בסיסי של המכונה)‪.‬‬

‫ב‪ .‬מהי סיבוכיות החישוב של כל אחת משתי המכונות?‬

‫שאלה ‪ 20( 2‬נק')‬

‫לאיזו מחלקה שייכת‪ ,‬לדעתכם‪ ,‬כל אחת מהשפות הבאות מעל א''ב {‪: } 0,1‬‬
‫ניתנת להכרעה‬ ‫‪-‬‬
‫‪( enumerable‬בת מניה)‬ ‫‪-‬‬
‫‪( non- enumerable‬לא בת מניה)‬ ‫‪-‬‬
‫יש לנמק את תשובותיכם‪.‬‬

‫‪ L(M) | >M<{ = L1‬היא שפה ניתנת להכרעה}‬

‫‪ M | <M ,k> { = L3‬דוחה לפחות מילה אחת באורך ‪}k‬‬
‫‪ | <M,k> { = L4‬קיימת לפחות מילה ‪ w‬אחת כך שב‪ k -‬צעדים ראשונים של חישוב )‪,M(w‬‬
‫מכונה ‪ M‬לא משנה את כיוון התנועה על הסרט }‬
 ‫שאלה ‪ 20( 3‬נק')‬
‫נתונות שתי קבוצות של שפות‪:‬‬
‫} ‪ L‬היא שפה סופית | ‪G1= { L‬‬

‫} ‪ L‬היא ‪- NP‬שלמה | ‪G2 = { L‬‬

‫קבעו והסבירו איזה יחס מתקיים בניהן בהכרח‪:‬‬
‫‪G1 = G2 -‬‬
‫‪G2  G1 -‬‬
‫‪G1  G2 -‬‬
‫‪ -‬אף אחד מהנ"ל‬

‫שאלה ‪ 20( 4‬נק')‬

‫א‪ .‬הוכיחו ששפה ‪ L‬הבאה לא ניתנת להכרעה‪:‬‬
‫מכונת טיורינג ‪ M‬מקבלת את מילת קלט ‪L= {<M > | w‬‬
‫{אם ורק אם ‪ w‬מהווה קוד בינארי של מספר זוגי‬

‫הערה יש להגדיר רדוקציה מבעית ‪( HTM‬בעיית עצירה) ל‪. L-‬‬

‫ב‪ .‬האם שפת ‪ L‬מסעיף א' היא בת מניה?‬

‫שאלה ‪ 20( 5‬נק')‬

‫א‪ .‬נתונה שפה‪:‬‬
‫| >‪L= {<G1 , G2 , k‬‬
‫{‪ G1 , G2‬הם גרפים כך שלפחות באחד מהם יש קליקה בגודל ‪k‬‬
‫הוכיחו ש‪ L-‬היא שפה ‪-NP‬שלמה‪ ,‬תוך שימוש ברדוקציה משפת ‪. CLIQUE‬‬

‫ב‪ .‬נתון ששפה ‪ A‬היא ‪ – NP‬שלמה‪ ,‬ושפה ‪ B‬שייכת ל‪. P-‬‬

‫‪ : A U B -‬האם יתכן שהיא ‪ - NP‬שלמה? האם יתכן היא שייכת ל‪? P-‬‬
‫‪ : A ∩ B -‬האם יתכן שהיא ‪ - NP‬שלמה? האם יתכן היא שייכת ל‪? P-‬‬
‫‪( A.B -‬שרשור של שתי שפות) ‪ :‬האם יתכן שהיא ‪ - NP‬שלמה?‬

‫בהצלחה!‬