Deixe Alice e Bob calcular a função booleana .f(x1,…,x2n)f(x1,…,x2n)f(x_1,\dots,x_{2n}) Seleccionar um subconjunto aleatório de cardinalidade e deixar .I⊆{1,…,2n}I⊆{1,…,2n}\mathcal I\subseteq\{1,\dots,2n\}nnnJ={1,…,2n}∖IJ={1,…,2n}∖I\mathcal J=\{1,\dots,2n\}\backslash\mathcal I Vamos Alice obter...
Eu estive pensando por um tempo sobre a origem dos nomes "imune" e "simples". Também fiz a mesma pergunta a Andrea Sorbi, que por sua vez envolveu mais alguns colegas na discussão. Sobre "simples", temos algumas conjecturas. Martin Davis sugere que o nome deriva de uma analogia com grupos simples....
Primeiro, peça desculpas se esta pergunta é apropriada ou trivial para este site. Sou físico procurando ajuda fora de sua zona de conforto. Em PRL 87 167902 (2001) , alega-se que "... para um arbitrariamente pequeno , existe um código de correção de erros com (para alguma constante ) tal que a...
G = ( V, E)G=(V,E)G=(V,E) EuV( G ) = min { | N( S) || S|: S⊆ V, 1 ≤ | S| ≤ | V|2}EuV(G)=min{|N(S)||S|:S⊆V,1≤|S|≤|V|2}i_V(G) = \min\{\frac{|N(S)|}{|S|} : S \subseteq V, 1\le |S|\le \frac{|V|}{2}\} Você pode dar uma referência onde o seguinte problema é mostrado NP-complete: dado um gráfico e um...
O #P foi introduzido pela primeira vez em [1] ? [1] Valiant, Leslie G. "A complexidade de computar o permanente". Teoria da computação 8.2 (1979):
Considere o problema de interseção de conjuntos: Alice e Bob recebem um subconjunto de e gostariam de saber se seus conjuntos se cruzam. Esse é um problema canônico de complexidade da comunicação, e é sabido que protocolos aleatórios para esse problema requerem bits de comunicação ( consulte a...
Algum de vocês conhece uma referência para o seguinte resultado (surpreendentemente tedioso para provar)? Dado um gráfico plano conectado com n vértices e n + t arestas, ele possui um separador de vértices de tamanho O ( √GGGnnnn+tn+tn+t.O(t√+1)O(t+1)O(
Isso é uma confusão de referência. Às vezes, vejo as pessoas usarem o termo "metalinguagem computacional de Moggi" para se referir ao cálculo apresentado por Moggi e, às vezes, ao "cálculo lambda computacional de Moggi". Às vezes eles usam λm lλmeu\lambda_{ml} e às vezes λcλc\lambda_c . Eu sempre...
Da Wikipedia : VPVP\mathsf{VP} : A classe VP é o análogo algébrico de P; é a classe de polinômios de grau polinomial que têm circuitos de tamanho polinomiais sobre um campo fixo .fffKKK VNPVNP\mathsf{VNP} : A classe VNP é o análogo do NP. O VNP pode ser considerado como a classe de...