компиляторов?
Ну, да, любой алгоритм, который (можно представить как) обход(ит) дерева, будет инвариантом к алг-у на графе. Естественно, не все алг-ы на графе имеют приемлемую сложность. Предлагаю, Вы знаете, что за счёт представления с помощью графов, можно делать интересные преобразования алгоритмов. Предпочтительно уточнить запрос, выбрать что-то конкретное/нишевое. Какие-то общие упоминания: https://dl.acm.org/doi/pdf/10.1145/567532.567555 https://www.cs.umb.edu/~offner/files/flow_graph.pdf https://www.cse.iitk.ac.in/users/karkare/Courses/cs738/lecturenotes/07FlowGraphTheorySlides.pdf http://www.cs.utexas.edu/~pingali/CS395T/2009fa/papers/kuck.pdf https://www.researchgate.net/publication/311476881 https://iss.oden.utexas.edu/Publications/Papers/OOPSLA2016.pdf https://llvm.org/pubs/2008-05-CoVaC.pdf http://egunter.cs.illinois.edu/papers/ITP2010.pdf https://dl.acm.org/doi/pdf/10.1145/800229.806962 https://arxiv.org/pdf/2111.12116 https://hal.science/hal-01942005v1/file/paper.pdf https://www.ice.rwth-aachen.de/fileadmin/Publications/Attachments/rodriguezblanco14.pdf https://github.com/frankmcsherry/blog/blob/master/posts/2019-09-06.md https://www.geeksforgeeks.org/directed-acyclic-graph-in-compiler-design-with-examples/ https://mlir.llvm.org/docs/Rationale/MLIRForGraphAlgorithms/
Обсуждают сегодня