当前位置: X-MOL 学术arXiv.cs.DM › 论文详情
An Online Framework to Interact and Efficiently Compute Linear Layouts of Graphs
arXiv - CS - Discrete Mathematics Pub Date : 2020-03-21 , DOI: arxiv-2003.09642
Michael A. Bekos; Mirco Haug; Michael Kaufmann; Julia Männecke

We present a prototype online system to automate the procedure of computing different types of linear layouts of graphs under different user-specific constraints. 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. However, it has also several known limitations and potential improvements that~we address in this work (e.g., limited applicability to a particular type of linear layouts, no support for additional constraints, limited extendability e.t.c.). As a proof of concept, we present our findings for a sketch of a proof of an important result in the field that was proposed by Yannakakis back in 1986 (whose details, however, have not been published so far).
更新日期:2020-03-24

 

全部期刊列表>>
如何通过Nature平台传播科研成果
跟Nature、Science文章学绘图
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
中洪博元
ACS材料视界
x-mol收录
南开大学
朱守非
廖良生
郭东升
汪铭
伊利诺伊大学香槟分校
徐明华
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug