Ciência da Computação

Ao ler um artigo descrevendo as diferenças de OO e programação funcional , deparei-me com indicadores de função. Já faz um tempo desde que terminei meu curso de Ciência da Computação (2003) e, portanto, procurei indicadores para refrescar minha memória. Ponteiros são variáveis ​​que contêm uma referência a um endereço …

10 terminology  programming-languages 

Estou tentando entender como as árvores indexadas binárias (árvores fenwick) podem ser modificadas para lidar com consultas e atualizações de intervalo. Encontrei as seguintes fontes: http://kartikkukreja.wordpress.com/2013/12/02/range-updates-with-bit-fenwick-tree/ http://programmingcontests.quora.com/Tutorial-Range-Updates-in-Fenwick-Tree http : //apps.topcoder.com/forums/? module = ThreadID da thread & = 756271 & start = 0 & mc = 4 # 1579597 Mas, mesmo …

10 data-structures  binary-trees  search-trees 

Estou estudando o pior caso de execução do quicksort, sob a condição de que ele nunca fará uma partição muito desequilibrada para definições variadas de very . Para fazer isso, pergunto-me qual seria o tempo de execução , caso o quicksort sempre particione em alguma fração tal forma que estão …

10 algorithm-analysis  runtime-analysis  recurrence-relation 

A questão está praticamente no título. Existe um momento em que algum idioma pode ser aceito por um DFA mínimo com n estados, mas L R , a reversão de L , pode ser aceito por um DFA com m estados, em que m &lt; n ?euLLnnneuRLRL^ReuLLmmmm&lt;nm&lt;nm<n

10 formal-languages  reference-request  automata  finite-automata 

Meu livro diz: "Nós definimos a função da seguinte forma: f ( 1 ) = 2 e f ( i + 1 ) = 2 f ( i ) 1.2 . Nota que, dado n , podemos facilmente encontrar em O ( n 1,5 ) tempo o número i de …

10 complexity-theory  algorithm-analysis  nondeterminism 

Estou procurando um algoritmo para converter um dígrafo (gráfico direcionado) em um gráfico não direcionado de forma reversível, ou seja, o dígrafo deve ser reconstruído se recebermos o gráfico não direcionado. Entendo que isso custará o gráfico não direcionado ter mais vértices, mas não me importo. Alguém sabe como fazer …

10 algorithms  graph-theory  graphs 

fundo Estou aprendendo assistência, Coq, sozinho. Até agora, concluí a leitura Coq apressado de Yves Bertot . Agora, meu objetivo é provar alguns resultados básicos relativos aos números naturais, culminando com o chamado algoritmo de divisão. No entanto, encontrei alguns contratempos no meu caminho em direção a esse objetivo. Em …

10 automated-theorem-proving  proof-assistants  mathematical-programming  coq 

Sou estudante de ciência da computação. Quero criar minha própria linguagem de programação (uma linguagem básica com poucas instruções). Eu sei como fazer um analisador sintático, eu já fiz isso no Perl. Em um artigo, li algo sobre o compilador, um compilador é feito por si só. Por exemplo, o …

10 programming-languages  compilers 

Estou trabalhando em um editor de diagrama. Os diagramas exibem formas 2D ( nós ) conectadas com conectores ( arestas ). Gostaria de adicionar uma operação que, dada uma seleção de nós, os "desembaraça" : os reposiciona para reduzir o número de arestas de cruzamento, se possível (e tudo bem …

10 algorithms  graph-theory  graph-algorithms  crossing-number 

Estou achando difícil diferenciar claramente entre Multiprogramação e Multitarefa. Minha fonte principal é a Wikipedia , mas o artigo do WP parece estar um pouco em desacordo com algumas fontes menos respeitáveis ​​(como meu professor universitário). Enquanto eu leio o WP, a multiprogramação é uma maneira rudimentar de aumentar a …

10 terminology  process-scheduling 

Do ponto de vista do comportamento assintótico, o que é considerado um algoritmo "eficiente"? Qual é o padrão / motivo para desenhar a linha nesse ponto? Pessoalmente, eu pensaria que qualquer coisa que eu possa chamar ingenuamente de "sub-polinomial", tal que como n 1 + ϵ , seja eficiente e …

10 algorithms  terminology  asymptotics  landau-notation 

Esta página sobre o algoritmo de Knuth-Moriss-Pratt em comparação com Boyer-Moore descreve um possível caso em que o algoritmo de Boyer-Moore sofre com uma pequena distância de salto, enquanto o KMP pode ter um desempenho melhor. Estou procurando um bom exemplo (texto, padrão) que possa demonstrar claramente esse caso.

10 algorithms  substrings  matching 

Às vezes, há uma variedade estonteante de símbolos usados ​​em trabalhos de matemática e ciências da computação. No entanto, muitos assumem familiaridade básica que parece raramente ensinada em um só lugar. Estou procurando um dicionário parecido com o seguinte, especialmente da perspectiva do CS. Ele listaria todos os símbolos matemáticos …

10 terminology  reference-request  education 

Na minha aula de Java, estamos aprendendo sobre a complexidade de diferentes tipos de coleções. Em breve estaremos discutindo árvores binárias, sobre as quais tenho lido. O livro afirma que a altura mínima de uma árvore binária é , mas não oferece mais explicações.registro2( n + 1 ) - 1log2⁡(n+1)−1\log_2(n+1) …

10 data-structures  binary-trees  discrete-mathematics  trees 

Estive estudando o coeficiente de correlação de Spearman .ρ = ∑Eu( xEu- x¯) ( yEu- y¯)∑Eu( xEu- x¯)2∑Eu( yEu- y¯)2-------------------√ρ=∑Eu(xEu-x¯)(yEu-y¯)∑Eu(xEu-x¯)2∑Eu(yEu-y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} para duas listas e y 1 , … , y n . Qual é a complexidade do algoritmo?x1 1, … , Xnx1 1,…,xnx_1, \dots, …

10 complexity-theory  time-complexity  space-complexity