Ciência da Computação

Preciso manter uma coleção de números inteiros no intervalo de 0 a 65535 para que eu possa fazer o seguinte rapidamente: Inserir um novo número inteiro Inserir um intervalo de números inteiros contíguos Remover um número inteiro Remova todos os números inteiros abaixo de um número inteiro Teste se um …

10 data-structures  efficiency  search-trees  integers 

Esse problema surgiu no teste de software. O problema é um pouco difícil de explicar. Primeiro darei um exemplo, depois tentarei generalizar o problema. Existem 10 itens a serem testados, digamos A a J, e uma ferramenta de teste que pode testar 3 itens ao mesmo tempo. A ordem dos …

10 algorithms  combinatorics  software-testing 

Suponha que um algoritmo tenha uma relação de recorrência em tempo de execução: T( n ) = { g( n ) + T( n - 1 ) + T( ⌊ δn ⌋ )f( N ): n ≥ n0 0: n < n0 0T(n)={g(n)+T(n-1 1)+T(⌊δn⌋):n≥n0 0f(n):n<n0 0 T(n) = \left\{ \begin{array}{lr} …

10 asymptotics  recurrence-relation 

Ou pelo menos gere um conjunto de strings que um NFA aceite, para que eu possa alimentá-lo no outro NFA. Se eu fizer uma pesquisa em todos os caminhos da NFA, isso funcionará? Embora isso demore muito tempo.

10 algorithms  regular-languages  finite-automata 

Eu tenho um problema de otimização restrito na entropia da matriz (Shannon) . A matriz A pode ser escrita como a soma das matrizes de classificação 1 do formulário [ v i( s u m( e n t r ( e i g ( A ) ) ) )(sum(entr(eig(A))))\mathtt{(sum(entr(eig(A))))}UMAAA onde …

10 optimization  entropy 

Minha formação veio de linguagens imperativas, principalmente C, C ++ e Python. Peguei Scala, Erlang e um pouco de Haskell alguns anos depois e, desde então, fiquei muito interessado em programação funcional e nos formalismos por trás disso. Também estou interessado em programação simultânea e distribuída e tenho estudado formalismos …

10 distributed-systems  concurrency 

Dados números modo que há uma atribuição dos números que é uma permutação de modo queA 1 ≤ A 2 ≤ . . . ≤ Um k k Σ i = 1 A i = k ( 2 k + 1 ) i 1 , i 2 , . . …

10 np-complete  decision-problem 

Uma sequência binária de comprimento é apenas uma sequência ordenada para que cada seja ou . Para gerar todas essas seqüências binárias, pode-se usar a estrutura óbvia da árvore binária da seguinte maneira: a raiz está "vazia", ​​mas cada filho esquerdo corresponde à adição de à cadeia existente e cada …

10 algorithms  graphs  binary-trees 

Seixos é um jogo de paciência jogado em um gráfico não direcionado , em que cada vértice tem zero ou mais seixos. Um único movimento de seixo consiste em remover dois seixos de um vértice adicionar um seixo a um vizinho arbitrário de . (Obviamente, o vértice v deve ter …

10 algorithms  graph-theory  np-complete 

Estou iniciando um curso de graduação em ciência da computação no próximo outono, mas não consigo entender o cálculo λ no contexto da programação funcional. Posso estar interpretando mal isso completamente, mas, com base nessa definição da Stanford Encyclopedia of Philosophy, é apenas mais uma notação para funções. Se é …

10 programming-languages  lambda-calculus 

Um gráfico é cordal se não tiver ciclos induzidos de comprimento ou mais. Uma árvore camarilha de é uma árvore na qual os vértices da árvore são os cliques maximais de . Uma aresta em corresponde a um separador mínimo. O número de árvores de clique distintas pode ser exponencial …

10 algorithms  graph-theory  reference-request 

Estou interessado em procedimentos para a divisão justa da terra (ou seja, divisão sem inveja, ou pelo menos divisão proporcional). Em contraste com o bem estudado problema de divisão de bolos, a divisão de terras é bidimensional, ou seja, as preferências dos usuários podem variar horizontal e verticalmente. Portanto, não …

10 reference-request  game-theory 

Não consigo entender como o SR Latch funciona. Aparentemente, você conecta uma linha de entrada de R e outra de S e deve obter resultados em e .QQQQ′Q′Q' No entanto, R e S requerem entrada da saída do outro, e a saída do outro requer entrada da saída do outro. …

10 circuits  sequential-circuit 

Estou procurando recursos para começar a analisar o programa . O único livro que encontrei sobre o assunto é o livro Nielson & Nielson . Fora isso, parece que existem apenas livros de "compiladores" em que "análise de programa" seria um capítulo ou algo nesse sentido. As pessoas conhecem outros …

10 reference-request  compilers  semantics 

Estou aprendendo a classificação SVM e encontro um problema. Não tenho certeza se esse dilema tem uma terminologia para ele. Suponha que gostaríamos de classificar os pacientes por SVM, considerando as amostras de pessoas saudáveis ​​(de ambos os sexos) e pessoas com câncer de fígado (de ambos os sexos). Se …

10 machine-learning