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 )...
Existem problemas que são NP-completos ao usar a geometria euclidiana, mas são bem definidos e solucionáveis em tempo polinomial para alguma geometria
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...
Eu tinha feito alguma pesquisa sobre isso, mas não consegui encontrar uma resposta de qualquer maneira. Huck respondeu totalmente. Obrigado
Seja uma matriz real quadrada A e dois vetores x e b de comprimento n , de modo que A x = b . A resolução de x através da Eliminação Gaussiana padrão produz uma complexidade agregada de quase O ( n 3 ) . No entanto, há casos em que a solução (ou ϵ - aproximadamente) de x custos O ( n log ρ n ) ,...
Na definição de tratabilidade de parâmetro fixo (forte), o tempo limite é uma expressão da forma onde a instância de entrada é ( x , k ) com o parâmetro k , p é um polinômio ef é uma função computável .f( K ) . p ( | x | ) ,f(k).p(|x|),f(k).p(|x|),( x , k )(x,k)(x,k)kkkpppfff É possível substituir...
Na minha busca contínua para tentar aprender o cálculo lambda, "Lambda-Calculus and Combinators an Introduction" de Hindley & Seldin menciona o seguinte artigo (por Bruce Lercher) que prova que a única expressão redutível que é a mesma (conversão de módulo alfa) para si mesma é:...
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...
A função Mobius é definida como μ ( 1 ) = 1 , μ ( n ) = 0 se n tiver um fator primordial ao quadrado e μ ( p 1 … p k ) = ( - 1 ) k se todos os primos p 1 , … , p k são diferentes. É possível calcular μ ( sem calcular a fatoração primária de nμ(n)μ(n)\mu(n)μ(1)=1μ(1)=1\mu(1)=1μ(n)=0μ(n)=0...
Eu tenho uma pergunta sobre a redutibilidade do SERF de Impagliazzo, Paturi e Zane e algoritmos subexponenciais. A definição de redutibilidade do SERF fornece o seguinte: Se é SERP-redutível a P 2 e ali ó ( 2 ε n ) algoritmo para P 2 para cada ε > 0 , então não é O ( 2 ε n ) algoritmo para P...
Estou interessado em modelar objetos, a partir de programação orientada a objetos, na teoria dos tipos dependentes. Como possível aplicação, eu gostaria de ter um modelo em que possa descrever diferentes recursos de linguagens de programação imperativas. Eu só consegui encontrar um artigo sobre...
O teorema da pretensão paralela de Raz é um resultado importante no PCP, na aproximação, etc. O teorema é resumido da seguinte forma. G = ( S, T, A, B, π, V)G=(S,T,UMA,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V)S, T, A,
A definição dos números de Ramsey é a seguinte: Seja um número positivo, de modo que todo gráfico de ordem pelo menos contenha um clique em vértice ou um conjunto estável em vértices.R ( a , b )R(uma,b)R(a,b)R ( a , b )R(uma,b)R(a,b)umaumaabbb Estou trabalhando em alguma extensão do Ramsey...
Estou à procura de alguns conselhos e feedback. Formação: Sou estudante de matemática, com interesse em ciência da computação teórica (complexidade computacional, teoria de grafos, combinatória). Quero fazer um doutorado em Ciência da Computação e focar na teoria. Minha formação é em áreas...
Estou interessado na complexidade do problema do conjunto dominante (DSP) em algumas classes gráficas específicas que são subclasses de gráficos cordais . Um gráfico é um gráfico de caminho não direcionado se for o gráfico de interseção de vértices de uma família de caminhos em alguma árvore não...
Dado um gráfico planar, uma lata incorporá-lo em tempo linear passando livre em um grade. Estou interessado em saber se algum algoritmo eficiente é conhecido por incorporar em linha reta um gráfico planar cruzando livremente em uma grade n c × n c , para alguns c pequenos , de modo que o ângulo...
Um de meus amigos me pergunta o seguinte problema de agendamento na árvore. Eu acho que é muito limpo e interessante. Existe alguma referência para isso? Problema: existe uma árvore , cada aresta tem um custo de deslocamento simétrico de 1 . Para cada vértice , há uma tarefa que precisa ser...
Em 1973, Weiner deu a primeira construção em tempo linear de árvores com sufixo. O algoritmo foi simplificado em 1976 por McCreight e em 1995 por Ukkonen. No entanto, acho o algoritmo de Ukkonen relativamente envolvido conceitualmente. Houve simplificações no algoritmo de Ukkonen desde...