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

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 desse tipo, provavelmente …

9 reference-request  logic  parallel-computing 

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 baseia na existência de uma fórmula …

9 complexity-theory  reference-request  logic 

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. O gráfico duplo é conhecido por …

9 reference-request  computational-geometry 

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 sentiria mal …

9 terminology  reference-request  history 

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

9 reference-request  compilers  type-inference  program-optimization 

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

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

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 .0≤i&lt;n0≤i&lt;n0 \leq i < n …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

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 formalizar o conceito de …

9 complexity-theory  formal-languages  reference-request 

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 …

9 formal-languages  reference-request  finite-automata 

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 …

9 complexity-theory  reference-request  decision-problem 

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 usa provadores de teoremas? Ou …

9 reference-request  logic  formal-methods  sat-solvers  software-verification 

Existem bons recursos da Web para o aprendizado de matemática discreta com conjuntos de problemas?

9 reference-request  education  discrete-mathematics 

É 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 justificativa …

9 reference-request  security 

Quais algoritmos de aprendizado de máquina (além dos SVM) usam o princípio de minimização de risco estrutural ?

9 reference-request  machine-learning 

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 sugestão?

9 complexity-theory  graph-theory  reference-request  discrete-mathematics  parameterized-complexity