Ciência da Computação

Estou tentando me ensinar sobre computação quântica e tenho uma compreensão decente da álgebra linear. Passei pelo portão NÃO, o que não era muito ruim, mas depois cheguei ao portão Hadamard. E eu fiquei preso. Principalmente porque, embora eu "entenda" as manipulações, não entendo o que elas realmente fazem ou …

10 logic  quantum-computing 

Estou implementando um algoritmo Naive Bayes para categorização de texto com suavização de Laplacian. O problema que estou tendo é que a probabilidade se aproxima de zero porque estou multiplicando muitas frações pequenas. Portanto, a probabilidade acaba rendendo zero. Isso ocorre porque há várias palavras nos documentos e nos conjuntos …

10 machine-learning  natural-language-processing  floating-point  numerical-algorithms 

Eu escrevi esse código Python e me perguntei se às vezes simplesmente não terminava (supondo que tivéssemos memória / tempo infinitos e nenhum limite de profundidade de recursão). Intuitivamente, você acha que termina, já que em algum momento você deve ter sorte e, se não terminar, terá um tempo infinito …

10 trees  probability-theory  termination 

Desta referência: Estrita positividade A estrita condição de positividade exclui declarações como data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK Por que A é negativo? Também porque B é permitido? Eu …

10 type-theory  inductive-datatypes 

Isenção de responsabilidade: Eu sei que já existem perguntas semelhantes aqui e no Stackoverflow. Mas eles são todos sobre colisões, o que não é o que estou pedindo. Minha pergunta é: por que a pesquisa sem colisões O(1)em primeiro lugar? Vamos supor que eu tenho essa hashtable: Hash Content ------------- …

10 complexity-theory  hash  hash-tables  performance 

Eu tenho tentado descobrir se o problema de parada é decidível para autômatos celulares unidimensionais de três símbolos. Definição Deixe denotar a configuração do sistema no momento da etapa . Mais formalmente , onde é o alfabeto.i f : A ∗ × N → A ∗ Af( w , i …

10 computability  decision-problem  halting-problem  cellular-automata 

Estou aprendendo a converter NFAs em DFAs e quero ter certeza de que estou fazendo o certo. Obviamente, voltar na outra direção não é uma coisa. Alguém conhece um algoritmo para verificar se um DFA é equivalente a um NFA?

10 automata  finite-automata  proof-techniques  nondeterminism 

Self Types são uma extensão do Cálculo de Construções [1] que permite que o idioma expresse tipos de dados algébricos codificados através da Codificação Scott. A Codificação Scott fornece a capacidade de correspondência de padrões O(1), que é um dos principais motivadores para a inclusão de definições indutivas no CC. …

10 lambda-calculus  type-theory  functional-programming  inductive-datatypes 

Se P=NPP=NP\mathbf{P} = \mathbf{NP} , então é L=NLL=NL\mathbf{L} = \mathbf{NL} ? Estou fazendo essa pergunta porque, para outras classes não determinísticas, parece que P=NPP=NP\mathbf{P} = \mathbf{NP} sempre estabelece que são iguais às suas contrapartes determinísticas.

10 complexity-theory  p-vs-np 

Dado um conjunto de pontos e um raio . Qual é a complexidade de encontrar o ponto com maior número de pontos a uma distância menor que . Por exemplo, aquele que maximiza ?x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| \leq r} Um algoritmo de força bruta seria ultrapassar …

10 algorithms  complexity-theory  computational-geometry 

Quero entender a teoria dos tipos, mas primeiro preciso saber como aplicá-la. Poderia haver mais aplicações não óbvias da teoria dos tipos, além dos sistemas de tipos na programação? Poderia haver outras aplicações, digamos, em perfis de personalidade e afins?

10 type-theory  applied-theory 

Essa pergunta é um pouco contrária a uma pergunta anterior sobre conjuntos formados a partir de operações de conjunto em conjuntos NP-completos: Se o conjunto resultante da união, interseção ou produto cartesiano de dois conjuntos decidíveis e for NP completo, é pelo menos um de necessariamente NP rígido? Eu sei …

10 complexity-theory  np-hard  np  np-intermediate 

Este é provavelmente um pensamento bobo, mas suponha que temos um computador que está programado para executar uma sequência infinita de cálculos e suponha que o cálculo leva 1 / 2 i segundos para ser concluído. Então este computador pode fazer um número infinito de cálculos em uma quantidade finita …

10 computability  computation-models 

Recentemente, li uma entrada de blog muito interessante no Blog de Pesquisa do Google falando sobre rede neural. Basicamente, eles usam essas redes neurais para resolver vários problemas, como reconhecimento de imagem. Eles usam algoritmos genéticos para "evoluir" os pesos dos axônios. Então, basicamente, minha ideia é a seguinte. Se …

10 machine-learning  np  neural-networks  p-vs-np  genetic-algorithms 

Existe uma maneira de executar a análise difusa (aceita seqüências de caracteres mesmo com erros de digitação a uma certa distância de edição), com um DFA e um Autômato Levenshtein construído em tempo de execução da palavra de entrada. É possível fazer algo semelhante com um analisador Earley? Estou achando …

10 algorithms  context-free  finite-automata  parsers  string-metrics