fundo Eu estava jogando o jogo para PC "Darkest Dungeon" recentemente. No jogo, você precisa explorar as masmorras, que consistem em salas conectadas, como mostrado na figura abaixo. Aqui estão as regras: Você começa em sala fixa (entrada). Você não pode escolher por onde começar. O objetivo é...
Eu ficaria surpreso se esse não fosse um problema bem estudado, mas não tenho certeza do que mais procurar nesse momento: você recebe um conjunto de códigos binários. nnn-vetores S⊂ { 0 , 1}nS⊂{0,1}nS \subset \{0,1\}^n. O problema é encontrar outro conjunto de bináriosnnn-vetores B ⊂ { 0 ,...
Nos tipos dependentes, a unificação de padrões de Miller é usada para resolver um fragmento decidível da unificação de ordem superior. Isso permite que idiomas de tipo dependente contenham metavariáveis ou argumentos implícitos. Existem muitos trabalhos que descrevem, dado um problema de...
No pod da teoria dos tipos, ep. 3 , Dan Licata afirma que o fato de que para cada entrada, insertionsort e mergesort produzem o mesmo resultado, não implica que o resultado seria igual quando usado como funções de ordem superior como argumentos para uma terceira função, ou seja map insertionsort,...
Eu entendo o que é, mas não vejo como isso serve para algoritmos ou algo assim. Talvez esteja faltando alguma coisa. Preciso que alguém me dê um exemplo de como ele pode ser usado para que eu possa entender
Eu preciso de uma estrutura de dados para armazenar um número de elementos, cada um dos quais está associado a algum tempo diferente nnntitit_i .nnn varia e, embora tenha um limite superior teórico, há muitas ordens de magnitude maiores do que o que é normalmente usado. Através da minha...
Acabamos de terminar nossa lição "Construtibilidade do tempo" na aula na semana passada e, por exemplo, mostramos que nk,2nnk,2nn^k, 2^n são totalmente construtíveis no tempo, ou seja, existe uma máquina de Turing (determinística para várias fitas) que, para nnn dado, pára após exatamente...
Estou tentando estimar a complexidade de um algoritmo que escrevi para o descompilador Reko , onde estou tentando "desfazer" a transformação de um compilador em uma divisão inteira por uma constante . O compilador converteu a divisão em uma multiplicação de números inteiros e uma mudança: , em...
Eu pensei que qualquer FOT é um subconjunto de FOL, mas isso não parece ser o caso, porque FOL está completo (todas as fórmulas são válidas ou inválidas), enquanto alguns FOT (como aritmética inteira linear) não estão completos. Então, o FOL é mais expressivo que o FOT? Ou incomparável? Além...
Sobre o estado da arte que estou executando à frente da teoria dos tipos, tenho todas essas perguntas relacionadas à história dos tipos. De onde surgiu a idéia de Type ? (Parece que tudo começa quando Russell e Whitehead propõem uma maneira de evitar a contradição que conhecemos hoje como...
L:={w∈{0,1}∗|L:={w∈{0,1}∗|L := \{w \in \{0,1\}^* | o comprimento de é ímpar 1 está no meio dewww∧∧ \wedge w}w}w\} Portanto, o alfabeto é . Meu problema é que não consigo acompanhar a igualdade de caracteres antes e depois de . Um DFA limitado para o comprimento inferior a...
Quando li sobre a tese de Church-Turing, parece ser uma afirmação comum que "a realidade física é computável em Turing". Qual é a base para esta reivindicação? Existem resultados teóricos nesse sentido? Por um contexto, sou um pesquisador que trabalha em simulações físicas, portanto, é claro que...
Digamos, eu queria criar minha própria linguagem de programação. Supondo que eu tomei todas as decisões sobre como eu quero que pareçam e ajam, eu só preciso escrever um compilador para isso? Por exemplo, o código Java de alto nível não é apenas texto e esse texto está no formato correto para o...
Karlheinz Brandenburg descreve um codificador MP3 como este: Fonte: MP3 e AAC Explained Marquei a FFT porque não tenho muita certeza do porquê é realmente necessário realizar uma. Por que o modelo psicoacústico não pode ser aplicado às chamadas linhas após a transformada discreta de cosseno...
Eu trabalho em energia renovável. Minha empresa coleta muitos dados de equipamentos. Isso normalmente inclui dados do processo (como temperatura do transformador, tensões de linha, correntes, etc.) e alarmes discretos (por exemplo, disparo do disjuntor, valores de alarme do inversor, alarme de...
Eu tenho um conjunto de números, e quer calcular o máximo subconjunto tal que a soma de quaisquer dois de seu elementos não é divisível por um inteiro . Tentei resolver esse problema, mas encontrei a solução quadrática, que não é uma resposta eficiente. , onde é o número de elementos e é constante....
Eu estava lendo o artigo Conceitos Fundamentais em Linguagens de Programação, de C. Strachey outro dia, onde li algo que era bastante estranho para mim. Citando diretamente (com a parte estranha destacada por mim): Confrontados com a situação, uma vez que existe hoje em dia, onde existe um...
A análise de fluxo de dados funciona sobre um gráfico de fluxo de controle. Quando um idioma em consideração suporta exceções, o gráfico de fluxo de controle pode explodir. Quais são as técnicas padrão para lidar com essa explosão? Podemos ignorar profundamente as arestas induzidas pela exceção?...
Definição. Dado um gráfico e dois vértices e , o problema -shortest-caminhos é encontrar o caminhos mais curtos simples entre e em .G=(V,E)G=(V,E)G=(V,E)ssstttkkkkkkssstttGGG Observe que o comprimento desses caminhos não é necessariamente igual e os vértices e estão necessariamente conectados...
Sabe-se que uma propriedade "bombear" (palavras de um determinado comprimento implica a existência de loops no mecanismo de definição de idioma) para linguagens regulares e sem contexto e mais algumas (geralmente usadas para refutar a associação de um idioma a uma determinada classe) ) Na...