Есть дерево (не бинарное). Дерево может быть очень большим (если интересно, дерево - объектная модель, созданная из xml, который может достигать сотен мегабайт). И есть список правил, по которым нужно проверять элементы дерева. Список тоже может быть достаточно большим (сотни правил, а то и тысячи). Правила вида "если узел имеет такое имя, то его значение может быть таким-то и не может быть таким-то" и "если узел А имеет такое-то значение, то соседний с ним узел Б должен быть таким-то".
Как лучше организовать обход с наименьшими затратами по времени?
Допустим, сделаем цикл по правилам. На каждом правиле обходить всё дерево целиком и на узлах с указанным в правиле именем проверять значение. Это может быть долго, очень долго.
Возьмём другую крайность: делаем один обход по дереву и в каждом узле проверяем весь список правил на предмет, подходит ли это правило этому узлу. Тоже, скорее всего, будет долго и неэффективно.
Напрашивается какой-то промежуточный вариант, более эффективный обход одновременно и дерева, и списка. Может быть, уже есть похожая реализация и не надо городить велосипедов?
Язык - java, хотя это дело второстепенное, речь про алгоритм.