תוצאות החיפוש

...צור המילה ה[[אנגלית]] Approximable, ניתן לקירוב) היא [[מחלקת סיבוכיות]] של בעיות אופטימיזציה להן ניתן למצוא פתרון מקורב על ידי [[אלגוריתם קירוב]] בסיבוכיות ...בזמן פולינומי אלא אם כן [[בעיית P=NP|P=NP]], כלומר - לכל הבעיות השייכות ל-NP קיים פתרון פולינומי. ...

...], [[צביעת גרף]], או מציאת [[גרף שלם|קליקה]] בגודל מסוים. גרסות ה-FNP עבור בעיות אלה, שואלות לא רק האם קיים פתרון אלא גם מהו אותו פתרון. ...h> מסוים. למרות זאת, יכול להיות יותר מיחס FNP אחד עבור בעיית הכרעה כלשהי ב-NP. ...

...יה]] חשובה, בה יש לארוז חפצים במספר מינימלי של דליים. הבעיה היא [[NP-קשיות|NP-קשה]]. ...היא NP-שלמה. הבעיה היא גם NP קשה חזקה, כלומר גם קבלת הקלט בכתיב אונארי היא NP קשה (בניגוד ל[[בעיית תרמיל הגב]] למשל). ...

...סיבוכיות)|21 הבעיות ה-NP-שלמות של קארפ]], הבעיות הראשונות שהוצגו כבעיות NP-שלמות. לבעיה זו יש שימושים רבים ב[[מערכת הפעלה|מערכות הפעלה]], [[בסיס נתונים|בסיס ==NP-קושי של הבעיה== ...

...בלתי מכוון נתון. בעיה זו היא בעיה [[NP-שלמה]], ומהווה אחת מ-21 הבעיות ה-NP-שלמות של קארפ. [[קטגוריה:בעיות NP-שלמות]] ...

ב[[תורת הסיבוכיות]], '''PSPACE''' היא מחלקת כל [[בעיית הכרעה|בעיות ההכרעה]] שניתן לפתור על ידי [[מכונת טיורינג|מכונת טיורינג דטרמיניסטית]] תוך '''NPSPACE''' היא מחלקת כל [[בעיית הכרעה|בעיות ההכרעה]] שניתן לפתור על ידי [[מכונת טיורינג לא-דטרמיניסטית]] תוך שימוש ב[[ס ...

...ב[[תורת הסיבוכיות]], הקובע שהבעיה [[בעיית הספיקות|SAT]] היא [[בעיה NP-שלמה|NP-שלמה]]. את המשפט הוכיחו, באופן בלתי תלוי, [[סטפן קוק]] בשנת [[1971]], ו[[לא ...כיות)|NP]]. זהו אוסף בעיות שככל הנראה גדול יותר מאוסף הבעיות P, שכן קיימות בעיות רבות שידוע כיצד לבדוק בזמן סביר אם פתרון מוצע אכן פותר אותן, אך לא ידועה דר ...

...שעבורן קיים מוודא בזמן פולינומי). בעיה זו משמשת בהוכחות רבות עבור בעיות NP-שלמות אחרות. ...ורה נורמלית קוניונקטיבית|בצורה הנורמלית הקוניונקטיבית]] (CNF), הבעיה תישאר NP-קשה. לכן, בשל נוחות העבודה עם נוסחאות בצורת CNF, מקובל לנסח את הבעיה רק עבו ...

בעיית k המרכזים ידועה כבעיה [[NP (סיבוכיות)#NP-קושי ובעיות NP-שלמות|NP שלמה]] מכיוון שניתן באמצעות [[רדוקציה חישובית]] להראות שבהינתן פתרון לבעיית [[קטגוריה:בעיות NP-שלמות]] ...

...''EXP''' או '''DEXPTIME''') היא [[קבוצה (מתמטיקה)|קבוצת]] כל [[בעיית הכרעה|בעיות ההכרעה]] הניתנות לפתרון באמצעות [[מכונת טיורינג]] דטרמיניסטית בזמן <math>O :[[P (מחלקת סיבוכיות)|P]] <math>\subseteq</math> [[NP (מחלקת סיבוכיות)|NP]] <math>\subseteq</math> [[PSPACE]] <math>\subseteq</math> EXPTIME <math>\s ...

...P-שלמות של קארפ|21 הבעיות הראשונות]] לגביהן הוכיח [[ריצ'רד קארפ]] כי הן NP-שלמות ...th>\ n^{1-\epsilon}</math> בגרף עם <math>n</math> קודקודים, היא עדיין בעיה NP-שלמה ...

...את אוסף בעיות הספירה הקשורות לבעיות ההכרעה השייכות למחלקה [[NP (סיבוכיות)|NP]]. בעיות רבות במדעי המחשב מנוסחות כ'''בעיות הכרעה''' - בעיות שהתשובה להן היא "כן" או "לא". למשל, האם ניתן לבחור [[קבוצה (מתמטיקה)|תת קבו ...

...uting Problem''' ובראשי תיבות: '''VRP)''' היא בעיית אופטימיזציה [[NP-קשיות|NP קשה]] בתכנות [[מספר שלם|בשלמים]], שמטרתה למצוא את הפתרון האופטימלי של מסלול ...הקלאסית של [[בעיית הסוכן הנוסע|הסוכן הנוסע]], ושייכת כמוה למשפחת הבעיות [[NP-קשיות]], ולפיכך פתרון אופטימלי אמיתי עשוי לקחת זמן ומשאבים רבים. לכן משתמשי ...

...פי שהראה הולייר{{הערה|1=[http://epubs.siam.org/doi/abs/10.1137/0210055 The NP-Completeness of Edge-Coloring]. [[קטגוריה:בעיות NP-שלמות]] ...

...am.org/doi/abs/10.1137/0210055]) ומכאן שגם שאלת קיום זרימת-3 לא מתאפסת היא NP שלמה. [[קטגוריה:בעיות NP-שלמות]] ...

...Michael R. Garey, David S. Johnson, Larry J. Stockmeyer, ''Some Simplified NP-Complete Graph Problems'', Theor. Comput. Sci. 1(3), 237-267, 1976.}}. בעיי [[קטגוריה:בעיות NP-שלמות]] ...

ב[[מדעי המחשב]], '''בעיית כיסוי הקודקודים''' היא בעיה [[NP-שלמה]] ב[[תורת הסיבוכיות]]. הבעיה נכללת ב[[21 הבעיות ה-NP שלמות של קארפ]]. ...

...(מתמטיקה)|אופטימיזציה]] ו[[סיבוכיות]]. הבעיה נכללת ברשימת [[21 הבעיות ה-NP שלמות של קארפ]]. שאלה זו היא [[NP-קשה]]; וגרסת בעיית ההכרעה שלה היא [[מחלקת סיבוכיות NPC|NP-שלמה]]. ...

...c{n}{3}}\rfloor</math>, למשל, למצולע קמור די בשומר יחיד) היא [[NP-קשה|בעיה NP-קשה]]. [[קטגוריה:בעיות NP-שלמות]] ...

...[P]] וגם אינן NP-שלמות (NPC). המחלקה של בעיות אלו נקראת NPI. נשים לב שאם P=NP, אזי NPI היא ריקה. ...'', שהוכח בשנת 1975 על ידי [[ריצ'רד לדנר]]. משפט לדנר קובע שאם <math>P\neq NP </math>, אזי NPI אינה ריקה. ...