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

Como provar que ? Estou apenas procurando por um oracle TM M e uma linguagem recursiva L ( M ) = L para a qual isso se aplica.NPA≠coNPANPA≠coNPA\mathsf{NP}^A \neq \mathsf{coNP}^AMMML(M)=LL(M)=LL(M) = L Eu sei que a prova de que você mostra que há um oráculo tal que P A ≠ …

12 complexity-theory  relativization 

Pergunto-me, qual é a complexidade de tempo para determinar o vazio para DFAs bidirecionais? Ou seja, autômatos finitos que podem retroceder na fita de entrada somente leitura. Segundo a Wikipedia, eles são equivalentes aos DFAs, embora o DFA equivalente possa ser exponencialmente maior. Encontrei complexidade de estado para os complementos …

12 complexity-theory  formal-languages  reference-request  automata  finite-automata 

Recebi um conjunto A≜{1,…,k}A≜{1,…,k}A\triangleq\{1,\ldots,k\} , um número inteiro s⩽ks⩽ks\leqslant k e números inteiros não negativos aijaija_{ij} . Meu problema é encontrar sss subconjuntos SjSjS_j de {1,…,k}{1,…,k}\{1,\ldots,k\} modo que: ⋃sj=1Sj=A⋃j=1sSj=A\bigcup_{j=1}^s S_j=A ; e |Sj|⩽aij|Sj|⩽aij|S_j|\leqslant a_{ij} para todos i∈Sji∈Sji\in S_j e j=1,…,sj=1,…,sj=1,\ldots,s . Como resolver este problema? É difícil encontrar uma solução …

11 complexity-theory  integer-programming 

Existe uma maneira fácil de entender por que o NP está em EXPTIME? Parece-me a priori concebível que poderia haver um problema que requer tempo superexponencial para ser resolvido, mas cuja solução poderia ser verificada em tempo polinomial.

11 complexity-theory  complexity-classes 

A Rodada de Teste do Google Hash Code 2015 ( declaração do problema ) perguntou sobre o seguinte problema: entrada: uma grade com alguns quadrados marcados, um limiar T ∈ N , uma área máxima A ∈ NMMMT∈NT∈NT \in \mathbb{N}A∈NA∈NA \in \mathbb{N} produção: a maior área possível total de um …

11 complexity-theory  reductions  np-hard 

Eu sei que é bobagem, mas consegui me confundir e preciso de ajuda para resolver isso Suponha que , então claramente para todo oráculo A temos P A = N P A que contradiz o fato de que existe algum oráculo A para o qual P A ≠ N P …

11 complexity-theory  p-vs-np  oracle-machines 

Vamos ser algum problema de contagem, que é conhecido por ser # P -Complete .ΠΠ\PiPPP Isso implica que é A P X- difícil (ou seja, não existe PTAS para o problema, a menos que P = N P )?ΠΠ\PiAPXAPXAPXP=NPP=NPP=NP

11 complexity-theory  complexity-classes  approximation  counting 

Eu estou querendo saber se existem problemas -Hard que são `` polinomial" no caso da média. Eu acho que existem duas maneiras de interpretar isso?NPNPNP Se , pode haver um algoritmo de resolução de um N P problema -Hard com amortizado (caso médio) tempo de execução O ( n k …

11 complexity-theory  reference-request  np-complete  probabilistic-algorithms  amortized-analysis 

Estou interessado nas propriedades de uma classe de gráficos bipartidos que todos os nós em são 3-regulares, todos os nós em são 2-regulares e. Primeiro, essa é uma classe bem conhecida de gráficos? Em segundo lugar,G(X∪Y,E)G(X∪Y,E)G(X \cup Y, E)XXXYYY|X|=|2Y/3||X|=|2Y/3||X|=|2Y/3| Existe um exemplo de problema computacional intratável restrito a essa classe …

11 complexity-theory  graph-theory 

O problema de decisão Dada uma fórmula booleana , tem exatamente uma tarefa satisfatória?ϕϕϕ\phiϕϕ\phi pode ser visto em , -hard e -hard. Existe algo mais conhecido sobre sua complexidade?U P c o N PΔ2Δ2\Delta_2U PUP\mathsf{UP}c o N PcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

De acordo com o artigo da Wikipedia sobre esquemas de aproximação de tempo polinomial : Todos os problemas no FPTAS são tratáveis ​​com parâmetros fixos. Esse resultado me surpreende - essas classes parecem ser totalmente diferentes umas das outras. O FPTAS caracteriza problemas pela facilidade com que são aproximados, enquanto …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Dado o fato de que enumeração - path é um problema # P-complete, poderia haver métodos eficientes que computem (ou pelo menos se aproximem) o comprimento médio do caminho - sem enumerá-los? E se os caminhos tiverem permissão para revisitar vértices?ssstttsssttt Resultados relevantes em gráficos especiais também podem ser úteis.

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Dado nnn trabalhos J1,J2,...,JnJ1,J2,...,JnJ_1,J_2,...,J_n , cada trabalho exige TEu> 0 , TEu∈ NTi>0,Ti∈NT_i > 0, T_i \in N tempo para completar. Cada trabalho deve ser pré-processado e pós-processado por uma única máquina M que pode lidar com apenas 1 trabalho por vez e as duas fases requerem 1 unidade de …

11 complexity-theory  reference-request  scheduling 

Eu sei que o conjunto independente máximo em gráficos sem triângulo cúbico é NP-completo. Ainda é NP-completo no caso de exigirmos que o conjunto independente seja do tamanho exato ?|V|/2|V|/2|V|/2 Basicamente, a instância YES de um problema de conjunto independente em gráficos sem triângulo cúbico deve ter exatamente nós . …

11 complexity-theory  np-complete 

Por exemplo, eu sei que o idioma não regular está em . Eu gostaria de saber mais exemplos como este. A C 0umanbnanbna^nb^nA C0 0AC0AC^0

11 complexity-theory  regular-languages  circuits