Traduction de voix, fonctionnalités offline, synonymes, conjugaison, jeux éducatifs
Publicité
Inscrivez-vous gratuitement : plus de résultats et de fonctionnalités
the boolean satisfiability problem
Traduction de "the boolean satisfiability problem" en roumain
problema satisfiabilității booleene
The rough idea of these inapproximability results is to form a graph that represents a probabilistically checkable proof system for an NP-complete problem such as the Boolean satisfiability problem.
Ideea acestor rezultate de neaproximabilitate este de a forma un graf care reprezintă un sistem de demonstrații probabilistic verificabile pentru o problemă NP-completă, cum ar fi problema satisfiabilității booleene.
The Boolean satisfiability problem is one of many such NP-complete problems.
Problema satisfiabilității este una din multele astfel de probleme NP-complete.
Karp's NP-completeness proof is a many-one reduction from the Boolean satisfiability problem.
Demonstrația de NP-completitudine a lui Karp este o reducere many-one de la problema satisfiabilității booleene.
In 1972, Richard Karp proved that several other problems were also NP-complete (see Karp's 21 NP-complete problems); thus there is a class of NP-complete problems (besides the Boolean satisfiability problem).
În 1972, Richard Karp a demonstrat că sunt mai multe alte probleme NP-complete (a se vedea cele 21 de probleme NP-complete ale lui Karp); astfel, există o clasă de probleme NP-complete (pe lângă problema satisfiabilități booleene).
This means that if the Boolean satisfiability problem could be solved in polynomial time by a deterministic Turing machine, then all problems in NP could be solved in polynomial time, and so the complexity class NP would be equal to the complexity class P.
Cum mașinile Turing deterministe sunt un caz particular de mașini Turing nedeterministe, orice problemă rezolvată în timp polinomial de o mașină Turing deterministă este rezolvată în timp polinomial și de o mașină Turing nedeterministă. Deci orice problemă din clasa P aparține și clasei NP.
For instance, the Boolean satisfiability problem is NP-complete by the Cook-Levin theorem, so any instance of any problem in NP can be transformed mechanically into an instance of the Boolean satisfiability problem in polynomial time.
De exemplu, problema satisfiabilității booleene(d) este NP-completă conform teoremei Cook-Levin(d), deci orice instanță a oricărei probleme din NP poate fi transformată mecanic în timp polinomial într-o instanță a problemei satisfiabilității booleene.
The first natural problem proven to be NP-complete was the Boolean satisfiability problem, also known as SAT.
Prima problemă naturală demonstrată a fi NP-completă a fost problema satisfiabilității booleene(d).
Le mot et l’expression du jour
L’image du jour
Résultats: 7. Exacts: 7. Temps écoulé: 26 ms.
