Перемещение скобок

thesz — 15.07.2025 https://effect.systems/doc/egraphs-2023-theory/paper.pdf - статья про насыщение равенствами и проблему останова.

Оказывается, ассоциативность сама по себе может быть неразрешима (undecidable).

Собственно, ассоциативность и подпортила применение насыщения равенствами к оптимизации логики, представленной графов над функциями вида "перенос с Логическим Не" - Majority-Invetor Graphs (MIG). MIG это, фактически, перенос от суммы трёх (возможно, инвертированных) входов.

В статье выше рассказывается, как быть и что делать.

По-моему, однако, накопление анализов (суперанализ) с последующим атомарным преобразованием выглядит более привлекательно.

https://www.researchgate.net/publication/2532690_Guaranteed_Optimization_Proving_Nullspace_Properties_of_Compilers

Причём, и суперанализ, и преобразования могут быть выполнены в стиле насыщения равенствами, точнее, в его реляционном представлении.

Меня самого очень забавляет моё колебание по ветру. ;)

Однако, изнутри это выглядит ощупыванием лабиринта. ;)

Оставить комментарий

Популярные посты:

• Ранее
• Архив