Calculating A Path Algorithm

Calculating A Path Algorithm (1992)

Cached

Download Links

[www.cs.nott.ac.uk]

Other Repositories/Bibliography

DBLP

by Roland C. Backhouse , A. J. M. Van Gasteren

Venue:	Science of Computer Programming
Citations:	9 - 2 self

Versions

Version History

Metadata Version 3

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Calculating A Path Algorithm	user correction - Legacy Corrections
AUTHOR NAME	Roland C. Backhouse	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Mathematics and Computing Science,; Eindhoven University of Technology,	user correction - Legacy Corrections
AUTHOR ADDR	P.O. Box 513, 5600 MB Eindhoven,	user correction - Legacy Corrections
AUTHOR NAME	A. J. M. Van Gasteren	user correction - Legacy Corrections
AUTHOR AFFIL	Department of Mathematics and Computing Science,; Eindhoven University of Technology,	user correction - Legacy Corrections
AUTHOR ADDR	P.O. Box 513, 5600 MB Eindhoven,	user correction - Legacy Corrections
ABSTRACT	. A calculational derivation is given of an abstract path algorithm, one instance of the algorithm being Dijkstra's shortest-path algorithm, another being breadth-first/depth-first search of a directed graph. The basis for the derivation is the algebra of regular languages. 1 Problem Statement Given is a (non-empty) set N and a j N j \Theta j N j matrix A, the rows and columns of which are indexed by elements of N . It is assumed that the matrix elements are drawn from a regular algebra 1 (S; +; \Delta; ; 0; 1) having the two additional properties that the ordering induced 2 by + is a total ordering (1) on the elements of S; and 1 is the largest element in the ordering: (2) In addition to N and A, one is given a 1\Theta j N j matrix b. Hereafter 1\Theta j N j matrices will be called "vectors", 1 \Theta 1 matrices will be called "elements" and j N j \Theta j N j matrices will be called "matrices". The problem is to derive an algorithm to compute the vector b \Delta A wher...	user correction - Legacy Corrections
YEAR	1992	user correction - Legacy Corrections
VENUE	Science of Computer Programming	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	22--1	INFERENCE
VOLUME	22	INFERENCE
CITATIONS	7 found	ParsCit 1.0