Здравствуйте, vsb, Вы писали:
vsb>А как ты это докажешь в общем случае?
Просто императивный язык для таких задач использовать не нужно. http://halide-lang.org/
... << RSDN@Home 1.0.0 alpha 5 rev. 0>>
Пусть это будет просто:
просто, как только можно,
но не проще.
(C) А. Эйнштейн