До понимания вопросов условимся о следующем.
Имеется множество N неизвестных чисел (до 20 шт, целые, значения от 0 до 40). Их называем аргументами.
Эти числа обрабатываются некоторыми M функциями, так что мы можем знать M значений этих функций.
Мы хотим, чтобы по M значениям можно было однозначно установить значения N аргументов.
Вопросы:
- Какие функции мы имеем право использовать? Почему вы не можете использовать, например, такой набор функций: 1-я функция умножает первое число на 1, а остальныена 0, вторая также поступает со вторым числом и т. д.? Или что вам мешает использовать суммы различных (первых N) степеней этиъ чисел? По значениям этих N функций вы можете (с трудом) вычислить значения аргументов. Они, естественно, будут целыми числами, если правильно вычислены значения функций.
- Что вы вообще хотите получить: кодировать множество чисел с заданными свойствами меньшим набором чисел?
На эти вопросы вы должны найти ответ, чтобы разобраться с задачей.
Я с пониманием отношусь к вашим трудностям, но помочь никак не смогу. Тратить время уже не смогу...