Ciência da Computação

Estou lendo este white paper da Intel sobre multiplicação sem transporte . Descreve a multiplicação de polinômios emGF(2n)GF(2n)\text{GF}(2^n). Em um nível alto, isso é realizado em duas etapas: (1) multiplicação de polinômios sobreGF(2)GF(2)\text{GF}(2)e (2) reduzir o módulo de resultado em um polinômio irredutível. Usamos a representação "padrão" de polinômios de …

7 algorithms  integers  polynomials  multiplication 

Existe um bom artigo geral sobre a interpretação ou compilação do REGEXP em linguagens de programação para correspondência de padrões, com ou sem variáveis? Não estou procurando uma explicação rápida sobre a construção de DFAs, mas um artigo real sobre como isso é realmente feito na implementação de linguagens de …

7 programming-languages  compilers  regular-expressions  matching  interpreters 

Agora estou bastante confiante em como transformar algo em uma máquina de Turing. Agora, minha pergunta é como você converte a MT em um complemento de uma máquina de Turing. Pelo que me lembro no Autômato Finito, complementando-o, você transformaria um estado inicial em um estado final; também, se você …

7 turing-machines  automata  closure-properties 

Estou tentando resolver um determinado problema: Encontre um algoritmo para determinar se um gráfico possui um clique do tamanho 3 em O (n2,81)O(n2.81)O(n^{2.81})passos. A dica dada é que2,81 > log72.81>log⁡72.81 > \log 7. Para resolver isso, criei uma conjectura: sem >nregistro7m>nlog⁡7m > n^{\log 7} então o gráfico tem K3K3K_3como um …

7 graph-theory 

Eu sou um estudante do ensino médio na décima segunda série. Eu estudo programação de alto nível e um pouco de ciência básica da computação. Recentemente, comecei a entender o que é uma Máquina de Turing. Eu quero perguntar: Entendo que uma Máquina de Turing é um dispositivo hipotético usado …

7 turing-machines 

O Deep Learning, agora um dos campos mais populares da Rede Neural Artificial, mostrou grande promessa em termos de precisão nos conjuntos de dados. Como ele se compara à Spiking Neural Network. Recentemente, a Qualcomm lança seu processador zeroth no SNN, então eu estava pensando se há alguma diferença se …

7 machine-learning  neural-networks 

Eu tenho lido sobre o Teorema Sem Almoço Gratuito, mas não consigo entender direito do que se trata. Ouvi esse teorema descrito em outro lugar como a alegação de que "não existe um otimizador universal de propósito geral". Por outro lado, o artigo da Wikipedia fala sobre 'soluções candidatas' que …

7 algorithms  terminology  optimization  heuristics 

Eu estou revisando algumas das matemáticas pré-requisitas sobre a teoria dos autômatos e as representações finitas. Eu li o seguinte: Se ∑ é um alfabeto finito, o conjunto de todas as cadeias de caracteres sobre o alfabeto (∑ *) é infinitamente contável . O conjunto de todos os idiomas possíveis …

7 discrete-mathematics 

O Quicksort é descrito como "no local", mas usando uma implementação como: def sort(array): less = [] equal = [] greater = [] if len(array) > 1: pivot = array[0] for x in array: if x < pivot: less.append(x) if x == pivot: equal.append(x) if x > pivot: greater.append(x) return …

7 algorithms  sorting  quicksort 

Presumo que o tamanho de uma instância do problema SAT seja medido pelo número de variáveis ​​(booleanas). Qual é o número total de instâncias de problemas SAT de tamanho N? Eu acho que isso equivale a contar o número de fórmulas "distintas" que podem ser formadas por N variáveis ​​booleanas, …

7 logic  satisfiability 

Ultimamente, tenho me perguntado como as GPUs calculam seno e cosseno, e o Google não me ajudou a encontrar uma resposta precisa. Inicialmente, eu pensava que, para tornar os cálculos o mais rápido possível, a GPU usaria algum tipo de tabela de pesquisa. Mas então eu percebi que armazenar todos …

7 approximation  arithmetic 

Meu conhecimento é muito vago, pois tudo o que temos são diagramas visuais etc., mas temos endereços e registros de memória, a ULA sendo o coração (aparentemente). CPUs de núcleo único processam uma instrução de cada vez, AFAIK e multi-core têm paralelismo até certo ponto. Então, de onde vêm os …

7 computer-architecture 

Embora eu já tenha aprendido algo sobre os tempos de execução assintóticos dos algoritmos de multiplicação de matrizes (algoritmo de Strassen e coisas semelhantes), nunca encontrei nenhuma referência explícita e satisfatória a um modelo de computação usado para medir essa complexidade. De fato, encontrei três respostas possíveis, nenhuma das quais …

7 algorithm-analysis  runtime-analysis  matrices  machine-models 

Nas teorias de tipos, como as de Coq, podemos definir um tipo com parâmetros, como este: Inductive ListP (Element : Type) : Type := NilP : ListP Element | ConsP : Element -> ListP Element -> ListP Element. Como alternativa, podemos definir um tipo com um índice, assim: Inductive ListI …

7 type-theory  dependent-types 

O termo "perfeição de Turing" foi discutido em várias das aulas de ciência da computação que eu participei. No entanto, nunca tive uma noção intuitiva do que a integridade de Turing realmente exige. Encontrei essa pergunta, mas as respostas são um pouco mais matemáticas do que o que estou procurando. …

7 programming-languages  turing-completeness