הכרעה
פירושים במילון להכרעה
במתמטיקה ובמדעי המחשב, בעיית הכרעה היא בעיה אשר יש לה תשובה של "כן" או "לא". דוגמה: השאלה האם מספר טבעי נתון הוא ראשוני היא בעיית הכרעה. מאידך, הבעיה "מציאת המספר הראשוני הקטן ביותר בעל 77 ספרות" אינה בעיית הכרעה, שכן התשובה עבורה אינה "כן" או "לא". בעיית הכרעה ידועה בתולדות המתמטיקה היא הבעיה העשירית של הילברט. בעיות הכרעה שקולות לשפות, כך שמילה נתונה נמצאת בשפה אם ורק אם התשובה עבורה בבעיית ההכרעה היא "כן". קבוצות מסוימות של בעיות הכרעה, כגון זו הקרויה NP-קשה, הן נושא מרכזי במדעי המחשב, בהיותן בגדר בעיה פתוחה רחבת הקף.
עד כה עסקנו במכונות טיורינג כלליות, המסוגלות לחשב פונקציה {\displaystyle f:\Sigma ^{*}\to \Sigma ^{*}} בהמשך הקורס נתמקד בקבוצה קטנה מתוך כלל מכונות הטיורינג, אשר מבצעות הכרעה של שפה, כלומר, מכונות המחשבות פונקציות בעלות פלט בינארי: כן או לא {\displaystyle f:\Sigma ^{*}\to \{0,1\}} לשם פשטות המודל, על מנת לסמן "קבלה" או "דחייה" נגדיר מצבים סופיים מתאימים {\displaystyle q_{acc},q_{rej}\in F} כמו כן, ניתן להניח ש-{\displaystyle q_{acc},q_{rej}}
הכרעה: לנטרל את האויב
תוכנית הכרעה
האומנם עת הכרעה בסוגיית דת ומדינה?
היעדר הכרעה הכרעה בשדה הקרב המודרני: תקציר יום עיון
"הכרעה על אורח החיים שלנו": קרב הבלימה של המפלגות החרדיות
"לכל הכרעה חינוכית יש מחיר"
בחירות בלי הכרעה: גנץ ונתניהו מנסים להרכיב ממשלה
הדילמה הקשה של הנגיד החדש - הכרעה בקרב על אפליקציות התשלומים
הכרעה = הרתעה ליברמן: בסוגיות דת ומדינה הגענו לפרשת דרכים המחייבת הכרעה
פסק הדין, המבוכה והתלונה: כך פרסמה שופטת הכרעה לפני שהסתיים המשפט
אסטרטגיה של אי הכרעה
הבחירות הקרובות הן הכרעה אומללה בין מיליטריזם לגזענות
מתרגלים הכרעה: "המלחמה" בחיזבאללה יוצאת לדרך
אני מגיע להכרעה נכונה בגלל אינטואיציה, ניסיון חיים הכפול מגילי ומקבלת מסרים בתקשור עם בורא עולם |
