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...
Eu tenho um conjunto de pontos que são definidos em um espaço métrico - para que eu possa medir uma 'distância' entre pontos, mas nada mais. Quero encontrar o ponto mais central desse conjunto, que defino como o ponto com a soma mínima de distâncias para todos os outros pontos. O cálculo da métrica...
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
Existem várias anotações , como ou e assim por diante. Fiquei me perguntando, se existem variações daquelas na realidade, como ou , ou se são matematicamente incorretas.OOOO(n)O(n)O(n)O(n2)O(n2)O(n^2)O(2n2)O(2n2)O(2n^2)O(logn2)O(logn2)O(\log n^2) Ou seria correto dizer que é possível melhorar um...
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...
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...
Eu queria saber se este problema tem um nome: Dado um gráfico simples cujas bordas são de cor vermelha, azul e verde, , existe um-coloração vértice c : V → { B , R , G } de tal modo que cada extremidade tem um ponto de extremidade com a mesma cor?G = ( V, B ∪ R ∪ G )G=(V,B∪R∪G)G=(V,B\cup R\cup G)c...
Valiant & Vazirani provaram que o SAT é redutível a UNIQUE SAT sob reduções probabilísticas aleatórias no tempo polinomial. Calabro et al . mostrou que o k-SAT UNIQUE é tão difícil quanto o k-SAT. Agora, a pergunta é: se alguém mostra que UNIQUE k-SAT está em P, isso implica P =...
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...
Sabemos que a poliL não tem problemas completos, pois entraria em conflito com o teorema da hierarquia espacial. Mas: Existem problemas completos para cada nível dessa hierarquia?polyLpolyLpolyL Para ser mais preciso: A classe tem problemas completos em reduções para cada
Uma porta de limite que implementa uma função de limite linear em entradas booleanas é dada pela equação: onde . Os são chamados de pesos da função de limiar e é chamado de limiar e, naturalmente, o gate dispara na entrada se a soma ponderada dada pela equação acima exceder .nnnx1 1,x2......
Como estabelece a rede sempre-verde A Física do Papai Noel , é fisicamente impossível para o Papai Noel receber um presente para todas as crianças do planeta. O planejamento de rotas não ajuda muito lá, mas pode um bom algoritmo de planejamento garantir que todas as crianças recebam um presente de...
Dado o fato de os qbits terem superposições e maior poder representacional em relação aos circuitos, existem problemas que requerem pelo menos tempo exponencial para garantir uma solução com um computador quântico? Eu verifiquei o Complexity Zoo e não consegui encontrar nenhuma classe de...
Na teoria dos algoritmos distribuídos, existem problemas com limites inferiores, como Ω(n2)Ω(n2)\Omega(n^2), que são "grandes" (ou seja, maiores que Ω(nlogn)Ω(nregistron)\Omega(n\log n)) e não trivial. Gostaria de saber se existem problemas com limites semelhantes na teoria do algoritmo serial,...
Estou interessado na auto-redutibilidade do problema do Graph 3-Coloralibity. Definição do problema do gráfico 3-Coloralibity. Dado um gráfico não direcionado GGG existe uma maneira de colorir os nós vermelho, verde e azul para que nenhum nó adjacente tenha a mesma cor? Definição de...
Portanto, representa problemas nos quais temos pequenas testemunhas verificáveis para instâncias e para pequenas testemunhas verificáveis para instâncias. Como isso funciona paraNPNPNPYESYESYEScoNPcoNPcoNPNONONO PNPPNPP^{NP} NPNPNPNPNP^{NP} coNPNPcoNPNPcoNP^{NP} e assim por...
A classe de Nick (NC) é a classe de problemas que podem ser resolvidos em tempo de poliolog usando um número polinomial de processadores. Quero saber sobre o analógico exponencial, que abrangeria problemas que podem ser decididos em tempo polinomial usando um número exponencial de...