Can you paraphrase the following text for me: 
\nJos jonkin ongelman ratkaisu voidaan tarkastaa tehokkaasti tietokoneella, voidaanko ongelma myös ratkaista sillä tehokkaasti?
Teoria kysyy - voidaanko tietokoneelle syötetty ongelma - myös ratkaista nopeasti tietokoneella.