லாட்னர்
லாட்னர் என்பவரால் காண்பிக்கப்பட்டது என்னவென்றால், P-provile NP என்றால், P-provile அல்லது NP-complete என்று இல்லாத சிக்கல்கள் NP இல் உள்ளன.
P = NP என்பது P அல்லது NP-நிறைவுறா பிரச்சினைகளை குறிக்கிறது என்று யார் நிரூபித்தனர்?