Алгоритм обновления макета больших направленных ациклических графов

Question

Я ищу алгоритм макета графа, который имеет следующие свойства:

1. Поддерживает ориентированные ациклические графы, подобные графику dot макеты. Должно быть четкое направление потока (пожалуйста, не указывайте на наивные алгоритмы, ориентированные на силу)
2. Поддерживает большие графики более 1000 узлов
3. Поддерживает незначительные обновления и удаления по мере появления новых узлов и удаления их из графика с течением времени.
4. Работает быстро на человеческих интерактивных скоростях

Я не обязательно ищу существующие программные пакеты, но если люди хотят перечислить их, я нахожусь на Python, но с удовольствием обращаюсь к C/C++/Fortran.