Minha pergunta é sobre teoria finita de modelos / complexidade descritiva, então significará "primeira ordem sobre palavras binárias finitas, usando os predicados Rs e um predicado unário P verdadeiro na posição do 1 na palavra".FO(R)FO(R)FO(R) Gostaria de saber, existe alguma caracterização de...
O livro de Arora e Barak contém em notas de capítulo sobre PCP Observamos que a estratégia geral de Dinur lembra um pouco a construção em zigue-zague de gráficos expansores e o algoritmo determinístico de espaço de log determinante de Reingold para conectividade não direcionada descrito no...
É sabido que a complexidade da consulta quântica de erro limitado da função é . Agora, a questão é: se queremos que nosso algoritmo quântico seja bem-sucedido para cada entrada com probabilidade em vez dos usuais . Agora, em termos de quais seriam os limites superior e inferior apropriados?Θ ( √O R...
Intrigado com a interessante pergunta de Chris Pressey sobre funções elementares-recursivas , eu estava explorando mais e não consegui encontrar uma resposta para essa pergunta na web. As funções recursivas elementares correspondem muito bem à hierarquia exponencial,
A seguir, parece-me uma definição natural e me pergunto se ela foi estudada em algum lugar. Considere um conjunto de idiomas. Então K ⊂ { 0 , 1 } ω é chamado de " informação verificável em X " quando existe L ∈ X stX⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}K⊂{0,1}ωK⊂{0,1}ωK...
Todo idioma indecidível reconhecível por Turing possui um subconjunto NP-completo? A questão poderia ser vista como uma versão mais forte do fato de que toda linguagem infinita reconhecível de Turing tem um subconjunto infinito e
No artigo de Adi Shamir [1], de 1979, ele mostra que esse fatoramento pode ser feito em um número polinomial de etapas aritméticas . Esse fato foi reafirmado e, portanto, me chamou a atenção no artigo recente de Borwein e Hobart [2] no contexto de programas de linha reta (SLP). Como fiquei...
Seja a classe de idiomas decidida alternando as máquinas de Turing que param no tempo usando o espaço . Seja a classe de linguagens decidida por máquinas de Turing alternadas que param de usar alternações de e espaço .ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n),
Fechadas. Esta questão está fora de tópico . No momento, não está aceitando respostas. Deseja melhorar esta pergunta? Atualize a pergunta para que ela esteja no tópico do Theoretical Computer Science Stack Exchange. Fechado há 7 anos . Como podemos...
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...
Suponha que operemos em um campo finito. Nos é dado um grande polinômio fixo p (x) (de, digamos, grau 1000) sobre esse campo. Esse polinômio é conhecido de antemão e temos permissão para fazer cálculos usando muitos recursos na "fase inicial". Esses resultados podem ser armazenados em tabelas de...
Considere uma fórmula Monotone 3CNF com as duas restrições adicionais a seguir: Cada variável aparece em exatamente cláusulas.222 Dadas cláusulas, elas compartilham no máximo variável.222111 Eu gostaria de saber o quão difícil é contar as tarefas satisfatórias dessa fórmula. Atualização...
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...
É 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...
Do natural Provas , Relativização e algebrização também afectar a separação de outras classes de complexidade como etc?L ≠ NL ≠ NP≠ c o NP≠ PH≠ PSPA CEL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Por exemplo barreira prova natural deve afectar qualquer prova de , uma vez que...
Todos sabemos que a complexidade mínima de um algoritmo de classificação baseado em comparação é Ω(nlogn)Ω(nlogn)\Omega(n \log n) comparações. Estou tentando fazer uma classificação às cegas , ou seja, dado um número nnn saída de um circuito (com portas booleanas, aritméticas e de "comparação")...
Não se acredita que seja o seguinte: L ⊆ L - uniforme N C1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 Você pode me ajudar a ver onde o argumento termina? O problema de acessibilidade direcionada está completo para . Argumento que está em -uniforme .L N C...
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
No problema da camarilha plantada, é necessário recuperar uma kkk planta plantada no gráfico aleatório Erdos-Renyi G(n,p)G(n,p)G(n,p) . Isso foi analisado principalmente para p=12p=12p=\frac{1}{2} , caso em que se sabe que pode ser resolvido em tempo polinomial sek>n−−√k>nk > \sqrt{n} e...