Ao ler as perguntas Exemplos onde a unicidade da solução torna mais fácil de encontrar , uma nova interrogação (? Mais fácil) veio à minha mente: na verdade, não sabemos se o (Gráfico Isomorfismo ) problema está em .G IGEuGIPPP Mas o que acontece se assumirmos que ambos e são assimétricos (ie...
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...
É bem sabido que a complexidade de distinguir um moeda inclinado a partir de uma feira um é θ ( ε - 2 ) . Existem resultados para distinguir uma moeda p de uma moeda p + ϵ ? Eu posso ver que, para o caso especial de p = 0 , a complexidade será ϵ - 1 . Tenho um palpite de que a complexidade...
Eu tenho uma redução do seguinte problema de partição para um determinado problema de agendamento: Entrada: Uma lista de números inteiros positivos em ordem não decrescente.uma1⩽ ⋯ ⩽ umnuma1⩽⋯⩽umana_1\leqslant\cdots\leqslant a_n Pergunta: Existe um vetor tal que( x1, … , Xn) ∈ { - 1 , 1...
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...
Estou à procura de: Michael O. Rabin, "Grau de dificuldade em calcular uma função e uma ordem parcial de conjuntos recursivos", Universidade Hebraica, Jerusalém, 1960 Resumo: “Tentamos medir a quantidade de trabalho inerente à tarefa de calcular uma determinada função computável (recursiva)....
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...
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
Qual é o algoritmo determinístico mais rápido conhecido que pode reconhecer gráficos direcionados com um par de ciclos disjuntos de vértices? Eu sei que gráficos com três graus negativos sempre têm esse par ( Thomassen'83 ), mas mesmo assim não consigo encontrar um algoritmo eficiente no caso...
É sabido se o problema de avaliação do circuito está em N C 1 ? Que tal A L o g T i m e (uniforme N C 1 )?NC1NC1\mathsf{NC^1}NC1NC1\mathsf{NC^1}ALogTimeALogTime\mathsf{ALogTime}NC1NC1\mathsf{NC^1} Sabemos que os circuitos de profundidade podem ser avaliados com circuitos de profundidade k + c,...
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...
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...
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 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...
Enquanto escrevia um pequeno post sobre a complexidade dos videogames Nibbler e Snake ; Descobri que ambos podem ser modelados como problemas de reconfiguração em gráficos planares; e parece improvável que esses problemas não tenham sido bem estudados na área de planejamento de movimento (imagine,...
Parece-me que os especialistas em aprendizado de máquina / mineração de dados estão familiarizados com P e NP, mas raramente falam sobre algumas das classes de complexidade mais sutis (por exemplo, NC, BPP ou IP) e suas implicações para uma análise eficaz dos dados. Existe alguma pesquisa de...
Sabe-se se o problema do conjunto de vértices de feedback em gráficos planas não direcionados de grau delimitado é
Para comemorar o centésimo aniversário de Alan Turing, quero assistir a um documentário sobre sua vida. No entanto, existem vários documentários para escolher. Qual documentário sobre Alan Turing é o seu favorito? Por favor inclua apenas um documentário por