Sabemos que . No Teorema de Savitch, e, no Teorema da Hierarquia Espacial, \ mathcal {L} \ neq \ mathcal {L} ^ 2 . Portanto, como não sabemos se \ mathcal L \ neq \ mathcal P , não sabemos se \ mathcal L ^ 2 \ subseteq \ mathcal P , ou sabemos que \ mathcal L ^ 2 \ not \ subseteq \ mathcal P ?...
Grande parte da literatura da computação quântica se concentra no modelo de circuito. A computação quântica adiabática não se baseia na aplicação de uma sequência de operadores unitários, mas na alteração de um hamiltoniano dependente do tempo. Estou procurando informações sobre qualquer um dos...
Na introdução deste artigo Objetos Compartilhados Eventualmente Linearizáveis (PODC'10) , os autores apresentaram a seguinte declaração sem referências: A linearidade, no entanto, pode ser alcançada se e somente se o consenso puder ser resolvido. Aqui, linearizabilidade é a propriedade de...
Seja uma família de subconjuntos de elementos- de um universo finito de objetos. Uma família de subconjuntos de elementos de , com , é um conjunto de batidas de - se para cada existir pelo menos um conjunto tal que .FFFdddUUUHHHkkkUUU1≤k<d1≤k<d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW...
Eu estou olhando para a complexidade de satisfazibilidade de uma fórmula ou de uma fórmula ∃ x 1 , ... , x m ∀ y 1 , ... , y n , ϕ onde ϕ é a fórmula da forma: ϕ : = ϕ ∧ ϕ | ¬ & Phi; | ϕ∀y1,…,yn,∃x1,…,xm,ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi∃ x1 1, … , Xm∀ y1...
EQUAÇÕES DIOFANTINAS LINEARES (dados os números naturais , existem números naturais e tais que ?) São solucionáveis no tempo polinomial.a,b,ca,b,ca, b, cxxxyyyax+by+c=0ax+by+c=0ax + by + c = 0 EQUAÇÕES DIOFANTINAS QUADRÁTICAS ( ) são NP-completas ( problemas de decisão de NP-completas para...
É sabido que a existência de funções unidirecionais é necessária e suficiente para grande parte da criptografia (assinaturas digitais, geradores pseudo-aleatórios, criptografia de chave privada, etc.). Minha pergunta é: Quais são as consequências teóricas da complexidade da existência de funções...
Os Equilibria de Nash são incontestáveis em geral. Um equilíbrio -ash é um conjunto de estratégias em que, dadas as estratégias dos oponentes, cada jogador obtém do máximo retorno possível possível. Encontrar um equilíbrio -Nash, dado e um jogo, é
Conheço o trabalho de Shannon com entropia, mas ultimamente tenho trabalhado em estruturas de dados sucintas nas quais a entropia empírica é frequentemente usada como parte da análise de armazenamento. Shannon definido a entropia da informação produzida por uma fonte de informação discreta como -...
Seja xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} para i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\} , com a promessa de que x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (onde a soma está acima ). Então, qual é a complexidade de determinar se ?ZZ\mathbb{Z}x=1x=1x = 1 Observe que...
Quais são algumas das melhores fontes (livros e documentos) para motivar e aprender a complexidade da comunicação por si só e em conexão com a sua relação com a teoria da complexidade
Qual é o algoritmo de isomorfismo de gráfico não direcionado mais rápido
Sabemos pelo teorema da Igreja que determinar a satisfação de primeira ordem é indecidível em geral, mas existem várias técnicas que podemos usar para determinar a satisfação de primeira ordem. O mais óbvio é procurar um modelo finito. No entanto, existem várias instruções na lógica de primeira...
Estou procurando referências para o seguinte problema: dados inteiros nnn e kkk , enumere todos os gráficos planares não isomórficos em nnn vértices e largura de árvore ≤k≤k\leq k . Eu estou interessado tanto em resultados teóricos e práticos, mas principalmente algoritmos práticos que são...
Esta pergunta é dupla e é principalmente orientada a referências: Existe algum lugar onde as principais intuições para provar o teorema menor do gráfico são dadas, sem entrar muito nos detalhes? Sei que a prova é longa e difícil, mas certamente deve haver idéias-chave que possam ser comunicadas...
Estou fazendo um curso de pós-graduação em teoria da informação e fico constantemente impressionado com a quantidade de otimização convexa existente nesse assunto. No entanto, as provas parecem evitar o uso de toda a maquinaria da teoria do relaxamento, da dualidade etc. Isso é compreensível, pois...
Seja um gráfico que seja a união disjunta de um clique e um conjunto independente, ou seja, GGGG = Kn1 1+ Kn2¯¯¯¯¯¯¯¯= Kn1 1+ In2.G=Kn1 1+Kn2¯=Kn1 1+Eun2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . A classe de gráficos de todos esses gráficos é caracterizada pelos subgráficos induzidos...
Alguém já explorou qual é a complexidade do circuito de problemas clássicos de decisão, como Primes ou Isomorfismo de Gráfico, para o tamanho pequeno de entrada ?NNN Enquanto a maioria das pessoas está interessada em saber como a escala vai como , acho que também seria interessante ver como isso...
Sejam GGG e HHH dois gráficos conectados em rrr de tamanho . Vamos ser o conjunto de permutações P tal que P L P - 1 = H . Se L = H então Um é o conjunto de automorphisms de L .nnnAAAPPPPGP−1=HPGP−1=HPGP^{-1}=HG=HG=HG=HAAAGGG Qual é o limite superior mais conhecido no tamanho de AAA ? Existem...
Dado um grafo orientado fixo (d�rafo) , a -COLORING problema decisão pergunta se um digrama de entrada tem um homomorphism para . (Um homomorfismo de para é um mapeamento de para que preserva os arcos, ou seja, se é um arco de , então é um arco de )D L D L D F V ( L ) V ( D ) u v L f ( u ) f ( v...