Existe um jogo clássico de livro de quebra-cabeças muito semelhante a um jogo de palavras cruzadas, exceto que uma lista de palavras é fornecida e, em seguida, é fornecido um tabuleiro composto por quadrados unitários, com alguns quadrados apagados como uma palavra cruzada, e alguns quadrados já...
Em aplicativos do mundo real, há um benefício concreto ao usar os algoritmos vez dos \ mathcal {O} (\ log (n)) ?O ( log ( n ) )O (log( log( N ) )O(registro(registro(n))\mathcal{O}(\log(\log(n))O (log( N ) )O(registro(n))\mathcal{O}(\log(n)) É o caso quando se usa, por exemplo, árvores de van...
Como podemos garantir que continuamos a fazer declarações válidas e válidas sobre as classes de complexidade ao usar as máquinas de Turing da Oracle? De acordo com o meu entendimento (com base nas definições fornecidas nos livros introdutórios sobre o assunto), as máquinas Oracle Turing podem...
Muitas classes de complexidade têm problemas "completos". Existem problemas completos para a classe de complexidade dos problemas que podem ser resolvidos no tempo ?O(1)O(1)O(1) Uma complicação é que essa classe depende do modelo de computação; um problema pode ser solucionado no tempo em um...
No problema de Subconjunto de soma, alguns dos números fornecidos podem a1,a2,a3,…,ana1,a2,a3,…,ana_1,a_2,a_3,\dots,a_nser o mesmo? Por exemplo, podemos ter[1,1,1,2,3,4][1,1,1,2,3,4][1,1,1,2,3,4] e o alvo é 555? Posso assumir que tenho uma solução específica com números222 e 333 e 1,1,11,1,11,1,1 e...
Eu estou tentando entender esse problema de algoritmos. por S. Dasgupta, CH Papadimitriou e UV Vazirani, capítulo 8 , Pg281. Problema 8.19 Uma pipa é um gráfico em um número par de vértices, digamos , em que dos vértices formam uma clique e os restantes são conectados em uma “cauda” que consiste...
Digamos que sabemos que o problema A é difícil, depois reduzimos A ao problema desconhecido B para provar que B também é difícil. Como exemplo: sabemos que 3 cores são difíceis. Em seguida, reduzimos 3 cores para 4 cores. Ao confundir uma das cores da 3-coloração, você tem 4-coloração, portanto, a...
Encontrei o seguinte problema: Dado um gráfico acíclico direcionado com pesos de borda com valor real e dois vértices s e t, calcule o corte mínimo. Para gráficos gerais, isso é difícil para NP, já que é possível reduzir trivialmente o corte máximo simplesmente revertendo os pesos das arestas (me...
Tenho um problema que suspeito ser NP-completo. É fácil provar que é NP. Minha linha de pensamento atual gira em torno do uso de uma redução da mochila, mas resultaria em instâncias de 0-1-mochila com o valor de cada item igual ao seu peso. Ainda está NP-completo? Ou eu estou esquecendo de alguma...
Estou tentando entender os sistemas interativos de provas e tentei o seguinte problema como exercício. Sabemos que PH⊆PSPACEPH⊆PSPACEPH \subseteq PSPACE e IP=PSPACEIP=PSPACEIP=PSPACE , então crie sistemas de prova interativos (fáceis de entender) para PHPHPH ? Um sistema de prova interativa para...
Como a pergunta indica, como podemos provar que ?NTIME(f(n))⊆DSPACE(f(n))NTIME(f(n))⊆DSPACE(f(n))\textbf{NTIME}(f(n)) \subseteq \textbf{DSPACE}(f(n)) Alguém pode me indicar uma prova ou descrevê-la aqui?
Estou procurando um artigo fácil e introdutório sobre a prova do Teorema de Courcelle . Também estou interessado em sua conexão com a complexidade parametrizada em relação à largura da árvore . Eu sou apenas um iniciante neste campo. Alguma
Que eu saiba, não existe um algoritmo de pior caso que resolva o seguinte problema:O(n)O(n)O(n) Dada uma sequência de comprimento consiste em números inteiros finitos, encontre a permutação em que cada elemento é menor ou igual ao seu sucessor.nnn Mas existe uma prova de que não existe, no...
Publiquei isso no MathUnderflow, mas não obtive respostas, então pensei em experimentar aqui, Estou lendo o antigo artigo de Rabin e Fischer [publicará um link quando possível] onde, entre outras coisas, é comprovada a complexidade duplamente exponencial da aritmética de Presburger. A prova se...
Estou ciente de que alguns ints têm maior ou menor complexidade de Kolmogorov. Por exemplo, o número 5.41126806512tem uma complexidade muito baixa, como pode ser expresso por 17/pi. Também estou ciente de que, embora o KC varie dependendo da linguagem da expressão, é sempre o mesmo até uma...
Está invertendo uma matriz na classe Complexidade ?PP\text{P} Desde o tempo de execução, eu diria que sim O (n3)O(n3)\mathcal{O}(n^3) mas a matriz invertida pode conter entradas em que o tamanho não é polinomialmente limitado pela
Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a...
Uma linguagem formal LLL sobre um alfabeto é um subconjunto de , ou seja, um conjunto de palavras sobre esse alfabeto. Duas linguagens formais e são iguais, se os conjuntos correspondentes forem extensionalmente iguais como subconjuntos de . Pode-se usar linguagens na teoria da complexidade para...
Esta questão é sobre a interseção da teoria da probabilidade e da complexidade computacional. Uma observação importante é que algumas distribuições são mais fáceis de gerar do que outras. Por exemplo, o problema Dado um número nnn , retorne um número uniformemente distribuído iii com...
Considere o seguinte problema: Entrada : lista de números inteirosX,YX,YX,Y Objetivo : determine se existe um número inteiro nas duas listas.xxx Suponha que ambas as listas sejam do tamanho n . Existe um algoritmo determinístico de tempo linear para esse problema? Em outras palavras, você pode...