Ciência da Computação

Eu tenho um conjunto de pares. Cada par tem a forma (x, y) tal que x, y pertencem a números inteiros do intervalo [0,n). Portanto, se n é 4, tenho os seguintes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Eu já tenho os pares. Agora, eu tenho que construir uma combinação usando n/2pares de...

Tenho a seguinte citação do curso do meu compilador (no contexto de coloração de gráficos): Por ser lenta, a coloração do gráfico tende a ser usada nos compiladores em lote, enquanto a varredura linear tende a ser usada nos compiladores JIT. Não consegui encontrar uma definição clara on-line....

Para um idioma regular , seja c n ( L ) o número de palavras em L de comprimento n . Utilizando a forma canônica de Jordan (aplicada à matriz de transição não anotada de alguns DFA para L ), pode-se mostrar que, para números grandes o suficiente n , c n ( L ) = k ∑ i = 1 P i ( n ) λ n i , em que...

Existem programas que podem 'traduzir' o código fonte entre dois idiomas (assumindo que o tradutor tenha acesso às bibliotecas necessárias)? Se houver, como eles funcionam (técnicas utilizadas, conhecimento necessário etc.)? Como eles poderiam ser construídos? Se não estiverem, quais são as...

Está escrito na Wikipedia que "... o tipo de seleção quase sempre supera o tipo de bolha e o tipo de gnomo". Alguém pode me explicar por que o tipo de seleção é considerado mais rápido que o de bolhas, mesmo que ambos: Pior complexidade do tempo : O(n2)O(n2)\mathcal O(n^2) Número de comparações...

Esse link fornece um algoritmo para encontrar o diâmetro de uma árvore não direcionada usando BFS / DFS . Resumindo: Execute o BFS em qualquer nó s no gráfico, lembrando o nó que você descobriu por último. Execute o BFS u lembrando o nó v descoberto pela última vez. d (u, v) é o diâmetro da...

(Eu sou um estudante com alguma formação matemática e gostaria de saber como contar o número de um tipo específico de árvores binárias.) Olhando a página da Wikipedia para Árvores binárias , observei esta afirmação de que o número de árvores binárias enraizadas de tamanho nnn seria este número...

Dada uma instância do SAT, eu gostaria de poder estimar o quão difícil será resolver a instância. Uma maneira é executar os solucionadores existentes, mas isso acaba com o objetivo de estimar as dificuldades. Uma segunda maneira pode ser procurar a proporção de cláusulas para variáveis, como é...

Considere gráficos direcionados. Chamamos um nó astro se e somente se nenhum outro nó pode ser alcançado a partir dele, mas todos os outros nós temos uma vantagem para . Formalmente:vvv vvv \qquad \displaystyle v superstar :⟺outdeg(v)=0∧indeg(v)=n−1 Super estrela : ⟺ovocêtdeg(v)=0 0∧Eundeg(v)=n-1...

Sabemos pós-encomenda, post L(x) => [x] post N(x,l,r) => (post l) ++ (post r) ++ [x] e pré-encomenda pre L(x) => [x] pre N(x,l,r) => [x] ++ (pre l) ++ (pre r) e passagem em ordem resp. sequencialização. in L(x) => [x] in N(x,l,r) => (in l) ++ [x] ++ (in r) Pode-se ver...

Seja um conjunto de números naturais. Consideramos sob a ordem parcial de divisibilidade, ou seja, . DeixeiS s 1 ≤ s 2SSSSSSs1≤s2⟺s1∣s2s1≤s2⟺s1∣s2s_1 \leq s_2 \iff s_1 \mid s_2 α(S)=max{|V|∣V⊆S,Vα(S)=max{|V|∣V⊆S,V\qquad \displaystyle \alpha(S) = \max \{|V| \mid V\subseteq S, V e antichain }}\}...

Todo problema indecidível que eu conheço se enquadra em uma das seguintes categorias: Problemas indecidíveis por causa da diagonalização (auto-referência indireta). Esses problemas, como o problema da parada, são indecidíveis, porque você pode usar um pretenso argumento para a linguagem construir...

A Wikipedia e outras fontes que eu encontrei listam o voidtipo de C como um tipo de unidade, em vez de um tipo vazio. Acho isso confuso, pois me parece que voidmelhor se ajusta à definição de um tipo vazio / inferior. Nenhum valor habita void, até onde eu sei. Uma função com um tipo de retorno de...

No meu clube de squash local, há uma escada que funciona da seguinte maneira. No início da temporada, construímos uma tabela com o nome de cada membro do clube em uma linha separada. Em seguida, escrevemos o número de jogos vencidos e o número de jogos disputados ao lado de cada nome (na forma:...

Frequentemente ouço frases como 'semântica de simultaneidade verdadeira' e 'equivalências de simultaneidade verdadeira' sem nenhuma referência. O que significam esses termos e por que são importantes? Quais são alguns exemplos de verdadeiras equivalências de simultaneidade e qual é a necessidade...

Estou tentando entender os métodos de agrupamento. O que eu acho que entendi: No aprendizado supervisionado, os dados das categorias / etiquetas aos quais é atribuído são conhecidos antes do cálculo. Portanto, os rótulos, classes ou categorias estão sendo usados ​​para "aprender" os parâmetros...

Qual é a diferença fundamental entre a semântica operacional de pequeno e grande passo? Estou tendo dificuldade para entender o que é e a motivação para ter os

Se alguém tentasse baixar um arquivo a uma velocidade de 800 Mb / s (100 MB / s) em um disco rígido com uma velocidade de gravação de 500 Mb / s (62,5 MB / s), o que aconteceria? O sistema limitaria a velocidade do

O combinador de ponto fixo FIX (também conhecido como combinador Y) no cálculo lambda (sem tipo) ( ) é definido como:λλ\lambda FIXF λ f. ( λ x . f ( λ y. x x y  ) ) ( λ x . f  ( λ y. x x y  ) ))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda...

Atualmente, estou brincando com previsões de séries temporais (especificamente para Forex). Eu já vi alguns artigos científicos sobre redes de estados de eco que são aplicados à previsão de Forex. Existem outros bons algoritmos de aprendizado de máquina para esse fim? Também seria interessante...