Estou procurando um problema que pertence a nos gráficos gerais, mas está em nos gráficos de largura de árvore delimitada. Na verdade, acho que esses problemas são mais difíceis do que usar a programação dinâmica normal em limites gráficos de largura de banda para
Qual é o número mínimo de portas binárias necessárias para calcular AND e OR de bits de entrada simultaneamente? O limite superior trivial é 2 n - 2 . Eu acredito que isso é ótimo, mas como provar isso? A técnica de eliminação de gate padrão não funciona aqui, pois, ao atribuir uma constante a...
Por um resultado clássico de Kuroda, a classe de complexidade NSPACE [ ]nnn (também conhecida como NLIN-SPACE) é precisamente a classe CSL de linguagens sensíveis ao contexto . O problema de satisfação SAT está no NSPACE [ ], uma vez que um palpite de tamanho linear para uma solução pode ser...
Eu estou interessado neste problema: Dado um grafo não direcionado , Existe uma partição de em gráficos e de tal forma que e são isomorphic?G G 1 ( E 1 , V 1 ) G 2 ( E 2 , V 2 ) G 1 G 2G ( E, V)G(E,V)G(E, V)GGGG1 1(E1 1,V1 1)G1 1(E1 1,V1 1)G_1(E_1, V_1)G2( E2, V2)G2(E2,V2)G_2(E_2, V_2)G1 1G1...
Eu queria saber se os problemas para os quais existem algoritmos de tempo sublinear (no tamanho da entrada) podem ser caracterizados como possuindo propriedades específicas. Isso inclui tempo sublinear (por exemplo, teste de propriedades, uma noção alternativa de aproximação para problemas de...
Não se sabe se isomorfismo gráfico (GI) para gráficos fortemente regulares (SRGS) é em P . Existe alguma dica de que possa ou não ser GI- Complete? Existem fortes consequências nesses casos? (Semelhante à crença de que o IG pode não ser
No problema retângulo embalagem, um é dado um conjunto de retângulos e delimitadora retângulo R . A tarefa é encontrar um posicionamento de r 1 , … , r n dentro de R de modo que nenhum dos n retângulos se sobreponha. Geralmente, a orientação de cada retângulo r i é fixa. Ou seja, os retângulos não...
Suponha que, para cada ϵ>0ϵ>0\epsilon > 0 , exista uma máquina de Turing MϵMϵM_{\epsilon} que decida um idioma LLL no tempo O(na+ϵ)O(na+ϵ)O(n^{a + \epsilon}) . Existe um algoritmo único que decide LLL no tempo O(na+o(1))O(na+o(1))O(n^{a + o(1)}) ? (Aqui, o(1)o(1)o(1) termo o ( 1 ) é medido em...
Não tenho conhecimento na área da teoria da complexidade envolvendo grupos, portanto peço desculpas se esse é um resultado bem conhecido. Questão 1. Seja um gráfico simples e não direcionado da ordem n . Qual é a complexidade computacional (em termos de n ) de determinar se G é...
Vamos supor que . N P I é a classe de problemas em N P que não são nem P nem em N P -Hard. Você pode encontrar uma lista de problemas conjecturados como N P I aqui .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPEu\mathsf{NPI} Teorema de Ladner...
Sabe-se que se pode calcular exatamente o determinante de um matriz em determinstic de log 2 ( n ) espaço. Quais seriam as implicações de complexidade de aproximar o determinante de uma matriz real, da norma, no máximo, 1 ( ‖ A ‖ ≤ 1 ) em randomizado logarítmica espaço,-se dizer, um 1 / poli...
Foi publicado um novo trabalho reivindicando o algoritmo quase-polinomial do Logaritmo Discreto. http://arxiv.org/abs/1306.4244 Se correto, significa que não temos mais uma separação exponencial na complexidade de um algoritmo clássico e sua versão quântica para o problema do logaritmo discreto?...
Há muito pouca informação que eu possa encontrar sobre o problema NP-completo de resolver a equação diofantina linear em números inteiros não negativos. Ou seja, existe uma solução em não negativo para a equação , onde todas as constantes são positivas? A única menção digna de nota desse problema...
Gowers recentemente delineou um problema, que ele chama de "determinação discreta de Borel", cuja solução está relacionada à comprovação dos limites mais baixos do circuito. Você pode fornecer um resumo da abordagem adaptada a um público de teóricos da complexidade? O que seria necessário para...
Os autômatos finitos inequívocos (UFA) são tipos especiais de autômatos finitos não determinísticos (NFA). Um NFA é chamado inequívoco se cada palavra tiver no máximo um caminho de aceitação.w ∈ Σ∗W∈Σ∗w\in \Sigma^* Isto significa .D FA ⊂ UFA ⊂ NFUMADFUMA⊂vocêFUMA⊂NFUMADFA\subset UFA\subset...
Estou procurando problemas que são conhecidos por serem NPCs para gráficos direcionados, mas que possuem um algoritmo polinomial para gráficos não direcionados. Vi a pergunta sobre o contrário aqui, problemas "direcionados" que são mais fáceis do que sua variante "não direcionada" , mas estou...
Teoremas da hierarquia são ferramentas fundamentais. Um bom número deles foi coletado em uma pergunta anterior (consulte Quais hierarquias e / ou teoremas de hierarquia você conhece? ). Algumas separações de classes de complexidade seguem diretamente dos teoremas da hierarquia. Exemplos de tais...
NP está em ?DTIME(npolylogn)DTIME(npolylogn)DTIME(n^{poly\log
Estou tentando entender a complexidade das funções expressáveis através de portas de limiar e isso me levou a . Em particular, estou interessado no que se sabe atualmente sobre o aprendizado no T C 0 , pois não sou especialista na área.TC0TC0\mathsf{TC}^0TC0TC0\mathsf{TC}^0 O que eu descobri até...
O problema a seguir aparece na lista de Aaronson, Dez semi-grandes desafios para a teoria da computação quântica . É BQP=BPPBQNCBQP=BPPBQNC\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Em outras palavras, pode a parte "quantum" de qualquer algoritmo quântico ser comprimido para...