Мой комментарий к записи «Решение задачи» от lilac2012
Мне такое неинтересно(но конкретно эту задачу я, помнится, делал и сделал), но, помнится, лет 50 назад я попробовал решать подобное(и, опять-таки, кажется конкретно эту - как тяжёлый случай) механически - вычисляя количества информации, получаемые от взвешивания(подробности не помню). Проходит.
Кстати, говоря, многие задачи решаются механически - если подойти прямо. Яркий пример - теорема Кантора-Бернштейна: "Если А равномощна некоторому подмножесту В, а В равномощно некоторому подмножеству А - то А и В равномощны". Это очень трудная задача(например Борель не решил - хотя неизвестносколько он над ней думал :-) ) Но - решается автоматичеки при прямом подходе.
Посмотреть обсуждение, содержащее этот комментарий
Кстати, говоря, многие задачи решаются механически - если подойти прямо. Яркий пример - теорема Кантора-Бернштейна: "Если А равномощна некоторому подмножесту В, а В равномощно некоторому подмножеству А - то А и В равномощны". Это очень трудная задача(например Борель не решил - хотя неизвестносколько он над ней думал :-) ) Но - решается автоматичеки при прямом подходе.
Посмотреть обсуждение, содержащее этот комментарий