Deixe ser um gráfico acíclico dirigido , e deixar λ ser uma função rotulagem mapeamento de cada vértice v ∈ V para uma etiqueta λ ( v ) em algum alfabeto finito L . Escrevendo n : = | V | , um tipo topológico de G é uma bijeção σ de { 1 , … , n } a V (ou seja, uma ordenação deG=(V,E)G=(V,E)G = (V,...
Seja um oráculo genérico no sentido da categoria Cohen / Baire. Seja R um oráculo aleatório.GGGRRR Existem classes de complexidade A e B com ou o contrário, A G ≠ B GAG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne
Em geral, decidir se uma equação diofantina tem soluções inteiras é equivalente ao problema de parada. Acredito que decidir se uma equação diofantina quadrática tem alguma solução é NP-completo. Existe alguma restrição adicional nas equações envolvidas que gera um problema de P...
Pergunta Geral O teorema da hierarquia espacial generaliza para computação não uniforme? Aqui estão algumas perguntas mais específicas: L / p o l y⊊ PSPA CE/ PolyL/poly⊊PSPACE/polyL/poly \subsetneq PSPACE/poly Para todas as funções construtivas de espaço , ?D S P A C E ( o ( f ( n ) ) ) /...
Estou interessado no problema clássico INCLUSÃO LÍNGUA REGULAR. Dada uma expressão regular , denotamos por L ( E ) a linguagem regular a ela associada. (As expressões regulares estão em um alfabeto fixo Σ , com a união de operações, estrela Kleene e concatenação.)EEEL(E)L(E)L(E)ΣΣ\Sigma Entrada:...
Do teorema da hierarquia espacial, sabe-se que, se é construtível em espaço, DSPACE ( ) não é igual a DSPACE ( .fff2 f ( n )2f(n)2f(n)2f(n)f(n))f(n))f(n)) Aqui, por DSPACE ( quero dizer a classe de todos os problemas que podem ser resolvidos no espaço por uma máquina de Turing com algum alfabeto...
Que evidência existe de que ?c o R P≠ NPcoRP≠NPcoRP \neq NP c o R PcoRPcoRP é a classe de idiomas para a qual existe uma máquina de Turing probabililística que é executada em tempo polinomial e sempre responde Sim em uma entrada pertencente ao idioma e responde Não com probabilidade de pelo menos...
É possível (barra você pode fornecer um exemplo) reduzir a complexidade computacional de um problema usando um algoritmo paralelo que não requer um número de processadores em relação ao tamanho da
Por BPP / linear, refiro-me a máquinas de BPP com orientação linear, que cumprem a promessa quando recebem a orientação "correta", e a derandomização deve nos fornecer, digamos, um algoritmo P / linear ou (SUBEXP / linear). Se usarmos suposições não uniformes, acho que os resultados clássicos...
Mostre uma função que é construtível no espaço, mas não no tempo.f(n)f(n)f(n) Esse problema está relacionado a uma possível separação entre as classes de complexidade DTIME (f (n)) e SPACE (f
Um sistema da estrela é uma família de n subconjuntos de N-elementos fixados S . Um sistema da estrela é gráfica, se houver algum gráfico G ( V , E ) de modo a que F é a família dos bairros de vértice em L . É N P -Complete para decidir se um determinado sistema estelar é...
Exemplos de variantes limitadas de completas de conjuntos indecidíveis:NPNPNP Problema de parada limitada = { | A máquina NTM interrompe e aceita dentro de etapas}( M,x,1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Lado a lado com limite = { | há um quadrado de um quadrado da área por ladrilhos de...
Estou interessado em instâncias individuais "difíceis" de problemas de NP-completo. Ryan Williams discutiu o problema SAT0 no blog de Richard Lipton . SAT0 pergunta se uma instância SAT tem a solução específica que consiste em todos os 0s. Isso me fez pensar em construir instâncias SAT que...
Temos classes de complexidade com relação a, digamos, complexidade de caso médio? Por exemplo, existe uma classe de complexidade (nomeada) para problemas que levam o tempo polinomial esperado para decidir? Outra questão considera a complexidade do melhor caso , exemplificado abaixo: Existe uma...
Assuma P≠ NPP≠NPP \neq NP Vamos usar a seguinte notação para tetração (ie.Euumaia{}^ia ).ia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | x | é o tamanho da instância x. Seja L uma língua,...
Geradores invulneráveis são definidos da seguinte maneira: Seja uma relação NP e seja uma máquina que aceite . Informalmente, um programa é um gerador invulnerável se, na entrada , produz pares de testemunhas de instância , com , de acordo com uma distribuição sob a qual qualquer adversário em...
Existe alguma classe de complexidade que contenha contrapartes on-line de problemas de otimização? Caso contrário, como essa classe pode ser definida? Sabemos que muitos problemas têm sua versão online: por exemplo, versão online do problema de empacotamento de lixeira. Os problemas online são...
Pergunto-me saber meteorológicas existem linguagem escasso (mesmo construído por diagolanization retardado) em NPI sob a suposição de que .P≠ NPP≠NPP \neq
Gostaria de saber o estado atual da transição de fase para k-sat aleatório, dadas n variáveis e cláusulas m, qual é o melhor conhecido c = m / n para os limites superior e
No SODA 2006, Martin Grohe e D niel papel de Marx "Constraint solução através de tampas de borda fraccionada" ( citação ACM ) mostrou que, para a classe de Hipergrafos H com largura hypertree fraccionada limitada, CSP ( H ) ∈ P T I M E .a´a´\acute{\rm a}HHHHHH∈PTIME∈PTIME\in PTIME Definições,...