Существует ли такое подмножество неотрицательных целых чисел Q, что любое неотрицательное целое число представимо единственным образом в виде a+2b, где a,b - члены Q?
Решил, но далеко не сразу. Красиво!
(комменты с решениями лучше оставлять прямо там, сейчас они скрываются)