Before revision:  We now count with several different algorithms that have all been shown to be optimal in the worst case, and many of them have also been implemented and tested in practice.
After revision:  We now count with several different algorithms that have all been shown to be optimal in the worst case, and many of them have been implemented and tested in practice.