Perguntas com a marcação «reference-request»

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 MIDI). O fluxo …

10 formal-languages  reference-request  finite-automata 

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. …

10 complexity-theory  reference-request  np-complete  reductions 

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 \vec{y}^TA \hspace{.5cm} & \min \vec{y}^T\vec{b} \\ \hline \end{array} O teorema da dualidade fraca afirma que se x⃗ x→\vec{x} …

10 algorithms  reference-request  linear-programming  linear-algebra  duality 

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 …

10 algorithms  graph-theory  reference-request 

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 verticalmente. Portanto, não …

10 reference-request  game-theory 

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 outros …

10 reference-request  compilers  semantics 

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 \mathbb{N}fff

10 reference-request  programming-languages  logic  reversible-computing 

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 pesquisas …

10 reference-request 

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 com no …

10 algorithms  reference-request  strings  string-metrics  substrings 

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 cidades …

10 algorithms  reference-request  string-metrics 

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 mudar?

10 reference-request  cryptography  quantum-computing 

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 grandes? fundo Na comunidade de super-jogos assistida por …

10 reference-request  machine-learning  combinatorics  optimization  search-problem 

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 &lt; n ?euLLnnneuRLRL^ReuLLmmmm&lt;nm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

À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 CS. Ele listaria todos os símbolos matemáticos …

10 terminology  reference-request  education 

Estou trabalhando em um problema relacionado aos quadrados latinos e quero um método para o que se resume basicamente ao problema de decisão: Entrada : Um gráfico finito e simples G. Saída : YESse G tiver um automorfismo não trivial, NOcaso contrário. Conseqüentemente... Pergunta : Existe um algoritmo eficiente para …

9 algorithms  graphs  graph-theory  reference-request