История изменений

Это уж слишком общее. Я имел в виду задачки на взвешивание. Там ведь всё довольно легко формализовать — есть конечное множество переменных, принимающих дискретные значения (настоящая монета, облегчённая и утяжелённая) и есть операции, которые позволяют часть неизвестных сделать известными. Требуется найти оптимальный алгоритм (последовательность операций в зависимости от результата предыдущей операции), который найдёт все неизвестные.

Есть же какая-то наука, которая таким занимается. Вот есть же доказательство неразрешимости уравнений выше четвёртой степени в радикалах. Тут что-то такое же должно быть.

Это уж слишком общее. Я имел в виду задачки на взвешивание. Там ведь всё довольно легко формализовать — есть конечное множество переменных, принимающих дискретные значения (настоящая монета, облегчённая и утяжелённая) и есть операции, которые позволяют часть неизвестных сделать известными. Требуется найти оптимальный алгоритм.

Есть же какая-то наука, которая таким занимается. Вот есть же доказательство неразрешимости уравнений выше четвёртой степени в радикалах. Тут что-то такое же должно быть.