שיחה:בעיית הספיקות

שם הערך

אני מאמין ששם עברי כגון "בעיית הספיקות" עדיף על השם הלועזי 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)