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...
O algoritmo de Berkowitz fornece um circuito de tamanho polinomial com profundidade logarítmica para determinar uma matriz quadrada usando potências matriciais. O algoritmo usa implicitamente o cancelamento. O cancelamento é essencial para a obtenção de um circuito de tamanho polinomial com...
É 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...
Suponha que P! = NP. Sabemos que podemos criar instâncias fáceis do 3-SAT a qualquer momento. Também podemos gerar o que acreditamos ser instâncias difíceis (porque nossos algoritmos não podem resolvê-los rapidamente). Existe algo que impeça que o conjunto de instâncias rígidas seja...
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 -...
Existem problemas que são decidíveis, outros são indecidíveis, há semidecidibilidade etc. Nesse caso, pergunto-me se um problema pode ser meta-indecidível. Isso significa (pelo menos na minha cabeça) que não podemos dizer se é decidível ou não. Talvez seja sabido que a decidibilidade é...
Estou tentando encontrar um gráfico com essas propriedades para meus estudos, mas infelizmente não consigo encontrar esse gráfico. Alguém sabe se existe esse gráfico ou por que é impossível
Suponha que eu tenha pontos em . Isso induz um diagrama de Voronoi. Se eu atribuir a cada um dos pontos um rótulo , eles induzirão uma função binária em . Pergunta: qual é a dimensão VC de todas essas funções binárias possíveis induzidas por alguns pontos e alguma rotulagem desses...
Estou resolvendo um problema de "mesclar" conjuntos de imagens sobrepostas. Esses conjuntos podem ser representados por gráfico ponderado não direcionado, como este: Cada nó representa uma imagem. Imagens sobrepostas são conectadas por uma borda. O peso da borda representa o tamanho da área de...
Como ambas as provas fazem uso do argumento diagonal, estou me perguntando se existe um elo obscuro entre a existência de conjuntos infinitos incontáveis e a indecidibilidade do problema de parada. O problema da parada seria decidível se todos os conjuntos fossem
Aqui está um problema do vizinho mais próximo. Dados os reais (muito grande !), Mais o alvo real , encontre e cujo SUM seja o mais próximo de . Permitimos pré-processamento / indexação razoável de (até ), mas no momento da consulta (dado ), o resultado deve ser retornado muito rapidamente (por...
Existem algoritmos conhecidos para o seguinte problema que superam o algoritmo ingênuo? Entrada: matriz e vetores , em que todas as entradas de são números inteiros não negativos.b , c A , b , cAAAb,cb,cb,cA,b,cA,b,cA,b,c Saída: uma solução ideal para . máx { c T x : A x ≤ b , x ∈ { 0 , 1 } n...
Quantos ciclos CkCkC_k (k≥3)(k≥3)(k \geq 3) existem em um gráfico de nnn vértices, de modo que o gráfico não possua nenhum ciclo CmCmC_m (m>k)(m>k)(m>k) . Por exemplo n=5n=5n=5 , k=3k=3k=3 , em seguida gráfico terá no máximo dois C3C3C_3 's de modo a que GGG não terá...
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")...
Temos o algoritmo para determinar se um gráfico tem um ciclo de comprimento exatamente . Como podemos descobrir quantas dessas motocicletas estão presentes em usando o mesmo ou qualquer outro algoritmo. G k k Gf( k ) n3f(k)n3f(k)
Agora estou tentando entender melhor o que é "interpretação abstrata" em linguagens de programação. Encontrei um bom capítulo de livro que explica a idéia de estender o domínio com um elemento menos fixo, os quatro axiomas que produzem um ponto fixo para uma função contínua, e assim por diante....
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...