- 업종: Technology
- Number of terms: 2742
- Number of blossaries: 0
- Company Profile:
The National Institute of Standards and Technology (NIST) — known between 1901 and 1988 as the National Bureau of Standards (NBS) — is a measurement standards laboratory and a non-regulatory agency of the United States Department of Commerce. The institute's official mission is to promote U.S. ...
Endringen fra én tilstand til en annen i en begrenset tilstandsmaskin. Grunn har et fortrinn i en rettet graf.
Industry:Computer science
Endringen fra én tilstand til en annen i en begrenset tilstandsmaskin. Grunn har et fortrinn i en rettet graf.
Industry:Computer science
Endringen fra én tilstand til en annen i en begrenset tilstandsmaskin. Grunn har et fortrinn i en rettet graf.
Industry:Computer science
Klassen av språk som en medlemskap beregning av en sannsynlig Turing machine stopper i Polynomisk tid med ingen falske alle varslingsmeldinger om godkjenning eller avslag, men tilfeldig noen "ikke vet" svar. Formell definisjon: For et språk, S, finnes det en sannsynlig Turing machine, M, som stopper i Polynomisk tid. M (riktig) godtar eller avviser strengen eller tilfeldig, stopper i "Jeg vet ikke" tilstand.
Industry:Computer science
Klassen av språk som en medlemskap beregning av en sannsynlig Turing machine stopper i Polynomisk tid med det rette svaret (godtatt eller avvist) minst 2/3 av tiden.
Industry:Computer science
Klassen av språk som en medlemskap beregning av en sannsynlig Turing machine stopper i Polynomisk tid med det rette svaret (godtatt eller avvist) minst 2/3 av tiden.
Industry:Computer science
Klassen språk som medlemskap kan bli bestemt i Polynomisk tid av en sannsynlig Turing machine med ingen falske godkjente og halvparten falske avviste. Formell definisjon: For et språk, S, finnes det en sannsynlig Turing machine, M, som godkjenner eller avviser alle strenger i Polynomisk tid. Hvis w ∉ S, M, avviser w. Hvis w ∈ S, M godtar w med en sannsynlighet minst 1/2.
Industry:Computer science
Klassen av problemene har konstant-faktor tilnærming algoritmer, men ingen tilnærming ordninger med mindre P = NP.
Industry:Computer science
Klassene språk akseptert av k-alternating Turing maskiner, over alle k≥ 0 og med starttilstand eksistensielle eller universell. Bunnen nivå (k = 0) er klassen P. neste nivå (k = 1) NP og co - NP.
Industry:Computer science
Kompleksitet klassen beslutning problemer som svar kan kontrolleres av en algoritme som operasjonstiden er polynom i størrelsen på inndataene. Merk at dette ikke krever eller innebærer at svar kan finnes raskt, bare at noen hevdet løsning kan verifiseres raskt. "NP" er klassen som en deterministiske Turing machine godtar i Polynomisk tid.
Industry:Computer science
