Разное про диаграммы решений
Полуторагодичной давности: https://thesz.livejournal.com/1536050.html
Я, таки, это реализовал.
Натурально, работает, при прочих равных находит меньшее ограничение конфликта довольно часто - например, ограничение в 2 переменных против 3-4 при обычном поиске. В частности, много чаще находит присваивание одной переменной, что должно быть выведено из конфликта.
Однако, поскольку кеши узлов и операций у меня выполнены через деревья, жрёть память и работает медленно. Поэтому применимо к довольно небольшим проблемам в моей нынешней реализации, "маленькие проблемы" здесь не размер задачи в целом, а количество переменных в присваивании и результате распространения констант, что привели к конфликту.
Сочту эксперимент умеренно успешным.
Я, таки, это реализовал.
Натурально, работает, при прочих равных находит меньшее ограничение конфликта довольно часто - например, ограничение в 2 переменных против 3-4 при обычном поиске. В частности, много чаще находит присваивание одной переменной, что должно быть выведено из конфликта.
Однако, поскольку кеши узлов и операций у меня выполнены через деревья, жрёть память и работает медленно. Поэтому применимо к довольно небольшим проблемам в моей нынешней реализации, "маленькие проблемы" здесь не размер задачи в целом, а количество переменных в присваивании и результате распространения констант, что привели к конфликту.
Сочту эксперимент умеренно успешным.