Karp–Lipton theorem

Karp–Lipton theorem

Jesse Russell Ronald Cohn

     

бумажная книга

Продать эту книгу

ISBN: 978-5-5138-3116-7

High Quality Content by WIKIPEDIA articles! In complexity theory, the Karp–Lipton theorem states that if the boolean satisfiability problem (SAT) can be solved by Boolean circuits with a polynomial number of logic gates, then

Каталог