Perguntas com a marcação «complexity»

Existe algum projeto em andamento para verificar formalmente os teoremas e as provas da teoria da complexidade usando um assistente de prova como Coq? Existem limites para fazer isso?

18 cc.complexity-theory  complexity  proof-assistants 

Ou, com outras palavras, temos isso para todos os idiomas e , ou ?UMAUMAABBBA ≤pBUMA≤pBA \leq_p BB ≤pUMAB≤pUMAB \leq_p A

15 reductions  complexity 

Existe , uma linguagem completa NP ou P que possui alguma família de grupos de simetria (ou grupóides , mas as perguntas algorítmicas ficam mais abertas) atuando (em tempo polinomial) nos conjuntos que haja poucas órbitas, ou seja, para que para grande o suficiente e alguns , e tal que …

14 np  algebra  gr.group-theory  complexity  symmetry 

No jogo de pedras em uma linha, há N + 1 nós rotulados de 0 a N. O jogo começa com uma pedra no nó 0. Se houver uma pedra no nó i, você poderá adicionar ou remover uma pedra do nó i + 1. O objetivo é colocar uma …

13 complexity  reversible-computing 

Sabe-se que se , a hierarquia polinomial colapso para e .NP⊆P/PolyNP⊆P/PolyNP\subseteq P/PolyΣP2Σ2P\Sigma_2^{P}MA=AMMA=AMMA = AM Quais são os colapsos mais fortes que se sabe se o ?NEXP⊆P/PolyNEXP⊆P/PolyNEXP\subseteq P/Poly

13 circuit-complexity  complexity 

Em seu livro Computational Complexity , Papadimitriou define FNP da seguinte forma: Suponha que seja uma linguagem no NP . Pela Proposição 9.1, há um decidível em tempo polinomial, relação polinomialmente equilibrada tal que para todas as cadeias : Há uma seqüência com se e somente se . O problema …

13 complexity 

No artigo de Stephen Cook sobre o problema P vs NP, [1] ele afirma o seguinte [2]: Tese de Viabilidade: Um problema natural tem um algoritmo viável se tiver um algoritmo de tempo polinomial. Minha pergunta é: o que exatamente ele (ou, em geral, realmente, o que alguém) quer dizer …

11 time-complexity  p-vs-np  complexity  fixed-parameter-tractable 

BREVE PERGUNTA: O MAJ-3CNF é um problema de PP completo com muitas reduções? VERSÃO MAIS LONGA: É sabido que o MAJSAT (decidindo se a maioria das atribuições da sentença proposicional satisfaz a sentença) é completo em PP com muitas reduções de uma e #SAT é # P completo com reduções …

10 counting-complexity  complexity  probabilistic-complexity 

O fato de um problema ser concluído no tempo EXP implica que A não está em D T I M E ( 2 o ( n ) ) ?UMAUMAAUMAUMAAD TEuME( 2o ( n ))DTEuME(2o(n))DTIME(2^{o(n)}) Estou ciente de que, pelo teorema da hierarquia temporal, não está incluído em E = D …

10 exp-time-algorithms  complexity 

Dado geradores fortes para um grupo agindo em bitstrings de comprimento n e um elemento s ∈ { 0 , 1 } n , quão difícil é para calcular o elemento lexicograficamente mínimo de G . s , a órbita de s em G ?( G ≤ Sn, ∗ )(G≤Sn,∗)(G …

9 permutations  gr.group-theory  complexity 

Temos um problema e encontramos um algoritmo que parece ser 2-nexptime. Eu gostaria de encontrar problemas conhecidos de 2 nexptime-complete para encontrar um limite inferior. Encontrei na literatura principalmente dois desses problemas: se o PCP como uma solução de tamanho menor que22n22n2^{2^n} e o problema do cultivo de um quadrado …

9 complexity-classes  time-complexity  complexity 

Não se sabe se NEXP está contido em P / poli. De fato, provar que o NEXP não está em P / poli teria algumas aplicações na des aleatorização. Qual é a menor classe uniforme C para a qual se pode provar que C não está contido em P / …

9 complexity 

Considere um problema de otimização convexa no formato f0(x1,…,xn)fi(x1,…,xn)→min≤0,i=1,…,mf0(x1,…,xn)→minfi(x1,…,xn)≤0,i=1,…,m\begin{align} f_0(x_1, \ldots, x_n) &\to \min \\ f_i(x_1, \ldots, x_n) & \leq 0, \quad i = 1, \ldots, m \end{align} onde são funções convexas. Sem perda de generalidade, podemos assumir que é linear.f0,f1,…,fmf0,f1,…,fmf_0, f_1, \dots, f_mf0f0f_0 Nesterov e Nemirovskii mencionam em seu …

8 convex-optimization  complexity