Non-deterministic complexity of counting perfect matchings in a graph

Abstract

В данной работе будет показано, что из нижних оценок на конедетерминированную сложность задач 0-1 permanent, Set cover и Hamiltonian cycle следуют нижние оценки на арифметические схемы для некоторого семейства многочленов константной степени. Также будет приведена верхняя оценка для задачи 0-1 permanent.

In this paper, we will show that lower bounds on the co-nondeterministic complexity of the 0-1 permanent, Set cover, and Hamiltonian cycle problems imply lower bounds on arithmetic circuits for some family of polynomials of constant degree. An upper estimate for the 0-1 permanent problem will also be given.