https://www.czech.wiki/wiki/Richard_M._Karp