[過去ログ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002レス)
前次1-
抽出解除 レス栞

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
660
(1): ◆pObFevaelafK [sage] 2023/07/26(水)11:23 ID:VqCU3DJB(7/17)
>>659
3ページに昇順のアルゴリズムがあるということは書いていません。3ページには、n≧3の全てのnで
r=2とr=3に対してグループ化を行い、pとrの一対一の関係を設定できるということを証明しています。
何度も書いていますが、アルゴリズムが昇順に変わるのは、4ページのn=17の後半の部分です。
662
(1): 132人目の素数さん [sage] 2023/07/26(水)11:43 ID:d386mASo(4/13)
>>660
>r=2とr=3に対してグループ化を行い、pとrの一対一の関係を設定できるということを証明しています。

降順の場合、2,3より大きいグループで対応をとれなかった合成数pが後回しにされるため
後回しにされたpがr=2とr=3で対応がとれることを保証する必要があります。
また、r=2のグループに属する6.10.12.14.…は、降順の場合、それぞれr=3.r=5.r=3.r=7…で対応が決まっている場合、r=2のグループとして扱いません。そのため、3ページの証明とやらは、降順の場合、r=2に対して、pとrの一対一の関係を設定できるということを証明していません。
前次1-
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル

ぬこの手 ぬこTOP 0.040s