Perguntas que solicitam artigos na literatura sobre questões específicas e estreitas.
Existem muitas tentativas de provar ou P ≠ N P , e naturalmente muitas pessoas pensam sobre a questão, tendo idéias para provar qualquer direção.P=NPP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} Eu sei que existem abordagens que comprovadamente não funcionam, e provavelmente há...
Eu conheço o conceito geral de recursão. Me deparei com o conceito de recursão da cauda enquanto estudava o algoritmo quicksort. Neste vídeo de algoritmo de ordenação rápida do MIT às 18:30 segundos, o professor diz que este é um algoritmo recursivo de cauda. Não está claro para mim o que realmente...
Suponha que eu sou um programador e tenho um problema NP-completo que preciso resolver. Quais métodos estão disponíveis para lidar com problemas de NPC? Existe uma pesquisa ou algo semelhante sobre este
Por que uma empresa como o Twitter estaria interessada em conceitos algébricos como grupos, monóides e anéis? Veja seu repositório no github: twitter / algebird . Tudo o que pude encontrar é: Implementações de Monoids para algoritmos de aproximação interessantes, como filtro Bloom , HyperLogLog...
O ( n lnn )O(nlnn)O(n \ln n) Apenas um lembrete, no local significa que ele usa a matriz transmitida e o algoritmo de classificação só pode usar espaço extra constante. Estável significa que os elementos com a mesma chave aparecem na mesma ordem na matriz classificada como no original. O ( n...
Classicamente, existem três maneiras populares de pensar sobre computação: máquina de Turing, circuitos e cálculo lambda (eu uso isso como uma captura para a maioria das visualizações funcionais). Todas as três foram formas proveitosas de pensar sobre diferentes tipos de problemas, e campos...
Dijkstra, em seu ensaio Sobre a crueldade de realmente ensinar ciência da computação , faz a seguinte proposta para um curso introdutório de programação: Por um lado, ensinamos o que parece ser o cálculo predicado, mas o fazemos de maneira muito diferente dos filósofos. Para treinar o...
Frequentemente ouço frases como 'semântica de simultaneidade verdadeira' e 'equivalências de simultaneidade verdadeira' sem nenhuma referência. O que significam esses termos e por que são importantes? Quais são alguns exemplos de verdadeiras equivalências de simultaneidade e qual é a necessidade...
Para um idioma regular , seja c n ( L ) o número de palavras em L de comprimento n . Utilizando a forma canônica de Jordan (aplicada à matriz de transição não anotada de alguns DFA para L ), pode-se mostrar que, para números grandes o suficiente n , c n ( L ) = k ∑ i = 1 P i ( n ) λ n i , em que...
Atualmente, estou brincando com previsões de séries temporais (especificamente para Forex). Eu já vi alguns artigos científicos sobre redes de estados de eco que são aplicados à previsão de Forex. Existem outros bons algoritmos de aprendizado de máquina para esse fim? Também seria interessante...
Muitos de nós sabemos a correspondência entre lógica combinatória e cálculo lambda . Mas nunca vi (talvez não tenha examinado o suficiente) o equivalente a "combinadores digitados", correspondendo ao cálculo lambda simplesmente digitado. Existe algo assim? Onde alguém poderia encontrar informações...
Um filtro Bloom permite controlar com eficiência se vários valores já foram encontrados durante o processamento. Quando existem muitos itens de dados, um filtro Bloom pode resultar em uma economia significativa de memória em uma tabela de hash. O principal recurso de um filtro Bloom, que ele...
Essas terminologias me confundem. Como eu entendo Solucionador SAT: decida a satisfação da lógica proposicional (usando DPLL ou Local Search). Procedimento de decisão é um procedimento para decidir a satisfação de uma certa teoria de primeira ordem decidível. O SMT Solver é um procedimento SAT...
Qual é a melhor maneira que qualquer um pode fazer para ter uma boa introdução à teoria do sistema distribuído, a livros ou referências e a tópicos e tópicos devem ser abordados primeiro e os requisitos para começar a aprender neste
Seja uma fórmula booleana que consiste nos operadores usuais AND, OR e NOT e em algumas variáveis. Gostaria de contar o número de satisfazer atribuições para B . Ou seja, quero encontrar o número de diferentes atribuições de valores de verdade para as variáveis de B para as quais B assume um...
Em resumo: como os sistemas de tipos são categorizados em contextos acadêmicos; particularmente, onde posso encontrar fontes respeitáveis que tornem claras as distinções entre diferentes tipos de sistemas de tipos? Em certo sentido, a dificuldade com esta pergunta não é que não consigo encontrar...
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...
Eu terminei a maior parte do material no livro Introdução a algoritmos de Cormen e estou procurando um livro de algoritmos que cubra material além do livro de Corman. Existem recomendações? NOTA: Perguntei isso no stackoverflow, mas não fiquei muito feliz com a resposta. NOTA: Examinando a...
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . O que é um bom livro de informática para iniciantes para um jovem adulto, digamos, 15 anos? Quero começar no CS, mas...
O refinamento de partição é uma técnica na qual você começa com um conjunto finito de objetos e divide progressivamente o conjunto. Alguns problemas, como a minimização do DFA, podem ser resolvidos usando o refinamento de partição com bastante eficiência. Não conheço outros problemas que geralmente...