Ma em dikarin îsbat bikin ku çîna Np û P yek in bi dîtina çareseriyek polînomî ya bikêr ji bo her pirsgirêkek bêkêmasî ya NP li ser TM-ya diyarker?
Pirsa ka çînên P û NP wekhev in yek ji wan pirsgirêkên vekirî yên herî girîng û dirêj-mayînde ye di warê teoriya tevliheviya hesabkirinê de. Ji bo çareserkirina vê pirsê, pêdivî ye ku meriv pênasîn û taybetmendiyên van çînan, û hem jî encamên dîtina çareseriyek bikêr-polnomial-demê fam bike.
Ma P û NP bi rastî heman çîna tevliheviyê ne?
Pirsa ku P bi NP re ye yek ji pirsgirêkên herî kûr û neçareserkirî ye di zanistiya kompîturê û matematîkê de. Ev pirsgirêk di dilê teoriya tevliheviya hesabkirinê de ye, qadek ku dijwariya xwerû ya pirsgirêkên hesabkeriyê lêkolîn dike û wan li gorî çavkaniyên ku ji bo çareserkirina wan hewce ne dabeş dike. Ji bo fêmkirina
Çima bi gelemperî tê bawer kirin ku P bi NP re nabe?
Di warê Ewlekariya Sîber û Teoriya Tevliheviya Hesabkirinê de, pirsa gelo P bi NP re wekhev e, ev çend deh sal in mijarek balkêş û nîqaşek mezin e. Baweriya serdest di nav pisporan de ev e ku P bi NP re nabe. Ev bawerî li ser têkelbûna ramanên teorîk û pratîkî û her weha
Pêvajoya avakirina verastkerek dema pirnomî ya ji makîneya Turing a ne-determînîst a dema pirnomîal vebêjin.
Verastkerek dema pirnomî dikare ji makîneya Turing a ne-determînîst a dema pirnomîal (NTM) bi şopandina pêvajoyek sîstematîk were çêkirin. Ji bo têgihîştina vê pêvajoyê, pêdivî ye ku meriv têgihîştinek zelal a têgehên teoriya tevliheviyê, nemaze çînên P û NP, û têgîna verastkirina polînomî hebe. Di teoriya tevliheviya hesabkirinê de, P