b'\n_START_ARTICLE_\nTeorema de Valiant-Vazirani\n_START_PARAGRAPH_\nO Teorema de\xc2\xa0Valiant\xe2\x80\x93Vazirani \xc2\xa0\xc3\xa9 um teorema na teoria da complexidade computacional. Foi provado por Leslie Valiant\xc2\xa0e Vijay Vazirani em um artigo intitulado "NP is as easy as detecting unique solutions", publicado em 1986. O teorema afirma que, se existe um algoritmo de tempo polinomial para SAT-n\xc3\xa3o-amb\xc3\xadguo, ent\xc3\xa3o NP=RP. A prova \xc3\xa9 baseada no lema do isolamento de Mulmuley\xe2\x80\x93Vazirani\xe2\x80\x93Vazirani , que, posteriormente, foi utilizado por uma grande quantidade de aplica\xc3\xa7\xc3\xb5es na teoria da ci\xc3\xaancia da computa\xc3\xa7\xc3\xa3o._NEWLINE_O teorema de Valiant\xe2\x80\x93Vazirani implica que o Problema da satisfatibilidade booleana, que \xc3\xa9 NP-completo, continua a ser um problema computacionalmente dif\xc3\xadcil mesmo se as inst\xc3\xa2ncias de entrada s\xc3\xa3o for\xc3\xa7adas a ter no m\xc3\xa1ximo uma atribui\xc3\xa7\xc3\xa3o satisfeitora.'