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...
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...
Eu li o jornal Ahmed Younes, " Um algoritmo de tempo polinomial quântico com erro limitado para dois problemas de bissecção de gráficos ", 2015. doi: 10.1007 / s11128-015-1069-y publicado na revista Quantum Information Processing da Springer. O artigo parece afirmar que fornece um algoritmo...
Como mostrado no artigo "Circuitos monótonos para a função majoritária", é possível construir um circuito booleano monótono para a função majoritária em n variáveis com tamanho O (n ^ 3) e profundidade 5,3 log (n) + O (1). http://link.springer.com/chapter/10.1007/11830924_38 Minha pergunta...
Considere o seguinte problema de decisão. Seja e deixe ser adequado enumeração dos subconjuntos de que possuem no máximo elementos.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4} \binom{n}{i}(Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n,
Em poucas palavras, minha pergunta é: a prova original de Karp está reduzindo o SAT para 3SAT desnecessariamente elaborado? Os detalhes são os seguintes. Em seu artigo de 1972, Redutibilidade entre problemas combinatórios , Karp provou que o SAT se reduz a 3SAT, afirmando: Substituir um...
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 , em que C é um circuito de tamanho polinomial que pode...
O #P foi introduzido pela primeira vez em [1] ? [1] Valiant, Leslie G. "A complexidade de computar o permanente". Teoria da computação 8.2 (1979):
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(...
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 alguma cláusula tal...
Suponha . Em seguida, uma simples mostra argumento que P H P P = N P . Podemos dar um passo adiante e obter P P P P = N P ? O argumento simples éNP= PPNP=PPNP=PPPHPP= NPPHPP=NPPH^{PP}=NPPPPP= NPPPPP=NPPP^{PP}=NP Teorema Se então P H P P = N P .NP= PPNP=PPNP=PPPHPP= NPPHPP=NPPH^{PP}=NP Prova é...
Em Computabilidade, se quisermos provar que um problema não é recursivo ou não recursivamente enumerável, podemos usar, por exemplo, reduções de outros problemas não recursivos ou não re, o teorema de Rice, o teorema de Rice-Shapiro, etc. Essas técnicas funcionam graças a , ou se baseiam...
Um algoritmo de tempo de execução para isomorfismo de grupo abeliano é fácil de ver. Mais tarde, trabalhando nesse problema em 2003, o Vikas aprimorou o resultado do tempo de execução de O ( n 2 ) para O ( n log n ) . Em 2007, Kavitha mostrou que o isomorfismo do grupo abeliano pode ser feito em...
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...
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...
Savický e Woods (o número de funções booleanas calculadas por fórmulas de um determinado tamanho) provam o seguinte resultado. Teorema [SW98]: Para cada constante k > 1k>1k>1 , quase todas as funções booleanas com complexidade de fórmula no máximo nknkn^k têm complexidade de circuito pelo...
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...
Considere os seguintes problemas: Problema de vetores ortogonais Entrada: um conjunto SSS de vetores booleanos, cada um de comprimento .nnnddd Pergunta: Existem vetores distintos e tais que ?v1v1v_1v2∈Sv2∈Sv_2 \in Sv1⋅v2=0v1⋅v2=0v_1 \cdot v_2 = 0 Problema de vetores não ortogonais...
Da Wikipedia : VPVP\mathsf{VP} : A classe VP é o análogo algébrico de P; é a classe de polinômios de grau polinomial que têm circuitos de tamanho polinomiais sobre um campo fixo .fffKKK VNPVNP\mathsf{VNP} : A classe VNP é o análogo do NP. O VNP pode ser considerado como a classe de...
O recente estabelecimento da relação bs(f)=O(s(f)4)bs(f)=O(s(f)4)bs(f)=O(s(f)^4) passa por Gotsman, Linial . A mesma abordagem pode chegar a O(s(f)2)O(s(f)2)O(s(f)^2) ou existe uma limitação essencial à