19 יחסים: APX (מחלקת סיבוכיות), NP (מחלקת סיבוכיות), NP-שלמה, P (סיבוכיות), P=NP, PTAS, משפט קוק-לוין, מדעי המחשב, אלגוריתמיקה, אלגוריתם קירוב, ערך אמת, צורה נורמלית קוניונקטיבית, תחשיב פסוקים, תורת הסיבוכיות, למת המקומיות של לובאס, לוגיקה מתמטית, חיפוש מקומי, בעיית הכרעה, בינה מלאכותית.
APX (מחלקת סיבוכיות)
#הפניה APX.
חָדָשׁ!!: בעיית הספיקות וAPX (מחלקת סיבוכיות) · ראה עוד »
NP (מחלקת סיבוכיות)
במדעי המחשב, NP היא מחלקת סיבוכיות חשובה, שמכילה בעיות הנקראות "בעיות הכרעה", המוגדרות על ידי השאלה: בהינתן קלט, האם הוא מקיים תכונה נתונה? (דוגמה: הקלט יכול להיות מספר טבעי, והתכונה: המספר הוא זוגי, או ראשוני).
חָדָשׁ!!: בעיית הספיקות וNP (מחלקת סיבוכיות) · ראה עוד »
NP-שלמה
#הפניה NP (מחלקת סיבוכיות)#בעיות NP-קשות (NP-Hard) ובעיות NP-שלמות (NPC).
חָדָשׁ!!: בעיית הספיקות וNP-שלמה · ראה עוד »
P (סיבוכיות)
#הפניה P (מחלקת סיבוכיות).
חָדָשׁ!!: בעיית הספיקות וP (סיבוכיות) · ראה עוד »
P=NP
#הפניה בעיית P.
חָדָשׁ!!: בעיית הספיקות וP=NP · ראה עוד »
PTAS
#הפניה סכמת קירוב פולינומית.
חָדָשׁ!!: בעיית הספיקות וPTAS · ראה עוד »
משפט קוק-לוין
משפט קוק-לוין הוא משפט יסודי בתורת הסיבוכיות, הקובע שהבעיה SAT היא NP-שלמה.
חָדָשׁ!!: בעיית הספיקות ומשפט קוק-לוין · ראה עוד »
מדעי המחשב
מדְעי המחשב הם ענף מדעי העוסק בלימוד הבסיס התאורטי והמעשי של השימוש במערכות מחשב, ובמידה מסוימת, גם בשאלה של תכנון ובנייה של מערכות מחשב.
חָדָשׁ!!: בעיית הספיקות ומדעי המחשב · ראה עוד »
אלגוריתמיקה
#הפניה אלגוריתם.
חָדָשׁ!!: בעיית הספיקות ואלגוריתמיקה · ראה עוד »
אלגוריתם קירוב
אלגוריתם קירוב (באנגלית: approximation algorithm) הוא אלגוריתם שמוצא פתרון שאינו בהכרח פתרון אופטימלי לבעיה נתונה, אלא פתרון שקרוב לפתרון אופטימלי.
חָדָשׁ!!: בעיית הספיקות ואלגוריתם קירוב · ראה עוד »
ערך אמת
ערך אמת הוא מונח בו משתמשים בלוגיקה והוא מציין את הערך שביטוי מסוים יכול לקבל.
חָדָשׁ!!: בעיית הספיקות וערך אמת · ראה עוד »
צורה נורמלית קוניונקטיבית
#הפניה CNF.
חָדָשׁ!!: בעיית הספיקות וצורה נורמלית קוניונקטיבית · ראה עוד »
תחשיב פסוקים
#הפניה תחשיב הפסוקים.
חָדָשׁ!!: בעיית הספיקות ותחשיב פסוקים · ראה עוד »
תורת הסיבוכיות
תורת הסיבוכיות היא ענף של מדעי המחשב, שבמסגרתו חוקרים את הסיבוכיות של בעיות; כלומר, נבחנים המשאבים הנחוצים לפתרון בעיה נתונה באמצעות מחשב, ומושווית יעילותם של אלגוריתמים שונים בפתרון בעיה זו.
חָדָשׁ!!: בעיית הספיקות ותורת הסיבוכיות · ראה עוד »
למת המקומיות של לובאס
למת המקומיות של לובאס (באנגלית: Lovász Local Lemma) היא למה בתורת ההסתברות אשר פותחה בשנת 1975 על ידי לסלו לובאס ופול ארדש.
חָדָשׁ!!: בעיית הספיקות ולמת המקומיות של לובאס · ראה עוד »
לוגיקה מתמטית
לוגיקה מתמטית הוא תחום במתמטיקה, העוסק במערכות פורמליות ובדרך בה הן מגלמות מושגים אינטואיטיביים, כגון הוכחה או חישוביות.
חָדָשׁ!!: בעיית הספיקות ולוגיקה מתמטית · ראה עוד »
חיפוש מקומי
חיפוש מקומי הוא טכניקה היוריסטית-למחצה לפתרון בעיות מיטוב.
חָדָשׁ!!: בעיית הספיקות וחיפוש מקומי · ראה עוד »
בעיית הכרעה
150 פיקסלים במתמטיקה ובמדעי המחשב, בעיית הכרעה היא בעיה אשר יש לה תשובה של "כן" או "לא".
חָדָשׁ!!: בעיית הספיקות ובעיית הכרעה · ראה עוד »
בינה מלאכותית
250px בינה מלאכותית (באנגלית: אינטליגנציה מלאכותית - Artificial intelligence, ובראשי תיבות: AI) שם מטאפורי למצב בו מנסים לדמות את יכולות החשיבה האנושית באמצעים טכנולוגיים.
חָדָשׁ!!: בעיית הספיקות ובינה מלאכותית · ראה עוד »