Vamos supor que . N P I é a classe de problemas em N P que não são nem P nem em N P -Hard. Você pode encontrar uma lista de problemas conjecturados como N P I aqui .P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} Teorema de Ladner...
Existe alguma linguagem "natural" indecidível? por "natural", quero dizer uma linguagem definida diretamente pelas propriedades das strings, e não através de máquinas e seus equivalentes. Em outras palavras, se o idioma se parecer com que é uma TM, DFA (ou exp regular), PDA (ou gramática) etc.,...
Tem havido muita publicidade sobre os compiladores JIT para linguagens como Java, Ruby e Python. Como os compiladores JIT são diferentes dos compiladores C / C ++ e por que os compiladores escritos para Java, Ruby ou Python são chamados de compiladores JIT, enquanto os compiladores C / C ++ são...
Em uma pergunta anterior, havia uma definição de árvores com peso equilibrado e uma pergunta sobre árvores vermelho-pretas. Esta pergunta é para fazer a mesma pergunta, mas para árvores AVL . A questão é, dada a definição de árvores equilibradas como na outra questão,μμ\mu Há alguns tal que...
Entendo a teoria por trás das redes bayesianas e estou me perguntando o que é preciso para construir uma na prática. Digamos, neste exemplo, que eu tenho uma rede bayesiana (dirigida) de 100 variáveis aleatórias discretas; cada variável pode ter um de até 10 valores. Armazeno todos os nós em um...
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Estou procurando teorias matemáticas que lidam com a descrição de linguagens formais (conjunto de strings) em geral e...
Seja um gráfico completo, ponderado e não direcionado. Construímos um segundo gráfico G ' = ( V , E ' ) adicionando arestas uma a uma de E a E ' . Adicionamos arestas Θ ( | V | ) a G ′ no total.G = ( V, E)G=(V,E)G=(V,E)G′= ( V, E′)G′=(V,E′)G'=(V, E')EEEE′E′E'Θ ( | V| )Θ(|V|)\Theta(|V|)G′G′G' Cada...
Dada uma gramática livre de contexto G, existe um autômato de empilhamento não determinístico N que aceita exatamente o idioma que G aceita. (e vice-versa) Também pode existir um autômato de empilhamento determinístico D que aceite exatamente o idioma que G também aceita. Depende da...
Os algoritmos de classificação genérica geralmente levam um conjunto de dados para classificar e uma função comparadora que pode comparar dois elementos individuais. Se o comparador for uma relação de ordem¹, a saída do algoritmo será uma lista / matriz classificada. Gostaria de saber, porém,...
Uma máquina de Turing que retorne ao estado encontrado anteriormente com sua cabeça de leitura / gravação na mesma célula da mesma fita será presa em um loop. Essa máquina não para. Alguém pode dar um exemplo de uma máquina sem interrupção que não se
Estudei algo sobre a Complexidade Kolmogorov , li alguns artigos e livros de Vitanyi e Li e usei o conceito de Distância de compressão normalizada para verificar a estilometria dos autores (identifique como cada autor escreve alguns textos e agrupa documentos por sua semelhança). Nesse caso, os...
Ao ler a resposta de Uday Reddy a Qual é a relação entre os functores na SML e na teoria das categorias? Uday estados A teoria das categorias ainda não sabe como lidar com funções de ordem superior. Algum dia, será. Como eu pensava que a teoria das categorias pudesse servir de base para a...
A programação funcional emprega estruturas de dados persistentes e objetos imutáveis. Minha pergunta é por que é crucial ter essas estruturas de dados aqui? Quero entender em um nível baixo o que aconteceria se a estrutura de dados não fosse persistente? O programa falharia com mais...
De acordo com esta página , o algoritmo de Dijkstra é apenas BFS com uma fila de prioridade. É realmente assim tão simples? Eu acho que
Especificar linguagens formais dando gramáticas formais é uma tarefa frequente: precisamos de gramáticas não apenas para descrever as línguas, mas também para analisá-las ou mesmo fazer a ciência apropriada . Em todos os casos, é importante que a gramática em questão esteja correta , ou seja, gere...
O que eu quero fazer é transformar um problema de matemática que possuo em um problema de satisfação booleana (SAT) e resolvê-lo usando um SAT Solver. Gostaria de saber se alguém conhece um manual, guia ou qualquer coisa que me ajude a converter meu problema em uma instância SAT. Além disso, quero...
Quando se trata do design de algoritmos, geralmente se emprega as seguintes técnicas: Programaçao dinamica A estratégia gananciosa Dividir e conquistar Enquanto para os dois primeiros métodos, existem fundamentos teóricos bem conhecidos, a saber, o Princípio de Optimalidade de Bellman e a...
Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Computer Science Stack Exchange. Migrou há 5 anos . Ainda estou aprendendo programação funcional (com f #) e recentemente comecei a ler sobre expressões de computação. Ainda não entendo
Gostaria de começar a pergunta dizendo que sou programador e não tenho muita experiência em teoria da complexidade. Uma coisa que eu notei é que, embora muitos problemas sejam NP-completos, quando estendidos a problemas de otimização, alguns são muito mais difíceis de aproximar do que outros. Um...
É sabido que a inferência do tipo Hindley-Milner (o -calculus de digitação simples com polimorfismo) tem uma inferência de tipo decidível: você pode reconstruir os tipos de princípio para qualquer programa sem nenhuma anotação.λλ\lambda A adição de classes de tipo no estilo Haskell parece...