Travelling salesman problem formula