Perguntas com a marcação «complexity-classes»

Eu estava pensando em qual classe esta língua pertence: é um grafo, k é um número natural e k é o número cromático de G }L={⟨G,k⟩∣GL={⟨G,k⟩∣GL =\{ \langle G,k \rangle \mid G kkkkkkG}G}G\} Pensei em como (1) "não há coloração de k-1 cores" e (2) "não há coloração de k- …

11 cc.complexity-theory  np-hardness  complexity-classes 

Sabe-se que algumas classes de complexidade sintática (não relativizadas) entre e P S P A C E têm a seguinte propriedade, P ⊆ C o N P ⊆ U S ⊆ C = P ⊆ P P ⊆ P S P A C E . Gostaria de saber se existe …

11 cc.complexity-theory  complexity-classes 

Em um artigo sobre a relativização dos cálculos do espaço de log, Ladner e Lynch constroem um oráculo em relação ao qual . Existem alguns exemplos mais patológicos nessa veia na literatura. Eu tenho lido alguns artigos sobre classes espaciais pequenas relativizadas, e uma das principais ferramentas nesta área é …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Resposta: desconhecido Muito obrigado a todos que ajudaram a refinar esta questão e as definições a ela associadas. As definições deste wiki forneceram o ponto de partida para o wiki mais recente do TCS " P contém idiomas cuja existência é independente do PA ou ZFC? (Wiki da comunidade TCS) …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Eu acho que seria chamado # P-Space, mas eu encontrei apenas um artigo mencionando-o vagamente. Que tal a versão de contagem dos problemas EXP-TIME-Complete, NEXP-Complete e EXP-SPACE-Complete? Existe algum trabalho anterior que se possa citar em relação a esse ou a qualquer tipo de inclusão ou exclusão como o Teorema …

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

Como se olha para um problema e o motivo pelo qual é provável NP-Intermediário em oposição a NP-Complete? Muitas vezes, é bastante simples olhar para um problema e dizer se é provável que o NP-Completo seja ou não, mas me parece muito mais difícil dizer se um problema é NP-Intermediário, …

11 cc.complexity-theory  complexity-classes  np-intermediate 

Não me lembro de ter visto uma separação de classes não baseada em resultados de diagonalização e relativização. A diagonalização ainda pode ser usada para separar as classes conhecidas restantes, porque argumentos não relativizadores ainda podem ser usados ​​na conclusão da diagonalização ou na construção da máquina de Turing diagonalizada. …

11 cc.complexity-theory  complexity-classes  relativization  barriers 

Eu tenho um problema que está no NEXP e também pode ser resolvido por uma TM alternada usando tempo exponencial e apenas uma alternância (iniciando em um estado existencial).NPNP^{\text{NP}} Existe algo conhecido sobre NEXP ? É igual a NEXP ou alguma outra classe? Existem problemas completos além do genérico (dado …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

Imagine uma linguagem de programação funcional cujos únicos tipos de dados são escalares numéricos e aninhamentos arbitrários de matrizes. O idioma não possui meios de iteração ilimitada, portanto, o seguinte não é permitido: loops explícitos (pouco uso sem efeitos colaterais) recursão funções arbitrárias de primeira classe (sem combinador y) A …

11 complexity-classes  functional-programming  dc.parallel-comp 

Aqui estão duas variações na definição de NP. Eles (quase certamente) definem classes de complexidade distintas, mas minha pergunta é: existem exemplos naturais de problemas que se encaixam nessas classes? (Meu limite para o que conta como natural aqui é um pouco menor que o normal.) Classe 1 (uma superclasse …

11 cc.complexity-theory  complexity-classes  np 

A classe UP é definida como tal: A classe de problemas de decisão solucionáveis ​​por uma máquina NP tal que Se a resposta for 'sim', exatamente um caminho de computação será aceito. Se a resposta for 'não', todos os caminhos de computação serão rejeitados. Estou tentando desenvolver intuição para essa …

11 cc.complexity-theory  complexity-classes 

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 \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} A pergunta foi inspirada por um comentário de Scott Aaronson .

11 cc.complexity-theory  complexity-classes 

Esta pergunta pode ter uma resposta óbvia ... mas aqui está a pergunta de qualquer maneira. Intuitivamente, é a seguinte declaração plausível - "uma máquina com uma sub-rotina A que, por sua vez, possui uma sub-rotina B é a mesma que uma máquina com uma sub-rotina A que tem acesso …

11 complexity-classes  oracles 

Esta é uma generalização da minha pergunta anterior . Deixe ser uma máquina determinística em tempo polinomial que podem fazer perguntas para algum oráculo . Inicialmente está vazio, mas isso pode ser alterado após um jogo que será descrito abaixo. Seja uma string.MMMUMAAAUMAAAxxx Considere o seguinte jogo de Alice e …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

Deixe ser uma máquina determinística em tempo polinomial que podem fazer perguntas para algum oráculo . Inicialmente está vazio, mas isso pode ser alterado após um jogo que será descrito abaixo. Seja uma string.MMMUMAAAUMAUMAAxxx Considere o seguinte jogo de Alice e Bob. Inicialmente, Alice e Bob têm e dólares, respectivamente. …

10 cc.complexity-theory  complexity-classes  gt.game-theory