Se dado que todas as arestas de um gráfico têm peso igual , pode-se usar a pesquisa de largura em primeiro lugar (BFS) para produzir uma árvore de abrangência mínima em tempo linear ?GGGccc Intuitivamente isto soa corrigir, como BFS não visita um nó duas vezes, e só atravessa do vértice para o...
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...
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 verificação de...
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...
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 5 1 3 2 4 5 A lista...
Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a...
Se eu tiver um conjunto UMAUMAA com números positivos e negativos e um número para encontrar C. É possível reduzir o problema para um com apenas números positivos no conjunto UMAUMAA? Quero dizer, é possível encontrar um novo conjunto UMAUMAA e um novo número CCC, tão UMAUMAA eram apenas...
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...
StackOverflow me apontou aqui, então a pergunta pode ser um pouco nos termos de um leigo. A Wikipedia define funções puras como Na programação de computadores, uma função pode ser descrita como uma função pura se ambas as instruções sobre a função se mantiverem: A função sempre avalia o...
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...
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...
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 ser dito dos portões X O R.( ∨ ,...
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 + ⋯ + t m...
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...
Usar o vetor Earley como reconhecedor é bastante direto: quando o final da string é atingido, basta verificar se uma produção axiomática concluída foi iniciada na posição 0. Se você tiver pelo menos uma, a string será aceita. Usar o vetor Earley para reconstruir a (s) árvore (s) de análise é menos...
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 ( x , y ) x...
Estou no seguinte exercício no Software Foundations : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] have? (* FILL IN HERE...
Eu estive pensando em escrever um sistema operacional hobby para alguns dos processadores ARM. Existem muitos computadores de placa única populares com o ARM MPU, então eu simplesmente queria comprar um deles (escolhendo um com mais documentação aberta). Fiquei surpreso quando descobri que mesmo as...
Eu queria saber se este problema tem um nome: Dado um gráfico simples cujas bordas são de cor vermelha, azul e verde, , existe um-coloração vértice c : V → { B , R , G } de tal modo que cada extremidade tem um ponto de extremidade com a mesma cor?G = ( V, B ∪ R ∪ G )G=(V,B∪R∪G)G=(V,B\cup R\cup G)c...
Digamos que as listas sejam definidas como List a = Nil | Cons a (List a) Então, em Haskell, List xo maior ou o menos fixo? Estou perguntando porque o lfp deve excluir listas infinitas (mas você pode construí-las em Haskell), enquanto o gfp deve excluir as