Razborov provou que todo circuito monótono que calcula a função de correspondência perfeita para gráficos bipartidos deve ter pelo menos portas (ele chamou de "permanente lógico"). Foi provado um limite inferior melhor para o mesmo problema desde então? (diga ?) Até onde me lembro, esse problema estava aberto em meados dos anos 90.
Estou ciente de que a função de clique requer circuitos monotônicos de tamanho exponencial e assim por diante, mas estou interessado em uma correspondência perfeita especificamente.