A sa na dokoki da aka sau da yawa amfani da kwamfuta don warware matsalar da ake kira wani abin da? Bisa ga tambayar da ta gabata, ka rubuta mahallin da ke ɗauke da amsar. Zai iya zama jumla 1 - 20. Abubuwan da ke ciki:
Sau da yawa ana ganin aji mai rikitarwa P azaman ƙididdigar lissafi wanda ke tsara waɗancan ayyukan ƙididdigar da ke yarda da ingantaccen algorithm. Wannan zato ana kiransa Cobham-Edmonds ka'idar. Nau'in rikitarwa NP, a gefe guda, yana ƙunshe da matsaloli da yawa waɗanda mutane za su so su warware yadda ya kamata, amma wanda ba a san wani ingantaccen algorithm ba, kamar matsalar gamsar da Boolean, matsalar hanyar Hamiltonian da matsalar murfin vertex. Tunda injunan Turing masu ƙayyadaddun ƙayyadaddun injunan Turing ne na musamman, ana iya lura da sauƙi cewa kowane matsala a cikin P shima memba ne na aji NP.