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...
Se eu tiver alguma função cuja complexidade de tempo seja O ( mn ), onde m e n são os tamanhos de suas duas entradas, chamaríamos sua complexidade de tempo de "linear" (já que é linear em m e n ) ou "quadrática" ( já que é um produto de dois tamanhos)? Ou alguma outra coisa? Sinto que chamá-lo de...
Dado um conjunto de moedas com denominações diferentes e um valor v, você deseja encontrar o menor número de moedas necessário para representar o valor v.c1,...,cnc1,...,cnc1, ... , cn Por exemplo, para o conjunto de moedas 1,5,10,20, isso fornece 2 moedas para a soma 6 e 6 moedas para a soma 19....
Esta pergunta foi migrada do Stack Overflow porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Definição do problema LMC (Log Min Min Cut) Suponha-se que é um digrama não ponderada, s e t são dois vértices de V , e t é acessível a partir de...
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...
Eu tenho duas maneiras de produzir uma lista de itens em uma ordem aleatória e gostaria de determinar se eles são igualmente justos (imparciais). O primeiro método que eu uso é construir a lista inteira de elementos e, em seguida, fazer um shuffle (por exemplo, um shuffle de Fisher-Yates). O...
Há nnn pessoas em uma mesa. O ª pessoa tem que pagar dólares.EuEuipEupEup_i Algumas pessoas não têm as contas certas para pagar exatamente , portanto, apresentam o seguinte algoritmo.pEupEup_i Primeiro, todo mundo coloca um pouco de seu dinheiro na mesa. Então, cada indivíduo recebe de volta o...
Esta pergunta foi migrada do Mathematics Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 3 anos . Eu tenho tentado encontrar um algoritmo para encontrar uma cobertura máxima de ciclo de vértice de um gráfico direcionado - ou seja,...
Na classificação radix, classificamos primeiro pelo dígito menos significativo, depois classificamos pelo segundo dígito menos significativo e assim por diante e terminamos com a lista classificada. Agora, se temos lista de números que precisamos bits para distinguir entre aqueles número....
Por recomendação, estou reeditando isso no Stack Overflow . Recentemente, estive pensando sobre a questão seguinte. Considere o código para um "Olá, mundo!" programa: main() { printf("Hello World"); } Agora, quase qualquer alteração nesse código o tornará completamente inútil; na verdade,...
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, é...
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
O Eagles é um supergrupo de rock dos anos 70 e 80, responsável por clássicos como o Hotel California . Eles têm dois sons bastante distintos, um onde o guitarrista Joe Walsh está presente (por exemplo, em Life in the Fast Lane ) e outro em que ele está ausente. As últimas músicas têm uma sensação...
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...
Estou procurando um cálculo simples que suporte o raciocínio sobre reflexão , a saber, a introspecção e manipulação de programas em execução. Existe uma extensão de cálcio não tipada que permita converter termos λ em um formato que possa ser sintaticamente manipulado e depois avaliado...
Qual é a diferença entre uma rede neural, um sistema de aprendizado profundo e uma rede de crenças profundas? Pelo que me lembro, sua rede neural básica é um tipo de coisa de três camadas, e eu tive os Deep Belief Systems descritos como redes neurais empilhadas umas sobre as outras. Até...
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Esse problema foi retirado de Interviewstreet.com É-nos dada uma matriz de números inteiros que representa segmentos...
Esta pergunta foi migrada do Software Engineering Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . Estou tentando implementar a tabela de hash distribuído de pastelaria, mas algumas coisas estão escapando do meu
Ao ler um livro, deparei-me com um parágrafo abaixo: Para sincronizar todas as operações de um computador, é usado um relógio do sistema - um pequeno cristal de quartzo localizado na placa-mãe. O relógio do sistema envia um sinal regularmente a todos os outros componentes do computador. E...
Esta questão foi migrada do Theoretical Computer Science Stack Exchange porque pode ser respondida no Computer Science Stack Exchange. Migrou há 7 anos . "Alan Turing provou em 1936 que um algoritmo geral para resolver o problema de parada de todos os pares possíveis de...