Documents Certifying algorithms Algorithms and Networks. Certifying algorithms What is it? Examples: –Euler....

Slide 1Certifying algorithms Algorithms and Networks Slide 2 Certifying algorithms What is it? Examples: –Euler tour –Bipartite graphs –Flow –Planarity Certifying…