Como estou interessado em analisadores (principalmente em gramáticas de expressão do analisador), estou me perguntando se há algum trabalho que forneça um tratamento categórico para a análise. Qualquer referência sobre aplicações da teoria de categorias à análise é altamente...
Recentemente, eu estava revisando uma introdução aos algoritmos holográficos. Me deparei com alguns objetos combinatórios chamados Pfaffians. Eu realmente não sei muito sobre isso no momento e me deparei com alguns usos surpreendentes que eles podem usar. Por exemplo, soube que eles podem ser...
A menor fórmula conhecida para o determinante tem tamanho acordo com o folclore (ou com Ran Raz em seu artigo As Fórmulas Multi-Lineares para Permanentes e Determinantes são de Tamanho Super-Polinomial ).nO (logn )nO(registron)n^{\mathcal O(\log n)} Você tem alguma referência para isso? Em...
É fácil de ver que, se então há total de procurar problemas que não podem ser resolvidos em tempo polinomial (criar um problema total de busca tendo tanto as testemunhas de filiação como as testemunhas de não filiação).N PN P ∩ c o N P ≠ PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq \mathsf{P}N...
Ao tentar resolver um problema, acabei expressando parte dele como o seguinte programa linear inteiro. Aqui são números inteiros positivos dados como parte da entrada. Um subconjunto especificado das variáveis x i j é definido como zero e o restante pode assumir valores integrais positivos:ℓ , m ,...
a complexidade computacional envolve grandes quantidades de combinatória e teoria dos números, algumas ingridiências da estocástica e uma quantidade emergente de álgebra. No entanto, como analista, pergunto-me se existem aplicações de análise nesse campo, ou talvez idéias inspiradas pela análise....
A largura da árvore e a largura do caminho são parâmetros populares, medindo a proximidade de um gráfico a uma árvore ou um caminho, respectivamente. De fato, parece que a largura da árvore é tão popular que é apresentada em muitos artigos, livros e notas de aula que dão (mesmo que muito gentil)...
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...
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
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...
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...
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...
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,...
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