Ciência da Computação

Parece que eu encontrei uma maneira genérica de converter qualquer procedimento recursivo em recursão de cauda: Defina um subprocedimento auxiliar com um parâmetro "resultado" extra. Aplique o que seria aplicado ao valor de retorno do procedimento a esse parâmetro. Ligue para este procedimento auxiliar para começar. O valor inicial para …

13 algorithms  logic  recursion  lisp 

Eu continuo ouvindo sobre como é preciso aprender a teoria das categorias para realmente entender a teoria da linguagem de programação. Até agora, aprendi bastante PL sem nunca entrar no campo das categorias. No entanto, achei que era hora de dar o salto para ver o que estava faltando. Infelizmente, …

13 reference-request  programming-languages  type-theory  category-theory 

Meu palestrante fez a declaração Qualquer problema finito não pode ser NP-Complete Ele estava falando sobre o Sudoku na época dizendo algo do tipo: para um Sudoku 8x8, existe um conjunto finito de soluções, mas não me lembro exatamente o que ele disse. Anotei a nota que citei, mas que …

13 np-complete  np 

Uma expressão combinadora (digamos na base SK) pode ser pensada como uma função que mapeia expressões de cálculo combinador para expressões de cálculo combinador. Ou seja, pode-se pensar em uma expressão XXX como uma função X: L → LX:eu→euX:L \to L , onde eueuL é o conjunto de todas as …

13 lambda-calculus  combinatory-logic 

Se P for igual a NP, ainda será possível projetar um sistema de criptografia em que o algoritmo ideal de análise de criptografia leve, digamos, o quadrado do tempo gasto pelos algoritmos legítimos de criptografia e descriptografia? Algum algoritmo já existe?

13 cryptography  encryption 

Eu tenho a definição de um algoritmo in situ do professor, mas não o entendo. Algoritmos in situ referem-se a algoritmos que operam com memória Θ (1). O que isso significa?

13 algorithms  terminology  landau-notation 

Quando dizemos que uma rede neural artificial é um Perceptron multicamada ? E quando dizemos que uma rede neural artificial é multicamada ? O termo perceptron está relacionado à regra de aprendizado para atualizar os pesos? Ou está relacionado a unidades de neurônios?

13 neural-networks  perceptron 

Acabei de encontrar esta frase na página 6 de "Computers and Intratability" de Garey and Johnson. Qualquer algoritmo cuja função de complexidade de tempo não possa ser tão limitada é chamado de algoritmo de tempo exponencial (embora se deva observar que essa definição inclui certas funções de complexidade de tempo …

13 algorithms  terminology  polynomial-time 

Muitos problemas indecidíveis "famosos" são, no entanto, pelo menos semidecidáveis, com seu complemento indecidível. Um exemplo acima de tudo pode ser o problema da parada e seu complemento. No entanto, alguém pode me dar um exemplo em que um problema e seu complemento são indecidíveis e não semidecidáveis? Pensei na …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Vi neste post no stackoverflow que existem alguns algoritmos relativamente rápidos para peneirar um intervalo de números para ver se há um primo nesse intervalo. No entanto, isso significa que o problema geral de decisão de: (existe um primo em um intervalo?) Está em P. (Havia muitas respostas para esse …

13 complexity-theory  np  polynomial-time  primes 

A função de contagem primária , despromovida , é definida como o número de números primos menor ou igual a .π( X )π(x)\pi(x)xxx Podemos definir um problema de decisão de seguinte maneira:π( X )π(x)\pi(x) Dados dois números e , escritos em binário, decida se .xxxnnnπ( x ) = nπ(x)=n\pi(x) = …

13 complexity-theory  primes 

Em 1962, você poderia ganhar um prêmio de US $ 10.000 (cerca de US $ 80.000 em dinheiro de hoje) se encontrasse a solução para um problema de vendedor ambulante euclidiano definido em 33 cidades. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html Olhando para a foto, o problema parece bastante fácil. No entanto, não consegui encontrar …

13 optimization  traveling-salesman 

Estou lendo um livro sobre um tópico de ciência da computação, mas não tenho alguns dos pré-requisitos. Normalmente, quando me deparo com termos que não entendo, simplesmente os procuro, mas para a Pesquisa Universal simplesmente não consegui encontrar uma explicação adequada para um leitor sem formação em estatística / ciência …

13 algorithms  terminology  search-algorithms 

Eu estou querendo saber se decidir a decidibilidade do problema é um problema decidível. Acho que não, mas após as pesquisas iniciais não consigo encontrar nenhuma literatura sobre esse problema.

13 computability  undecidability  decision-problem 

Estou tentando entender a existência de linguagens não reconhecíveis. Para conseguir isso, preciso saber por que uma máquina de Turing reconhece apenas um idioma, não vários. Por que é isso?

13 turing-machines  computation-models