Perguntas com a marcação «reference-request»

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 de maneira …

9 reference-request  graph-theory  graph-minor 

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 possíveis de código e executados …

9 reference-request  graph-theory  graph-algorithms  treewidth 

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 ordem que podemos …

9 reference-request  lo.logic  automated-theorem-proving 

Qual é o algoritmo de isomorfismo de gráfico não direcionado mais rápido conhecido?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

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 computacional?

9 cc.complexity-theory  reference-request  communication-complexity  books 

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 trivialmente o problema está em porque iff x = 1 . A …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

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, é completo.ϵϵ\epsilonϵϵ\epsilonϵϵ\epsilonϵϵ\epsilonPPADPPAD\mathsf{PPAD} Seguindo estritamente as definições, parece não haver uma razão …

9 reference-request  gt.game-theory  ppad 

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 - ∑ki = 1pEuregistropEu-∑Eu=1 1kpEuregistro⁡pEu-\sum_{i=1}^k p_i …

9 reference-request  shannon-entropy  succinct 

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 polinômios quadráticos ).ax2+by+c=0ax2+by+c=0ax^2 + by + c = …

9 reference-request 

É 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 unidirecionais? Por exemplo, os OWFs sugerem que , e . …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

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&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

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 consistência mais forte conhecida de objetos compartilhados, proposta no artigo …

9 reference-request  dc.distributed-comp 

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: ϕ : = ϕ ∧ ϕ | ¬ &amp; Phi; …

9 cc.complexity-theory  reference-request  lo.logic 

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 seguintes. A computação quântica adiabática é …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

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 …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems