Entre os graus de Turing estão os graus da forma 0n0n0^n, por exemplo 000, 0′0′0', 0′′0″0''etc. Vou provar isso rápido por uma questão de integridade. Espero que ninguém tenha dúvidas com esta breve prova: Lema: Qualquer conjunto contável de conjuntos de números naturais pode ser codificado...
Estou tentando entender os combinadores Y. Poderia explicar por que os seguintes itens são equivalentes (Y (f ∘ g)) (f (Y (g ∘ f))) (Y é uma combinação de pontos
Dado: Uma lista de números inteiros e um número inteiro .nnnx1 1,x2, ... ,xnx1,x2,…,xnx_1,x_2,\dots,x_nkkk Determine: Is ?x--√1 1+x--√2⋯x--√n≤ kx1+x2⋯xn≤k\sqrt x_1 + \sqrt x_2 \cdots \sqrt x_n \le k Pergunta: Existe algum algoritmo de tempo polinomial para o problema acima? Se sim, dê um...
Como diz o título: Existem casos de problemas que sabemos ser insolúveis? Ou equivalente Existem problemas promissores com um número finito de entradas possíveis que são indecidíveis? Observe: percebo que muitos problemas computacionais são conhecidos por serem insolúveis, mas, pelo que...
Digamos que demos um gráfico simples e não direcionado com nós e arestas bidirecionais. Para e , queremos verificar se no gráfico existe apenas um caminho simples entre eles.GGGNNNMMMxxxyyy O que eu estava pensando era que deveríamos encontrar todos os ciclos no gráfico e executar bfs de a , se o...
É a interseção de infinitos conjuntos recursivos ⋂EuvocêEu⋂EuvocêEu\bigcap_{i}U_{i}(onde cada conjunto é diferente) recursivo? Recursivamente enumerável? Eu sei que a união não precisa ser recursiva, porque decidir se um elemento está no conjuntovocêEuvocêEuU_i é o mesmo que decidir o problema da...
No -calculus, podemos codificar aritmética, números, booleanos e até calcular fatoriais de números, como mostrado aqui .λλ\lambda Existe codificação de "for" ou
Comecei a aprender criptografia em sala de aula e nos deparamos com Almofadas de uso único, nas quais a chave (acordada de maneira uniforme) é do tamanho da mensagem. Então você transforma a mensagem em bits, e obtém o texto cifrado. Isso criptografa a mensagem e descriptografa a mensagem que você...
Basicamente o que o título diz. Por que você pode "ignorar" a parte "xy" se deseja provar se um idioma é
Suponha, temos dois polígonos convexos não sobrepostos AAAe . Como podemos desenhar uma linha reta que divide em duas partes da mesma área e também divide em duas partes da mesma área? Além disso, podemos fazer isso com complexidade ou melhor? ( )BBBAAABBBO(n2)O(n2)O(n^2)n=|A|+|B|n=|A|+|B|n = |A| +...
Estou lendo o "The Algorithm Design Manual", de Steven Skiena, e em uma de suas histórias de guerra na página 155, ele afirma: A eficiência é um grande desafio no Mathematica, devido ao seu modelo aplicacional de computação (não suporta operações de gravação em tempo constante para matrizes) e a...
Eu estou procurando por uma estrutura de dados para armazenar um conjunto que, considerando duas instâncias do tamanho que são conhecidas por terem interseção não vazia, o elemento mínimo da interseção possa ser encontrado em . Isso é possível de alcançar, para o pior caso ou para a complexidade...
Estou lendo as palestras sobre a teoria dos tipos cúbicos neste repositório do github . Na aula 1, o autor define a extensionalidade da função da seguinte maneira: funExt (A B : U) (f g : A -> B) (p : (x : A) -> Path B (f x) (g x)) : Path (A -> B) f g = <i> \(a : A) -> (p a) @...
Em alguns lugares diferentes ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf e https:
Estou participando de uma aula de teoria da computação e meu professor nos disse que um autômato de empilhamento não pode usar estruturas de dados além de uma pilha (como uma fila ou várias pilhas). Por que é
A forma normal administrativa é uma representação intermediária do programa na qual cada instrução imediata tem um nome. É usado no GHC e no OCaml . A forma normalizada de K é uma representação intermediária na qual cada instrução consiste em uma atribuição e operação. É usado no MLKit, Min-Caml e...
Alguém sabe o quão eficiente foi a primeira máquina de Turing fabricada por Alan Turing? Quero dizer, quantos movimentos ele fez por segundo, mais ou menos ... Só estou curioso. Também não foi possível encontrar nenhuma informação sobre isso na
Suponha que tenhamos um oráculo que resolve problemas da forma maximize subject to cTxAx=b,x≥0maximize cTxsubject to Ax=b,x≥0\begin{align*} \text{maximize} ~~ & c^T x \\ \text{subject to} ~~ & A x = b, x\geq 0 \end{align*} quando (todos os coeficientes no alvo de maximização são não...
Na era do Windows XP, ao configurar a fala / ditado embutido no sistema operacional Windows, tive que falar um monte de amostras de texto programadas no mecanismo de fala em texto para personalizar meu perfil de voz. Hoje, com mecanismos de fala para texto em rede como Siri ou Cortana, posso...
Eu gostaria de um algoritmo que possa identificar partes repetidas de grandes rastreamentos de pilha como este: java.lang.StackOverflowError at transform.Erasure$Eraser.typed1(Erasure.scala:789) at typechecker.Typers$Typer.runTyper$1(Typers.scala:5640) at