O que me refiro como contagem é o problema que consiste em encontrar o número de soluções para uma função. Mais precisamente, dada uma função (não necessariamente caixa-preta), aproximados # { x ∈ N | f ( x ) = 1 } = | f - 1 ( 1 ) | .f: N→ { 0 , 1 }f:N→{0 0,1}f:N\to \{0,1\}# { x ∈ N∣ f( x ) = 1 }...
Dado nnn denominações de moedas, com e sendo números aleatórios distribuídos uniformemente no intervalo . Assintoticamente, para qual fração de moedas o algoritmo ganancioso gera uma mudança ótima usando esse conjunto de denominações?c1= 1c1=1c_1=1c2< c3< . . <...
Estou começando a investigar a possibilidade de contar com um solucionador SAT para resolver um problema de otimização que me interessa e atualmente estou procurando uma pesquisa que contenha exemplos de transformações "inteligentes" em variantes de SAT (ou seja, transformações resultantes em um...
Considere o seguinte problema - Dado máxima planar gráficos e L 2 , encontrar o gráfico G com o número máximo de arestas de modo a que haja um subgráfico (induzida não necessariamente) em ambos G 1 e G 2 que é isomorfa a L .G1G1G_1G2G2G_2GGGG1G1G_1G2G2G_2GGG Isso pode ser feito em tempo...
No " Conselho para um estudante de graduação iniciante ", de Manuel Blum : LEONID LEVIN acredita, enquanto faço isso, qualquer que seja a resposta para P = NP? problema, não será como você pensa que deveria ser. E ele deu alguns exemplos maravilhosos. Por um lado, ele forneceu um algoritmo de...
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á...
Esta questão é sobre problemas de programação quadrática com restrições de caixa (box-QP), ou seja, problemas de otimização do formulário minimizar sujeito a .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n Se...
Estou procurando uma implementação de um algoritmo para calcular a largura de caminho de um gráfico. É sabido que o cálculo da largura do caminho é equivalente ao cálculo do número de busca do nó, número de separação de vértices ou espessura do intervalo do gráfico. O algoritmo não precisa ser...
O popular algoritmo DEFLATE usa a codificação Huffman em cima do Lempel-Ziv. Em geral, se tivermos uma fonte aleatória de dados (= entropia de 1 bit / bit), nenhuma codificação, incluindo Huffman, provavelmente a compactará em média. Se Lempel-Ziv fosse "perfeito" (que se aproxima da maioria das...
Está bem estabelecido que, para cada matróide MMM e qualquer função de ponderação www , não sai um algoritmo GreedyBasis(M,w)GreedyBasis(M,w)\mbox{GreedyBasis}(M,w) que devolve uma base de peso máximo de MMM . Então, a direção inversa também é verdadeira? Ou seja, se existe algum algoritmo...
Ramificação e encadernação é uma heurística eficaz para problemas de pesquisa, e a Wikipedia lista vários problemas difíceis nos quais ramificações e encadernações foram usadas. No entanto, não consegui encontrar referências para sugerir que é mais do que apenas "um método" para resolver esses...
O capítulo 1 do livro The Probabilistic Method, de Alon e Spencer menciona o seguinte problema: Dado um gráfico , decida se a conectividade da borda é pelo menos n / 2 ou não.GGGn/2n/2n/2 O autor menciona a existência de um algoritmo por Matula e melhora-lo para O ( n 8 / 3 log n )...
Chong, Han e Lam mostraram que a conectividade st não direcionada pode ser resolvida no EREW PRAM em time com processadores .O ( log n )O(registron)O({\log}n)O ( m + n )O(m+n)O(m+n) Qual é o algoritmo paralelo mais conhecido para conectividade st em gráficos planares direcionados? Indique o tempo...
Neste artigo de Kempe-Kleinberg-Tardos, os autores propõem algoritmos gananciosos baseados em funções submodulares para determinar os nós mais influentes em um gráfico, com aplicações em redes sociais.kkk Basicamente, o algoritmo é o seguinte: S= e m p t y s e t S=empty setS = {\rm...
Motivação: Um co-autor edita um manuscrito e eu gostaria de ver um resumo claro das edições. All "diff" -como ferramentas tendem a ser inútil se você está tanto em movimento texto ao redor (por exemplo, re-organização da estrutura) e fazer edições locais. É realmente tão difícil...
Estou lendo o artigo "Fast Paxos" de Leslie Lamport e fico preso às provas de correção dos clássicos Paxos e Fast Paxos. Por consistência, o valor escolhido pelo coordenador na fase 2 a na rodada i deve satisfazervvv2a2a2aiii Para qualquer rodada j < i , nenhum valor diferente de v foi ou...
Eu me deparei com esse problema em uma área da física bastante distante da ciência da computação, mas parece que é o tipo de pergunta que foi estudada em CS, então pensei em tentar a sorte perguntando aqui. Imagine que você receba um conjunto de pontos e uma lista de algumas das distâncias entre...
Quais são os algoritmos mais eficientes para multiplicar duas matrizes booleanas muito esparsas (por exemplo, N = 200 e existem apenas 100-200 elementos diferentes de zero)? Na verdade, tenho a vantagem de que quando estou multiplicando A por B, os B são predefinidos e posso executar um...
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:
No meu trabalho, surge o seguinte problema: Existe um algoritmo conhecido que aproxima o número cromático de um gráfico sem um conjunto independente de ordem 65? (Portanto, alpha (G) <= 64 é conhecido e | V | / 64 é um valor mais baixo trivial, | V | um limite superior trivial. Mas existem...