An Online Framework to Interact and Efficiently Compute Linear Layouts of Graphs

03/21/2020
by   Michael A. Bekos, et al.
0

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).

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/11/2022

On the Fair Termination of Client-Server Sessions

Client-server sessions are based on a variation of the traditional inter...
research
10/26/2020

Client-Server Sessions in Linear Logic

We introduce coexponentials, a new set of modalities for Classical Linea...
research
08/19/2021

Secure Decision Forest Evaluation

Decision forests are classical models to efficiently make decision on co...
research
10/09/2019

ExpertMatcher: Automating ML Model Selection for Clients using Hidden Representations

Recently, there has been the development of Split Learning, a framework ...
research
11/01/2016

Deep fusion of visual signatures for client-server facial analysis

Facial analysis is a key technology for enabling human-machine interacti...
research
11/27/2020

IntegriScreen: Visually Supervising Remote User Interactions on Compromised Clients

Remote services and applications that users access via their local clien...
research
06/28/2021

Chat Room Using HTML, PHP, CSS, JS, AJAX

Earlier there was no mode of online communication between users. In big ...

Please sign up or login with your details

Forgot password? Click here to reset