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

Questões relacionadas à complexidade (computacional) da solução de problemas

1
Contando e localizando todas as correspondências perfeitas / máximas nos gráficos gerais
Recentemente, tenho lidado com um problema que me levou às seguintes perguntas: Existe um bom algoritmo para enumerar todas as correspondências máximas / perfeitas em um gráfico geral? Existe um bom algoritmo para encontrar todas as correspondências máximas / perfeitas em um gráfico geral? Esses dois problemas são equivalentes em …
1
NP = coNP implica P = NP?
Sabemos que P = NP implica NP = coNP. A implicação inversa é válida? NP igual coNP implica que P é igual a NP? Se não, por que não? Pesquisei no Google, mas não encontrei a resposta.
2
Software para teste de homomorfismo gráfico
Eu tenho gráficos e com com que passam verificações de sanidade como como lema sem homomorfismo. Existem ferramentas gratuitas e fáceis de usar para testar o homomorfismo gráfico de para ?GkGkG_kHkHkH_k|V(Gk)|=|V(Hk)|2k=n2k|V(Gk)|=|V(Hk)|2k=n2k|\mathcal{V}(G_k)|=|\mathcal{V}(H_k)|^{2k}=n^{2k}k∈Nk∈Nk\in\Bbb NGGGHHH
4
Ciclo de peso negativo vs ciclo de peso máximo
Estou tendo problemas para entender por que é fácil detectar ciclos de peso negativo (Bellman Ford), mas é difícil encontrar o ciclo de peso máximo em um gráfico não direcionado. Se negarmos o peso de cada aresta, podemos descobrir facilmente se existem ciclos com peso total> 0. No entanto, não …
1
NEXP = ⟹ NEXP = MA?
Sabe-se se a implicação é válida?NEXP=Σ2⟹NEXP=MANEXP=Σ2⟹NEXP=MA\mathsf{NEXP} = \Sigma_2 \implies \mathsf{NEXP} = \mathsf{MA} (A pergunta é inspirada no conhecido .)NEXP⊆P/poly⇔NEXP=MANEXP⊆P/poly⇔NEXP=MA\mathsf{NEXP} \subseteq \mathsf{P/poly} \Leftrightarrow \mathsf{NEXP} = \mathsf{MA}
2
Por favor, explique "decidibilidade" e "verificabilidade"
Estou tentando (intuitivamente) entender os dois termos "decidibilidade" e "verificabilidade". Pesquisei bastante e passei pelos vários textos em que posso colocar as mãos. No entanto, o entendimento intuitivo deles parece me escapar, especialmente no segundo. Das muitas definições encontradas, a seguinte encontrada nesta página explicou claramente a capacidade de decisão …
1
Encontre quais vértices excluir do gráfico para obter o menor componente maior
Dado um gráfico , encontre vértices , cuja remoção resultaria em um gráfico com o menor componente maior. G=(V,E)G=(V,E)G = (V, E)kkk{v∗1,…,v∗k}{v1∗,…,vk∗}\{v^*_1,\dots,v^*_k\} Presumo quee grande o problema é difícil (NP-difícil), mas estou interessado em pequenos valores de k ( k \ in \ {1, 2, 3, 4 \} ).n=|V|n=|V|n = …
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.