Radial Level Planarity - a Propositional Logic Approach - Couverture souple

Achter, Viktor

9783639016543: Radial Level Planarity - a Propositional Logic Approach

Couverture souple

ISBN 10 : 3639016548 ISBN 13 : 9783639016543

Editeur : VDM Verlag Dr. Mueller E.K., 2008

Afficher les exemplaires de cette �dition comportant l?ISBN

0 D'occasion

2 Neuf

De EUR 59,71

Le dessin des graphiques est une discipline en th�orie des graphes, traitant de la repr�sentation optimale des graphiques. Une classe importante de graphiques sont les graphiques planaires, qui peuvent �tre dessin�s sans bords crois�s. Ces graphiques sont sup�rieurs en termes de lisibilit� humaine. Les graphiques de niveau radial sont une classe sp�cifique de graphiques qui n'ont que des ar�tes entre des sommets de diff�rents niveaux, qui sont dispos�s en cercles concentriques. La connaissance de la plan�it� d'un graphique permet l'utilisation d'algorithmes plus efficaces pour afficher de bonnes repr�sentations. Dans ce livre, plusieurs approches sont discut�es pour d�crire le probl�me de la planarit� de niveau radial dans un cadre logique propositionnel. Un mod�le est introduit qui d�crit le probl�me comme un probl�me SAT et pour certains types de graphiques m�me comme un probl�me 2-SAT, qui peut �tre r�solu en temps lin�aire. L'affectation de v�rit� des variables d�crit l'int�gration sans intersection. En outre, le mod�le est capable d'introduire un regroupement de sommets, permettant la mod�lisation des r�gles s�mantiques. Ce livre s'adresse aux scientifiques qui font des recherches dans les domaines du dessin graphique et/ou des r�seaux propositionnels et de l'informatique th�orique ainsi qu'aux �tudiants int�ress�s.

Les informations fournies dans la section � Synopsis � peuvent faire r�f�rence � une autre �dition de ce titre.

�diteur: VDM Verlag Dr. Mueller E.K.
Date d'�dition: 2008
Langue: anglais
ISBN 10: 3639016548
ISBN 13: 9783639016543
Reliure: Broch�
Nombre de pages: 144
Coordonn�es du fabricant: non disponible
Personne responsable: non disponible

R�sultats de recherche pour Radial Level Planarity - a Propositional Logic Approach

Image fournie par le vendeur

Radial Level Planarity : A Propositional Logic Approach

Viktor Achter

Edit� par VDM Verlag Dr. M�ller, 2008

ISBN 10 : 3639016548 ISBN 13 : 9783639016543

Neuf Taschenbuch

impression � la demande

Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne

�valuation du vendeur 5 sur 5 �toiles

Taschenbuch. Etat : Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - Drawing graphs is a discipline in graph theory,dealing with the optimal representation of graphs. Animportant class of graphs are the planar graphs,which can be drawn without any intersecting edges.Such graphs are superior in terms of humanreadability. Radial level graphs are a specific classof graphs that only have edges between vertices ofdifferent levels, which are arranged in concentriccircles. The knowledge about the planarity of a graphenables the use of more efficient algorithms todisplay good representations. In this book, severalapproaches are discussed to describe the problem ofradial level planarity in a propositional logicframework. A model is introduced that describes theproblem as a SAT problem and for some types of graphseven as a 2-SAT problem, which is solvable in lineartime. The truth assignment of the variables describesthe non-intersecting embedding. Additionally, themodel is capable of introducing vertices-grouping,enabling the modelling of semantic rules. This bookis aiming for scientists that do research in thefields of graph drawing and/or propositional networksand theoretical informatics as well as for interestedstudents. N� de r�f. du vendeur 9783639016543

Contacter le vendeur