Использование электронных микрометров в автоматическом цикле круглошлифовальных станков по металлу 
18 мне уже 
Мерц заявил, что Россия напала на Германию 
На каком боку спят котики? 
Стоит ли бояться ИИ 
Бельгийский обмен. 
Байка на ночь: Страх и смех 
Спецотряд 16 в зоне Вьетминя 
Дикий, дикий запад
14.07.2025 —
Ведущий инженер
Перемещение скобок
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
Причём, и суперанализ, и преобразования могут быть выполнены в стиле насыщения равенствами, точнее, в его реляционном представлении.
Меня самого очень забавляет моё колебание по ветру. ;)
Однако, изнутри это выглядит ощупыванием лабиринта. ;)
Сохранено
|
|
</> |
Перемещение скобок
Оставить комментарий
Популярные посты:
Предыдущие записи блогера :
Архив записей в блогах:
Если американе не шлют посылку в Канаду, или если пересылка в Канаду дорога, есть американские почтовые службы около границы, скажем, около Niagara Falls, NY , где можно получить посылку от американского отправителя, а потом заехать за ней из Канады. Прошу поделиться положительным ...
Стою и слушаю речь Нобелевского Лауреата Жореса Алферова в музее технологии в Сан-Хосе, Калифорния View Poll: #1987387 ...
очаровательные коты Рины Зенюк
- Любочка, деточка, - позвонил отец. – Ты меня навестишь?
- Да, папа, я приеду.
Люба разговаривала с отцом по стационарному телефону. В те времена ...
Поль Серюзье французский художник, участник группы «Наби», ученик Гогена. Биография и картины. Родился 9 ноября 1864 года в Париже. Его отец был директором парфюмерной фабрики. Он мечтал, чтобы сын пошел по его стопам и сделал успешную карьеру коммерсанта. Однако Поль еще во время ...
Есть хороший анекдот о бандеровцах-мигрантах, которые, сидя в немецком кафе, рассуждают о независимой Украине. В их разговоре часто звучит, что «как же, у нас ведь есть и герб, и гимн, и флаг». Разговор этот слушает ветеран войск вермахта и начинает интересоваться, где же находится ...
