מבוא
עד כה השנה, Quanta תיארה שלוש התקדמות מרכזיות בתיאוריית רמזי, המחקר כיצד להימנע מיצירת דפוסים מתמטיים. ה תוצאה ראשונה שים מכסה חדשה לגודל קבוצת מספרים שלמים מבלי להכיל שלושה מספרים ברווח שווה, כמו {2, 4, 6} או {21, 31, 41}. ה שני ו שְׁלִישִׁי באופן דומה לשים גבולות חדשים לגודל של רשתות ללא אשכולות של נקודות שכולן מחוברות או כולן מבודדות זו מזו.
ההוכחות מתייחסות למה שקורה כשהמספרים המעורבים גדלים לאין שיעור. באופן פרדוקסלי, זה לפעמים יכול להיות קל יותר מאשר להתמודד עם כמויות טורדניות בעולם האמיתי.
לדוגמה, שקול שתי שאלות על שבר עם מכנה ממש גדול. אפשר לשאול מהי ההרחבה העשרונית של, למשל, 1/42503312127361. או שאתה יכול לשאול אם המספר הזה יתקרב לאפס ככל שהמכנה יגדל. השאלה הראשונה היא שאלה ספציפית לגבי כמות בעולם האמיתי, וקשה יותר לחשב אותה מהשנייה, ששואלת כיצד הכמות 1/n ישתנה באופן "אסימפטוטי" כ n גדל. (זה מתקרב יותר ויותר ל-0.)
"זו בעיה שמטרידה את כל תיאוריית רמזי", אמר וויליאם גאסארך, מדען מחשבים באוניברסיטת מרילנד. "תיאוריית רמזי ידועה בכך שיש לה תוצאות יפות מאוד מבחינה אסימפטוטית." אבל ניתוח מספרים שקטנים מאינסוף דורש ארגז כלים מתמטי אחר לגמרי.
גאסארך חקר שאלות בתורת רמזי הכוללות מספרים סופיים גדולים מכדי שהבעיה תיפתר בכוח גס. בפרויקט אחד, הוא לקח על עצמו את הגרסה הסופית של פריצת הדרך הראשונה של השנה - מאמר פברואר מאת זנדר קלי, סטודנט לתואר שני באוניברסיטת אילינוי, אורבנה-שמפיין, ו ראגו מקה מאוניברסיטת קליפורניה, לוס אנג'לס. קלי ומקה מצאו גבול עליון חדש למספר מספרים שלמים בין 1 ל N אתה יכול להכניס לסט תוך הימנעות מהתקדמות תלת טווח, או דפוסים של מספרים ברווח שווה.
למרות שהתוצאה של קלי ומקה חלה גם אם N הוא קטן יחסית, זה לא נותן גבול שימושי במיוחד במקרה כזה. עבור ערכים קטנים מאוד של N, עדיף לך לדבוק בשיטות פשוטות מאוד. אם N הוא, נניח, 5, פשוט תסתכל על כל קבוצות המספרים האפשריות בין 1 ל N, ובחר את הגדול ביותר ללא התקדמות: {1, 2, 4, 5}.
אבל מספר התשובות האפשריות השונות גדל מהר מאוד ומקשה מדי על שימוש באסטרטגיה פשוטה כל כך. יש יותר ממיליון סטים המורכבים ממספרים בין 1 ל-1. יש יותר מ-2060 שימוש במספרים בין 1 ל-200. מציאת הסט ללא התקדמות הטוב ביותר עבור מקרים אלה דורשת מנה כבדה של כוח מחשוב, אפילו עם אסטרטגיות לשיפור היעילות. "אתה צריך להיות מסוגל לסחוט הרבה ביצועים מהדברים", אמר ג'יימס גלן, מדען מחשבים באוניברסיטת ייל. בשנת 2008, Gasarch, Glenn and קלייד קרוסקל של אוניברסיטת מרילנד כתב תוכנית כדי למצוא את ההגדרות הגדולות ביותר ללא התקדמות עד an N של 187. (עבודה קודמת קיבלה את התשובות עד 150, כמו גם עבור 157.) למרות רשימת הטריקים, התוכנית שלהם לקחה חודשים לסיום, אמר גלן.
כדי להפחית את העומס החישובי שלהם, הצוות השתמש במבחנים פשוטים שמנעו מהתוכנית שלהם לבצע חיפושים ללא מוצא ופיצלו את הסטים שלהם לחלקים קטנים יותר שהם ניתחו בנפרד.
מבוא
גאסארך, גלן וקרוסקל ניסו גם כמה אסטרטגיות אחרות. רעיון אחד מבטיח נשען על אקראיות. דרך פשוטה להמציא סט ללא התקדמות היא לשים 1 בסט שלך, ואז תמיד להוסיף את המספר הבא שלא יוצר התקדמות אריתמטית. בצע את ההליך הזה עד שתלחץ על המספר 10, ותקבל את הסט {1, 2, 4, 5, 10}. אבל מסתבר שזו לא האסטרטגיה הטובה ביותר באופן כללי. "מה אם לא נתחיל ב-1?" אמר גאסארך. "אם אתה מתחיל ממקום אקראי, אתה באמת מצליח יותר." לחוקרים אין מושג מדוע אקראיות כל כך שימושית, הוא הוסיף.
חישוב הגרסאות הסופיות של שתי התוצאות החדשות האחרות של תיאוריית רמזי מטריד אפילו יותר מאשר קביעת הגודל של קבוצות ללא התקדמות. תוצאות אלו נוגעות לרשתות מתמטיות (הנקראות גרפים) המורכבות מצמתים המחוברים בקווים הנקראים קצוות. מספר רמזי r(s, t) הוא המספר הקטן ביותר של צמתים שחייב להיות בגרף לפני שיהיה בלתי אפשרי להימנע מכלל קבוצה של s צמתים מחוברים או t מנותקים. מספר רמזי הוא כל כך כאב ראש לחשב שאפילו r(5, 5) לא ידוע - זה איפשהו בין 43 ל-48.
ב1981, ברנדן מקיי, כיום מדען מחשבים באוניברסיטה הלאומית של אוסטרליה, כתב תוכנה בשם nauty, שנועדה להפוך את חישוב מספרי רמזי לפשוט יותר. Nauty מבטיחה שהחוקרים לא יבזבזו זמן בבדיקת שני גרפים שהם רק גרסאות מתהפכות או מסובבות אחד של השני. "אם מישהו נמצא באזור ולא משתמש בנאוטי, המשחק נגמר. אתה חייב להשתמש בו," אמר סטניסלב רדזישובסקי, מתמטיקאי במכון הטכנולוגי של רוצ'סטר. ובכל זאת, כמות החישוב הכרוכה כמעט בלתי מובנת. בשנת 2013, Radziszowski and יאן גודגבור הוכיח את זה r(3, 10) הוא לכל היותר 42. "זה לקח, אני חושב, כמעט 50 שנות מעבד", אמר Goedgebeur, מדען מחשבים באוניברסיטת KU Leuven בבלגיה.
אם אינך יכול לחשב מספר רמזי מדויק, אתה יכול לנסות לצמצם את הערך שלו עם דוגמאות. אם תמצא גרף של 45 צמתים ללא חמישה צמתים שכולם היו מחוברים וללא חמישה צמתים שכולם מנותקים, זה יוכיח ש r(5, 5) גדול מ-45. מתמטיקאים שחקרו מספרי רמזי נהגו לחשוב שמציאת הדוגמאות הללו, הנקראות גרפי רמזי, תהיה פשוטה, אמר רדזישובסקי. אבל זה לא היה כך. "הייתה ציפייה שבניינים מתמטיים נחמדים ומגניבים יתנו את המבנים הטובים ביותר האפשריים, ואנחנו רק צריכים עוד אנשים שיעבדו על זה", אמר. "התחושה שלי היא יותר ויותר שזה כאוטי."
אקראיות היא גם מכשול להבנה וגם כלי שימושי. ג'פרי אקסו, מדען מחשבים באוניברסיטת אינדיאנה סטייט, השקיע שנים בחידוד שיטות אקראיות להפקת גרפים של רמזי. ב נייר 2015 בהכרזה על עשרות גרפים חדשים של רמזי, אקסו ומילוש טטרביץ' יצרו גרפים אקראיים ולאחר מכן שינו אותם בהדרגה על ידי מחיקה או הוספת קצוות שהפחיתו את מספר האשכולות הלא רצויים עד שמצאו גרף של רמזי. עם זאת, הטכניקות של Exoo הן אמנות ככל דבר, אמר רדזישובסקי. לפעמים הם דורשים ממנו לשלב מספר שיטות, או להשתמש בשיקול דעת לגבי איזה סוג של גרפים להתחיל איתם. "הרבה מאוד אנשים מנסים את זה, והם לא יכולים לעשות את זה", אמר רדזישובסקי.
הטכניקות שפותחו ליצירת גרפי רמזי יכולות להיות שימושיות יותר מתישהו, אמר Goedgebeur, בעל עבד על ייצור סוגים אחרים של גרפים, כגון גרפים המייצגים תרכובות כימיות. "לא מן הנמנע שניתן גם להעביר ולהתאים את הטכניקות הללו כדי לעזור ליצור סוגים אחרים של גרפים בצורה יעילה יותר (ולהיפך)", כתב בדוא"ל.
עם זאת, בעיני רדזישובסקי הסיבה ללימוד מספרי רמזי הקטנים היא הרבה יותר פשוטה. "כי זה פתוח, כי אף אחד לא יודע מה התשובה", אמר. "את המקרים הטריוויאליים אנחנו עושים ביד; קצת יותר, אתה צריך מחשב, וקצת יותר, אפילו המחשב לא מספיק טוב. וכך נוצר האתגר".
- הפצת תוכן ויחסי ציבור מופעל על ידי SEO. קבל הגברה היום.
- PlatoData.Network Vertical Generative Ai. העצים את עצמך. גישה כאן.
- PlatoAiStream. Web3 Intelligence. הידע מוגבר. גישה כאן.
- PlatoESG. רכב / רכבים חשמליים, פחמן, קלינטק, אנרגיה, סביבה, שמש, ניהול פסולת. גישה כאן.
- BlockOffsets. מודרניזציה של בעלות על קיזוז סביבתי. גישה כאן.
- מקור: https://www.quantamagazine.org/mathematical-tricks-for-taming-the-middle-distance-20230707/
- :יש ל
- :הוא
- :לֹא
- ][עמ'
- $ למעלה
- 1
- 10
- 20
- 200
- 2008
- 2013
- 2015
- 31
- 50
- a
- יכול
- אודות
- למעשה
- להוסיף
- הוסיף
- מוסיף
- כתובת
- מותאם
- התקדמות
- תעשיות
- גם
- תמיד
- כמות
- an
- מְנוּתָח
- ניתוח
- ו
- אנג'לס
- מכריז
- אחר
- לענות
- תשובות
- דבר
- ARE
- AREA
- אמנות
- AS
- At
- אוסטרלי
- לְהִמָנַע
- הימנעות
- BE
- כי
- הופך להיות
- לפני
- בלגיה
- הטוב ביותר
- מוטב
- בֵּין
- גָדוֹל
- גדול
- הגדול ביותר
- שניהם
- כָּרוּך
- פריצות דרך
- בְּהַרְחָבָה
- כוח זרוע
- אבל
- by
- לחשב
- חישוב
- קליפורניה
- נקרא
- CAN
- לא יכול
- כּוֹבַע
- מקרה
- מקרים
- לאתגר
- שינוי
- בדיקה
- כימי
- כיתות
- קרוב יותר
- לשלב
- איך
- חישוב
- לחשב
- המחשב
- מחשוב
- - כוח מחשוב
- דְאָגָה
- מחובר
- לשקול
- מורכב
- קריר
- יכול
- לִיצוֹר
- יוצרים
- התמודדות
- למרות
- קביעה
- מפותח
- אחר
- קשה
- מנותק
- מרחק
- do
- לא
- לא
- מטה
- עשרות
- כל אחד
- קל יותר
- יעילות
- או
- אמייל
- מתגלה
- מספיק
- מבטיח
- לַחֲלוּטִין
- אֲפִילוּ
- באופן שווה
- דוגמה
- דוגמאות
- הרחבה
- תוחלת
- רחוק
- פבואר
- מציאת
- גימור
- ראשון
- לעקוב
- בעד
- להכריח
- מצא
- שבריר
- החל מ-
- מִשְׂחָק
- כללי
- ליצור
- נוצר
- לקבל
- לתת
- טוב
- בהדרגה
- בוגר
- גרף
- גרפים
- קְבוּצָה
- לגדול
- גדל
- היה
- יד
- קורה
- קשה
- יש
- יש
- he
- לעזור
- לו
- מכה
- איך
- איך
- אולם
- http
- HTTPS
- i
- רעיון
- if
- אילינוי
- בלתי אפשרי
- in
- כולל
- לא מובן
- אין סוף
- מכון
- התכוון
- אל תוך
- מעורב
- מעורב
- מְבוּדָד
- IT
- שֶׁלָה
- רק
- קלי
- סוג
- ידוע
- גָדוֹל
- גדול יותר
- כמו
- קווים
- קְצָת
- לִטעוֹן
- נראה
- ה
- לוס אנג'לס
- מגרש
- עשוי
- מגזין
- גדול
- לעשות
- עושה
- רב
- הרבה אנשים
- מרילנד
- מתימטי
- מכה
- שיטות
- אמצע
- יכול
- מִילִיוֹן
- חודשים
- יותר
- רוב
- הרבה
- מספר
- צריך
- לאומי
- צורך
- רשתות
- חדש
- הבא
- נחמד
- לא
- צמתים
- עַכשָׁיו
- מספר
- מספרים
- מכשול
- of
- כבוי
- on
- ONE
- יחידות
- לפתוח
- or
- אחר
- הַחוּצָה
- יותר
- מאמר
- במיוחד
- חלקים
- דפוסי
- אֲנָשִׁים
- ביצועים
- לבחור
- מקום
- אפלטון
- מודיעין אפלטון
- אפלטון נתונים
- נקודות
- אפשרי
- כּוֹחַ
- קודם
- בעיה
- הליך
- הפקת
- תָכְנִית
- התקדמות
- פּרוֹיֶקט
- מבטיח
- הוכחות
- להוכיח
- הוכיח
- גם
- קוונטמגזין
- כמות
- שאלה
- שאלות
- מהירות
- אקראי
- אקראי
- עולם אמיתי
- בֶּאֱמֶת
- טעם
- מופחת
- זיקוק
- יחסית
- לייצג
- לדרוש
- דורש
- חוקרים
- תוצאה
- תוצאות
- סגל
- אמר
- לומר
- מַדְעָן
- שְׁנִיָה
- סט
- סטים
- כמה
- באופן דומה
- פָּשׁוּט
- מידה
- קטן
- קטן יותר
- So
- תוכנה
- ביום מן הימים
- אי שם
- ספציפי
- בילה
- לפצל
- לסחוט
- התחלה
- מדינה
- דִבּוּק
- עוד
- אסטרטגיות
- אִסטרָטֶגִיָה
- סטודנט
- מְחוֹשָׁב
- לימוד
- לומד
- כזה
- לוקח
- נבחרת
- טכניקות
- טכנולוגיה
- בדיקות
- מֵאֲשֶׁר
- זֶה
- השמיים
- האזור
- שֶׁלָהֶם
- אותם
- אז
- התאוריה
- שם.
- אלה
- הֵם
- דברים
- לחשוב
- זֶה
- השנה
- אלה
- אם כי?
- שְׁלוֹשָׁה
- זמן
- ל
- גַם
- לקח
- כלי
- ארגז כלים
- הועבר
- ניסיתי
- לנסות
- פונה
- שתיים
- UCLA
- הבנה
- אוניברסיטה
- אוניברסיטת קליפורניה
- לא ידוע
- לא סביר
- עד
- לא רצוי
- להשתמש
- מְשׁוּמָשׁ
- באמצעות
- ערך
- ערכים
- גרסה
- מאוד
- סְגָן
- היה
- לבזבז
- דֶרֶך..
- we
- webp
- טוֹב
- היו
- מה
- אשר
- בזמן
- מי
- למה
- יצטרך
- עם
- לְלֹא
- תיק עבודות
- היה
- שנה
- שנים
- אתה
- זפירנט
- אפס