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 . Por que os provadores automatizados de teoremas, como solucionadores de ACL2 e SMT, não precisam de assistência humana,...
De acordo com a Wikipedia : Informalmente, do ponto de vista da teoria algorítmica da informação, o conteúdo da informação de uma string é equivalente ao comprimento da menor representação possível possível dessa string. Qual é a definição rigorosa informal análoga de "informação útil"? Por...
Percebi que diferentes estruturas de dados são usadas quando implementamos algoritmos de busca. Por exemplo, usamos filas para implementar a primeira pesquisa de largura, pilhas para implementar a pesquisa em profundidade e min-heaps para implementar o algoritmo A * . Nesses casos, não precisamos...
Em Teoria da computação de Michael Sipser, na página 270, ele escreve: P = a classe de idiomas para os quais a associação pode ser decidida rapidamente. NP = a classe de idiomas para os quais a associação pode ser verificada rapidamente. Qual é a diferença entre "decidido" e...
Pensa-se que um limite inferior assintótico, como dureza exponencial, implica que um problema é "inerentemente difícil". A criptografia que é "inerentemente difícil" de quebrar é considerada segura. No entanto, uma assintótica limite inferior não descarta a possibilidade de que uma enorme, mas...
Digamos que temos uma grande coleção de tarefas e uma coleção de processadores idênticos (em termos de desempenho) que operam completamente em paralelo. Para cenários de interesse, podemos assumir . Cada leva uma certa quantidade de tempo / ciclos para concluir, uma vez que é atribuído a um...
No ano passado, eu estava lendo um artigo fantástico sobre "Mecânica Quântica para Jardim de Infância" . Não foi papel fácil. Agora, eu me pergunto como explicar o quicksort nas palavras mais simples possíveis. Como posso provar (ou pelo menos ter ondas de mão) que a complexidade média é e quais...
Estou realmente lutando com esta propriedade: Deixe que X,YX,YX,Y ser espaços coerentes e ser uma função monótona. é contínuo se e somente se , para todos os modo que seja um conjunto direcionado.f f ( ⋃ x ∈ D x ) = ⋃ x ∈ D f ( x )f:Cl(X)→Cl(Y)f:Cl(X)→Cl(Y)f: Cl(X) \rightarrow...
Nos é dado um conjunto de pontos bidimensionais e um número inteiro . Precisamos encontrar uma coleção de círculos que incluam todos os pontos, de modo que o raio do maior círculo seja o menor possível. Em outras palavras, devemos encontrar um conjunto de pontos centrais, de modo que a função de...
Eu tenho trabalhado no seguinte problema deste livro . Uma certa linguagem de processamento de string oferece uma operação primitiva que divide uma string em duas partes. Como esta operação envolve a cópia da sequência original, leva n unidades de tempo para uma sequência de comprimento n,...
Algum frontmatter: eu sou um cientista de computador recreacional e empregado um engenheiro de software. Então, desculpe se esse prompt parecer um pouco fora do campo esquerdo - eu brinco rotineiramente com simulações matemáticas e abro problemas quando não tenho nada melhor para fazer. Enquanto...
Definição : Um polígono no plano é chamado monotônico em relação a uma linha reta , se todas as linhas ortogonais a cruzarem no máximo duas vezes.L L PPPPLLLLLLPPP Dado um polígono , é possível determinar se existe alguma linha modo que o polígono seja monótono em relação a ? Se sim, como?L P...
Eu estava tentando criar um sistema que avaliasse os estatutos de uma organização para determinar sua lógica subjacente. Penso que um sistema de predicado de primeira ordem funcionaria para representar as regras, que poderiam ser traduzidas do texto por meio de marcação por parte do discurso e...
No livro "Geometria Computacional: Algoritmos e Aplicações", de Mark de Berg et al., Existe um algoritmo de força bruta muito simples para calcular as triangulações de Delaunay. O algoritmo usa a noção de arestas ilegais - arestas que podem não aparecer em uma triangulação válida do Delaunay e...
Introdução Passo um Escrevi uma rede neural padrão de backpropegating e, para testá-la, decidi mapear o XOR. É uma rede 2-2-1 (com função de ativação tanh) X1 M1 O1 X2 M2 B1 B2 Para fins de teste, configurei manualmente o neurônio do meio superior (M1) como uma porta AND e o neurônio...
Se eu tenho uma gramática tipo 3, ela pode ser representada em um autômato de empilhamento (sem fazer nenhuma operação na pilha) para que eu possa representar expressões regulares usando linguagens livres de contexto. Mas eu posso saber se uma gramática do tipo 3 é , L L ( 1 ) , S L R ( 1 ) , etc.,...
Seja uma função construtiva de tempo fixa.fff O resultado clássico da simulação universal para as TMs (Hennie e Stearns, 1966) afirma que existe uma TM duas fitas que, dada aUUU a descrição de uma TM , e⟨M⟩⟨M⟩\langle M \rangle uma sequência de entrada ,xxx corre para as etapas e retorna a...
Eu tenho estudado os três e estou declarando minhas inferências deles abaixo. Alguém poderia me dizer se eu os entendi com precisão ou não? Obrigado. O algoritmo Dijkstra é usado apenas quando você tem uma única fonte e deseja conhecer o menor caminho de um nó para outro, mas falha em casos como...
Entendo que o uso do DFS "como está" não encontrará o caminho mais curto em um gráfico não ponderado. Mas por que ajustar o DFS para permitir encontrar caminhos mais curtos em gráficos não ponderados é uma perspectiva tão impossível? Todos os textos sobre o assunto simplesmente afirmam que isso...
Gostaria de saber se isso é possível, já que . Portanto, um PDA que pode distinguir uma palavra do resto de pode aceitá-la , o que me parece contraditório. w ∈ { um n b n c n | n ≥ 0 } { um * b * c * }{anbncn∣n≥0}∉CFL{anbncn∣n≥0}∉CFL\{a^n b^n c^n \mid n \geq 0\} \not\in...