#theoretical computer science #complexity theory #greek computer scientist #P vs NP #papadimitriou