题目:
已知两个1~30之间的数字,甲知道两数之和,乙知道两数之积。
甲问乙:"你知道是哪两个数吗?"乙说:"不知道";
乙问甲:"你知道是哪两个数吗?"甲说:"也不知道";
于是,乙说:"那我知道了";
随后甲也说:"那我也知道了";
这两个数是什么?
解答:
隐含条件:乙不知道答案,则说明这两个数之积不是素数。当甲回答说不知道答案后,乙马上知道了答案,说明乙能利用这一信息来排除掉一些选项,从而剩下唯一的选项。反过来,乙得出答案并告诉了甲后,甲亦能利用这一信息来排除一些选项,从而也剩下唯一的选项。
举例子:
假设这两个数是x,y。A=x+y;B=x*y。
站在乙方的角度,这时假设B=6,这能推出(1,6)和(2,3)两种组合。此时乙在这两个组合间犹豫不定时,甲告诉乙不知道答案。
假设答案是(1,6),则A=7。此时,甲手上的选项应该是(1,6),(2,5)和(3,4)。此时甲的确无法知道答案,因此(1,6)是候选答案。假设答案是(2,3),则A=5。此时,甲手上的选项是(1,4)和(2,3),因此甲也无法知道答案。这时,(2,3)也成为了候选答案。此种情况下出现了两个候选答案,因此乙到了最后还是无法得出答案。这与题设矛盾,一次可以排除这些组合。
假设,B=4.
站在乙方的角度,这时乙的选项是(1,4)和(2,2)。
假设答案是(1,4)。则A=5。分析如上。乙把(1,4)作为候选答案。假设答案是(2,2),则A=4。此时,甲手上的选项是(1,3)和(2,2)。因为(1,3)之积是素数,因此被排除。则乙告诉甲不知道答案的时候,甲应该能知道答案,而事实上甲不知道答案。因此(2,2)是不可能的。最后乙手上只剩下一个候选答案,因此他推出了答案。反过来,甲亦能根据此信息推出答案。因此(1,4)符合题设。
void BrainTester::ABOf1_30() {
multimap > mid_result;
for (int x = 1; x <= 30; ++x) {
for (int y = x; y <= 30; ++y) {
if (!this->isPrime(x * y)) {
mid_result.insert(make_pair(x * y, make_pair(x, y)));
}
}
}
set key_set;
multimap >::iterator it;
for (it = mid_result.begin(); it != mid_result.end(); ++it) {
key_set.insert(it->first);
}
set::iterator it_set;
for (it_set = key_set.begin(); it_set != key_set.end(); ++it_set) {
if (mid_result.count(*it_set) <= 1) {
while ((it = mid_result.find(*it_set)) != mid_result.end())
mid_result.erase(it);
}
}
key_set.clear();
//reset key_set
for (it = mid_result.begin(); it != mid_result.end(); ++it) {
key_set.insert(it->first);
}
multimap >::iterator beg;
multimap >::iterator en;
bool flag = false;
multimap > result;
for (it_set = key_set.begin(); it_set != key_set.end(); ++it_set) {
beg = mid_result.equal_range(*it_set).first;
en = mid_result.equal_range(*it_set).second;
for (; beg != en; ++beg) {
int x = beg->second.first;
int y = beg->second.second;
int sum = x + y;
if (sum > 3) {
int half = sum / 2;
flag = false;
for (int i = 1; i <= half; ++i) {
if (mid_result.find(i * (sum - i)) != mid_result.end()) {
if (flag) {
result.insert(make_pair(x * y, make_pair(x, y)));
break;
} else {
flag = true;
}
}
}
}
}
}
key_set.clear();
for (it = result.begin(); it != result.end(); ++it) {
key_set.insert(it->first);
}
for (it_set = key_set.begin(); it_set != key_set.end(); ++it_set) {
if (result.count(*it_set) != 1) {
while ((it = result.find(*it_set)) != result.end())
result.erase(it);
}
}
for (it = result.begin(); it != result.end(); ++it) {
cout << it->first << " (" << it->second.first << ","
<< it->second.second << ")" << endl;
}
}