שיחה:בעיית הספיקות
שם הערך
עריכהאני מאמין ששם עברי כגון "בעיית הספיקות" עדיף על השם הלועזי SAT. איני בטוח האם השם "בעיית הספיקות" (בהתאמה ל-Satisfiability problem) ברור דיו, או שיש להבהיר בכותרת שמדובר בספיקות נוסחה בתחשיב הפסוקים. ("בעיית הספיקות בתחשיב הפסוקים") מה דעתכם? יובל מדר - שיחה 07:38, 29 באוקטובר 2008 (IST)
יש כאן בלבול כלשהו
עריכההתוצאה של Håstad מראה חסם של 7/8 רק לפסוקים שהם E3 (כלומר, כל פסוקית מכילה בדיוק שלושה ליטרלים שונים). בערך מתקבל הרושם שהיא תקפה לכל פסוק. בנוסף, מה שהוא מראה הוא שהקירוב הטוב ביותר הוא זה שמספק 7/8 מהפסוקיות; הוא עצמו קורא לכך "8/7 קירוב" (זה כמובן תלוי בהגדרה המדוייקת של קירוב) - כדאי להבהיר בערך במדוייק למה הכוונה. גדי אלכסנדרוביץ' - שיחה 15:58, 5 ביוני 2009 (IDT)
אחלה
עריכהוואללה, ערך טוב - פעם ראשונה שאני קורא ערך על סיבוכיות וחישוביות ומבין משהו!79.178.21.90 00:49, 4 באוגוסט 2011 (IDT)
תרגום שגוי
עריכהמצויין שבעיה זו רלוונטית ל"עיצוב חומרה". זהו תרגום שגוי של המונח design, בהקשר זה התרגום המדוייק יותר הוא "תכן חומרה".
בעיית הספיקות זה שם כללי מדי
עריכהבעיית 2SAT היא כמובן בעיה פולינומיאלית. הכוונה בערך זה היא לבעיית 3SAT, למרות שזה לא מוזכר בכלל בערך.
- לא נכון, בהיעדר הגבלות, הכוונה לבעיית הספיקות הכללית (עם אורכי פסוקיות לא חסומים), וזו בעיה קשה חישובית. יובל מדר - שיחה 16:04, 9 בדצמבר 2011 (IST)
משוב מ-1 בפברואר 2015
עריכהמאורגן, מסדור , ברור .... 213.151.48.137 12:12, 1 בפברואר 2015 (IST)