Return to search

A tool for computer verification of properties of certain classes of visibility graphs

Segment endpoint visibility graph is a representation scheme for art gallery problems, guard problems, and other shortest path or shortest circuit problems. In the research of visibility graphs, drawing graphs is a time-consuming task. VGE (Visibility Graphs Editor) is developed for visibility graphs reseacheres to create and modify graphs interactively in X-window environment. Appropriate graphics user interface allows the researcher to edit a graph, save and open a file, and make a hard copy of a graph. VGE is developed in C under X-window environment and using EZD[3] graphics tool. The thesis also discusses the uses of EZD. Although it is still only a prototype, VGE is a successful tool for analyzing visibility graphs. / Department of Computer Science

Identiferoai:union.ndltd.org:BSU/oai:cardinalscholar.bsu.edu:handle/184971
Date January 1994
CreatorsLuo, Xueyi
ContributorsBall State University. Dept. of Computer Science., McGrew, J. Michael
Source SetsBall State University
Detected LanguageEnglish
Formatvi, 108 leaves : ill. ; 28 cm.
SourceVirtual Press

Page generated in 0.0015 seconds