Непейвода Н.Н. Программирование. Раздел 2

Непейвода Н.Н. Программирование. Страница 152

Если программа при ее создании проанализирована настолько, что ее специ­фикацию можно представить как конструктивное доказательство, действую­щие части которого порождают операторы и описания программы, то общая задача специализации может решаться композицией известных методов пре­образования доказательств (чистки и нормализации). Но даже теоретически нормализация доказательств имеет суперэкспоненциальную сложность вы­полнения, не говоря уже о том, что исключительно редко удается достичь точности и детальности спецификаций, превращающих программу в дока­зательство. Далее, специализация элементарных действий и следующие три преобразования вполне могут мешать друг другу, и результат специализации существенно зависит от их порядка. Поэтому задачу специализации необхо­димо решать в частных случаях.

Частный случай специализации, лучше всего исследованный в совре­менной информатике, это смешанные вычисления, заключающиеся в следу­ющем.

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

Новости

  • 1
  • 2
Prev Next

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

24.01.2016

Ракета "Ангара-А5В" в ближайшее десятилетие не полетит

Роскосмос не планирует в течение ближайшего десятилетия осуществлять пуск тяжёлой ракеты-носителя А...

Ученые РФ опровергли выводы исследований о вреде ГМО

24.01.2016

Ученые РФ опровергли выводы исследований о вреде ГМО

Исследователи из Института проблем передачи информации (ИППИ РАН) проанализировали несколько самых п...

Летающие "Крокодилы"

24.01.2016

Летающие "Крокодилы"

20 удивительных фактов о боевом вертолете Ми-24.Этот вертолет стал таким же узнаваемым символом сове...

В Аргентине описали новый вид динозавра-гиганта

24.01.2016

О ранее неизвестном виде динозавра, относящемуся к инфраотряду зауроподов, рассказали аргентинские п...

Реклама