Ciência da Computação

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 Solver + Decision. O provador …

24 algorithms  terminology  reference-request  decision-problem 

Estou tentando ter uma idéia de como o teste de primalidade do AKS deve ser interpretado à medida que o aprendo, por exemplo, um corolário para provar que PRIMES ⊆ P, ou um algoritmo realmente prático para o teste de primalidade em computadores. O teste tem tempo de execução polinomial, …

24 algorithms  efficiency  primes 

A lógica construtivista é um sistema que remove a lei do meio excluído, bem como a dupla negação, como axiomas. É descrito na Wikipedia aqui e aqui . Em particular, o sistema não permite provas por contradição. Eu estou querendo saber, alguém está familiarizado com como isso afeta os resultados …

24 formal-languages  turing-machines  logic  proof-techniques  undecidability 

Seguindo o mesmo pensamento que esta declaração de Andrej Bauer nesta resposta A comunidade Haskell desenvolveu várias técnicas inspiradas na teoria das categorias, das quais as mônadas são mais conhecidas, mas não devem ser confundidas com as mônadas . Qual é a relação entre functores em SML e functores na …

24 programming-languages  functional-programming  category-theory 

Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Estou um pouco confuso com alguma terminologia que encontrei em relação à complexidade dos problemas de otimização. Em uma classe de algoritmos, tive o grande problema de parcimônia descrito …

24 complexity-theory  np-complete  terminology 

A análise suavizada encontrou seu caminho na análise do fluxo principal de algoritmos? É comum que os designers de algoritmos apliquem análises suavizadas a seus algoritmos?

24 algorithms  complexity-theory  algorithm-analysis 

Na aula da semana passada, meu professor comentou e disse que as máquinas de Turing são usadas como uma medida / modelo padrão do que é computável e são uma base útil de discussão para esse assunto. Ela também disse que todas as variantes de máquinas de Turing são comprovadamente …

24 turing-machines  quantum-computing 

Digamos que exista um programa que, se você der um Sudoku parcialmente preenchido de qualquer tamanho, ele fornecerá o Sudoku completo correspondente. Você pode tratar esse programa como uma caixa preta e usá-lo para resolver o TSP? Quero dizer, existe uma maneira de representar o problema do TSP como Sudoku …

23 algorithms  np-complete  reductions  traveling-salesman  sudoku 

Eu estava assistindo as " Cinco etapas da aceitação da matemática construtiva ", de Andrej Bauer, e ele diz que existem dois tipos de provas por contradição (ou duas coisas que os matemáticos chamam de prova por contradição): Suponha que seja falso ... blá blá blá, contradição. Portanto, é verdadeiro.PPPPPP …

23 halting-problem  coq 

Esta é uma pergunta ingênua e, portanto, possivelmente malformada, portanto peça desculpas antecipadamente! Minha opinião é que uma máquina de Turing pode ser vista como a base computacional para linguagens de programação procedurais / imperativas. Da mesma forma, o cálculo lambda é a base para linguagens de programação funcionais. Aprendi …

23 programming-languages  mathematical-foundations  church-turing-thesis 

Como buracos negros na ciência da computação. Só podemos saber que eles existem, mas quando temos um deles, nunca saberemos que é um deles.

23 halting-problem  correctness-proof 

Eu estava na wikipedia na lista de problemas não resolvidos de ciência da computação e descobri o seguinte: É possível a criptografia de chave pública? Eu pensei que a criptografia RSA era uma forma de criptografia de chave pública? Por que isso é um problema?

23 cryptography 

Eu li essas palavras em várias publicações e gostaria de ter algumas boas definições para esses termos, que deixam claro qual é a diferença entre detecção de objeto e segmentação semântica e localização. Seria bom se você pudesse fornecer fontes para suas definições.

23 terminology  computer-vision 

este é um pedaço de código de montagem section .text global _start ;must be declared for using gcc _start: ;tell linker entry point mov edx, len ;message length mov ecx, msg ;message to write mov ebx, 1 ;file descriptor (stdout) mov eax, 4 ;system call number (sys_write) int 0x80 ;call …

23 assembly 

Na teoria da computabilidade, funções computáveis ​​também são chamadas de funções recursivas. Pelo menos à primeira vista, eles não têm nada em comum com o que você chama de "recursivo" na programação do dia-a-dia (isto é, funções que se denominam). Qual é o significado real de recursivo no contexto da …

23 computability  terminology  history