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

A análise suavizada encontrou seu caminho na análise do fluxo principal de algoritmos? É comum que os designers de algoritmos apliquem análises suavizadas a seus algoritmos?

24 algorithms  complexity-theory  algorithm-analysis 

Recentemente, eu estava lendo sobre algoritmos para verificar a bisimilaridade e li que o problema é P-completo . Além disso, uma consequência disso é que é improvável que esse problema, ou qualquer problema com P-complete, possua algoritmos paralelos eficientes. Qual é a intuição por trás dessa última afirmação?

23 complexity-theory  parallel-computing 

Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Neste artigo da Wikipedia sobre o problema do Clique na teoria dos grafos , afirma no início que o problema de encontrar um clique do tamanho …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

Estou procurando algumas dicas em uma pergunta feita pelo meu instrutor. Então, acabei de descobrir que esse problema de decisão é :NP-completeNP-complete\sf{NP\text{-}complete} Em um gráfico , existe uma árvore de abrangência em que contém um conjunto exato de como folhas. Eu descobri que podemos provar que está reduzindo o caminho …

23 complexity-theory  graphs  np-complete 

Gostaria de começar a pergunta dizendo que sou programador e não tenho muita experiência em teoria da complexidade. Uma coisa que eu notei é que, embora muitos problemas sejam NP-completos, quando estendidos a problemas de otimização, alguns são muito mais difíceis de aproximar do que outros. Um bom exemplo é …

22 complexity-theory  optimization  np  approximation 

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}NPINPI\mathsf{NPI} Teorema de Ladner nos diz que se , então …

22 complexity-theory  np-hard 

Então eu entendo a ideia de que o problema de decisão é definido como Existe um caminho P tal que o custo seja menor que C? e você pode facilmente verificar se isso é verdade, verificando o caminho que você recebe. No entanto, e se não houver um caminho que …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

O problema da soma de subconjuntos é um problema NP-completo clássico: Dada uma lista de números e um destino , existe um subconjunto de números de que soma ?k L keuLLkkkeuLLkkk Um aluno me perguntou se essa variante do problema chamada de "produto de subconjunto" está NP-completa: Dada uma lista …

21 complexity-theory  np-complete  reductions 

Uma motivação possível para o estudo de classes de complexidade computacional é entender o poder de diferentes tipos de recursos computacionais (aleatoriedade, não determinismo, efeitos quânticos etc.). Se olharmos para essa perspectiva, parece que podemos obter um axioma plausível para qualquer tentativa de caracterizar quais computações são viáveis ​​em algum …

21 complexity-theory  oracle-machines 

Aqui está o problema. Dado , em que cada . Existe um subconjunto com tamanho máximo de tal que para todos os ? Estou tentando reduzir esse problema para o SAT. Minha idéia de uma solução seria ter uma variável para cada um de 1 a . Para cada , …

21 complexity-theory  reductions  np-hard 

Suponhamos que temos um gráfico dirigido e dois nós e . Gostaria de saber se já existem algoritmos para calcular o seguinte problema de decisão:G=(V,E)G=(V,E)G=(V,E)AAABBB Existem pelo menos dois caminhos entre e do mesmo comprimento?AAABBB E a complexidade? Posso resolvê-lo em tempo polinomial? Gostaria de adicionar uma nova restrição ao …

20 complexity-theory  graph-theory  time-complexity  graphs 

Recentemente, encontrei em um artigo [1] uma versão simétrica especial do SAT chamada 2/2/4-SAT . Mas existem muitas variantes completas por aí, por exemplo: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Algumas outras variantes são tratáveis: - , Planar-NAE- , ...SAT SAT222SENTOUSAT\text{SAT}SENTOUSAT\text{SAT} Existem documentos de pesquisa (ou páginas da web) …

20 complexity-theory  reference-request  satisfiability 

Encontrei as seguintes dúvidas sobre a complexidade das Torres de Hanói , sobre as quais gostaria de seus comentários. Está em NP? Resposta da tentativa: Suponha que Peggy (provador) resolva o problema e o envie a Victor (verificador). Victor pode ver facilmente que o estado final da solução está correto …

20 complexity-theory  time-complexity 

A Wikipedia declara o problema da soma do subconjunto como encontrar um subconjunto de um determinado conjunto múltiplo de números inteiros, cuja soma é zero. Além disso, afirma que é equivalente a encontrar um subconjunto com soma para qualquer dado .ssssss Então, acredito que, como são equivalentes, deve haver uma …

20 complexity-theory  reductions  np-hard 

Isso é inspirado em uma pergunta da entrevista . Recebemos uma matriz de números inteiros a1,…,ana1,…,ana_1, \dots, a_n e precisamos determinar se existem distintos, de modo quei<j<ki<j<ki \lt j \lt k ak−aj=aj−aiak−aj=aj−aia_k - a_j = a_j - a_i k−j=j−ik−j=j−ik - j = j - i isto é, as seqüências e …

20 algorithms  complexity-theory  lower-bounds