"One of saints of computational complexity?" see https://lucatrevisan.wordpress.com/2016/10/07/avi60-zero-kno...