uint GetCountValidSum(uint n,uint &P,uint &a,uint &b)
{
uint Count=0;
// for(uint i=2;i<=sqrt(n);i++) // ОШИБКА!! for(uint i=2;i<n/2;i++) // Правильно так.// Внешний цикл//проверяет все разбиения суммы на 2 слагаемых.
{
uint count=0;
sMX J;
J.Join(MX[i],MX[n-i]); // объединяем множители слагаемых // 1. Вычисляем произведение (P=2*67*239). for(uint j=1; j<=J.GetCountAllSums(); j++) // Внутренний цикл // 2. Перебираем варианты группировки - 2*16013, 67*478, 134*239.
count+=IsValidSum(J,j); // j - номер суммы // 3. Вычисляем соответствующие суммы - 16015, 545, 373. if(count==1) // это условие истинно только если для конкретного набора множителей существует только одна валидная сумма
{ // т.е. если это так - мудрец А сможет однозначно определить числа
Count++;
P=J.Value();
a=i;
b=n-i;
}
}
return Count; // А вот если таких произведений, для которых мудрец А способен найти решение после второй реплики только одно
} // т.е. Count==1 тогда и мудрец В сможет однозначно найти решение
MetaDriver: (пост от 16.01.2011 04:14)
2011.01.16 03:41:44 MetaSage (EURUSD,H1) テスト⇒......など。他の選択肢はすべて偽である、とさえ言えます。
2011.01.16 03:41:40 MetaSage (EURUSD,H1) テスト => 2+888=890 false
2011.01.16 03:40:02 MetaSage (EURUSD,H1) テスト => 111+16=127 true
2011.01.16 03:39:23 MetaSage (EURUSD,H1) テスト => 3+592=595 false
2011.01.16 03:38:08 MetaSage (EURUSD,H1) テスト => 37+48=85 false
2011.01.16 03:38:08 MetaSage (EURUSD,H1) S=127; P=1776; a=16; b=111
S=127, P=1776 (数字-16と111)は解になりえない。
A：（1776=16*3*37。）わからない。
B：（127＝2＋odd_component.）君がいなくてもわかったよ。
A：（だから、和は2+奇数_成分。1776 = 16*111 = 48*37 = 592*3.合計で127、85、595となります。16*111でハイライトされたものだけが適合します）。数字を知る。
B：（ここでは、完全検索の2つのバリエーションだけを示しておきますが、それで十分です。
127=2+125.P(=2*5*5) = 2*125 = 10*25 = 50*5 和は127, 35, 55 である。割り当てられた1つだけが許される。35の和は、35=4+31=16+19=32+3（2の累乗と素数の和による曖昧な表現）であるため、受け入れがたいものです。候補者（番号は2番と125番）。
127=16+111.П(=16*3*37) = 16*111 = 48*37 = 592*3.合計で127、85、595となります。同様に候補者（数字は16と111。） ) 知りません。
___________________________________
あなたにとっての慰めは、2の位と素数の和として127が表せないことです。そういう数字はあまり多くないですが、珍しいものでもないですね。
S=373; P=19776; a=64; b=309を確認する。これは、私が疑っていた合成奇数での解答の2バージョン目です。
最初の2行はパス。3つ目。
А: (19776(=64*3*103) = 64*309 = 192*103 = 6592*3.合計は373, 295, 6595となる。割り当てられたものだけが適合する。ちなみに最後の金額は、金額の制限を外しても許容範囲に含まれない。だから64と309)。数字を知ること。
残りはまだわからない。しかし、最後のBの計算に行くと、すでに確認した和373=64+309の1つの分割が分かっており、最初の候補があることが分かります。
P.S. 推測してみよう（他に1つだけ、和が一致する例を探せばいい）。
Б: 373 = 32+341.П(=32*11*31) = 32*341 = 352*31 = 992*11.合計は373、383、1003となる。ハイライトされたものだけが適合します。他の2つはそうではないが、もっと微妙な理由で、それぞれが2の累乗と素数の和に曖昧に分解されている。この追加フィルターについては、すでにこちらで書いています。そこで、もう一つ、32と341という ペアの構想数字の候補があります。その結果、賢者Bは、考え出されたものの組を計算することができない。
MDは 、リストで判断すると、1つの製品だけ分解可能かどうかをチェックしていますね。すなわち、あなたは賢者Aの仕事をするのです。
最後のセリフの前のBの作品はどうでしょうか？彼の推理を思い起こしてみてください。S=373; P=19776; a=64; b=309の変種とする。
賢者Bは与えられた金額である373しか持っていない。そして、AはBの先ほどのヒントで、2乗への展開のすべての変種のうち、積19776=64*3*103が唯一許容される和を持つようにしたという情報があるのです。賢者Aは、3つのバリエーションをチェックするだけで十分なので、ほとんど仕事をする必要がなかった。Bはこれからどうするのか？
彼は373を2つの和集合に分解することをすべて 行わなければならない。これらは、2+371、3+370、4+369、...である。186+187.全部で185の選択肢があるんです。
各変形に対して，総和を掛け合わせ，先ほどのAと同じことをしなければならない。ここでは、例えば、バリアント134+239。
1.積を計算する（P=2*67*239）。
2.グループ化のバリエーション、2*16013、67*478、134*239を調べてみてください。
3.16015、545、373と 計算される。
4.545、373の2つの合計が認められる。したがって、"134+239 "のバリエーションは削除されます。
それは1つのバリエーションに過ぎない。そして、次のリストにあるものを見ていかなければならない。
そして、これら185種類の変種の中で、唯一許容される和を持つ ものがあって初めて、彼は自分のセリフを言うことができるのです。(注)選択肢「32+341」をチェックして、有効な和が1つあることを確認した後、立ち止まって「自分は数字を知っている」と宣言することはできない。彼はわざわざ、おそらく、他のすべてをチェックしなければならないのです。）
今のところ、ネットで見つけたのは、多少なりとも厳密な根拠があるものだけです。著者はKonstantin Knop氏。それは、ここ です。理由は私より少し複雑ですが、「合計が100より小さい」という制約に対して、彼は厳密にそれを終わらせるのです。しかし、より大きな 制約のある和については、彼はいくつかの仮説しか持っていない。そして、コンピュータエのアピールも...。
MD、掲載内容から判断して、1製品しか分解の可能性がないことを確認していないのですね。I .e.あなたは賢者Aの仕事をしています。
最後のセリフの前のBの作品はどうでしょうか？彼の推理を思い起こしてみてください。S=373; P=19776; a=64; b=309の変種とする。
賢者Bは与えられた金額である373しか持っていない。そして、AはBの先ほどのヒントで、2乗への展開のすべての変種のうち、積19776=64*3*103が唯一許容される和を持つようにしたという情報があるのです。賢者Aは、3つのバリエーションをチェックするだけで十分なので、ほとんど仕事をする必要がなかった。Bはこれからどうするのか？
彼は373を2つの和集合に分解 することをすべて 行わなければならない。これらは、2+371、3+370、4+369、...である。186+187.合計185の選択肢があるのです。// 金色の解説を参照
各変形に対して，彼は総和を掛け算し，Aが先に行ったことを行う必要がある．ここでは、例えば、バリアント134+239。
1.積を計算する（P=2*67*239）。
2.グループ化のバリエーション、2*16013、67*478、134*239を調べてみてください。
3.16015、545、373と計算される。
4.545、373の2つの合計が認められています。したがって、134+239のオプションは破棄される。
それは1つのバリエーションに過ぎない。そして、次のリストにあるものを見ていかなければならない。
そして、これら185の変種の中で、唯一許容される和を持つ ものがあって初めて、彼は自分のセリフを言うことができるのです。(注：「32+341」という選択肢を確認し、唯一の有効な和があることを確認した後、停止して「自分は数字を知っている」と宣言することはできない。彼はわざわざ、おそらく、他のすべてをチェックしなければならないのです。）
今のところ、ネットで見つけたのは、多少なりとも厳密な根拠があるものだけです。著者はKonstantin Knop氏。それは、ここ です。理由は私より少し複雑ですが、「合計が100より小さい」という制約に対して、彼は厳密にそれを終わらせるのです。しかし、より大きな 制約のある和については、彼はいくつかの仮説しか持っていない。そして、コンピュターへのアピール...。
そうではありません。ここでは、基本的なチェック方法を紹介します（下記参照）。3つ目のレプリカ（A）と4つ目のレプリカ（B）の公平性を一度にテストすることができます。
外側のループはレプリカ4の公正さをチェックする（大きなループの最後にある変数Count==1なら）。
内部ループは、キュー3の公正さをチェックします（内部ループの最後にある変数count==1の場合）。
下記本文中の緑色のコメント参照。
こんな感じ。:)
赤字は 、地形と連動させるために、手順本文にコメントとしてご所見をコピーしたものです。
S=127, P=1776 (数字-16と111)は解になりえない。
A：（1776=16*3*37。）わからない。
B：（127＝2＋odd_component.）あなたがいなくてもわかったわ。
A：（だから、和は2+奇数_成分。1776 = 16*111 = 48*37 = 592*3.合計で127、85、595となります。16*111でハイライトされたものだけが適切です）。数字を知る。
B：（ここでは、完全検索の2つのバリエーションだけを示しておきますが、それで十分です。
127=2+125.P(=2*5*5) = 2*125 = 10*25 = 50*5 和は127, 35, 55 である。割り当てられた1つだけが許される。35の和は、35=4+31=16+19=32+3（2の累乗と素数の和による曖昧な表現） であるため、受け入れがたいものです。候補者（番号は2番と125番）。
127=16+111.П(=16*3*37) = 16*111 = 48*37 = 592*3.合計で127、85、595となります。同様に候補者（数字は16と111。） ) 知りません。
___________________________________
あなたにとっての慰めは、2の位と素数の和として127が表せないことです。そういう数字はあまり多くないですが、珍しいものでもないですね。
S=373; P=19776; a=64; b=309を確認する。これは、私が疑っていた合成奇数での解答の2バージョン目です。
最初の2行はパス。3つ目。
А: (19776(=64*3*103) = 64*309 = 192*103 = 6592*3.合計は373, 295, 6595となる。割り当てられたものだけが適合する。ちなみに最後の金額は、金額の制限を外しても対象に含まれない。だから64と309)。数字を知ること。
残りはまだわからない。しかし、最後のBの計算に行くと、すでに確認した和373=64+309の1つの分割が分かっており、最初の候補があることが分かります。
P.S. 推測してみよう（他に1つだけ、和が一致する例を探せばいい）。
Б: 373 = 32+341.П(=32*11*31) = 32*341 = 352*31 = 992*11.合計は373、383、1003となる。ハイライトされたものだけが適合します。他の2つはそうではないが、もっと微妙な理由で、それぞれが2の累乗と素数の和に曖昧に分解さ れる。この追加フィルターについては、すでにこちらで書いています。そこで、もう一つ、32と341という ペアの構想数字の候補があります。その結果、賢者Bは、受胎した組を計算することができなくなる。
リョーシャ、あなた（とクノポフ）の判断基準について 2の累乗と素数の和による分解の一意性。 は、証明されていない仮説です。
これがよくあることだというのは、証明にはならない。だから、スタジオで証明するか、コンピュータでフルブルートフォーステストをするか、どちらかです。後者は、発表の事実による証明を必要としないため、好ましいと言えます。 私のテストには合格しません。
ちなみに、プログラムはデバッグされています - servicedeskがエラーを発見しました。私の問題であることが判明し（テスト手順でソートする前にメモリをゼロにする必要があった）、修正した。
トレーラーでプログレを
リョーシャ、あなた（とクノポフ）の基準について 2の累乗と素数の和による分解が一意であること は証明されていない仮説である。
私のじゃありません、あなたからもらったんです :)簡単に説明すると、「分解があいまいな場合（いくつかの方法がある）、和が無効 である」ということです。反論の準備はできていますか？どうぞ、例を待っています。
2の累乗の和と素数による分解を使う方法は、すでに投稿しています。証明はほとんどありませんが、観察力を活かした実用的な方法があり、それは100％合理的です。緑色で 表示されている部分をご覧ください。
リンクをクリックする必要がないように、ここにコピーしています。
実はもっと一般的な観測があります（MDの プリントアウトからわかります）。おそらくすべての妥当な選択は、2^nとp（素数）のペアに制限されています。証明はしていない、仮定しているに過ぎない。
さて、その前提で、実際に何かやってみましょう。賢者たちの対話で一番難しいのは、最後の一行だ。これまでのところ、多くの選択肢を検討する必要があるものです。すでに3つのレプリカがあり、最後の1つだけが残っていると仮定します。データシートの和が2^n+素数で 表せるのはいくつあるか？
なぜこのような特殊な分解をするのか？最後の行のBは、可能な和の分解（前の投稿を参照）と対応する積を考えて、積2*...*2*simpleに 出会ったので、それに対する和のうち1つだけが奇数であるので、許容できることをあらかじめ知っています - もし数が2の累乗と奇数の素数に等しいなら- 。これですぐに本命候補が出ます。
では、行ってみましょう。
11 = 2^2+7 = 2^3+3.候補は2つあります。すぐにガックリ。
17 = 2^2+13.このような投稿はもうありません。良い候補者です。
23 = 2^2+19 = 2^4+7.ガッカリだ。
27 = 2^2+23 = 2^3+19 = 2^4+11.さらに残念なことに
29 = 2^4+13.提出だけでもう一つの候補。
35 = 2^2+31 = 2^4+19 = 2^5+3.ガッカリだ。
37 = 2^3+29 = 2^5+5 .ガッカリだ。
41 = 2^2 +37. 投稿は 単数で。候補者
47 = 2^2+43 = 2^4+31.ガッカリだ。
51 = 2^2+47 = 2^3+43 .ガッカリだ。
53 = 2^4+37. サブミッションは単発 です。候補者
つまり、すべてのデータシートのうち、許容できる和は17、29、41、53の 4つしか残されていないのです。
混乱しています。軽率にさまざまなフィルターをかけると、ナンセンスなことになりかねません。
まあ、そんなところです。有効な分解方法が複数ある場合、その選択肢は無効であることには同意します。
しかし、これは有効な基準、例えばS="2+合算可能な奇数 "にのみ適用されます。この基準では、対応するレンマが厳密かつ正確に 証明される。
基準「2の次数＋素数」は問題の条件には現れず、証明されたレンマでもない。これは、ほとんどの ソリューションの特性に過ぎない。しかし、結果的には全部がそうではなかった。
まあ、ありがとう、少なくともこれは見てもらえた...。
基準「2の次数＋素数」は問題の条件には現れず、証明されたレンマでもない。これは、ほとんどの ソリューションの特性に過ぎない。しかし、結論から言うと、すべてではありません。
ここでは、見向きもされないが。私はそれを反基準として持っています。厳密かつ正確に 証明されています。もし、私の証明を見たくなければ、自分で試してみてください（上の記事の緑色の 部分です）。
和が2の位と素数の和としていくつかの 方法で表現可能な場合、その和は3回目の再接続の後に 無効となる。
注目すべきは、このように表現された和を一律に語っているわけではないことだ...。
P.S. あなたの「解答」16、111に対する私の反論を再確認しました。そこではまだエラーは出ていないようです。ここでコピーします。
S=127, P=1776 (数字は16と111)は解答になりえない。
A: (1776=16*3*37.)
B: (127 =2+ odd_component.)I knew [ that you don't know ] without you.
A：（だから、和は2+奇数_成分。1776 = 16*111 = 48*37 = 592*3.合計で127、85、595となります。85-2と595-2は素数なので、分解16*111でハイライトされたものだけが適合する）。数字を知る。
B：（ここでは、完全探索の2つのバリエーションだけを指摘し、それで十分であるとしている。
127=2+125.P(=2*5*5) = 2*125 = 10*25 = 50*5 和は127, 35, 55 である。認められるのは、ハイライトされた1つだけです。3回目の再提案の後の 35の和は、35=4+31=16+19=32+3（2の累乗と素数の和による曖昧な表現）なので、許されない。候補者（数字は2、125）。
127=16+111.П(=16*3*37) = 16*111 = 48*37 = 592*3.合計で127、85、595となります。同様に候補者（数字は16と111。） ) 知りません。Mathemat:
MD さんは、これを正しい反論と受け止めているのでしょうか？
そんなことはないだろう。
S=127, P=1776 (数字は16と111)は解答になりえない。
A：（1776=16*3*37。）わからない。
B: (127 =2+ odd_component.)I knew [ that you don't know ] without you.
A：（だから、和は2+奇数_成分。1776 = 16*111 = 48*37 = 592*3.合計で127、85、595となります。85-2と595-2は素数なので、分解16*111でハイライトされたものだけが適合する）。数字を知る。
B：（ここでは、完全検索の2つのバリエーションだけを指摘しておきますが、これで十分です。
127=2+125.P(=2*5*5) = 2*125 = 10*25 = 50*5 和は127, 35, 55 である。認められるのは、ハイライトされた1つだけです。3回目の再提案の後の 35の和は、35=4+31=16+19=32+3（2の累乗と素数の和による曖昧な表現）なので、許さ れない。候補者（数字は2、125）。
127=16+111.П(=16*3*37) = 16*111 = 48*37 = 592*3.合計で127、85、595となります。同様に候補者（数字は16と111。） ) 知りません。ここには論理的な間違いがある。
この推理の展開では、和が35であることは全く問題ない。なぜなら、賢者Aの3行目の基準はただ一つ、既知Bの和＝2＋奇数合成であるからだ。
35=2+33=2+3*11であるから、分解2+125は無効であり、 127と35は共に 有効である。残るは16と111。