Formal mathematical argument that an algorithm meets its specification, i.e. it always produces the correct output for any permitted input.
In order to find the diameter of a tree I can take any node from the tree, perform BFS to …
algorithm tree graph-theory proof-of-correctnessI am trying to compare 2 algorithms. I thought I may try and write a proof for them. (My math sucks, …
algorithm proof proof-of-correctness