Я так думаю, что автор задачи подразумевал под логикой как раз понять, что хотя в задаче формально одно уравнение с двумя неизвестными, так что математически решений должно быть бесконенечно много, условие целочисленности и неотрицательности позволяет однозначно определить правильный ответ.
Согласна.
Задача из Интернета, так что вряд ли нам удастся узнать, кто изначально ее автор и что он имел имел в виду.
А насчет названия - о терминах, как известно, договариваются.
В любом случае спасибо всем кто помог, я думаю на этом обсуждение данной темы вполне можно закончить.