𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Correction: Simplified Dissolved Oxygen Computations


Book ID
125022409
Publisher
Water Pollution Control Federation
Year
1950
Weight
164 KB
Volume
22
Category
Article
ISSN
0096-364X

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


A simplified correctness proof for a wel
✍ Ingo Wegener πŸ“‚ Article πŸ“… 2002 πŸ› Elsevier Science 🌐 English βš– 44 KB

The computation of the strongly connected components of a directed graph is one of the fundamental algorithmic graph problems. Linear-time algorithms with simple implementations are known. Here a simplified correctness proof for one of these algorithms is presented.