Valiant-Вазіраньте теорему стверджує , що якщо існує поліноміальний алгоритм часу (детермінований або рандомізовані) для розрізнення формули SAT , яка має рівно одне задовольняє завдання, і нездійсненне формула - то NP = RP . Ця теорема доведена, показуючи, що UNIQUE-SAT є NP- твердим при рандомізованих скороченнях.
Теорема може бути підсилена до "ефективного рішення UNIQUE-SAT, що передбачає NP = P ".
Першим моїм інстинктом було думати, що мається на увазі, що існує детерміноване скорочення від 3SAT до UNIQUE-SAT, але мені не зрозуміло, як саме це зниження може бути дерандомізоване.
Моє запитання: що вірити чи відомо про "дерандомізацію скорочень"? Це / чи це можливо? А як щодо випадку В.В.
Оскільки UNIQUE-SAT є повноцінним для PromiseNP при рандомізованих скороченнях, чи можемо ми використовувати інструмент дерандомізації, щоб показати, що "детермінований поліноміальний час для UNIQUE-SAT означає, що PromiseNP = PromiseP ?