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

Muitos aqui provavelmente estão cientes dos recentes limites inferiores super-lineares de Alon para redes em uma configuração geométrica natural [PDF] . Gostaria de saber o que, se é que existe alguma coisa, um limite tão baixo implica na proximidade dos problemas associados ao conjunto de tampa / conjunto de batidas. …

10 cg.comp-geom  set-cover  hypergraphs  approximation-hardness  epsilon-nets 

Estou estudando a Conjectura de Jogos Exclusivos e a famosa redução para Max-Cut de Khot et al. Em seus artigos e em outros lugares da Internet, a maioria dos autores usa (o que para mim é) uma equivalência implícita entre a redução do MAX-CUT e a construção de testes específicos …

9 cc.complexity-theory  approximation-hardness  pcp  max-cut  unique-games-conjecture 

No problema da camarilha plantada, é necessário recuperar uma kkk planta plantada no gráfico aleatório Erdos-Renyi G(n,p)G(n,p)G(n,p) . Isso foi analisado principalmente para p=12p=12p=\frac{1}{2} , caso em que se sabe que pode ser resolvido em tempo polinomial sek&gt;n−−√k&gt;nk > \sqrt{n} e conjecturado com força parak&lt;n−−√k&lt;nk< \sqrt{n} . Minha pergunta é: …

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

Considere o problema clássico # P-complete # 3SAT, ou seja, contar o número de avaliações para tornar um 3CNF com variáveis ​​satisfatórias. Estou interessado na aproximação aditiva . Claramente, existe um algoritmo trivial para atingir o erro 2 n - 1 , mas se k &lt; 2 n - 1 …

9 approximation-algorithms  sat  counting-complexity  approximation-hardness 

Seja uma família de subconjuntos de elementos- de um universo finito de objetos. Uma família de subconjuntos de elementos de , com , é um conjunto de batidas de - se para cada existir pelo menos um conjunto tal que .FFFdddUUUHHHkkkUUU1≤k&lt;d1≤k&lt;d1 \le k < d(k,d)(k,d)(k,d)FFFV∈FV∈FV \in FW∈HW∈HW \in HW⊂VW⊂VW \subset …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

No problema Max-Cut , procura-se um subconjunto S de vértices de um dado gráfico simples e não direcionado, de modo que o número de arestas entre S e o complemento de S seja o maior possível. O Max-Cut é completo em APX em gráficos de grau delimitado [PY91] e de …

9 cc.complexity-theory  approximation-algorithms  approximation-hardness  max-cut 

Eu estou tentando mostrar que um determinado problema é incompreensível devido a uma redução da cobertura do conjunto. Minha redução transforma uma instância com o conjunto de aterramento de tamanho e em uma instância do meu problema em que um determinado parâmetro r é do tamanho . Em seguida, posso …

9 cc.complexity-theory  approximation-hardness  set-cover 

Gostaria de saber se o seguinte problema tem um nome ou quaisquer resultados relacionados a ele. Deixe G = ( V, W )G=(V,W)G = (V,w) ser um gráfico ponderada onde w ( u , v)W(você,v)w(u,v) indica o peso da aresta entre vocêvocêu e , e para todo , . O …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

Suponha que, para um dado problema de minimização com apenas soluções inteiras, seja difícil decidir se a solução ideal é 5 ou 6. Ou seja, um algoritmo de tempo polinomial com uma taxa de aproximação melhor que 6/5 implicaria P = N P .NPNPNPP= NPP=NPP=NP 1) Será que isso implica …

8 cc.complexity-theory  np-hardness  approximation-hardness  apx 

Por "bom", quero dizer, ou o algoritmo fornece um limite relativamente apertado ou possui um tempo de execução relativamente rápido. Qualquer referência é bem vinda.

8 ds.algorithms  np-hardness  approximation-algorithms  approximation-hardness  subset-sum 

Esta é uma pergunta um tanto subjetiva. Estou interessado em estudar a literatura sobre resultados de corte de fluxo multicomodidade, especialmente os resultados "positivos" que mostram que o fluxo é uma boa aproximação ao corte (por exemplo, dentro de um fator constante ou polilogarítmico no número de fluxos). Exemplos são: …

8 ds.algorithms  approximation-algorithms  approximation-hardness  max-flow-min-cut  multicommodity-flow 

O problema de otimização do CSP é resistente à aproximação se for difícil vencer o fator de aproximação de uma atribuição aleatória. Por exemplo, MAX 3-LIN é resistente à aproximação, pois uma atribuição aleatória satisfaz fração das equações lineares, mas alcançar o fator de aproximação é -hard.1 / 2 1 …

8 cc.complexity-theory  approximation-hardness  max-cut 

Tenho algumas perguntas sobre a conjectura do Quantum PCP: Qual é a afirmação da conjectura quântica do PCP? Que implicações o teorema do PCP quântico teria para simular Hamiltonianos? Acredita-se que a adoção da prova de Irit Dinur do teorema clássico do PCP provavelmente leve a uma prova da conjectura …

8 cc.complexity-theory  quantum-computing  approximation-hardness  pcp  physics 

Tentar encontrar a solução ideal para o WEIGHTED-MAX-3SAT, a versão ponderada do problema de otimização do 3-SAT, é difícil para o NP. De fato, mesmo aproximando-se arbitrariamente da versão não ponderada do MAX-SAT é comprovadamente difícil o NP pelo Teorema do PCP. Um algoritmo canônico para aproximar o WEIGHTED-MAX-3SAT é …

8 ds.algorithms  approximation-algorithms  sat  approximation-hardness