Vamos →β→β\to_\beta seja ββ\beta -redução no λλ\lambda -calculus. Definir ββ\beta expansão ←β←β\leftarrow_\beta por t′←βt⟺t→βt′t′←βt⟺t→βt′t'\leftarrow_\beta t \iff t\to_\beta t' . É ←β←β\leftarrow_\beta confluentes? Em outras palavras, temos que para qualquer l,d,rl,d,rl,d,r , se...
Ouvi falar de todas essas prevenções de ataque do homem do meio e fico imaginando como isso pode funcionar se o homem do meio ouvir apenas o seu fluxo e não quiser alterar a mensagem. O homem do meio não pode apenas pegar as chaves trocadas pelos oponentes, mudar as chaves e depois...
A definição de P é uma linguagem que pode ser decidida por um algoritmo de tempo polinomial. A definição de P / poli pode ser entendida como uma linguagem que pode ser decidida por um circuito de tamanho polinomial (consulte http://pages.cs.wisc.edu/~jyc/02-810notes/lecture09.pdf ). Agora, por que...
Estou trabalhando com um exercício árduo em um livro didático e não consigo descobrir como proceder. Aqui está o problema. Suponha que tenhamos a linguagem que é algum número irracional. Como eu provaria que não é uma linguagem livre de contexto?L={aibj:i≤jγ,i≥0,j≥1}L={aibj:i≤jγ,i≥0,j≥1}L =...
Estou tentando argumentar que N não é igual a NP usando teoremas de hierarquia. Esse é o meu argumento, mas quando mostrei ao nosso professor e, após dedução, ele disse que isso é problemático, onde não consigo encontrar uma razão convincente para aceitar. Começamos assumindo que P=NPP=NPP=NP ....
Especificamente, se eu definisse um novo K2K2K_2 como K2= λ x . ( λ y. y)K2=λx.(λy.y)K_2 = \lambda x. (\lambda y. y) vez de K= λ x . ( λ y. x )K=λx.(λy.x)K = \lambda x. (\lambda y. x) o { S, K2, I}{S,K2,I}\{S, K_2,I\} -calculus ser uma base competir? Meu palpite é "não", apenas porque parece...
Atualmente, estou trabalhando para entender o uso do limite de Cheeger e da desigualdade de Cheeger, e seu uso para particionamento espectral, condutância, expansão, etc., mas ainda luto para iniciar uma intuição sobre o segundo autovalor da matriz de adjacência. Geralmente, na teoria dos grafos,...
Sabemos neste artigo que não existe um quebra-cabeça que possa ser resolvido a partir de 16 ou menos pistas, mas implica que exista um quebra-cabeça que possa ser resolvido a partir de 17 pistas. Todos os quebra-cabeças válidos de sudoku podem ser especificados em 17 pistas? Caso contrário, qual é...
Em um planejador round-robin, adicionar um processo várias vezes à lista de processos é uma maneira barata de dar prioridade mais alta. Eu me pergunto o quão prática essa abordagem pode ser. Qual o benefício que ele tem sobre outras técnicas, como conceder ao processo uma fatia de tempo mais longa...
Tomemos como exemplo a redução 3d → 2d: Qual é o custo de simular um autômato celular 3d por um autômato celular 2d? Aqui estão algumas perguntas mais específicas: Que tipo de algoritmos terão sua complexidade de tempo alterada em quanto? Qual seria a ideia básica para a codificação; como uma...
No meio do período, houve uma variante da seguinte pergunta: Para um decidível, defina Mostre que não é necessariamente decidível.Pref ( L ) = { x | ∃ y r x y ∈ G } Pref ( L )LLLPref(L)={x∣∃y s.t. xy∈L}Pref(L)={x∣∃y s.t. xy∈L}\text{Pref}(L) = \{ x \mid \exists y \text{ s.t. } xy \in...
Suponha que eu tenha duas cordas. Chamá-los de e . Nenhuma das cadeias possui caracteres repetidos.UMAUMAABBB Como posso encontrar a menor seqüência de operações de inserção, movimentação e exclusão que transforma em B , onde:UMAUMAABBB insert(char, offset)insere charno dado offsetna...
Em aplicativos do mundo real, há um benefício concreto ao usar os algoritmos vez dos \ mathcal {O} (\ log (n)) ?O ( log ( n ) )O (log( log( N ) )O(registro(registro(n))\mathcal{O}(\log(\log(n))O (log( N ) )O(registro(n))\mathcal{O}(\log(n)) É o caso quando se usa, por exemplo, árvores de van...
Na análise de algoritmos, você geralmente precisa resolver recorrências. Além do Teorema Mestre, métodos de substituição e iteração, existe um usando polinômios característicos . Digamos que eu tenha concluído que uma polinomial característica tem imaginárias raízes, ou seja e x_2 = 1-i . Então...
Eu tenho um teste sobre o algoritmo de ramificação e limite . Entendo teoricamente como esse algoritmo funciona, mas não consegui encontrar exemplos que ilustrem como esse algoritmo pode ser implementado praticamente. Encontrei alguns exemplos como este, mas ainda estou confuso. Também procurei o...
Tendo um conjunto de elementos, digamos que eu quero calcular uma função que é sensível a todas as partes da entrada, ou seja, depende de muito membro de (ou seja, é possível alterar qualquer membro de para algo mais para obter uma nova entrada st valor de em e são
Estou revisando para um curso de segurança de computadores e estou preso a uma das perguntas anteriores. Aqui está: Alice ( AAA ) deseja enviar uma mensagem curta MMM para Bob ( BBB ) usando um segredo compartilhado SabSabS_{ab} para autenticar que a mensagem veio dela. Ela propõe enviar uma...
Estou escrevendo um programa, resolvendo o problema do carteiro chinês (também conhecido como problema de inspeção de rota) em um draph não direcionado e atualmente enfrentando o problema para encontrar as melhores arestas adicionais para conectar os nós em graus ímpares, para que eu possa calcular...
Estou estudando Bootstrapping dos Red Dragon Book Compilers e achei o diagrama T do cross compiler bastante confuso. Não consigo entender o que significa "Executar o compilador1 através do compilador2". Alguém pode fornecer uma explicação melhor, analogia ou um exemplo para se relacionar com algum...
Fiz um exercício, infelizmente, não consegui sozinho. Há um conjunto de retângulos e um retângulo . Usando o algoritmo de varredura de avião, determine se é completamente coberto pelo conjunto de .R1..RnR1..RnR_{1}..R_{n}R0R0R_{0}R0R0R_{0}R1..RnR1..RnR_{1}..R_{n} Para mais detalhes sobre o...