День добрый, > «Так точно. Нулевое время при повторной проверке на равенство > (мемоизация) и освобождение пямяти. И это реализуемо во всех > представлениях выражений с „подвешенными“ скобками.»
> Если две пары скобок равны по содержимому, то какой какому > присваивать? До такой глубины не прорабатывали. > Либо использовать более простую эвристику: выбирать тот, у которого > указатель численно меньше — это может быть удобнее для тех > реализаций, которые границы хранят непосредственно в узле. Думаю, римерно так и сделано > Можно, например, использовать лес непересекающихся множеств: > https://ru.wikipedia.org/wiki/Лес_непересекающихся_множеств Помнится Антон Орлов (кажется) высказывал идеи о дальнейшей оптимизации представления. Но я детали не помню Всего доброго, Сергей Абрамов