The idea behind the problem seems to be to separate the mathematicians from the engineers, which the problems seem to do reasonably well. However, since both p

The idea behind the problem seems to be to separate the mathematicians from the engineers, which the problems seem to do reasonably well. However, since both problems are fairly trivial proof-by-contradictions, I would like every computer scientist to be able to solve them as well. That said, my masters degree is in programming languages, so I may be exposed to a bit more math than the average software developer. I do not consider myself competent enough to be a mathematician, though.