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) Test => 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）不能成为一个解决方案。
答：（1776=16*3*37。）不知道。
B：(127=2+奇数。)没有你，我也知道。
答：（所以和是2+奇数_分量。1776 = 16*111 = 48*37 = 592*3.总数为127，85，595。只有突出显示的那个16*111是合适的）。了解这些数字。
B：（这里我只指出完整搜索的两种变体，这就足够了。
127=2+125.P(=2*5*5)=2*125=10*25=50*5.和是127，35，55。只有一个--被分配的那个--是允许的。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。） ) 我不知道。
___________________________________
让你感到安慰的是，127作为2的度数和一个素数的总和是不可表示的。这样的数字不多，但也不算太少。
检查S=373；P=19776；a=64；b=309。这是你的解决方案的第二个版本，有一个复合奇数，我对此表示怀疑。
前两行通过。第三个。
А: (19776(=64*3*103) = 64*309 = 192*103 = 6592*3.总数为373，295，6595。只有分配到的那份合适。顺便说一下，即使取消了对金额的限制，最后一笔金额也不包括在可允许的范围内。所以64和309）。 了解数字。
还没有想出其他的办法。但到了最后一个B的计算，我们已经知道，和373=64+309的一个拆分我们已经检查过了，我们有了第一个候选人。
P.S. 让我们试着猜一猜（只要找到另一个有单一匹配和的例子）。
Б: 373 = 32+341.П(=32*11*31) = 32*341 = 352*31 = 992*11.总数为373，383，1003。只有突出显示的那一个适合。其他两个则不然，但原因更微妙：它们中的每一个都被模糊地分解为二的幂和素数之和。我已经在这里写过关于这个额外的过滤器。因此，我们又有了一对构想中的数字的候选人--32和341。因此，圣人B将无法计算出这对设想中的1。
MD， 从清单上看，你只检查了一个产品的可能分解。也就是说，你做了圣人A的工作。
B在最后一句话之前的工作情况如何？回顾一下他的推理是什么。让它成为变体S=373；P=19776；a=64；b=309。
圣人B只拥有给他的金额--373。而且有信息表明，A利用B之前的提示，确保在所有扩展为2个乘数的变体中，乘积19776=64*3*103具有唯一可接受的和。圣人A几乎不用工作，因为他只检查三个变体就足够了。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。因此，"134+239 "的变体被放弃。
这只是一个变体。然后他必须通过名单上的下一个人。
只有当所有这些185个变体中，他只有一个具有单一可接受的总和 时，他才能说他的路线。(注意：在检查了 "32+341 "这个选项并看到有一个有效的和之后，他不能停止并宣布他知道这些数字。他必须一路走下去，并检查，也许，所有其他的：如果有更多的变体与一个允许的变体呢？)
到目前为止，我在网上只找到一个或多或少的严谨推理。作者是康斯坦丁-克诺普。它在这里。这个推理比我的要复杂一些，但对于 "总和小于100 "的约束，他严格地把它带到了终点。然而，对于有较大 约束的和，他只有几个假设。并呼吁计算机要...
MD，从清单上看，你只检查了一个产品的可能分解。即 你在做圣人A的工作。
B在最后一句话之前的工作情况如何？回顾一下他的推理是什么。让它成为变体S=373；P=19776；a=64；b=309。
圣人B只拥有给他的金额--373。而且有信息表明，A利用B之前的提示，确保在所有扩展为2个乘数的变体中，乘积19776=64*3*103具有唯一可接受的和。圣人A几乎不用工作，因为他只检查三个变体就足够了。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。因此，134+239的方案被放弃了。
这只是一个变体。然后他必须通过名单上的下一个人。
只有当所有这些185个变体中，他只有一个具有单一可接受的总和 时，他才能说他的路线。(注意：在检查了 "32+341 "这个选项并看到有一个有效的和之后，他不能停止并宣布他知道这些数字。他必须一路走下去，并检查，也许，所有其他的：如果有更多的变体与一个允许的变体呢？)
到目前为止，我在网上只找到一个或多或少的严谨推理。作者是康斯坦丁-克诺普。它在这里。这个推理比我的要复杂一些，但对于 "总和小于100 "的约束，他严格地将其带入了终点。然而，对于有较大 约束的和，他只有几个假设。也是对一个计算机公司的呼吁。
并非如此。以下是基本的检查程序（见下文）。它一次性测试了第三个（A）和第四个（B）副本的公平性。
外循环检查副本4的公平性（如果大循环结束时的Count变量==1）。
内循环检查线索3的公平性（如果内循环末尾的count变量==1）。
见下面文本中的绿色评论。
类似这样的事情。:)
在红色的地方， 我把你的发现作为评论复制到程序的文本中，以便把它与地形联系起来。
S=127，P=1776（数字-16和111）不能成为一个解决方案。
答：（1776=16*3*37。）不知道。
B：(127=2+奇数。)没有你，我也知道。
答：（所以和是2+奇数_分量。1776 = 16*111 = 48*37 = 592*3.总数为127，85，595。只有突出显示的16*111的那个适合）。了解这些数字。
B：（这里我只指出完整搜索的两种变体，这就足够了。
127=2+125.P(=2*5*5)=2*125=10*25=50*5.和是127，35，55。只有一个--被分配的那个--是允许的。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。） ) 我不知道。
___________________________________
让你感到安慰的是，127作为2的度数和一个素数的总和是不可表示的。这样的数字不多，但也不算太少。
检查S=373；P=19776；a=64；b=309。这是你的解决方案的第二个版本，有一个复合奇数，我对此表示怀疑。
前两行通过。第三个。
А: (19776(=64*3*103) = 64*309 = 192*103 = 6592*3.总数为373，295，6595。只有分配到的那份合适。顺便说一下，即使取消了对金额的限制，最后一笔金额也不包括在合格的范围内。所以64和309）。 了解数字。
还没有想出其他的办法。但到了最后一个B的计算，我们已经知道，和373=64+309的一个拆分我们已经检查过了，我们有了第一个候选人。
P.S. 让我们试着猜一猜（只要找到另一个有单一匹配和的例子）。
Б: 373 = 32+341.П(=32*11*31) = 32*341 = 352*31 = 992*11.总数为373，383，1003。只有突出显示的那一个适合。其他两个则不然，但原因更微妙：它们中的每一个都被模糊地分解为二的幂和素数之和。我已经在这里写过关于这个额外的过滤器。因此，我们又有了一对构想中的数字的候选人--32和341。因此，Sage B将无法计算出这对设想。
廖沙，你（和克诺波夫）关于 通过二的幂和一个素数的分解的唯一性。 是一个未经证实的假说。
这通常是真实的，但这并不是一个证明。所以--要么在工作室进行证明，要么在电脑上进行全面的蛮力测试。第二种方法更可取，因为它不需要用陈述的事实来证明。 它没有通过我的测试。
顺便说一下，该程序已经调试完毕--servicedesk发现了这个错误。结果是我的问题（我需要在测试程序中的分类前将内存归零），我把它修好了。
拖车里的Prog。
廖沙，你（以及克诺波夫）的标准是关于 以二的幂和一个素数分解的唯一性 是一个未经证实的假说。
这不是我的，我从你那里得到的 :)简短的表述是：如果分解是模糊的（有几种方式），那么和是无效的。你准备好反驳它了吗？说吧，我在等一个例子。
我已经贴出了我用分解法计算二的幂与素数之和的方法。几乎没有证据，但有一个实用的方法，就是利用观察，这是100%合理的。请看绿色 标示。
我把它复制到这里，这样我就不用点击链接了。
事实上，有一个更普遍的观察结果（可以从MD 的打印结果中看出）：可能所有合理的选择都被限制在2^n和p（素数）这一对数字上。我没有证明这一点，我只是假设。
现在，基于这一假设，让我们做一些实事。在智者的对话中，最困难的是最后一句话。这是到目前为止需要考虑许多选项的一个。让我们假设我们已经有了三个副本，只剩下最后一个。MDS的多少个和可以表示为2^n+素数？
为什么要进行这种特殊的分解？只是因为最后一行的B，考虑到和的可能分解（见我之前的帖子）和相应的产品，遇到了产品2*...*2*simple，已经预先知道它的和中只有一个是可以接受的，因为只有一个是奇数--如果数字等于2的幂和奇数素数。这立即给了一个真正的候选人。
所以，我们走吧。
11 = 2^2+7 = 2^3+3.有两个候选人。讨厌的人马上就来了。
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. 提交是单一的。候选人。
所以在所有的MDS中，我们只剩下4个可接受的和--17、29、41、53。
我很迷惑。不加思索地应用不同的过滤器会导致胡言乱语。
嗯，算是吧。我同意，如果有多种有效的分解方法，那么这个选项就是无效的。
但这只适用于有效的标准，例如，S="2+可合并奇数"。对于这个标准来说，相应的勒姆是严格和正确的 证明。
"二度+素数 "的标准没有出现在问题的条件中，也不是一个已证明的定理。这只是大多数 解决方案的 一个属性。但事实证明，并非所有的人都是如此。
好吧，谢谢你，至少这被看了......
"二度+素数 "的标准没有出现在问题的条件中，也不是一个已证明的定理。这只是大多数 解决方案的 一个属性。但事实证明，并非全部。
不过，在这里，你还没有看清楚。我把它作为一个反标准--严格和正确地 证明。如果你不想看我的证明（它在上面的帖子中，以绿色显示），你自己试试吧。
如果和可以用几种 方式表示为二的度数与素数之和，那么这个和在第三行之后 就无效了。
注意，我说的不是以这种方式表示的和的单一方式...
P.S. 重新审视了我对你的 "解决方案 "的反驳 16, 111.我在那里还没有看到任何错误。我在这里复制。
S=127，P=1776（数字是16和111）不能成为解决方案。
A: (1776=16*3*37.)
B：(127=2+奇数_分量。)我知道[你不知道]没有你。
答：（所以和是2+奇数_分量。1776 = 16*111 = 48*37 = 592*3.总数为127，85，595。只有突出显示的那个分解为16*111，因为85-2和595-2是素数）。了解这些数字。
B：（这里我只指出完整搜索的两个变种，这就足够了。
127=2+125.P(=2*5*5*5)=2*125=10*25=50*5.和是127，35，55。只有一个是可以接受的--突出显示的那个。第三次反驳后 的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）不能成为解决方案。
答：（1776=16*3*37。）我不知道。
B：(127=2+奇数_分量。)我知道[你不知道]没有你。
答：（所以和是2+奇数_分量。1776 = 16*111 = 48*37 = 592*3.总数为127，85，595。只有突出显示的那个分解为16*111，因为85-2和595-2是素数）。了解这些数字。
B：（这里我只指出完整搜索的两个变种，这就足够了。
127=2+125.P(=2*5*5*5)=2*125=10*25=50*5.和是127，35，55。只有一个是可以接受的--突出显示的那个。第三次反驳后 的35的总和是不允许的， 因为35=4+31=16+19=32+3（由二的幂和一个素数的总和表示，很模糊）。候选人（数字是2和125）。
127=16+111.П(=16*3*37) = 16*111 = 48*37 = 592*3.总数为127，85，595。同样地。候选人（数字是16和111。） ) 不知道。这里有一个逻辑上的错误。
在这种推理方式下，35的总和是完全可以接受的，因为在他的第三行中，圣人A只有一个标准--已知B的总和=2+奇数组合。
35=2+33=2+3*11，因此分解2+125是无效的，因为 127和35都 有效。那就剩下16和111了。