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

P versus NP e outra computação limitada a recursos.

2
Existe alguma classe de complexidade que contenha contrapartes on-line de problemas de otimização?
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 mais difíceis conforme medidos por seus índices …
1
Quais são as complexidades dos seguintes subconjuntos SAT?
Assuma P≠ NPP≠NPP \neq NP Vamos usar a seguinte notação para tetração (ie.Euumaia{}^ia ).ia=aa⋅⋅⋅ai 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, L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | …
2
Variantes NP-completas de problemas indecidíveis?
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 }(T,1t)(T,1t)(T, 1^t)t2t2t^2TTT Problema …
1
A des randomização de classes ligeiramente não uniformes, por exemplo, BPP / linear, foi estudada?
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 devem funcionar, porque …
3
Que evidência existe de que ?
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 …
1
Qual é a relação conjeturada entre as linguagens P (PTime) e Tipo 1 (sensível ao contexto)?
P⊆CSLP⊆CSLP\subseteq CSLP⊈CSLP⊈CSLP\not\subseteq CSL PPP é o conjunto de todos os idiomas decidíveis em tempo polinomial em uma máquina de Turing determinística, e CSLCSLCSL é a classe de linguagens sensíveis ao contexto, conhecida por ser equivalente a , as linguagens decididas por autômatos com limites lineares.NSPACE(O(n))NSPACE(O(n))NSPACE(O(n)) Para muitas perguntas abertas, há …
1
A complexidade de Kolmogorov das tabelas da verdade do problema da parada é conhecida assintoticamente?
Vamos HALTnHALTnHALT_n denotar a cadeia de comprimento 2n2n2^n correspondente à tabela verdade do problema de parada para entradas de comprimento nnn . Se a sequência das complexidades de Kolmogorov K(HALTn)K(HALTn)K(HALT_n) fosse O(1)O(1)O(1) , uma das sequências de aconselhamento seria usada infinitamente com frequência, e uma TM com essa sequência codificada …
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.