The Verified Incremental Design of a Distributed Spanning Tree Algorithm: Extended Abstract.
Wim H. HesselinkPublished in: Formal Aspects Comput. (1999)
Keyphrases
- extended abstract
- spanning tree
- minimum spanning tree
- learning algorithm
- dynamic programming
- detection algorithm
- computational complexity
- incremental version
- search space
- worst case
- tree structure
- np hard
- minimum weight
- distributed systems
- particle swarm optimization
- incremental algorithms
- binary images
- multi agent
- single pass
- undirected graph
- design process
- minimum cost
- hardware implementation
- weighted graph
- probabilistic model
- special case
- preprocessing
- objective function