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

Existe um sistema de tipos que restrinja os termos lambda aos termos que se enquadram em uma classe de complexidade? Como os termos tipáveis ​​da teoria estão estritamente dentro da classe de complexidade? Ou isso não é possível? Acho que existem muitos estudos sobre expressibilidade da teoria dos tipos, como …

8 complexity-classes  type-theory 

Problema Geral Suponha que tenhamos uma função polinomial multivariada e várias funções lineares . O que se sabe sobre a complexidade de resolver o seguinte problema de otimização?ℓ i ( x )f( X )f(x)f(\mathbf{x})ℓEu( X )ℓi(x)\ell_i(\mathbf{x}) MaximizarSujeito a: f( X )ℓEu( x ) ≤ 0 para todos os iMaximizef(x)Subject to: …

8 cc.complexity-theory  complexity-classes  time-complexity  linear-programming  polynomials 

Considere uma máquina (ou seja, um algoritmo probabilístico que usa espaço de log e polinomialmente muitos bits aleatórios). Sabe-se (Saks-Zhou) que .BPLBPLBPLBPL⊆DSPACE(log1.5(n))BPL⊆DSPACE(log1.5(n))BPL \subseteq DSPACE(log^{1.5}(n)) Minha pergunta é sobre uma máquina que usa apenas polilog muitos bits de aleatoriedade. Em um dos artigos de Goldreich, é mencionado de passagem que uma …

8 cc.complexity-theory  complexity-classes  derandomization  space-bounded  logspace 

Qual é a complexidade do problema de satisfação local para a lógica modal ? Aqui, denotamos por a lógica modal sobre quadros euclidianos estendidos com modalidade inversa. Você poderia fornecer alguma referência? Está em ? I K 5 N PI K 5EuK5\mathit{IK5}EuK5EuK5IK5NPNPNP O que eu sei sobre o tópico? É …

8 cc.complexity-theory  complexity-classes  lo.logic  modal-logic 

O idioma Critical SAT é definido como o conjunto de fórmulas booleanas tal modo que mas remover qualquer cláusula de torna satisfatório. Sabe-se que o Critical SAT é completo. Gostaria de saber sobre a seguinte variante: dada uma fórmula , é o caso de estar em e de que existe …

8 cc.complexity-theory  complexity-classes  boolean-functions 

fundo Sabemos que .P# P⊆ PSPA CEP#P⊆PSPACEP^{\#P} \subseteq PSPACE Além disso, sabemos pelo teorema de Toda que .PH⊆ P# PPH⊆P#PPH \subseteq P^{\#P} Para mais informações sobre , consulte aqui: https://en.wikipedia.org/wiki/Sharp-P# P#P\#P Questão Existe um oráculo tal que ?UMAUMAA( P# P)UMA≠ PSPA CEUMA(P#P)UMA≠PSPUMACEUMA(P^{\#P})^{A} \neq PSPACE^{A}

8 cc.complexity-theory  complexity-classes  oracles  relativization  pspace 

As versões não uniformes de P, NP e coNP são P / poli, NP / poli e coNP / poli. Da mesma forma, podemos definir uma versão não uniforme para cada nível no PH. Por exemplo: / poly consiste em problemas no formato { x : ∃ y ∀ zΣ2Σ2\Sigma_2 …

8 cc.complexity-theory  complexity-classes  polynomial-hierarchy 

A interseção de dois idiomas no NP que não são NP completos pode ser NP completa? A interseção de dois idiomas no coNP que não são completos no coNP pode ser completa no coNP? A interseção de dois idiomas, um em coNP, mas não completo e outro em NP, mas …

8 complexity-classes  np 

Em https://en.wikipedia.org/wiki/Geometric_complexity_theory , é mencionado que ".. Ketan Mulmuley acredita que o programa, se viável, provavelmente levará cerca de 100 anos para resolver o problema P vs. NP". Parece indicar que o único programa atualmente viável poderia enfrentar sérios obstáculos. Quais são alguns dos obstáculos em que o programa pode …

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture 

De acordo com o lema do handshaking: qualquer gráfico não direcionado que tenha um vértice cujo grau seja um número ímpar deve ter outro vértice cujo grau seja um número ímpar. Essa observação significa que, se recebermos um gráfico e um vértice de grau ímpar, e formos solicitados a encontrar …

8 complexity-classes  counting-complexity  ppad 

Estou procurando mais problemas em com limites mais baixos de complexidade de tempo clássica. Algumas pessoas podem se perguntar como você pode provar um limite tão baixo. Ver abaixo.PPP Limites inferiores exponenciais: Reivindicação: Se você tiver um problema que é E X P T I M E completo com reduções …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

Em [1] afirma-se que "Continua sendo uma questão em aberto se todas as funções em possuem circuitos T C 0 (embora seja pelo menos sabido que nem todas as funções # P possuem circuitos T C 0 uniformes para DLogTime )."#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 circuitos gerados por funções dlogtime não contém # P …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent 

É comum definir a completude de em relação às reduções de numerosas uma no espaço de log.PPP Estou procurando uma classe de complexidade modo que haja problemas de P- completos com reduções de C de muitos um .C⊆LC⊆LC \subseteq \mathsf{L}PP\mathsf{P}CCC Qual é a menor classe de redução conhecida e tantas …

8 cc.complexity-theory  complexity-classes 

Quais são os exemplos de problemas conhecidos em AMAM\mathsf{AM} (resp. MAMA\mathsf{MA} ) que não são conhecidos em NPNP\mathsf{NP} nem em BPPBPP\mathsf{BPP} ? Para AMAM\mathsf{AM} , eu sei que os dois exemplos a seguir: Não isomorfismo de gráfico: dados dois gráficos marcados GGG e HHH , eles são o mesmo gráfico …

8 cc.complexity-theory  complexity-classes 

Estou procurando uma referência para "reduzir" reduções de Turing a muitas reduções. Tenho em mente uma declaração da seguinte forma (declarações suficientes semelhantes também me satisfariam): Teorema. Se , então A ≤ 2 f m B t t .A ≤fTBA≤TfB\mathsf{A}\leq_T^f \mathsf{B}A ≤2fmBt tA≤m2fBtt\mathsf A\leq_m^{2^f}\mathsf B^{tt} onde " " e " …

8 cc.complexity-theory  reference-request  complexity-classes