תורת החישוביות – – 236343תרגיל בית 3 28בנובמבר 2015 • ההגשה ביחידים עד ליום ב' ,21/12בשעה ,12:30לתא הקורס שבקומה .1 • שאלות על תוכן התרגיל נא להפנות לאוהד ,snufsan@csבקשות דחייה ועניינים מנהלתיים נא להפנות לעמי .amipaz@cs שאלה – 1קבלה גמישה )אביב תשע"ג ,אמצע( כזכור ,עבור מכונת טיורינג ,Mהגדרנו את שפת המכונה ,L (M ) ,להיות אוסף הקלטים שהמכונה עוצרת עליהם במצב מקבל .קלט שהמכונה עוצרת עליו במצב דוחה ,או אינה עוצרת עליו כלל ,אינו חלק משפת המכונה. בשאלה זו נגדיר עבור מכונה Mאת השפה שהמכונה "מקבלת בגמישות" :Flex-L (M ) ,עבור מילה ∗ ,w ∈ Σיתקיים ∈ w ) Flex-L (Mאם מתקיים אחד משני התנאים הבאים: M .1עוצרת על wבמצב מקבל ,או: ,M .2בריצתה על ,wמבצעת אינסוף צעדי ) Sלאו דווקא רצופים(. נגדיר את A להיות מחלקת כל השפות הניתנות לקבלה בגמישות ,כלומר }קיימת מ"ט Mכך ש־) .A = {L | L = Flex-L (M .1הוכיחו \ הפריכו⊆ A : RE .2הוכיחו \ הפריכו∈ A : HP .3הוכיחו \ הפריכוL=3 ∈ A : .4תנו דוגמה )מפורשת( לשפה שאינה שייכת ל־ .Aהוכיחו. ∈ ?Lנמקו. .5תהי }) .L = {hM i | ∈ Flex-L (Mהאם L ∈ RE\R ,L ∈ Rאו / RE שאלה – 2סיווג שפות לכל שפה Liמעל } Σ = {0, 1להלן ,האם ?Li ∈ Rהאם ?Li ∈ REהוכיחו תשובתכם. } .1קיימים 100קלטים אותם Mמקבלת | .L1 ={hM i } .2קיימים 100קלטים עליהם Mלא עוצרת | .L2 ={hM i } .3קיימים 100קלטים שבריצתה עליהם Mלא מבצעת יותר מ־ 100צעדים ימינה | .L3 ={hM i .L4 = {hM i | |L (M ) ∩ Lε | = ∞} .4 .L5 = {(hM1 i , hM2 i) | hM1 i ∈ L (M2 ) , hM2 i ∈ L (M1 )} .5 ∈ .L6 = {(hM1 i , hM2 i) | hM1 i ∈ L (M2 ) , hM2 i / L (M1 )} .6 M } .7לא דוחה אף קלט | .L7 ={hM i fM } .8היא על | .L8 ={hM i L9 = {hM i | HP ≤ L (M )} .9 1 שאלה – 3ווריאציות על משפט רייס משפט רייס ל־coRE נגדיר תכונה של שפות ב־ coREלהיות תת קבוצה של שפות .S ⊆ coRE תכונה Sתקרא לא טריוויאלית אם ∅ = S 6וגם .S 6= coRE בהינתן תכונה ,Sנגדיר }.LS = {hM i |L (M ) ∈ S .1הוכיחו/הפריכו :עבור כל תכונה Sטריוויאלית מתקיים .LS ∈ R .2נסחו משפט המאפיין את כל התכונות Sשל שפות ב־coRE ∈ LSוהוכיחו אותו. עבורן מתקיים / R משפט רייס לפונקציות תהי Fמחלקת הפונקציות הניתנות לחישוב .נגדיר תכונה של פונקציות ב ־ Fלהיות קבוצה של פונקציות .S ⊆ Fתכונה Sתיקרא "לא טריביאלית" אם ∅ = S 6וגם .S 6= Fבהינתן תכונה Sנגדיר }.LS = {hM i |fM ∈ S ∈ .LS משפט רייס לפונקציות :תהא Sתכונה לא טריביאלית של פונקציות .אזי / R .1הוכח שעבור תכונה Sטריביאלית .LS ∈ R ∈ ?LS .2הוכח את משפט רייס לפונקציות .האם ניתן להוסיף תנאי על Sכך ש ־ / RE שאלה – 4וריאציות על סיבוכיות קולמוגורוב )אביב תשע"ג ,מועד ג'( נגדיר את הגרסאות הבאות של סיבוכיות קולמוגורוב: • ) K1 (xהוא מספר המצבים המינימלי של מ"ט חד־סרטית עם א"ב } Σ = {0, 1המקבלת את השפה }.{x • ) K2 (xהוא מספר המצבים המינימלי של מ"ט חד־סרטית עם א"ב כלשהו אשר על קלט εפולטת את .x הוכיחו \ הפריכו: ∗ K1 .1חסומה ,כלומר קיים c > 0כך שלכל } x ∈ {0, 1מתקיים .K1 (x) ≤ c ∗ K2 .2חסומה ,כלומר קיים c > 0כך שלכל } x ∈ {0, 1מתקיים .K2 (x) ≤ c K1 .3ניתנת לחישוב. שאלה – 5וריאציות על הגדרת NP *** מומלץ לפתור שאלה זו אחרי ההרצאה של ה־ ,14/12בה תוגדר המחלקה *** .NP כזכור ,הגדרנו את NPכאוסף כל השפות Lכך שקיים יחס Sשהוא חסום פולינומית ,ניתן לזיהוי פולינומי ו־}.L = {x|∃y : (x, y) ∈ S בשאלה זו נבחן דרישות אלו ודרישות נוספות שניתן )או לא ניתן( להחיל על .S לצורך פשטות ,נאמר שהיחס Sמגדיר את השפה Lאם }.L = {x|∃y : (x, y) ∈ S .1הראו כי אם דורשים כי Sיהיה חסום פולינומית אך לא דורשים שיהיה ניתן לזיהוי פולינומי ,ניתן להגדיר גם שפות שאינן ב־ NPבאמצעות .S .2הראו כי אם דורשים כי Sיהיה ניתן לזיהוי פולינומי אך לא דורשים שיהיה חסום פולינומית ,ניתן להגדיר גם שפות שאינן ב־ NPבאמצעות .S S .3ייקרא חד־חד ערכי אם (x2 , y) ∈ Sוגם (x1 , y) ∈ Sגוררים .x1 = x2הוכיחו/הפריכו :לכל פולינומית ,ניתן לזיהוי פולינומי וחד־חד ערכי המגדיר את .L NP ∈ Lקיים Sחסום S .4ייקרא מונוטוני ממש אם לכל x1 , x2 , yכך ש־| |x1 | ≤ |x2וגם (x1 , y) ∈ Sמתקיים .(x2 , y) ∈ Sהוכיחו/הפריכו :לכל L ∈ NPקיים Sחסום פולינומית ,ניתן לזיהוי פולינומי ומונוטוני ממש המגדיר את .L .5יחס Sייקרא מונוטוני אם לכל x1 , x2 , y1 , y2כך ש־| (x1 , y1 ) ∈ S ,|x1 | ≤ |x2ו־ (x2 , y2 ) ∈ Sמתקיים | .|y1 | ≤ |y2 הוכיחו/הפריכו :לכל L ∈ NPקיים Sחסום פולינומית ,ניתן לזיהוי פולינומי ומונוטוני המגדיר את .L 2
© Copyright 2024