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

Tenho um problema que suspeito ser NP-completo. É fácil provar que é NP. Minha linha de pensamento atual gira em torno do uso de uma redução da mochila, mas resultaria em instâncias de 0-1-mochila com o valor de cada item igual ao seu peso. Ainda está NP-completo? Ou eu estou …

9 complexity-theory  np-complete  decision-problem  packing 

No problema de Subconjunto de soma, alguns dos números fornecidos podem a1,a2,a3,…,ana1,a2,a3,…,ana_1,a_2,a_3,\dots,a_nser o mesmo? Por exemplo, podemos ter[1,1,1,2,3,4][1,1,1,2,3,4][1,1,1,2,3,4] e o alvo é 555? Posso assumir que tenho uma solução específica com números222 e 333 e 1,1,11,1,11,1,1 e 222 não é?

9 complexity-theory  terminology 

Estou ciente de que alguns ints têm maior ou menor complexidade de Kolmogorov. Por exemplo, o número 5.41126806512tem uma complexidade muito baixa, como pode ser expresso por 17/pi. Também estou ciente de que, embora o KC varie dependendo da linguagem da expressão, é sempre o mesmo até uma determinada constante. …

9 complexity-theory  kolmogorov-complexity 

Eu estou tentando entender esse problema de algoritmos. por S. Dasgupta, CH Papadimitriou e UV Vazirani, capítulo 8 , Pg281. Problema 8.19 Uma pipa é um gráfico em um número par de vértices, digamos , em que dos vértices formam uma clique e os restantes são conectados em uma “cauda” …

9 complexity-theory  np-complete  reductions 

Eu estava lendo este artigo, onde os autores explicam o Teorema 1, que afirma que "Objeto alcançável" (conforme definido no artigo) é NP-completo. No entanto, eles provam a redução apenas em uma direção, ou seja, de 2P1N SAT para Objeto alcançável. Isso prova apenas que o problema é difícil de …

8 complexity-theory  np-complete  np-hard  satisfiability 

Portanto, representa problemas nos quais temos pequenas testemunhas verificáveis ​​para instâncias e para pequenas testemunhas verificáveis ​​para instâncias. Como isso funciona paraNPNPNPYESYESYEScoNPcoNPcoNPNONONO PNPPNPP^{NP} NPNPNPNPNP^{NP} coNPNPcoNPNPcoNP^{NP} e assim por diante?

8 complexity-theory  np 

Vejo em todos os lugares que a equação recursiva para a complexidade do alg de Strassen é: T( n ) = 7 T(n2) + O (n2) .T(n)=7T(n2)+O(n2).T(n) = 7T(\tfrac{n}{2})+O(n^2).Isso não está tão claro para mim. O parâmetronnn deve ser o tamanho da entrada, mas parece que aqui é uma dimensão …

8 algorithms  complexity-theory  divide-and-conquer  matrix 

Seja e o seguinte:L1L1L_1L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L_2=\{(N,M): M<N, \exists 1<d\leq M \text{ such that d|N} \} ReivindicarL1≤PL2L1≤PL2L_1 \leq_P L_2 Prova de esboço Se eu quero saber se .r∈L1r∈L1r\in L_1 O número …

8 complexity-theory  time-complexity  np  decision-problem 

Tenho certeza de que deve haver algo errado com o seguinte raciocínio, porque, caso contrário, muitas pesquisas de P vs. NP seriam reduzidas, mas não consigo determinar meu erro: Para qualquer número inteiro fixo k&gt;0k&gt;0k>0 definir Bk:={⟨φ⟩|φis a wff of ZF and has a proof of length≤k|φ|k}Bk:={⟨φ⟩|φis a wff of …

8 complexity-theory  np-complete  logic  p-vs-np 

Uma abordagem comum para decidir se dois gráficos dados são isomórficos é calcular o chamado rótulo canônico (alternativamente, gráfico canônico) de cada gráfico e verificar se eles correspondem ou não. Ferramentas como o Nauty calculam o gráfico canônico através de árvores de pesquisa removidas usando algumas idéias inteligentes que dependem, …

8 complexity-theory  graph-isomorphism 

Eu sou novo na teoria da complexidade e quero saber o que é a teoria da complexidade estrutural? quais são os problemas que os teóricos tentam resolver nesse campo e qual é o seu futuro? Da wikipedia: A teoria da complexidade estrutural ou simplesmente a complexidade estrutural é o estudo …

8 complexity-theory  reference-request 

Essa é uma tarefa do concurso alemão de TI ("Bundeswettbewerb Informatik"), mas como o prazo já passou, fazer esta pergunta não é trapaça. Dado um gráfico direcionado ponderado por vértice e valores , encontre um subconjunto de nós que maximize sujeito a Esse problema é difícil para o NP?G=(V,E)G=(V,E)G=(V, E)cvcvc_vVres⊆VVres⊆VV_{res}\subseteq …

8 complexity-theory  reductions  np-hard 

Nos últimos dois anos, construí um computador mecânico alimentado por bolas de gude e fiz dele um jogo. É semelhante ao antigo Digi-Comp II, exceto por duas diferenças principais: As peças são reposicionáveis ​​no quadro. Você pode conectar vários 'bits' juntos usando engrenagens. Quando um desses bits é invertido, ele …

8 complexity-theory  turing-machines  computer-architecture  computation-models 

Após minha aula de Teoria da Computação hoje, essa pergunta surgiu em minha mente: se um problema pode ser resolvido por um autômato finito, esse problema pertence a P. Eu acho que é verdade, já que os autômatos reconhecem linguagens muito simples, portanto todas essas linguagens teriam algoritmos polinomiais para …

8 complexity-theory  automata  finite-automata  polynomial-time 

Recentemente, pensei na seguinte prova de que L = P implica P = NP. Suponha que L = P. Seja A um problema no NP. Pela definição do verificador de NP, cada solução positiva para A tem uma testemunha que pode ser verificada em tempo polinomial. Desde P = L, …

8 complexity-theory  p-vs-np