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

No Thumbnail Available
Authors
Luo, Xueyi
Advisor
McGrew, J. Michael
Issue Date
1994
Keyword
Degree
Thesis (M.S.)
Department
Department of Computer Science
Other Identifiers
Abstract

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.

Collections