3ãã109ãŸã§ã«ã¯å
šéšã§28åã®å¥çŽ æ°ãååšããã
ãããã12åãåãåºãã6åãã€ã®2çµ
A=[p1,p2,p3,p4,p5,p6]
B=[q1,q2,q3,q4,q5,q6]
ã«åããããã®æ
p1^r+p2^r+p3^r+p4^r+p5^r+p6^r = q1^r+q2^r+q3^r+q4^r+q5^r+q6^r
ã
r=1,2,3,4,5
å
šãŠã§æç«ãããšããã
ãã®ãããª2çµA,Bã¯ã©ããªçµåããïŒ
ãããããèŠã€ããããæ¹ã¯ãã©ã®æ§ãªææ®µããšãåŸããããã®ãªã®ãç²çãæããŠæ¬²ããã
ïŒããæã§ãããªãã®ãæç«ã§ããçµåãããå¯èœã§ããããšãç¥ã£ãããç·åœããæ»æ
ã®æ¹æ³ã§ã¯ç§ã®æ®ãã®äººçã䜿ã£ãŠãæéãç¡ãïŒ)
[19, 29, 53, 73, 97, 107]
[17, 37, 43, 83, 89, 109]
ã£ãŠããšã§ããïŒ
ããææ®µãã§ãããã
æ°åŠæåç§è©±ãè€çŽ äžçã®æ¡åŒµãã§ç§ãååãŸã§æç€ºãã
[a+c, b+c, 2a+6b+c, 4a+4b+c, 5a+10b+c, 6a+9b+c]
[c, a+4b+c, 2a+b+c, 4a+9b+c, 5a+6b+c, 6a+10b+c]
ã§ãa=12, b=2, c=17 ãåœãŠã¯ããã ãã§ãã
ããããå
šãŠçŽ æ°ã«ããããšããã°ãa 㯠6 ã®åæ°ãb ã¯å¶æ°ãc 㯠7 以äžã®çŽ æ°ããããããã
6a+10b+câŠ109 ã®ç¯å²ã§ã¯ (a,b) ã®åããããã¿ãŒã³ã 4 éããããªãã®ã§é ã«è©ŠããŸããã
ããã°ã©ã ã§æ¢çŽ¢ããŸããã
(17,37,43,83,89,109)
(19,29,53,73,97,107)
å®è¡æé0.5ç§
ææ®µã®ç²ç
ã»5ä¹ã®ã¿ã§äžèŽãããã®ãæ¢ããäžèŽããã4ä¹ä»¥äžãèšç®
ã»äœ¿çšããæå€§ã®èŠçŽ ãæ±ºããŠãããp1ãšãã以éq1,p2,q2,p3,q3,p4,q4,p5,q5,p6ã®é ã«
æªäœ¿çšçŽ æ°ãããŠã¯ããŠããïŒæåŸã®q6ã¯ããŠã¯ããåèšã®å·®ã®5乿 ¹ãèšç®ïŒ
ãã ãp1ïŒp2ïŒp3ïŒp4ïŒp5ïŒp6, q1ïŒq2ïŒq3ïŒq4ïŒq5ïŒq6
äŸãã°æå€§ãp1=97ã®ãšã次ã®q1ã¯89,83,79,âŠã®é ã«ããŠã¯ãã
ããã§ãäŸãã°p1=97,q1=71ãšãªã£ããšããq2âŠ67ãã€97^5ïŒ71^5+67^5Ã5ãã
q1âŠ71ã§ã¯è§£ããªãããšãããããŸãã®ã§ãäžæ¢ããŸãã
# 97^5ïŒ73^5+71^5+67^5+61^5+59^5+53^5ã®ããã«ãã¡ããšå€å®ããã°73ã§ãè§£ããªã
# ããšãããããŸãããå€å®ãç²ãããŠ5ä¹ã®åæ°ãæžãããŠããŸãã
q1ïœp6ãã¹ãŠã«ãããŠãã®å€å®ãå
¥ããŸãã
# åé¡ããèãããšæå€§ã¯109ãšäºæ³ã§ããŸãããã念ã®ãã
# 107以äžãæå€§ãšããå Žåã«è§£ããªãããšã確èªããŸããã
# ã¡ãªã¿ã«æå€§ã109ã«åºå®ãããšEnterããŒãé¢ããŸã§ã«å®è¡ãçµãããŸãã
2016幎ã«è«æã«ãªã£ããã®ã
DD++ ããã«ãã£ãŠãšã£ãã«äžè¬åãããŠããããšã«ããã¯ãªã§ãã
http://eslpower.org/TarryPrb.htm#Ideal%20prime
ã§ã
[19, 29, 53, 73, 97, 107]
[17, 37, 43, 83, 89, 109]
ãæ¢ããŠãã ããã
ã10åã®çŽ æ°ã5åãã€ã«åããŠ1ïœ4ä¹ã§äžèŽããããã«ãããã«ãããš109ãŸã§ã§ã¯ç¡çã¿ããã§ããã
æ°åŠæåç§è©±ãè€çŽ äžçã®æ¡åŒµã
ãèŠãŠããããªããšãæãã£ãŠããããšãæãããæãåºããŸããã
ïŒå¹Žãçµã€ãšãã£ããå¿ããŠããŸããã®ã§ãã
æ¹ããŠããããªåé¡ã«æ·±ãé¢ãããã®ãªãã ãšèªèãæ°ãã«ããŸãã
DD++ãããèããããŠãã5ä¹åªãŸã§ã®ãã©ã¡ãŒã¿è§£ãªãäžçºãªãã§ããã
éå»ã®ããŒãã®ã¡ã¢ããµãè¿ã£ãŠããããDD++ããã®ä»ã«ãã©ã¡ãŒã¿è§£ãšããŠ
S(a,b,c)=[6*a-3*b-8*c, 5*a-9*c, 4*a-4*b-3*c, 2*a+2*b-5*c, a-2*b+c, b]
T(a,b,c)=[6*a-2*b-9*c, 5*a-4*b-5*c, 4*a+b-8*c, 2*a-3*b, a+2*b-3*c, c]
ã䜿ããš
S(52,17,19)
%136 = [109, 89, 83, 43, 37, 17]
T(52,17,19)
%139 = [107, 97, 73, 53, 29, 19]
ãŸã
S(74,43,29)
%137= [83, 109, 37, 89, 17, 43]
T(74,43,29)
%140 = [97, 53, 107, 19, 73, 29]
ãªã©äžçºã§æ±ãŸãããšãåºæ¥ãŸããã
ããããããã®ããã°ã©ã ã®çµã¿æ¹ãèªãã§ããããªå·¥å€«ãããªãäºã«ã¯æéãããããã£ãŠãæ±ããããšãäžå¯èœ
ã§ããããšãèªèãããŸããã
ããããªã¿ãŒã³ããŒãé¢ãç¬éã«çããæ±ãããããšã¯æãå
¥ããŸãã
æ§ã
ãªãªã³ã¯ããã©ã£ãŠæ
å ±ãéããŠã¿ããš
4ä¹åªãŸã§ã®çŽ æ°çµã¯
A=[401,521,641,881,911]
B=[431,461,701,821,941]
(2016幎çºè¡š)
ã®æ§ã§ãã
ããã«é©ãã¹ãã¯
A=[32058169621, 32367046651, 32732083141, 33883352071,
ã 34585345321, 35680454791, 36915962911, 38011072381,
38713065631, 39864334561, 40229371051, 40538248081]
B=[32142408811, 32198568271, 32900561521, 33658714231,
34978461541, 35315418301, 37280999401, 37617956161,
38937703471, 39695856181, 40397849431, 40454008891]
ã®ïŒçµã§ã®12åãã€ã®çŽ æ°ã§ã¯äœãš11ä¹åªãŸã§ã®çåŒãæç«ãããšããã
(2023,4,8çºè¡š)
ãšããããšã§ãã€ãæè¿ã®çºèŠã ããã§ãã
人éã®æ¢ãå·å¿µã¯ç©åããã®ã§ããã
4ä¹åªãŸã§ã®çŽ æ°çµã¯ããã£ãšå°ãããã®ããããŸãã
A=[23,31,103,109,167]
B=[13,59,67,131,163]
èªåã®ããã°ã©ã ã§èŠã€ããçµæã§ããããæå°è§£ã§ãã
GAIãããæžãããè§£ã¯åã1342ã«ãªããã¢ã5åãšãªã£ãŠããã察称ãªãè§£ã§ããã
ãšããã§ã5幎åã®ç§ã¯ãã©ã¡ãŒã¿è§£ãèŠã€ããæ¹æ³èªäœãäŒããã¿ããã§ããã
GAI ããã®æ¥œãã¿ã奪ããªãããã ã£ãã®ãããããšããããããªæ¢ãæ¹ã®ã¢ã€ãã¢ãåºãŠããã®ã§ä»ã®æ¹ã«å€ãªå
å
¥èгãäžããªãããã ã£ãã®ãâŠâŠã
ä»åã¯é瀺ããæ¹ã GAI ãããæ¥œãããããããªãããšããããšã§ã以äžã«æå³æ·±ãªããšãèšèŒããŠãããŸãã
f1(x) = x^17*(1-x^2)
f2(x) = 1-x^12
f3(x) = 1-x^14
f4(x) = 1-x^16
f5(x) = 1-x^18
f6(x) = 1-x^30
ãããã¯å
šãŠãfn(1) = 0 ãšãªãå€é
åŒã§ãã
ããŠãããã 6 ã€ã®åŒãæãåãããŠå±éãããšäœãèµ·ããã§ããããã
ç¡è¶èŠè¶åãããšãèµ·ããã§ã¯ãªãã§ããïŒ
ãããããªæ¯é¢æ°çåŒãæãã€ããŸããïŒ
DD++ããã®é ã®äžã¯ãªããéãã
ãããããããæ±ããŠãã
4ä¹åªãŸã§ã®çŽ æ°çµã¯ããã£ãšå°ãããã®ããããŸãã
A=[23,31,103,109,167]
B=[13,59,67,131,163]
ãšãããã®ã
DD++ããã®ææ³ã§æ§æããŠã¿ãããšææŠããŠã¿ãã
P=x^78 - x^74 + x^68 + x^66 - x^62 + x^58 + x^56 + x^54 - x^52 + x^48 + x^46 + x^44 + 2*x^36 + x^34 + x^26 + x^24 + x^22 + x^14 + x^12 + 1
ãªãã¡ãã£ãšäžçް工ãªåŒãå°å
¥ããããšã«ã¯ãªããŸããã
x^13*(x^22-1)*(x^18-1)*(x^14-1)*(x^12-1)*(x^10-1)*P
ã§è¡ãããã§ãã
<远䌞>
æåŸã®é¢åãªPãçç¥ããx^13ãåã«xã§
x*(x^22-1)*(x^18-1)*(x^14-1)*(x^12-1)*(x^10-1)
ãå±éãããš
A=[77, 53, 51, 49, 47, 45, 45, 43, 19, 15, 13, 11]
B=[67, 65, 63, 59, 35, 33, 33, 31, 29, 27, 25, 1]
ã®ã°ã«ãŒãåããå¯èœã§
ãã®12åãã€ã§ã®4ä¹åªãŸã§ã®çåŒãæç«ã§ããããšãèµ·ãããŸããã
ãããªãã§ããã
ãã®ææ³ãå±éåŸã®é
æ°ãå°ãªãããšããå¿
ãããå±éåã®ããŒãã®é
æ°ãå°ãªãããšãæå³ããªãã®ãé£ããç¹ã§ãã
çµå±ã®ãšãããåºãŠããé
ãã©ã®ãããå¹çããæ¶ããŠããããåè² ãªã®ã§âŠâŠã