[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
559: 2023/07/23(日)16:55 ID:6nmrhm1j(1/4) AAS
>>556
それは命題Bが常に真というのが間違っているっていう話なだけです。
常に真なら、Aの真偽問わず真です
そもそも"常に真"の定義が、高木くんの独自の定義だと思います
常に真とはなんですか？
566(1): 2023/07/23(日)18:10 ID:6nmrhm1j(2/4) AAS
>>560
n*が存在するということが偽であるのであれば、命題Bを否定する
ことはできません。
n*が存在するということが真であれば、命題Bは否定される。
それを命題AとBは独立ではないと言いますが、これぐらいは理解してくださいね
n*が存在する場合、あなたのアルゴリズムはr=2にて余ったpを飛ばすステップが必要です。それを書いていないのは、ルジャンドル予想が正しいことが前提とされているからです。
前提としない場合、最小の素因数のグループでも余ったpを飛ばす必要があります。
省3
571(1): 2023/07/23(日)19:15 ID:6nmrhm1j(3/4) AAS
>>569
だから独立じゃないんですよ
まずそこを認めなさい
50歳を過ぎたいい大人が、レベルが低い高校生みたいな真似しなさんな
あ、レベルが低い高校出身でしたか
572: 2023/07/23(日)19:26 ID:6nmrhm1j(4/4) AAS
＞それを書いていないのは、ルジャンドル予想が正しいことが前提とされているからです。
>そのような事はありません。
あります。高木くんが気づいてないだけです。アルゴリズムを構築する段階ではr=2でpが余る場合の処理を定義する必要があります。
その必要がない、と思ってますよね。それがルジャンドル予想が正しいと前提にしてるんですよ。
対応関係を作るアルゴリズムを実行する前の構築の段階で、ですよ。
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.040s