论文标题
一个在线框架，用于交互和有效计算图形的线性布局
An Online Framework to Interact and Efficiently Compute Linear Layouts of Graphs
论文作者
论文摘要
我们提出了一个原型在线系统，以自动化在不同特定用户特定约束下计算不同类型的图形线性布局的过程。当前，支持四种不同类型的线性布局：堆栈，队列，Rique和Deque以及它们的任何混合物。 该系统由两个主要组成部分组成；客户端和服务器侧。客户端是建立在易于使用的编辑器上的，该编辑器支持与图形的基本交互，并具有多个其他功能，以允许用户定义并进一步限制要计算的线性布局。该服务器端可通过有据可查的API向多个客户端使用，负责线性布局的实际计算。它的算法核心是SAT公式的扩展，已知足以在合理的时间内解决非平凡实例。
We present a prototype online system to automate the procedure of computing different types of linear layouts of graphs under different user-specific constraints. Currently, four different types of linear layouts are supported: stack, queue, rique and deque, as well as, any mixture of them. The system consists of two main components; the client and the server sides. The client side is built upon an easy-to-use editor, which supports basic interaction with graphs, enriched with several additional features to allow the user to define and further constraint the linear layout to be computed. The server side, which is available to multiple clients through a well-documented API, is responsible for the actual computation of the linear layout. Its algorithmic core is an extension of a SAT formulation that is known to be robust enough to solve non-trivial instances in reasonable amount of time.
