Ciência da Computação

[Nota: Este problema foi inspirado no Pokemon Go. Vou primeiro explicar o problema em termos matemáticos, depois explicar a conexão com o Pokemon Go. Meu objetivo não é trapacear no jogo. Se eu quisesse trapacear, melhores informações estariam disponíveis com mais facilidade.] Suponha que haja NNN pontos (os "pontos desconhecidos") …

8 algorithms  computational-geometry  constraint-satisfaction 

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? As análises de …

8 programming-languages  program-optimization  software-verification 

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 método geralmente …

8 formal-grammars  programming-languages  syntax 

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 modificada (MDCT) sem executar …

8 algorithms  data-compression  fourier-transform 

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 em . Eu queria saber se há um tempo linear …

8 algorithms  graphs  optimization  shortest-path  enumeration 

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 …

8 algorithms  efficiency 

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 estou ciente de …

8 computability  simulation  church-turing-thesis  hypercomputation 

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 6:{0,1}∗{0,1}∗\{0,1\}^*111 Como posso …

8 formal-languages  finite-automata  formal-grammars 

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 …

8 type-theory  history 

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 …

8 programming-languages  compilers 

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 quex/nx/nx / …

8 algorithm-analysis  runtime-analysis  numerical-algorithms 

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 …

8 type-theory  functional-programming  equality  homotopy-type-theory 

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 f(n)f(n)f(n) etapas, e apenas perguntei se poderíamos …

8 complexity-theory  turing-machines  time-complexity 

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 …

8 logic  first-order-logic 

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 inscrição, …

8 data-structures  search-trees  algorithm-design