NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
A PVS Graph Theory LibraryThis paper documents the NASA Langley PVS graph theory library. The library provides fundamental definitions for graphs, subgraphs, walks, paths, subgraphs generated by walks, trees, cycles, degree, separating sets, and four notions of connectedness. Theorems provided include Ramsey's and Menger's and the equivalence of all four notions of connectedness.
Document ID
19980019858
Acquisition Source
Langley Research Center
Document Type
Technical Memorandum (TM)
Authors
Butler, Ricky W. (NASA Langley Research Center Hampton, VA United States)
Sjogren, Jon A. (Air Force Office of Scientific Research, Bolling AFB Washington, DC United States)
Date Acquired
September 6, 2013
Publication Date
February 1, 1998
Subject Category
Mathematical And Computer Sciences (General)
Report/Patent Number
NASA/TM-1998-206923
L-17692
NAS 1.26:206923
Report Number: NASA/TM-1998-206923
Report Number: L-17692
Report Number: NAS 1.26:206923
Funding Number(s)
PROJECT: RTOP 519-50-11-01
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available