Na programação de tipo dependente, existem duas maneiras principais de decompor dados e executar recursão: Correspondência de padrões dependentes : as definições de funções são fornecidas como várias cláusulas. A unificação garante que todos os casos omitidos sejam impossíveis e um solucionador...
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...
Minha situação Estou escrevendo um artigo apresentando um módulo de software que desenvolvi e quero comparar seu tempo de execução com outros módulos para a mesma tarefa. Estou ciente das desvantagens dos experimentos em tempo de execução , mas suponha que, no meu caso, não há maneira de contornar...
Dada uma triangulação (sem pontos de Steiner) de um polígono simples , pode-se considerar o duplo dessa triangulação, que é definido da seguinte forma. Criamos um vértice para cada triângulo em nossa triangulação e conectamos dois vértices se os triângulos correspondentes compartilharem uma aresta....
Quais algoritmos de aprendizado de máquina (além dos SVM) usam o princípio de minimização de risco estrutural
É um exercício trivial em autômatos finitos para mostrar que não existe um algoritmo capaz de detectar todos os vírus; no entanto, existem muitas empresas de software que vendem software antivírus. Existe alguma parte do CS que lida com vírus e anti-vírus? PS: Eu não estou perguntando sobre a...
Existem bons recursos da Web para o aprendizado de matemática discreta com conjuntos de
Estou tentando me ensinar diferentes abordagens à verificação de software. Eu li alguns artigos. Até onde eu aprendi, a lógica proposicional com temporal geralmente usa verificação de modelo com solucionadores SAT (em sistemas reativos contínuos), mas e a lógica de primeira ordem com temporal? Ele...
Publiquei isso no MathUnderflow, mas não obtive respostas, então pensei em experimentar aqui, Estou lendo o antigo artigo de Rabin e Fischer [publicará um link quando possível] onde, entre outras coisas, é comprovada a complexidade duplamente exponencial da aritmética de Presburger. A prova se...
Nas provas e tipos de Girard , podemos ler: Do ponto de vista algorítmico, o cálculo seqüencial não possui isomorfismo de Curry-Howard, devido à multiplicidade de maneiras de escrever a mesma prova. Isso nos impede de usá-lo como um cálcio digitado , embora vislumbremos alguma estrutura profunda...
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...
Essa variante do problema de soma de subconjuntos é fácil / conhecida? Dado um número inteiro , e um conjunto de números inteiros positivos A = { x 1 , x 2 , . . . , x n } de modo que todo x i tenha no máximo k = 2 bits definido como 1 ( x i = 2 b i 1 + 2 b i 2 ,mmmA = { x1 1, x2, . . . ,...
Recentemente, fiz uma pergunta no Math SE. Nenhuma resposta ainda. Esta questão está relacionada a essa pergunta, mas mais detalhes técnicos sobre ciência da computação. Dado dois DFAs e que o conjunto de estados, o alfabeto de entrada e a função de transição de e são iguais, os estados iniciais e...
Estou procurando um artigo fácil e introdutório sobre a prova do Teorema de Courcelle . Também estou interessado em sua conexão com a complexidade parametrizada em relação à largura da árvore . Eu sou apenas um iniciante neste campo. Alguma
Ouvi várias explicações possíveis, então gostaria de alguma referência confiável. Atualização 05.19: Estou interessado na pergunta, porque um dos meus alunos escreveu em sua tese que o nome vem da explicação abaixo (1). Até agora, pensei / ouvi dizer que se trata de uma explicação (2). Eu me...
Uma linguagem formal LLL sobre um alfabeto é um subconjunto de , ou seja, um conjunto de palavras sobre esse alfabeto. Duas linguagens formais e são iguais, se os conjuntos correspondentes forem extensionalmente iguais como subconjuntos de . Pode-se usar linguagens na teoria da complexidade para...
Estou olhando para o seguinte problema: Dados vetores dimensionais dos números naturais e algum vetor de entrada , é uma combinação linear dos com coeficientes numéricos naturais?nnn u u v iv1 1, … , Vmv1,…,vmv_1, \ldots, v_mvocêuuvocêuuvEuviv_i ou seja, existem alguns que ? u = t 1 v 1 + ⋯ + t m...
Esta questão é sobre a interseção da teoria da probabilidade e da complexidade computacional. Uma observação importante é que algumas distribuições são mais fáceis de gerar do que outras. Por exemplo, o problema Dado um número nnn , retorne um número uniformemente distribuído iii com...
A resposta de @ Babou a uma pergunta recente me lembra que, uma vez, acho que li um artigo sobre a equivalência (em termos de fatos que podem ser inferidos ou provados e a complexidade do tempo de execução do algoritmo de inferência) da análise de fluxo de dados , interpretação abstrata e...
Estou procurando aplicações práticas de máquinas de estado finito como máquinas DFA, NFA, Moore, Mealy ... Seria útil se alguém apontasse para exemplos do Linux Kernel. Eu sei que o DFA é usado na correspondência de strings como o algoritmo KMP. Qual é o significado das máquinas NFA, Moore e...