一种更新大型有向无环图布局的算法

Question

我正在寻找具有以下属性的图形布局算法：

1. 支持类似于graphviz dot布局的有向非循环图。应该有明确的流动方向（请不要指向天真的力导向算法）
2. 支持超过1000个节点的更大图表
3. 随着新节点进入并随时间从图表中删除而支持边际更新和删除
4. 以人机交互速度快速操作

我不一定在寻找现有的软件包，但是如果人们想要列出它们我就是Python，但很高兴能够链接到C / C ++ / Fortran。