Perguntas com a marcação «approximation-hardness»

O problema de manutenção de pedidos (ou "manutenção de pedidos em uma lista") é dar suporte às operações: singleton: cria uma lista com um item, retorna um ponteiro para ele insertAfter: dado um ponteiro para um item, insere um novo item depois dele, retornando um ponteiro para o novo item …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Um conjunto de acertos de uma família S= { S1, … , Sn}S={S1,...,Sn}\mathcal{S} = \{S_1, \dots, S_n\} é um subconjunto HHH de modo que para . O problema para encontrar um conjunto mínimo de acertos de uma determinada família é geralmente difícil para NP, pois generaliza o problema de cobertura …

15 cc.complexity-theory  np-hardness  approximation-hardness 

É mencionado em um comentário em outro post do cstheorySE que a completude do PSPACE implica dureza do APX. Alguém pode explicar / compartilhar uma referência para isso? Isso é "apertado"? (ou seja, existem problemas completos do PSPACE cujo problema de otimização admite uma aproximação constante de fatores no tempo …

14 cc.complexity-theory  approximation-algorithms  approximation-hardness  np  pspace 

Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

A análise suavizada foi aplicada muitas vezes para entender o tempo de execução de algoritmos exatos para muitos problemas, como programação linear e médias k. Existem resultados bastante gerais neste domínio, por exemplo, Heiko Röglin e Berthold Vöcking, Análise Suavizada da Programação Inteira, 2005. Alguns desses resultados gerais parecem depender …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis 

Estou procurando resultados de dureza na coloração de vértices de gráficos com grau delimitado. Dado um gráfico , sabemos que para qualquer ϵ > 0 , é difícil aproximar χ ( G ) dentro de um fator de | V | 1 - ϵ a menos que NP = ZPP …

12 cc.complexity-theory  approximation-hardness  graph-colouring  hypergraphs  bounded-degree 

Como é sabido, os problemas de otimização de NP-hard podem ter muitas proporções de aproximação diferentes, variando de ter um PTAS a não ser aproximado em nenhum fator. No meio, que tem várias constantes, , p ó l y ( n ) , etc.O ( logn )O(log⁡n)O(\log n)p o l …

12 cc.complexity-theory  approximation-hardness 

Estou procurando uma classe de complexidade que se relacione ao APX e o BPP ao P. Já fiz a mesma pergunta aqui , mas talvez o TCS seja um local mais proveitoso para respostas. A razão para a pergunta é que, em problemas práticos, geralmente é necessário encontrar respostas aproximadas …

11 cc.complexity-theory  approximation-hardness 

O que se sabe atualmente sobre a aproximabilidade do problema de gênero? A pesquisa preliminar me diz que um fator de aproximação constante é trivial para gráficos suficientemente densas, e um nϵnϵn^\epsilon -approximation algoritmo foi descartada. Essas informações estão atualizadas ou existem limites melhores?

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

Jogos de uma rodada com dois provadores (2P1R) são uma ferramenta essencial para a dureza da aproximação. Especificamente, a repetição paralela de jogos de uma rodada com dois provadores oferece uma maneira de aumentar o tamanho de uma lacuna na versão de decisão de um problema de aproximação. Veja a …

11 cc.complexity-theory  approximation-hardness 

Para um dado gráfico , o Problema do Separador pergunta se existe um conjunto de vértices ou arestas de pequena cardinalidade (ou peso) cuja remoção particiona G em dois gráficos separados de tamanhos aproximadamente iguais. Isso é chamado de Problema do Separador de Vértices quando o conjunto removido é um …

11 cc.complexity-theory  approximation-hardness 

Não pude encontrar na literatura uma caracterização precisa do desaparecimento da lacuna de dualidade do SDP. Ou quando é que a "forte dualidade" se aplica? Por exemplo, quando se vai e volta entre o Lasserre e o SOS SDP, em princípio, há uma lacuna de dualidade. No entanto, de alguma …

10 approximation-hardness  convex-optimization  semidefinite-programming  sum-of-squares  primal-dual 

Ouvi falar de um resultado na coloração aproximada do gráfico, mas não consigo encontrar a fonte. O resultado é: Para cada constante existe uma suficientemente grande k tal que a coloração de um k gráfico -colorable com h k cores é NP-duro.hhhkkkkkkh khkhk Alguém poderia me indicar o jornal relevante?

10 reference-request  approximation-hardness  graph-colouring 

É extremamente difícil aproximar o número cromático fracionário em gráficos de graus limitados?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Considere o problema de conjunto dominante em gráficos gerais e seja o número de vértices em um gráfico. Um algoritmo de aproximação ganancioso fornece uma garantia de aproximação do fator , ou seja, é possível encontrar em tempo polinomial uma solução tal que , em que é o tamanho de …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness