1 יַחַס: בעיית הספיקות.
בעיית הספיקות
בעיית הספיקות בתחשיב הפסוקים (בקיצור: SAT - קיצור של המילה האנגלית Satisfiability, שמשמעותה ספיקות) הוא שמה של בעיית הכרעה הנחקרת במסגרת תורת הסיבוכיות במדעי המחשב.
חָדָשׁ!!: בעיית SAT ובעיית הספיקות · ראה עוד »