Status nos limites inferiores do circuito para circuitos de profundidade com limite de polilog

17

A complexidade do circuito de profundidade limitada é uma das principais áreas de pesquisa na teoria da complexidade do circuito. Este tópico tem origens em resultados como "a função de paridade não está em " e "a função mod não é calculada por ", onde é a classe de idiomas decidíveis por profundidade não uniforme, constante, tamanho polinomial, fan-in ilimitado AND, OR, NOT e módulos gates, em que . No entanto, obter resultados concretos de limites mais baixos em circuitos polilogarítmicos de profundidade parece estar fora de alcance, usando métodos clássicos como restringir entradas e aproximar polinômios em campos finitos. p A C 0 [ q ] A C 0 [ q ] q gcd ( p , q ) = 1AC0 0pAC0 0[q]UMAC0 0[q]qgcd(p,q)=1 1

Conheço um artigo do STOC'96 que leva à teoria da complexidade geométrica e que mostra que a computação paralela eficiente usando operações sem operações bit a bit não pode calcular o problema de fluxo de custo mínimo.

Isso significa que, em certas configurações limitadas, podemos provar limites mais baixos de NC para algum problema de preenchimento P

Primeiro, existem outros métodos ou técnicas que podem ser abordagens plausíveis para provar limites inferiores do circuito de profundidade polilogarítmico?

Segundo, qual a utilidade da seguinte declaração para a comunidade teórica?

O tamanho de um circuito NC que calcula uma função booleana f:{0,1}n{0,1} é pelo menos l , onde l é uma quantidade matemática dependendo da dureza do função alvo f . O valor de l pode ser, por exemplo, uma quantidade combinatória como discrepância, uma quantidade algébrica linear como a classificação de certo tipo de matriz em um campo, ou alguma quantidade inteiramente nova que não foi usada anteriormente na teoria da complexidade.

shen
fonte
6
Uma palavra de cautela está em ordem: até a profundidade logarítmica, se longe de ser entendida. Ainda não temos um limite inferior super-linear (!) Para os circuitos NC ^ 1. Aqui, a rigidez da matriz é uma "quantidade combinatória" desejada, mas não temos limites inferiores suficientemente fortes nessa quantidade. Ainda mais deprimente, nenhum limite inferior super-linear é conhecido para os circuitos NC ^ 1 que calculam uma transformação linear f (x) = Ax sobre GF (2), mesmo que apenas os XOR fanin-2 sejam permitidos como portões. (Quase todas as matrizes A e depois requerem cerca de n ^ 2 / \ log n portões, em qualquer profundidade.)
Stasys
@Stasys, acho que seu comentário pode ser uma resposta.
Kaveh

Respostas:

16

Nas técnicas de comprovação dos limites inferiores da profundidade do circuito do poliolog, todas as abordagens atuais funcionam em configurações restritas . Como no trabalho que você mencionou sobre o GCT , o limite inferior se aplica a um modelo PRAM restrito sem operações de bits.

Sob outra restrição, que é a restrição monótona para funções booleanas monótonas, existe uma abordagem analítica de Fourier (ou combinatória enumerativa) para provar limites inferiores de profundidade de circuito monótonos, no meu trabalho conjunto com Aaron Potechin ( ECCC e STOC ). Isso melhora em um resultado anterior de Ran Raz e Pierre McKenzie, que estende a estrutura de jogos de comunicação de Mauricio Karchmer e Avi Wigderson em relação à profundidade do circuito.

Outra linha de pesquisa para estender o jogo Karchmer – Wigderson foi proposta como um jogo de comunicação referido por Scott Aaronson e Avi Wigderson, cuja extensão a um protocolo de provador de competições é sugerida como uma abordagem para separar NC de P por Gillat Kol e Ran Raz ( ECCC e ITCS ).

Além de estudar a restrição sintática da monotonicidade, existe uma abordagem para estudar uma restrição semântica relacionada a jogos de seixos (chamados de programas de ramificação econômica) por Stephen Cook, Pierre McKenzie, Dustin Wehr, Mark Braverman e Rahul Santhanam. Existe um forte limite inferior sob a restrição econômica de Dustin Wehr, correspondendo ao limite superior mais conhecido para problemas com P completo. Esses resultados dizem respeito à complexidade determinística do espaço, que reduz os limites do tempo paralelo ou da profundidade do circuito pelos resultados conhecidos da simulação (por exemplo, desde ).AlternatingTime[t]DeterministicSpace[t]

Sobre a questão relativa ao tamanho e profundidade dos circuitos, a seguinte abordagem pode estar relacionada. Richard Lipton e Ryan Williams mostram que, dado um limite inferior suficientemente forte na profundidade (ou seja, ), um limite inferior de tamanho fraco (ou seja, ) pode NC separado de P. Esse resultado segue um argumento de troca de profundidade de tamanho baseado em simulações de respeito a blocos. Um resultado anterior da profundidade de negociação de tamanho deve-se a Allender e Koucký, com base na ideia de auto-redutibilidade, mas estudou classes de complexidade menores, como NC e NL. n 1 + Ω ( 1 ) 1n1O(1)n1+Ω(1)1

Observe que, dentre as abordagens mencionadas acima, algumas consideram o tamanho e a profundidade dos circuitos, enquanto outras consideram apenas a profundidade do circuito. Em particular, a abordagem semi-algebro-geométrica de Mulmuley , a abordagem do protocolo de provadores concorrentes estudada por Kol – Raz e a abordagem de troca de profundidade por tamanho de Allender-Koucký e Lipton-Williams, todas dizem respeito ao tamanho e à profundidade de circuitos. Os resultados em Chan-Potechin , Raz-McKenzie , Cook-McKenzie-Wehr-Braverman-Santhanam e Wehr oferecem limites mais baixos de profundidade do circuito em configurações restritas, independentemente do tamanho. Além disso, o referido jogo de comunicação deAaronson-Wigderson diz respeito apenas à profundidade do circuito.

Ainda é consistente com o nosso conhecimento que algum problema de P-completo não pode ser calculado por circuitos de pequena profundidade (isto é, ), independentemente do tamanho. Se o tamanho não importa para pequenos circuitos de profundidade (de ventilação limitada), talvez faça sentido focar mais na profundidade do circuito do que focar no tamanho de pequenos circuitos de profundidade.logO(1)n

siuman
fonte
obrigado! Até onde você sabe, uma declaração que está no Q2 não é encontrada por todos, é? Ou seja, diferente dos métodos de limite inferior da complexidade da comunicação, não temos quantidade matemática fornecendo os limites mais baixos do circuito NC?
shen 01/03
@ shen, adicionei mais dois parágrafos no final. Espero que seja útil.
siuman
2
A idéia de que limites inferiores de tamanho fraco podem ser amplificados, usada no artigo de Lipton-Williams, é na verdade devido a Allender e Koucký ( eccc.hpi-web.de/report/2008/038 ).
Emil Jeřábek apoia Monica em 01/03
@ EmilJeřábek Obrigado! Eu adicionei esse papel. Espero que a resposta pareça melhor agora.
siuman
14

Seguindo a sugestão de Kaveh, estou colocando meu comentário como uma resposta (expandida).

Em relação aoQ1 , uma palavra de cautela está em ordem: até a profundidade logarítmica, se longe de ser entendida, sem falar em poli-logarítmica. Portanto, no mundo não monótono, o problema real é muito menos ambicioso:

Batendo Log-depth Problema: (!) Prove um super-linear limite inferior para -circuitos. NC1

O problema permanece em aberto (por agora mais de 30 anos) mesmo para linear -circuitos. Estes são circuitos fanin- sobre a base e calculam transformações lineares sobre . A contagem fácil mostra que quase todas as matrizes exigem portas , em qualquer profundidade. 2 { , 1 } f ( x ) = A x G F ( 2 ) A Ω ( n 2 / log n )NC12{,1}f(x)=AxGF(2)AΩ(n2/logn)

Em relaçãoQ2 : Sim, nós temos algumas medidas algébricas / combinatoric, limites inferiores em que batia circuitos log de profundidade. Infelizmente, até agora, não podemos provar limites suficientemente grandes para essas medidas. Digamos, por lineares -circuitos, uma tal medida é a rigidez da matriz . Este é o menor número de entradas de que é necessário alterar para reduzir a classificação para . É fácil mostrar que é válido para cada matriz booleanaNC1 RA(r)AArRA(r)(nr)2n×nAe Valiant (1977) mostraram que esse limite é estreito para quase todas as matrizes. Para vencer os circuitos de registo de profundidade, que é suficiente para apresentar uma sequência de booleanos matrizes tal quen×nA

RA(ϵn)n1+δ para constantes . ϵ,δ>0

O melhor que sabemos até agora são matrizes com R A ( r ) ( n 2 / r ) log ( n / r ) . Para matrizes de Sylvester (ou seja, matrizes internas do produto), é fácil mostrar o limite inferior de Ω ( n 2 / r ) . ARA(r)(n2/r)log(n/r)Ω(n2/r)

Temos medidas combinatórias para geral (não-linear) -circuitos, bem como para um bipartido n x n gráfico G , deixe t ( G ) ser o número mais pequeno t de tal modo que L pode ser escrito como uma intersecção de t bipartido gráficos, cada um sendo uma união de no máximo t gráficos bipartidos completos. Para vencer os circuitos gerais de profundidade de log, seria suficiente encontrar uma sequência de gráficos comNC1n×nGt(G)tGtt

para uma constante ϵ > 0t(Gn)nϵϵ>0

(veja, por exemplo, aqui como isso acontece). Mais uma vez, quase todos os gráficos têm . No entanto, o melhor permanece um limite inferior t ( G ) log 3 n para matrizes de Sylvester, devido a Lokam . t(G)n1/2t(G)log3n

Finalmente, deixe-me mencionar que temos até uma medida combinatória "simples" (quantidade), um limite inferior fraco (linear) no qual produziria limites inferiores exponenciais (!) Para circuitos não monótonos. Para uma bipartido gráfico G , deixe c ( G ) ser o menor número de fanin- 2 união ( ) e intersecção ( ) operações necessárias para a produção de L quando a partir de estrelas; uma estrela é um conjunto de arestas que une um vértice com todos os vértices do outro lado. Quase todos os gráficos têm c ( G ) = Ω ( n 2n×nGc(G)2G . Por outro lado, um limite inferior dec(G)=Ω(n2/logn)

para uma constante ϵ > 0c(Gn)(4+ϵ)nϵ>0

implicaria um limite inferior na complexidade do circuito não monótono de uma função booleana explícita f G de N variáveis. Se G é n × m gráfico com m = o ( n ) , mesmo um limite inferior c ( G n ) ( 2 + ϵ ) n é suficiente (novamente, veja, por exemplo, aqui como isso acontece). Limites inferiores c ( GΩ(2N/2)fGNGn×mm=o(n)c(Gn)(2+ϵ)n pode ser mostrado para gráficos relativamente simples. O problema, no entanto, é fazer isso com " - ϵ " substituído por " + ϵ ". Medidas mais combinatórias A complexidade do circuito de limite inferior (incluindo os circuitos A C C ) pode ser encontrada no livro. c(G)(2ϵ)nϵ+ϵACC

PS Então, estamos por um fator constante de ao mostrar P N P ? Claro que não. Mencionei esta última medida c ( G ) apenas para mostrar que se deve tratar a "amplificação" (ou "ampliação") dos limites inferiores com uma porção saudável de ceticismo: mesmo que os limites que precisamos parecer "inocentemente" sejam muito menores ( linear) do que quase todos os gráficos exigem (quadrático), a dificuldade inerente de provar um limite inferior (fraco) pode ser ainda maior. Obviamente, tendo encontrado uma medida combinatória, podemos dizer algo sobre quais propriedades das funções as tornam difíceis de serem computacionais. Isso pode ser útil para provar uma indireta2+ϵPNPc(G)limite inferior: alguma classe de complexidade contém uma função que requer grandes circuitos ou fórmulas. Mas o objetivo final é criar uma função explícita , cuja definição não tem um "cheiro algorítmico", não possui aspectos de complexidade ocultos.

Stasys
fonte
2
Acho isso muito interessante: 1. limite inferior superlinear para funções lineares sobre parece uma questão de limite inferior muito concreta. 2. limites inferiores em conceitos matemáticos não diretamente relacionados à computação estão relacionados ao limite inferior do circuito. GF(2)
Kaveh
rigidez da matriz é um conceito aparentemente unificador, no entanto, sua estrutura parece contrastar fortemente com quase todos os limites inferiores expressos em , enquanto que em termos é em vez de em Ω ( f ( n , r ) ) (ou seja, Ω ( f ( Ω(f(n))Ω(f(n,r))ondené o tamanho da entrada porque é para matrizes quadradas). Alguém viu outras maneiras de expressar a rigidez da matriz, por exemplo, em termos deΩ(f(n))? Ω(f(n,r))nΩ(f(n))
vzn 15/03
@vzn: O limite inferior mais forte em independente ou r é 0 , porque R A ( n ) = 0 . Receio que você interprete mal o que realmente significa rigidez. RA(r) r0RA(n)=0
Stasys 03/03