החדש "ממתקים קראש" משחק הצג יהיה תכונה משוגע, לרמות- Proof מתמטיקה

Uma dívida de gratidão (Homilia Diária.1627: Terça-feira da 32.ª Semana do Tempo Comum)

Uma dívida de gratidão (Homilia Diária.1627: Terça-feira da 32.ª Semana do Tempo Comum)
Anonim

כמו ציפורים כועסות ו פרוט נינג'ה לפני זה, קנדי קראש הוא עומד להתפתח יותר מאשר משחק נייד. אבל במקום לקבל את הטיפול מסך גדול כמו אבותיו, קנדי קראש הוא להיות מפותח כמו תוכנית פעולה לחיות CBS.

המפיק בפועל מאט קוניץ (הבחור מאחורי גורם פחד) מקווה כי 93 מיליון אנשים משחקים קנדי קראש גם רוצה לצפות, לכל הוליווד, "צוותים של שני להשתמש בשכל שלהם וזריזות פיזית להתחרות על לוחות משחק אינטראקטיביים עצומים." אבל בפועל קנדי קראש המתמודדים יצטרכו להיות הרבה יותר מאשר אהבה של המשחק כדי לנצח; הם יצטרכו להבין כמה מתמטיקה מורכבת מאוד.

בשנת 2014, חוקר הבינה המלאכותית האוסטרלית טובי וולש פרסם מאמר בטענה כי קנדי קראש הוא חידה שנופלת לתוך סוג של בעיות מתמטיות קשות חישוביות הנקראות NP, אשר מייצג "זמן פולינום לא neteterministic." בעיות NP הם אלה שבהם התשובה הנכונה ניתן לבדוק, כפי שוולש מתאר, "פעם זה רק פונקציה פולינומית של גודל הבעיה. "על ידי זכאות כמו NP קשה, קנדי קראש הוא באותה קטגוריה כמו בעיות כמו להבין איך התוואי משאיות כדי לספק חבילות או תזמון שיעורים בבית הספר. אלה הן בעיות אשר הופכות יותר קשה לפתור כמו גודל של קלט הוא גדל.

כמו יעקב אהרון מדען חדש מסביר, כדי להבין את הרכיב המתמטי של קנדי קראש וולש "יצר הסדרים של ממתקים שהם שווים להצהרות לוגיות במתמטיקה, הנקראים בעיית הבוליאן, אשר שואלת אם שורה של הצהרות הגיוניות תואמות או שתסתור זו את זו". מעגל זה הוביל את וולש להאמין כי קנדי קראש הוא תוכנן בצורה כי זה בדיוק כמו קשה לפתור כמו כל בעיה אחרת נמצאים NP - כלומר, מאוד קשה מאוד.

החדשות הרעות הן כי המדענים לא יודעים על דרך בטוחה כדי לפתור בעיות NP- שלם, אז אין המחיר נכון סגנון לרמות קודי עדיין.