Perguntas com a marcação «reference-request»

O estudo da representação sucinta de gráficos foi iniciado por Galperin e Wigderson em um artigo de 1983, onde eles provam que, para muitos problemas simples como encontrar um triângulo em um gráfico, a versão sucinta correspondente no concluída. Papadimitriou e Yanakkakis aprofundam essa linha de pesquisa e provam que, …

26 cc.complexity-theory  reference-request  complexity-classes 

Você conhece algum wiki atualizado dedicado a problemas de otimização de NP com seus melhores resultados de aproximação e dureza? Com base no feedback, parece seguro presumir que não exista esse recurso (consulte o final desta pergunta para duas opções próximas). - adicionado em 8 de fevereiro. Como existe um …

26 ds.algorithms  reference-request  approximation-algorithms  approximation-hardness 

Considere o problema mínimo de cobertura do conjunto com as seguintes restrições: cada conjunto contém no máximo kkk elementos e cada elemento do universo ocorre no máximo fff conjuntos. Exemplo: o caso k=4k=4k = 4 e f=2f=2f = 2 é equivalente ao problema de cobertura mínima de vértice em gráficos …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

É possível traduzir uma fórmula booleana B em uma conjunção equivalente de cláusulas de Horn? O artigo da Wikipedia sobre HornSAT parece sugerir que sim, mas não pude buscar nenhuma referência. Note que eu não quero dizer "em tempo polinomial", mas sim "em tudo".

26 reference-request  lo.logic  sat 

De acordo com D. den Hertog, Abordagem de ponto interior para programação linear, quadrática e convexa, 1994 , um programa linear com variáveis, n restrições e precisão L é solucionável em O ( n 3 L ) . Isso foi melhorado?nnnnnneueuLO ( n3L )O(n3eu)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

Volume III de Knuth de The Art of Computer Programming (capítulo 5, versículo 3.2) inclui o seguinte tabela listando o exato número mínimo de comparações necessárias para selecionar o th menor elemento de um conjunto indiferenciado de tamanho , para todos . Esta tabela, juntamente com as conhecidas expressões de …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

O que se sabe sobre a complexidade do seguinte problema: Dado: números racionais x1&lt;x2&lt;…&lt;xnx1&lt;x2&lt;…&lt;xnx_1 < x_2 < \dotso < x_n . Saída: números inteiros y1≤y2≤…≤yny1≤y2≤…≤yny_1 \le y_2 \le \dotso \le y_n . Objetivo: minimizar ∑1≤i&lt;j≤ne(i,j),∑1≤i&lt;j≤ne(i,j),\sum_{1 \le i < j \le n} e(i,j), onde e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j)=|(yj−yi)−(xj−xi)|.e(i,j) = | (y_j-y_i) - (x_j-x_i)|. Ou …

25 ds.algorithms  reference-request  optimization 

O resultado por Robertson e Seymour demonstra um algoritmo para testar se um gráfico fixo é um menor de . Eu tenho duas perguntas e meia sobre este tópico:G HO(n3)O(n3)O(n^3)GGGHHH 1) Parece que houve melhorias nesse algoritmo desde então. Qual é o algoritmo mais conhecido atualmente? 2a) O que as …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

À luz do resultado recente de Arora, Barak e Steurer, Algoritmos Subexponenciais para Jogos Exclusivos e Problemas Relacionados , estou interessado em problemas gráficos que têm algoritmos de tempo subexponenciais, mas que não são polinomialmente solucionáveis. Um exemplo é famoso isomorfismo gráfico que tem algoritmo subexponencial de 2O(n1/2logn)2O(n1/2log⁡n)2^{O(n^{1/2} \log n)} …

25 cc.complexity-theory  reference-request 

Existem referências sobre isso?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

É claro que alguns resultados de complexidade podem entrar em colapso para idiomas unários, mas eu me pergunto se existe em algum lugar uma pesquisa resumindo os resultados conhecidos nesse caso: uma espécie de zoológico de complexidade para idiomas unários. Você saberia de tal referência?

25 cc.complexity-theory  reference-request  big-list 

Sei que é indecidível determinar se um conjunto de peças pode ladrilhar o avião, resultado de Berger usar as peças Wang . Minha pergunta é se é também conhecido como indecidível determinar se um único bloco pode ladrilhar o avião, um bloco monohédico . Se isso não for resolvido, eu …

24 reference-request  co.combinatorics  decidability  undecidability 

EDIT (v2): Adicionada uma seção no final sobre o que eu sei sobre o problema. EDIT (v3): adicionada discussão sobre o grau do limiar no final. Questão Esta pergunta é principalmente uma solicitação de referência. Eu não sei muito sobre o problema. Quero saber se já houve trabalho anterior sobre …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Está bem estabelecido que existe um limite de ruído para a computação quântica, de modo que abaixo desse limite, a computação pode ser codificada de forma a produzir o resultado correto com probabilidade limitada (com no máximo sobrecarga computacional polinomial). Esse limite depende da codificação usada e da natureza exata …

24 quantum-computing  reference-request  fault-tolerance 

Edit: Eu primeiro formulei minha restrição (2), agora ela está corrigida. Eu também adicionei mais informações e exemplos. Com alguns colegas, estudando outra questão algorítmica, conseguimos reduzir nosso problema ao seguinte problema interessante, mas não conseguimos resolver a questão de sua complexidade. O problema é o seguinte. Instância: Um número …

24 cc.complexity-theory  ds.algorithms  reference-request