De acordo com o artigo da Wikipedia sobre esquemas de aproximação de tempo polinomial : Todos os problemas no FPTAS são tratáveis com parâmetros fixos. Esse resultado me surpreende - essas classes parecem ser totalmente diferentes umas das outras. O FPTAS caracteriza problemas pela...
Estou trabalhando com um algoritmo de correspondência de padrões que gera um autômato de estado finito acíclico que aceita uma sequência de texto especificada e todas as suas substrings. O algoritmo FSA está sendo executado em uma representação simbólica de um fluxo de música (por exemplo, dados...
Haverá necessidade de alterar as definições de segurança se tivermos computadores quânticos? Que construções criptográficas irão quebrar? Você conhece uma pesquisa ou um artigo que explica o que será necessário
Devido à natureza da pergunta, tenho que incluir muitas informações básicas (porque minha pergunta é: como restringir isso?) Dito isso, ele pode ser resumido (da melhor maneira possível) como: Quais métodos existem para encontrar ótimos locais em espaços de pesquisa combinatória extremamente...
Não sei a terminologia correta para fazer esta pergunta, portanto, descreverei-a com muitas palavras. Em segundo plano , apenas para estarmos na mesma página: os programas geralmente contêm caches - uma troca de tempo / memória. Um erro comum do programador é esquecer de atualizar um valor em...
A questão está praticamente no título. Existe um momento em que algum idioma pode ser aceito por um DFA mínimo com n estados, mas L R , a reversão de L , pode ser aceito por um DFA com m estados, em que m < n
Descrevo uma abordagem ao isomorfismo gráfico que provavelmente tem falsos positivos e estou curioso para saber se há literatura indicando que ele não funciona. Dadas duas matrizes de adjacência , um método reconhecidamente ingênuo de verificar se há isomorfismo é verificar se, para cada linha de...
Não tenho certeza se esta pergunta pertence aqui e peço desculpas se não. O que pretendo fazer é desenvolver uma maneira programática na qual eu possa determinar probabilisticamente se uma determinada string "pertence" a um pacote de strings. Por exemplo, se eu tiver um pacote de 10.000 nomes de...
Eu estou procurando um algoritmo de correspondência de seqüência k-incompatibilidade rápida. Dada uma string padrão P de comprimento me uma string de texto T de comprimento n, preciso de um algoritmo rápido (tempo linear) para encontrar todas as posições em que P corresponde a uma subcadeia de T...
Existem linguagens de programação (ou lógica) que podem implementar (ou expressar) uma função se e somente se for uma função bijetiva computável?f:N→Nf:N→Nf:\mathbb{N}\to
Vindo do ponto de vista de quem está pensando em fazer um doutorado em ciência da computação. Estou tendo problemas para decidir em que focar minha pesquisa quando for para o doutorado. Veja também esta pergunta sobre academia.SE . Então, estou pensando que ler / manter-se atualizado sobre quais...
Às vezes, há uma variedade estonteante de símbolos usados em trabalhos de matemática e ciências da computação. No entanto, muitos assumem familiaridade básica que parece raramente ensinada em um só lugar. Estou procurando um dicionário parecido com o seguinte, especialmente da perspectiva do...
O algoritmo de Brzozowski pode ser estendido aos autômatos de Moore, mas sua complexidade de tempo é exponencial em geral. Existe algum outro algoritmo para minimizar os autômatos de Moore? Quais são os tempos de execução desses algoritmos, se
Estou procurando recursos para começar a analisar o programa . O único livro que encontrei sobre o assunto é o livro Nielson & Nielson . Fora isso, parece que existem apenas livros de "compiladores" em que "análise de programa" seria um capítulo ou algo nesse sentido. As pessoas conhecem...
Estou interessado em procedimentos para a divisão justa da terra (ou seja, divisão sem inveja, ou pelo menos divisão proporcional). Em contraste com o bem estudado problema de divisão de bolos, a divisão de terras é bidimensional, ou seja, as preferências dos usuários podem variar horizontal e...
Um gráfico é cordal se não tiver ciclos induzidos de comprimento ou mais. Uma árvore camarilha de é uma árvore na qual os vértices da árvore são os cliques maximais de . Uma aresta em corresponde a um separador mínimo. O número de árvores de clique distintas pode ser exponencial no número de...
Gostaria de saber, existe um método para análise automática de tempo de execução que funciona pelo menos em um subconjunto relevante de algoritmos (algoritmos que podem ser analisados)? Eu pesquisei "Análise automática de algoritmo", o que me deu isso, mas é muito matemático. Eu só quero um...
Quero fornecer provas para partes de um programa Haskell que estou escrevendo como parte de minha tese. Até agora, porém, não consegui encontrar um bom trabalho de referência. O livro introdutório de Graham Hutton, Programming in Haskell ( Google Books ) - que li enquanto aprendia Haskell - aborda...
Considere os programas lineares Primal:Ax⃗ ≤b⃗ maxc⃗ Tx⃗ Primal:Ax→≤b→maxc→Tx→\begin{array}{|ccc|} \hline Primal: & A\vec{x} \leq \vec{b} \hspace{.5cm} & \max \vec{c}^T\vec{x} \\ \hline \end{array} Dual:c⃗ ≤y⃗ TAminy⃗ Tb⃗ Dual:c→≤y→TAminy→Tb→\begin{array}{|ccc|} \hline Dual: & \vec{c} \leq...
Tivemos várias perguntas sobre a relação das reduções de Cook e Karp . É claro que as reduções de Cook (reduções de Turing no tempo polinomial) não definem a mesma noção de completude de NP que as reduções de Karp (reduções de muitos-um no tempo polinomial), que geralmente são usadas. Em...