Ciência da Computação

Estou olhando para o seguinte problema: Dados vetores dimensionais dos números naturais e algum vetor de entrada , é uma combinação linear dos com coeficientes numéricos naturais?nnn u u v iv1 1, … , Vmv1,…,vmv_1, \ldots, v_mvocêuuvocêuuvEuviv_i ou seja, existem alguns que ? u = t 1 v 1 + …

9 algorithms  reference-request  linear-algebra  integers  knapsack-problems 

Esta questão é sobre a interseção da teoria da probabilidade e da complexidade computacional. Uma observação importante é que algumas distribuições são mais fáceis de gerar do que outras. Por exemplo, o problema Dado um número nnn , retorne um número uniformemente distribuído iii com .0≤i&lt;n0≤i&lt;n0 \leq i < n …

9 complexity-theory  reference-request  probability-theory  probabilistic-algorithms 

Considere o seguinte problema: Deixe S= { s1 1, s2,...sn}S={s1,s2,...sn}S = \{ s_1, s_2, ... s_n \} ser um subconjunto finito dos números naturais. Seja G={G={G = \{ gc d( sEu, sj)gcd(sEu,sj)gcd(s_i, s_j) | onde é o maior divisor comum de esEu, sj∈ S,sEu,sj∈S,s_i, s_j \in S, g c d …

9 algorithms  number-theory 

Uma função booleana é uma função .f: { 0 , 1 }n→ { 0 , 1 }f:{0 0,1 1}n→{0 0,1 1}f:\{0,1\}^n\rightarrow\{0,1\} A base booleana é conhecida por ser Turing completa, pois permite que qualquer sequência s ∈ { 0 , 1 } seja invertida ou permaneça inalterada. O mesmo pode …

9 turing-machines  turing-completeness  boolean-algebra 

Como parte de uma tarefa de lição de casa que abrange a implementação do introsort , perguntam-me por que o heapsort é usado em vez de mesclar (ou outros algoritmos nesse sentido). O ( n log( N ) )O(nlog⁡(n))O(n\log(n)) O Introsort é um algoritmo de classificação híbrido que fornece desempenho …

9 algorithms  algorithm-analysis  sorting 

Atualmente, a maioria dos dialetos do Smalltalk implementa um módulo flutuante inexato e ingênuo (fmod / restante). Eu apenas mudei isso para melhorar o Squeak / Pharo e, eventualmente, outra aderência do Smalltalk aos padrões (IEEE 754, ISO / IEC 10967), como já fiz em outras operações de ponto flutuante …

9 arithmetic  floating-point 

Uma linguagem formal LLL sobre um alfabeto é um subconjunto de , ou seja, um conjunto de palavras sobre esse alfabeto. Duas linguagens formais e são iguais, se os conjuntos correspondentes forem extensionalmente iguais como subconjuntos de . Pode-se usar linguagens na teoria da complexidade para formalizar o conceito de …

9 complexity-theory  formal-languages  reference-request 

Ao simular o algoritmo de substituição da página de relógio, quando chega uma referência que já está na memória, o ponteiro do relógio ainda aumenta? Aqui está um exemplo: Com 4 slots, usando o algoritmo de substituição da página de relógio Lista de referência: 1 2 3 4 1 2 …

9 algorithms  paging  virtual-memory 

Eu tenho um subconjunto dos caminhos simples em um gráfico. O comprimento dos caminhos é delimitado por .ddd Qual é a maneira mais compacta (em termos de memória) de representar os caminhos de forma que nenhum outro caminho além dos selecionados seja representado? Observe que eu quero usar essa representação …

9 graphs  data-structures 

Sobre o problema do Heartbleed, Bruce Schneier escreveu em seu Crypto-Gram de 15 de abril: '"Catastrófico" é a palavra certa. Na escala de 1 a 10, esse é um 11. ' Li vários anos atrás que um núcleo de um determinado sistema operacional foi rigorosamente verificado com um sistema de …

9 cryptography  correctness-proof  security  software-verification  program-correctness 

Estou procurando um algoritmo de inferência de tipo para uma linguagem que estou desenvolvendo, mas não consegui encontrar uma que atenda às minhas necessidades porque elas geralmente são: à Haskell, com polimorfismo, mas sem sobrecarga ad-hoc à C ++ (automático) no qual você tem sobrecarga ad-hoc, mas as funções são …

9 type-theory  type-inference 

Estou tentando reconhecer cursos de água a partir de fotografias aéreas (digamos, do Google Maps). Os governos locais costumam ter dados GIS que indicam onde estão as vias navegáveis ​​(e estradas, edifícios etc.), mas os dados da água neles são geralmente um tanto imprecisos e podemos ser capazes de melhorá-los …

9 image-processing 

Sou estudante de graduação apenas começando a ler sobre computação reversível. Eu sei que, por causa do princípio de Landauer, cálculos irreversíveis dissipam calor (e reversíveis não). Eu falei com meu professor, que nunca tinha ouvido falar em computação reversível antes, e ele estava tendo dificuldade em entender por que …

9 computability  reversible-computing 

Conhecendo as frequências de cada símbolo, é possível determinar a altura máxima da árvore sem aplicar o algoritmo de Huffman? Existe uma fórmula que dê altura a essa árvore?

9 trees  coding-theory 

Para muitos projetos de aprendizado de máquina que realizamos, começamos com o classificador k vizinho mais próximo. Este é um classificador inicial ideal, pois geralmente temos tempo suficiente para calcular todas as distâncias e o número de parâmetros é limitado (k, distância métrica e ponderação) No entanto, isso geralmente tem …

9 neural-networks  classification