Foi-me dito que existem bons algoritmos de tempo polinomial para aproximar o número de caminhos simples em um gráfico direcionado, desde o vértice inicial dado até o vértice final dado tsssttt . Alguém sabe de uma boa referência sobre este assunto? Antecedentes: contar o número exato de caminhos...
Dado um conjunto S de nxn matrizes de permutação (que é apenas uma pequena fração das n! Possíveis matrizes de permutação), como podemos encontrar subconjuntos de tamanho mínimo T de S de modo que a adição de matrizes de T tenha pelo menos 1 em todas as posições? Estou interessado neste problema...
Eu queria saber se os problemas para os quais existem algoritmos de tempo sublinear (no tamanho da entrada) podem ser caracterizados como possuindo propriedades específicas. Isso inclui tempo sublinear (por exemplo, teste de propriedades, uma noção alternativa de aproximação para problemas de...
supAOPTsupAOPT\sup\frac{A}{OPT}MINMINMINAAAAAAOPTOPTOPTinfΩ−AΩ−OPTinfΩ−AΩ−OPT\inf\frac{\Omega-A}{\Omega-OPT}ΩΩ\Omega fornece a mesma taxa de aproximação para problemas como cobertura mínima de vértices e conjunto independente máximo, que são conhecidos por serem apenas realizações diferentes do...
Esta questão foi postada anteriormente em Computer Science Stack Exchange aqui . Imagine que você é um vendedor ambulante de muito sucesso, com clientes em todo o país. Para acelerar o envio, você desenvolveu uma frota de drones descartáveis de entrega, cada um com um alcance efetivo de 50...
Suponha que queremos encontrar ou max x ∏ i j ∈ E f ( x i , x j )∑x∏i j ∈ Ef( xEu, xj)∑x∏Euj∈Ef(xEu,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏i j ∈ Ef( xEu, xj)maxx∏Euj∈Ef(xEu,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Onde max ou soma é tomada sobre todas as bulas de , o produto é tomado ao longo...
Existem estudos sobre algoritmos de aproximação para problemas completos de NP em tempo polinomial e algoritmos exatos em tempo exponencial. Existem estudos sobre algoritmos de aproximação para problemas completos de NP no tempo subexponencial da forma 2nδ22nδ22^{n^{\delta_2}} onde...
Considere o seguinte problema: Dado um gráfico de consulta G=(V,E)G=(V,E)G = (V, E) e um gráfico de referência G′=(V′,E′)G′=(V′,E′)G' = (V', E') , queremos encontrar o mapeamento injetivo f:V→V′f:V→V′f : V \rightarrow V' que minimiza o número de arestas (v1,v2)∈E(v1,v2)∈E(v_1, v_2) \in E tal que ....
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 + 1 /...
Considerando os tópicos abordados em uma conferência como a STOC, existem pesquisadores de algoritmo ou complexidade usando ativamente o COQ ou Isabelle? Se sim, como eles estão usando isso em suas pesquisas? Suponho que a maioria das pessoas não usaria essas ferramentas porque as provas seriam de...
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...
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 -> b -> b seq ⊥ b = ⊥ seq...
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...
É 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...
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...
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 ∪ B )+f( A ∩ B).f(A)+f(B)≥f(UMA∪B)+f(UMA∩B). f(A) + f(B) \geq f(A \cup B) + f(A \cap B). Uma propriedade mais forte é Tomando C = A \ cup B ,...
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 diferente, uma referência será...
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...
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 kCCCf: { 0 , 1 }n→ { 0 , 1 }f:{0,1}n→{0,1}f:\{0,1\}^n\rightarrow\{0,1\}S⊆ CS⊆CS...
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: