חישוביות - תרגול חזרה 2014

Рет қаралды 30,809

Күн бұрын

תרגול חזרה לפני מבחן.
מלים (אפשר גם להפעיל כתוביות):
יש חוקרים שחוקרים אלגוריתמים.
או ל OS המירו דתם,
שיקוצים יש כמו OOP וכמו DB,
אך!
אני אינני כמותם.
אני נהנה על גבול פטיש,
ממכונות שרצות על עצמן.
יש לי כמיהה לבעיות הכרעה,
ולמשפט ההיררכיה בזמן.
אני חוקר בתאוריה
לא יודע שורת קוד לכתוב
אך אומרים הרי שתאוריה זה
קשה, אבל הכי טוב!
כי
יש מהנדסים מלאי תחושת שליחות
כותבים הם יישומים שתורמים לאנושות.
אך אני פסימי, לא בא לי לעזור,
אז אראה להם רק מה אי אפשר לפתור!
ספיקות של נוסחה בוליאנית,
קשה אפילו רק בקירוב.
קשה לחפש בגרף קליקה,
NP-קשה לי, קשה ועצוב (אבל הכי טוב)
מסכן הסוכן הנוסע,
קשה לו למצוא מעגל.
שלא לדבר על לבדוק עצירה -
זה לא רקורסיבי בכלל.
גם
מרצה שבא לבוש כמו למרתון ריצה,
לא יכול למצוא בגרף כיסוי עם תת-קבוצה.
כלום אינו פתיר, הכל NP-קשה
חוץ מהמבחן שיהיה ממש הוגן, נשבע לכם, מילה של שאול
לא רציתי ללמוד פסיכולוגיה,
יחב"ל לא קרץ לי כמעט.
אני בודק האם נוסחה היא טאוטולוגיה,
וממזער אוטומט.
לכתוב אפליקציות לסמארטפון
אומרים שזה כסף לא רע
במקום זה אני משחק עם רדוקציות
ושר בתרגול חזרה
כל אוטומט דטרמיניסטי, כל נוסחה עם כמתים.
כל שפה שלמה בPSPACE, כל מכונה עם k-סרטים.
כל מחלקת מייהיל-נרוד, כל דקדוק חסר-הקשר.
כל שנה אני כותב תרגילים קשים יותר.
מרגיז שאני לא יודע,
האם P מ NP שונה,
אז אני מוציא ת'תסכול בתרגול
של יום רביעי בשמונה.
כשתתלבטי איזה סטארטאפ לפתוח,
ואתה בין אפל לגוגל תחליט,
אני עוד אתמודד עם סטודנטים
ששכחו ללחוץ על submit.
לא באמת רע לי, בסך הכל מבסוט,
זה כיף פולינומיאלי לתרגל חישוביות.
ומחר כשלי יגיעו מבחנים בערימות,
כולכם תוציאו 100 אם לא תכתבו שטויות.
תודה לגפן נער על הצילום!
התרגול של 2013: • חישוביות 2013 - תרגול ...
התרגול של 2012: • חישוביות - תרגול לפני ...
וכמובן, לינק לשיר המקורי: • Every Sperm is Sacred ...