>Возможно, в силу дополнительных предположений, высказанных в явной форме:
Невозможно, ибо следует из структуры модели.
>1) Сан-Комарик недонаселён, и дальнейшее снижение его населения приводит к снижению среднего благосостояния в Сан-Комарике.
Давилон тоже недонаселён.
>2) Распределение населения происходит до тех пор, пока не выровняется среднее благосостояние.
>В этом случае ответ однозначный - увеличение инфраструктуры Давилона приведёт к снижению среднего благосостояния (по крайней мере, до тех пор, пока Сан-Комарик всё ещё существует). Простой логический вывод из двух посылок. Раз в Сан-Комарике снизилось среднее благосостояние, а в Давилоне выровнялось с таковым в Сан-Комарике, то, следовательно, среднее благосостояние снизилось повсюду. И суммарное тоже, потому что общее население планеты неизменно по условиям задачи.
Ха! А если уменьшение благосостояния в Сан-Комарике происходит с меньшим темпом, чем сокращение населения? Тогда среднее благосостояние будет расти.
Ваш вывод основан на конкретных типах функциональных зависимостей. В общем случае он не верен.
