search

walkccc / CLRS

📚 Solutions to Introduction to Algorithms Third Edition
https://walkccc.me/CLRS
MIT License
4.65k stars 1.26k forks source link

Update 16.4.md #384

Closed mrscooter closed 3 years ago

mrscooter commented 3 years ago

One logical fix and few formal fixes in the proof of 16.4-4.