Nós temos a lógica Hoare. Por que ainda é possível que um algoritmo esteja correto, mas não há provas de que esteja correto? Suponha que o algoritmo seja expresso em C. Em seguida, podemos argumentar passo a passo que ele está fazendo o que deveria fazer. Então, minha pergunta é: Dê-me um...
Após o lançamento da biblioteca da AIGER para manipular gráficos de inversores em 2006 (eu acho), alguns solucionadores de circuito SAT foram lançados em 2006-2008, e em algumas corridas / competições SAT havia faixas da AIG. No entanto, desde então, parece que o foco foi inteiramente no SMT ou na...
Eu sou novo em teoria da linguagem de programação. Eu estava assistindo algumas palestras on-line nas quais o instrutor alegava que uma função com tipo polimórfico forall t: Type, t->tseria a identidade, mas não explicava o porquê. Alguém pode me explicar por quê? Talvez uma prova da...
Uma máquina de Turing sem a capacidade de escrever em células em branco é menos poderosa que a Turing padrão? Acho que a resposta é sim, mas não consigo encontrar um cálculo que a máquina padrão de Turing possa fazer, mas esta máquina não pode. Alguma
Existe uma função computável f:N→Qf:N→Qf:\mathbb{N}\rightarrow \mathbb{Q} tal que: Para todos t∈N:0≤f(t)<Xt∈N:0≤f(t)<Xt\in\mathbb{N}: 0\le f(t) < X limt→∞f(t)=Xlimt→∞f(t)=X\lim\limits_{t\rightarrow\infty} f(t) = X Onde é um número real incontestável.XXX A única referência a esta pergunta...
Se existe um algoritmo rodando no tempo O(f(n))O(f(n))O(f(n)) para algum problema A, e alguém cria um algoritmo rodando no tempo, O(f(n)/g(n))O(f(n)/g(n))O(f(n)/g(n)) , onde g(n)=o(f(n))g(n)=o(f(n))g(n) = o(f(n)) , é considerado uma melhoria em relação ao algoritmo anterior? Faz sentido, no...
Quero saber se o seguinte problema é decidível e como descobrir. Todos os problemas que vejo podem dizer "sim" ou "não" a ele; portanto, a maioria dos problemas e algoritmos é decidível, exceto alguns (que são fornecidos aqui )? Entrada: Um gráfico direcionado e finito , com v e u como vértices....
Ouvi dizer que a interação do lema é mais poderosa que os algoritmos de Peter Wegner . A base da ideia é que uma Máquina de Turing (clássica) não pode lidar com interação, ou seja, comunicação (entrada / saída) com o mundo / ambiente externo. Como isso pode ser assim? Como algo pode ser mais...
Estou aprendendo sozinho os provedores de teoremas automatizados / solucionadores de SMT / assistentes de prova e postar uma série de perguntas sobre o processo, começando aqui . Eu continuo lendo sobre o Algoritmo de Unificação . O que é e por que é tão importante para os motores de inferência...
De acordo com a Wikipedia , para qualquer linguagem regular existem constantes \ lambda_1, \ ldots, \ lambda_k e polinômios p_1 (x), \ ldots, p_k (x) de modo que para cada n o número s_L (n) de palavras de comprimento n em L satisfaz a
Quais operações precisam ser executadas para realizar qualquer cálculo analógico arbitrário ? Adição, subtração, multiplicação e divisão seriam suficientes? Além disso, alguém sabe exatamente quais problemas são tratáveis usando computação analógica, mas não com...
Como você verifica se dois algoritmos (por exemplo, classificação de mesclagem e classificação Naïve) retornam o mesmo resultado para qualquer entrada, quando o conjunto de todas as entradas é infinito? Atualização: Obrigado Ben por descrever como isso é impossível de ser feito algoritmicamente no...
Estou lutando para entender a relação entre NP-Intermediário e NP-Completo. Eu sei que se P! = NP baseado no Teorema de Ladner, existe uma classe de idiomas em NP, mas não em P ou em NP-Complete. Todo problema no NP pode ser reduzido a um problema NP-Complete, no entanto, não vi exemplos para...
Eu pensei que matriz associativa (ou seja, mapa ou dicionário) e tabela de hash eram o mesmo conceito, até que vi na Wikipedia que Para dicionários com um número muito pequeno de ligações, pode fazer sentido implementar o dicionário usando uma lista de associações, uma lista vinculada de...
Quais são as diferenças entre visão computacional e processamento de imagem? Por exemplo, no reconhecimento de objetos, quais são os papéis da visão por computador e do processamento de
Existe alguma técnica geral para provar que um problema NÃO é NP-Completo? Eu recebi esta pergunta no exame que me pediu para mostrar se algum problema (veja abaixo) é NP-Complete. Eu não conseguia pensar em nenhuma solução real e apenas provei que estava em P. Obviamente, essa não é uma resposta...
Existe uma máquina de Turing que para em todas as entradas, mas essa propriedade não é comprovável por algum motivo? Gostaria de saber se esta questão foi estudada. Observe que "improvável" pode significar um sistema de prova "limitado" (que no sentido fraco acha que a resposta deve ser sim)....
Alguém já escreveu um sistema (software ou explicação detalhada no papel, com exemplos simples) que gera programas de computador? Eu introduzo e ele cria um programa que lista os números primos menores que 10. é simplesmente definido como professores dizem que podem, mas ninguém dá exemplos...
Eu estudei o livro "C ++ Desmistificado" . Agora comecei a ler "Programação Orientada a Objetos no Turbo C ++ primeira edição (1ª edição)", de Robert Lafore. Eu não tenho nenhum conhecimento de programação que esteja além desses livros. Este livro pode estar desatualizado porque tem 20 anos. Eu...
Estou lendo o livro do HoTT e tenho dificuldade em induzir caminhos. Quando olho para o tipo na secção 1.12.1 :