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

É 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 

Em seu artigo Approximate Distance Oracles , Thorup e Zwick mostraram que, para qualquer gráfico não direcionado ponderado, é possível construir uma estrutura de dados do tamanho que possa retornar uma aproximação ( 2 k - 1 ) distância entre qualquer par de vértices no gráfico.O ( k n1 + …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Existe uma maneira de codificar uma instância de Subset Sum ou o Number Partition Problem para que uma solução (pequena) para uma relação inteira produza uma resposta? Se não definitivamente, então em algum sentido probabilístico? Eu sei que o LLL (e talvez o PSLQ) foram usados ​​com sucesso moderado na …

14 cc.complexity-theory  np-hardness  approximation-algorithms  reductions  subset-sum 

Recentemente, aprendi sobre a conjectura gananciosa do menor problema das supercordas . Nesse problema, recebemos um conjunto de seqüências de caracteres e queremos encontrar as menores supercordas ou seja, tais que cada apareça como uma subcadeia de .s1, … , Sns1,...,sns_1,\dots, s_n ssssEusEus_isss Esse problema é difícil para NP e, …

14 reference-request  approximation-algorithms  greedy-algorithms 

Nos é dado um gráfico acíclico direcionado com um número associado a cada vértice ( ) e um número alvo .g : V → N T ∈ NG = ( V, E)G=(V,E)G=(V,E)g: V→ Ng:V→Ng:V\to \mathbb{N}T∈ NT∈NT\in \mathbb{N} O problema de soma de subconjuntos do DAG (pode existir com um nome …

13 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  subset-sum 

Sabe-se que muitos problemas lógicos (por exemplo, problemas de satisfação de várias lógicas modais) não são decidíveis. Também existem muitos problemas indecidíveis na teoria de algoritmos, por exemplo, na otimização combinatória. Mas, na prática, heuristcs e algoritmos aproximados funcionam bem para algoritmos práticos. Portanto, pode-se esperar que algoritmos aproximados para …

13 lo.logic  approximation-algorithms  undecidability 

Uma função de ajuste é submodular monótono se para todos , A , B f ( A ) + f ( B ) ≥ f ( A ∪ B ) + f ( A ∩ B ) .fffA , BUMA,BA,Bf( A ) + f( B ) ≥ f( A ∪ …

13 ds.algorithms  approximation-algorithms  submodularity 

Parâmetro fixo e aproximação são abordagens totalmente diferentes para resolver problemas difíceis. Eles têm motivação diferente. A aproximação procura resultados mais rápidos com a solução aproximada. O parâmetro fixo procura uma solução exata com complexidade de tempo em termos da função exponencial ou de alguma função da função polinomial de …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

A entrada é um universo e uma família de subconjuntos de U , digamos, F ⊆ 2 U . Nós assumimos que os subconjuntos em F pode cobrir U , ou seja, ⋃ E ∈ F E = U .UUUUUUF⊆2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈FE=U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Uma sequência de cobertura …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

Qual é a relação entre PLSPLS\mathsf{PLS} e APXAPX\mathsf{APX} ? Em outras palavras, os problemas que admitem uma pesquisa local em horário polinomial são aproximados? Problemas aproximados de otimização implicam em geral um algoritmo de busca local?

12 cc.complexity-theory  approximation-algorithms 

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 

O que se sabe sobre o seguinte problema? Dada uma coleção de funções , encontre a maior sub-coleção sujeita à restrição de que VC-Dimension para algum número inteiro .f : { 0 , 1 } n → { 0 , 1 } S ⊆ C ( S ) ≤ k …

12 reference-request  approximation-algorithms  cg.comp-geom  lg.learning  vc-dimension 

Estou procurando um nome ou qualquer referência a esse problema. Dado um gráfico ponderado, G=(V,E,w)G=(V,E,w)G = (V, E, w) encontre uma partição dos vértices em até n=|V|n=|V|n = |V|define S1,…,SnS1,…,SnS_1,\ldots,S_n para maximizar o valor das arestas de corte: c(S1,…,Sn)=∑i≠j⎛⎝∑(u,v)∈E:u∈Si,v∈Sjw(u,v)⎞⎠c(S1,…,Sn)=∑i≠j(∑(u,v)∈E:u∈Si,v∈Sjw(u,v))c(S_1,\ldots,S_n) = \sum_{i \ne j}\left(\sum_{(u,v)\in E : u \in S_i, v \in …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Quais são os problemas com a taxa de aproximação mais conhecida alcançada por um algoritmo retornando uma solução uniformemente aleatória? Conheço um exemplo para o problema de fluxo de permutação : no artigo " Limites apertados para agendamento de lojas de fluxo de permutação " Viswanath Nagarajan e Maxim Sviridenko …

12 ds.algorithms  reference-request  approximation-algorithms