Razborov provou que a função monótona não está em mP . Mas podemos calcular a correspondência usando um circuito de tamanho polinomial com algumas negações? Existe um circuito P / poli com negações que calcula a correspondência? Qual é o compromisso entre o número de negações e o tamanho da...
Considere um vetor de variáveis e um conjunto de restrições lineares especificado por .x⃗ x→\vec{x}Ax⃗ ≤bAx→≤bA\vec{x}\leq b Além disso, considere dois
Tempo constante é a complexidade absoluta de fim de tempo baixo. Alguém pode se perguntar: existe algo não trivial que pode ser calculado em tempo constante? Se nos apegarmos ao modelo da máquina de Turing, pouco poderá ser feito, pois a resposta só pode depender de um segmento inicial de...
Para qualquer linguagem arbitrária completa do NP, há sempre um superconjunto polytime cujo complemento também é infinito? Uma versão trivial que não estipula que o superconjunto tenha um complemento infinito foi solicitada em /cs//q/50123/42961 Para os fins desta questão, você pode assumir que...
De acordo com o Complexity Zoo , e sabemos que não pode contar, portanto . No entanto, ele não diz se \ mathsf {Reg} \ subseteq \ mathsf {TC ^ 0} ou não. Como não conhecemos \ mathsf {NC ^ 1} \ not \ subseteq \ mathsf {TC ^ 0} , também não sabemos \ mathsf {Reg} \ not \ subseteq \ mathsf {TC ^ 0}...
O ésimo polinômio simétrico elementar é a soma de todos os produtos \ binom {n} {k} de k variáveis distintas. Estou interessado na complexidade aritmética monotônica (+, \ times) desse polinômio. Um algoritmo de programação dinâmica simples (assim como a Fig. 1 abaixo) fornece um circuito (+, \...
O não-determinismo pode acelerar a computação determinística? Se sim, quanto? Ao acelerar a computação determinística por não-determinismo, quero dizer resultados da forma: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Por exemplo, algo como...
Houve algum trabalho em encontrar o número mínimo de operações aritméticas elementares necessários para calcular o determinante de um por matriz para pequeno e fixo ? Por exemplo, .n n n =
Qual é a complexidade do seguinte problema? Entrada : HHH umcaminho hamiltonianoemKnKnK_n um subconjunto de pares de vérticesR⊆[n]2R⊆[n]2R \subseteq [n]^2 um número inteiro positivo kkk Consulta : existe um M correspondente que para cada ( v , u ) ∈ R , d G ( v , u ) ≤ k ? (onde G = ( [ n ]...
Deixe- ser a função que mapeia um s circuito -gate C em n bits e um n cadeia de bits de . Suponha que os circuitos sejam codificados como uma sequência acíclica de atribuições onde são etiquetas de arame.C i r c u i t E v a ls , nCEurcvocêEutEvumaeus,n\mathsf{CircuitEval}_{s, n}sssCCCnnnnnnC ( x )...
Considerando os tópicos abordados em uma conferência como a STOC, existem pesquisadores de algoritmo ou complexidade usando ativamente o COQ ou Isabelle? Se sim, como eles estão usando isso em suas pesquisas? Suponho que a maioria das pessoas não usaria essas ferramentas porque as provas seriam de...
Um idioma está em se existir uma máquina de Turing de espaço de log que decida o idioma com uma quantidade de conselhos polinomiais.L/polyL/polyL/poly Veja aqui para mais informações: https://en.wikipedia.org/wiki/L/poly Questão Quais são as consequências de ?P⊆L/polyP⊆L/polyP \subseteq...
Qual é a complexidade de decidir se um intervalo dos números naturais contém um primo? Uma variante da Peneira de Eratóstenes fornece um algoritmo , onde é a duração do intervalo e oculta fatores polialogarítmicos no ponto inicial do intervalo; podemos fazer melhor (apenas em termos de...
Sabe-se, graças a Immerman e Szelepcsényi, que se (mesmo para funções construtivas não espaciais).f = Ω ( log )N S P A C E (f) = C O N S P A C E ( f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f= Ω ( log )f=Ω(log)f=\Omega(\log) No mesmo artigo, Immerman declara que a hierarquia alternada...
Simplificando: qual é a correspondência entre máquinas de Turing com oráculos e famílias uniformes de circuitos com oráculos? Como são definidas as últimas para obter o mesmo modelo computacional para uma determinada máquina de Turing da Oracle? Essa pode ser uma pergunta elementar, mas não é...
Após a discussão sobre limites mais baixos para o 3SAT [ 1 ], estou pensando quais são os principais resultados de limites inferiores formulados como trocas no espaço-tempo. Estou excluindo resultados como, por exemplo, o teorema de Savitch; uma boa entrada focaria em um único problema e seus...
Em um artigo intitulado "Sobre a negação na cadeia de referência comum e no modelo aleatório do Oracle", Rafael Pass escreve: Observamos que, ao provar a segurança de acordo com a definição padrão de conhecimento zero no modelo RO [Oracle aleatório], o simulador tem duas vantagens sobre um...
Suponha que temos um conjunto S de gráficos (gráficos finitos, mas um número infinito deles) e um grupo P de permutações que atua em S. Instância: Uma permutação p em P. Pergunta: Existe um gráfico g em S que admite o automorfismo p? Esse problema é NP-completo para alguns conjuntos...
Uma fórmula Monotone-2CNF é uma fórmula CNF em que cada cláusula é composta por exatamente 2 literais positivos. Agora, eu tenho uma fórmula Monotone-2CNF . Seja o conjunto de atribuições satisfatórias deEu também tenho um oracle que é capaz de fornecer as seguintes informações:FFFSSSFFFOOO A...
Em um aplicativo que estou considerando, preciso conhecer a complexidade da comunicação do seguinte problema: Dado , seja o conjunto de números inteiros de a . Alice, Bob e Carol recebem um subconjunto de , denotado por , e , respectivamente. Eles querem verificar se , e formam uma partição de ,...