שיחה:מבחן לוקאס-להמר למספרי מרסן
הוספת נושאשאלה: האם מבחן לוקאס-להמר עובד גם כאשר p פריק? ידוע לי שכאשר p פריק אין טעם בביצוע המבחן, כי מספר מרסן המתאים בהכרח פריק. שאלתי היא עקרונית - האם כאשר p פריק מבחן לוקאס-להמר אכן יראה זאת. אם זה נכון (שגם כאשר p פריק המבחן עובד) אולי כדאי לשנות את הניסוח בערך, כי ניתן להבין ממנו שהמבחן עובד רק עבור p ראשוני וגדול מ - 2.
מבחן ראשוניות מורחב
[עריכת קוד מקור]אני המצאתי מבחן ראשוניות שמרחיב את לוקאס-להמר למספרי מרסן לכל מספר שמשאיר שארית 7 מודלו 24 (במספרים אחרים הוא פשוט לא נותן תשובה נכונה). אם אני לא טועה ההוכחה למבחן למספרי-מרסן עובדת גם על המבחן שלי, חוץ מזה שצריך להוכיח שאין הננגשות ב-N (ראו פסאודו-קוד להלן).
פסאודו-קוד של האלגוריתם:
- קלט - inp
- קבע n ל-
- רשימות - L,N,O \ כאשר L היא (סדרת לוקאס), O היא ו-N היא סדרת מספרים טבעיים שמשתנה בין כל מספר למספר ועוזרת לחישוב. חשוב - L ו-O הן מודלו inp, כלומר, כשמכניסים אליהם מספר i לא מוכנס המספר עצמו, אלא (אני יודע שזה לא מקובל, אבל זה פסאודו-קוד, מה אתם רוצים?)
- הוסף 4 ל-L \ מקום 0 -
- חזור פעמים:
- הוסף את L(length(L))^2-2 ל-L \ מחשב לפי הנוסחא
- קבע l ל-
- הכנס n במקום l ב-N
- קבע m ל-n
- חזור עד ש-m הוא חזקה של 2
- קבע k ל-m-2^l
- הכנס k במקום ב-N
- הכנס במקום
- קבע l ל-l-1
- קבע m ל-
- הכנס במקום ה-l של O
- חזור עד ש-
- קבע l ל-l+1
- הכנס את במקום ה-l של O \ מחשב לפי הנוסחא
- אם O(l)=0 המספר ראשוני, אחרת המספר פריק
רוב האלגוריתם הוא חישוב .
אם אני לא טועה, גם לאלגוריתם הזה יש סיבוכיות של . רועי.ס - שיחה 09:12, 27 באוגוסט 2014 (IDT) (את כל הפסקא עד לכאן אני כתבתי)
- יש לי הוכחה שאין התנגשות בהכנסה ל-N. זו הוכחה באינדוקציה. הנחת האינדוקציה - החזקות של 2, בהן האלגוריתם מסתיים ישר ולא מוכנסים עוד ערכים ל-N. צעד האינדוקציה - נניח שלכל המספרים הקטנים מ-m אין התנגשות, עכשיו, כשמגיעים ל-m מכניסים לרשימה שני מספרים - ו-, נניח בלי הגבלת הכלליות ש-k הוא המקסימלי מביניהם. מכיוון ש- הוא מוכנס במקום ה-lg(m)-1, כלומר, עוברים עליו בצעד הבא. עכשיו מכיוון ש-k<m (הוא נוצר מחיסור של משהו או מ-m או ממספר קטן ממנו) פועלת עליו הנחת האינדוקציה, זאת אומרת שאין התנגשויות אחריו, עכשיו, בצעד הבא מגיעים ל- ול-, מ.ש.ל. -- רועי.ס - שיחה 12:34, 27 באוגוסט 2014 (IDT)
- יש בעיה באלגוריתם - אמנם הכיוון שמוצג בערך (שעל כל מספר ראשוני האלגוריתם יענה "ראשוני") עובד טוב גם לגביו, אך בכיוון השני יש מספרים בעייתיים (הקטן ביותר מביניהם הוא 1,037,623). ברצוני לדעת איך פועל הכיוון השני של ההוכחה ולמה הוא נופל אצלי אבל לא במספרי-מרסן.
- דרך אגב, בפסאודו-קוד, lg מעוגל למטה (אני לא יודע איך זה בד"כ) (שכחתי לחתום על ההודעה הקודמת) -- רועי.ס - שיחה 13:55, 28 באוגוסט 2014 (IDT)
- יש בעיה באלגוריתם - אמנם הכיוון שמוצג בערך (שעל כל מספר ראשוני האלגוריתם יענה "ראשוני") עובד טוב גם לגביו, אך בכיוון השני יש מספרים בעייתיים (הקטן ביותר מביניהם הוא 1,037,623). ברצוני לדעת איך פועל הכיוון השני של ההוכחה ולמה הוא נופל אצלי אבל לא במספרי-מרסן.
- מה האלגוריתם הזה מחשב, מתמטית? עוזי ו. - שיחה 13:59, 28 באוגוסט 2014 (IDT)
- הוא מחשב את כאשר n הוא הקלט ו- היא סדרת לוקאס המוגדרת ע"י נוסחת הנסיגה ותנאי ההתחלה ומשווה אותו ל-0 -- רועי.ס - שיחה 14:35, 28 באוגוסט 2014 (IDT)
- אופס התבלבלתי, האלגוריתם לא מחשב את , אלא את . -- רועי.ס - שיחה 16:26, 28 באוגוסט 2014 (IDT)
- הבנתי איפה האלגוריתם שלי נופל - בסדרה הזאת (), מכיוון שהיא סימטרית מטבעה, אפסים יכולים לבוא רק במקומות שהם כפולות אי-זוגיות של מקום האפס הראשון. עכשיו, מכיוון שבודקים את המקום ה- אם n הוא מספר-מרסן זה מקום שהוא חזקה של 2, כך שאם יש בו 0 זה האפס הראשון, אבל במקרה של 1,037,623, 259,406 הוא לא חזקה של 2, ואכן ה-0 שמופיע שם אינו ה-0 הראשון, אלא ה-9,265. ה-0 הראשון מופיע כבר במקום ה-14. -- רועי.ס - שיחה 23:29, 28 באוגוסט 2014 (IDT)
- זה לא מוכרח להיות עניין לניחושים. נוסחת הרקורסיה מראה ש- כאשר . אם אז 3 הוא שארית ריבועית ולכן alpha בשדה מסדר p והחזקה ה-p-1 שלו היא 1; לכן ואפשר להמשיך ולנתח מהו בהנחה שהחזקה היא מספר שלם. עוזי ו. - שיחה 05:00, 29 באוגוסט 2014 (IDT)
- הבנתי (נראה לי) את מה שאמרת, אבל איך זה קשור לנפילת האלגוריתם שלי? מה שהתכוונתי לומר הוא שבגלל שהסדרה () סימטרית סביב המקום ה-0 ואנטי סימטרית סביב כל מקום שיש בו 0 (זה קורה מודלו כל מספר), אפסים יכולים לבוא רק במקומות שהם כפולות אי-זוגיות של מקום האפס הראשון. במספרי-מרסן, המקום שבודקים הוא חזקה של 2, ולכן זה חייב להיות ה-0 הראשון, מודלו כל גורם ראשוני, אך אם יש 0 שנובע מאחד מהגורמים הראשוניים (בינתיים יש לי הוכחה רק למספר שיש לו גורם ראשוני שמשאיר שארית 7 בחלוקה ל-24) מודלו הגורם, אז לא יכול להופיע 0 במקום שבודקים, גם לא מודלו הגורם. אשמח אם תביא את ההוכחה המלאה, רועי.ס - שיחה 09:01, 29 באוגוסט 2014 (IDT)
- יש לי תחושה בקשר לדרך הוכחה - מוכיחים בשיטות המערבות רק ענייני התחלקות שלא יכולים להיות למספר גורמים השקולים ל-13 מודלו 24 או ל-5 מודלו 6 ואז מראים בדרך שהראיתי בהודעה הקודמת שלישלא יכול להיות לו גם גורם השקול ל-7 מודלו 24 וכך מסתיימת ההוכחה מכיוון שאי אפשר להגיע למספר השקול ל-7 ע"י מכפלה של מספרים השקולים ל-19 או ל-1. -- רועי.ס - שיחה 09:36, 29 באוגוסט 2014 (IDT)
- נניח ש-p ראשוני. אם ורק אם , אם ורק אם . אני חושד שזה לא קורה לעולם, וצריך להיות n-1 במקום n+1. עוזי ו. - שיחה 14:53, 29 באוגוסט 2014 (IDT)
- קח לדוגמא את p=7, שם וגם , כך שאני לא מבין מה הבעיה כאן. גם עבור p=79, שאינו מספר מרסן, זה קורה וההוכחה בערך מוכיחה גם את זה אם בהתחלה יש את הנוסחה הסגורה ל- ולא את המקרה הפרטי שמוכיחים באינדוקציה. -- רועי.ס - שיחה 09:51, 30 באוגוסט 2014 (IDT)
- נניח ש-p ראשוני. אם ורק אם , אם ורק אם . אני חושד שזה לא קורה לעולם, וצריך להיות n-1 במקום n+1. עוזי ו. - שיחה 14:53, 29 באוגוסט 2014 (IDT)
- יש לי תחושה בקשר לדרך הוכחה - מוכיחים בשיטות המערבות רק ענייני התחלקות שלא יכולים להיות למספר גורמים השקולים ל-13 מודלו 24 או ל-5 מודלו 6 ואז מראים בדרך שהראיתי בהודעה הקודמת שלישלא יכול להיות לו גם גורם השקול ל-7 מודלו 24 וכך מסתיימת ההוכחה מכיוון שאי אפשר להגיע למספר השקול ל-7 ע"י מכפלה של מספרים השקולים ל-19 או ל-1. -- רועי.ס - שיחה 09:36, 29 באוגוסט 2014 (IDT)
- הבנתי (נראה לי) את מה שאמרת, אבל איך זה קשור לנפילת האלגוריתם שלי? מה שהתכוונתי לומר הוא שבגלל שהסדרה () סימטרית סביב המקום ה-0 ואנטי סימטרית סביב כל מקום שיש בו 0 (זה קורה מודלו כל מספר), אפסים יכולים לבוא רק במקומות שהם כפולות אי-זוגיות של מקום האפס הראשון. במספרי-מרסן, המקום שבודקים הוא חזקה של 2, ולכן זה חייב להיות ה-0 הראשון, מודלו כל גורם ראשוני, אך אם יש 0 שנובע מאחד מהגורמים הראשוניים (בינתיים יש לי הוכחה רק למספר שיש לו גורם ראשוני שמשאיר שארית 7 בחלוקה ל-24) מודלו הגורם, אז לא יכול להופיע 0 במקום שבודקים, גם לא מודלו הגורם. אשמח אם תביא את ההוכחה המלאה, רועי.ס - שיחה 09:01, 29 באוגוסט 2014 (IDT)
- יש לי רעיון איך לשפר את האלגוריתם - במקום לחשב את ולהשוות ל-0, הוא מחשב את ומשווה אותו ל- ול- ומשווה את ל-2. אם אחד משני השוויונות הראשונים והשוויון השלישי מתקיימים הוא אומר שהמספר ראשוני, אחרת הוא אומר שהמספר פריק. על כל מספר ראשוני האלגוריתם אומר שהוא ראשוני, מכיוון ש- (השוויון השלישי) ו- שהוא השורש של 2 מודלו n ובגלל השוויון השלישי (שכבר הסברתי איך הוא מתקיים) נובע גם שאחד משני השוויונות הראשונים מתקיימים - בדיוק התנאים של החזרת "המספר ראשוני". עוד תוצאה טובה היא שכל מספר שעבורו האלגוריתם הזה טועה, גם האלגוריתם הקודם טועה. זה מתקיים מכיוון שהמספרים שהאלגוריתם הקודם מחזיר עליהם שהם ראשוניים הם בדיוק אלו המקיימים את השוויון השלישי (בעצם ההוכחה שכל מספר ראשוני מקיים את השוויון השלישי עובדת טוב גם כאן) ומכיוון שהאלגוריתם כאן דורש עוד תכונות הרי שהוא טועה לגבי פחות מספרים.
- זה לא מוכרח להיות עניין לניחושים. נוסחת הרקורסיה מראה ש- כאשר . אם אז 3 הוא שארית ריבועית ולכן alpha בשדה מסדר p והחזקה ה-p-1 שלו היא 1; לכן ואפשר להמשיך ולנתח מהו בהנחה שהחזקה היא מספר שלם. עוזי ו. - שיחה 05:00, 29 באוגוסט 2014 (IDT)
- הבנתי איפה האלגוריתם שלי נופל - בסדרה הזאת (), מכיוון שהיא סימטרית מטבעה, אפסים יכולים לבוא רק במקומות שהם כפולות אי-זוגיות של מקום האפס הראשון. עכשיו, מכיוון שבודקים את המקום ה- אם n הוא מספר-מרסן זה מקום שהוא חזקה של 2, כך שאם יש בו 0 זה האפס הראשון, אבל במקרה של 1,037,623, 259,406 הוא לא חזקה של 2, ואכן ה-0 שמופיע שם אינו ה-0 הראשון, אלא ה-9,265. ה-0 הראשון מופיע כבר במקום ה-14. -- רועי.ס - שיחה 23:29, 28 באוגוסט 2014 (IDT)
- אופס התבלבלתי, האלגוריתם לא מחשב את , אלא את . -- רועי.ס - שיחה 16:26, 28 באוגוסט 2014 (IDT)
- הוא מחשב את כאשר n הוא הקלט ו- היא סדרת לוקאס המוגדרת ע"י נוסחת הנסיגה ותנאי ההתחלה ומשווה אותו ל-0 -- רועי.ס - שיחה 14:35, 28 באוגוסט 2014 (IDT)
- נגדיר ברקורסיה את הסדרה לפי , ו-. אז כאשר .
- לכן גם אם ורק אם בהרחבה של השדה מסדר p.
- 3 הוא שארית ריבועית מודולו p אם , ו-3 אינו שארית ריבועית מודולו p אם .
- טענה. אם 3 שארית ריבועית אז . אם 3 אינו שארית ריבועית אז . הוכחה. במקרה הראשון זה משפט פרמה הקטן. במקרה השני , ומשפט לגרנז' בחבורה הכפלית של השדה מוכיח רק ; אבל מכיוון ש- הוא שורש של הפולינום , הנורמה שלו בהרחבה היא 1, והנורמה שווה לחזקה ה-p+1.
- בהנתן (עבור ערך כלשהו של N), אפשר לחשב אחורנית את החזקות ה-N/2^i; בהנחה ש-p אכן ראשוני, מגיעים מתישהו למינוס אחת, או שכל הערכים הם 1 (כמו במבחני הראשוניות המוכרים). עוזי ו. - שיחה 22:50, 30 באוגוסט 2014 (IDT)
- אני לא מבין מה הקשר בין מה שאתה אומר לאלגוריתם שלי. -- רועי.ס - שיחה 14:13, 31 באוגוסט 2014 (IDT)
האם במימוש של לוקאס-להמר משתמשים בהתמרת פורייה המהירה כדי להעלות בריבוע את המספרים? כי אם כן אז:
א. האלגוריתם שלי אטי יותר מלוקאס-להמר (בגלל שבאלגוריתם שלי החילוק-עם-שארית לוקח פעולות ואילו לחלק במספרי-מרסן עם שארית אפשר בזמן ).
ב. צריך להבהיר בערך שלא מעלים בריבוע בצורה הרגילה, אלא משתמשים בהתמרת פורייה המהירה, מה שמקצר את זמן ההעלאה בריבוע ל- ואת זמן פעולתו של האלגוריתם ל-. -- רועי.ס - שיחה 21:01, 10 בספטמבר 2014 (IDT)