Ciência da Computação

"Indutivamente" e "recursivamente" significam muito semelhantes? Por exemplo, se existe um algoritmo que determina um vetor n-dim determinando seus primeiros componentes k + 1 com base em seus primeiros k componentes que foram determinados e é inicializado com o primeiro componente, você chamaria de trabalho recursivo ou indutivo? Eu tenho …

11 algorithms  terminology  recursion  induction 

Eu preciso de uma definição concisa do "estado de um objeto" na programação orientada a objetos (para um artigo). Por cerca de metade do dia, procurei um artigo que pudesse citar sobre esse tópico, mas não o encontrei. Todos os artigos que encontrei foram principalmente artigos gerais sobre programação orientada …

11 terminology  reference-request  programming-languages  object-oriented 

Eu me deparei com o seguinte problema interessante: sejam polinômios sobre o campo dos números reais e suponhamos que seus coeficientes sejam todos inteiros (ou seja, existe uma representação exata finita desses polinômios). Se necessário, podemos supor que o grau de ambos os polinômios seja igual. Vamos denotar por (resp. …

11 computability  undecidability  computer-algebra 

Para alguns gráficos, os algoritmos de pesquisa DFS e BFS processam os nós na mesma ordem exata, desde que ambos iniciem no mesmo nó. Dois exemplos são gráficos com caminhos e gráficos em forma de estrela (árvores de profundidade com um número arbitrário de filhos). Existe alguma maneira de categorizar …

11 algorithms  graphs  graph-traversal 

Considere um quadrado, ABCD. Intuitivamente, pareceu-me que seu polinômio cromático é onde existem cores disponíveis.λ(λ−1)(λ−1)(λ−2)λ(λ−1)(λ−1)(λ−2)\lambda(\lambda - 1)(\lambda - 1)(\lambda - 2)λλ\lambda Ou seja, existem maneiras pelas quais uma cor para A pode ser escolhida, existem maneiras de escolher cores para B e D (B e D são adjacentes a A) …

11 graph-theory  colorings 

Então, eu tenho esta pergunta para provar uma afirmação: ...O(n)⊂Θ(n)O(n)⊂Θ(n)O(n)\subset\Theta(n) Eu não preciso saber como provar isso, apenas que, na minha opinião, isso não faz sentido e acho que deveria ser .Θ(n)⊂O(n)Θ(n)⊂O(n)\Theta(n)\subset O(n) Meu entendimento é que é o conjunto de todas as funções que não fazem pior que n, …

11 asymptotics  mathematical-analysis  landau-notation 

Existe um algoritmo de seleção pior caso conhecido para encontrar o 'ésimo elemento em uma matriz de números inteiros. Ele usa uma abordagem de mediana de medianas para encontrar um pivô bom o suficiente, particiona a matriz de entrada no local e continua recursivamente na busca pelo 'ésimo elemento maior.O(n)O(n)O(n) …

11 algorithms  algorithm-analysis  space-complexity  lower-bounds 

Programação dinâmica com grande número de subproblemas. Então, eu estou tentando resolver esse problema da Interview Street: Grid Walking (Score 50 points) Você está situado em uma grade NNN dimensional na posição ( x1, x2, … , XN)(x1,x2,...,xN)(x_1,x_2,\dots,x_N) . As dimensões da grade são ( D1, D2, … , DN(D1,D2,...,DN(D_1,D_2,\dots,D_N …

11 algorithms  efficiency  dynamic-programming 

No trabalho, fui encarregado de deduzir algumas informações de tipo sobre uma linguagem dinâmica. Reescrevo seqüências de instruções em letexpressões aninhadas , da seguinte maneira: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

O algoritmo de Borůvka é um dos algoritmos padrão para calcular a árvore de abrangência mínima para um gráfico , com | V | = n , | E | = m .G=(V,E)G=(V,E)G = (V,E)|V|=n,|E|=m|V|=n,|E|=m|V| = n, |E| = m O pseudocódigo é: MST T = empty tree Begin with …

11 algorithms  algorithm-analysis  spanning-trees 

Os solucionadores modernos de SAT são muito bons em resolver muitos exemplos reais de instâncias de SAT. No entanto, sabemos como gerar números difíceis: por exemplo, use uma redução do fatorial para o SAT e forneça os números RSA como entrada. Isso levanta a questão: e se eu pegar um …

11 complexity-theory  satisfiability  sat-solvers  factoring 

Gostaria de aprender algo sobre esse problema de otimização: Para determinados números inteiros não negativos , encontre uma função minimize a expressão fumaeu , j , kai,j,ka_{i,j,k}fff maxk∑Euumai , f( i ) , kmaxk∑iai,f(i),k\max_k \sum_i a_{i,f(i),k} Um exemplo usando uma formulação diferente pode ficar mais claro: você recebe um conjunto …

11 algorithms  optimization  linear-programming 

Quero especificar o que significa dar uma álgebra como entrada para um algoritmo e não encontrei muita literatura sobre isso. Então, primeiro quero perguntar se você pode recomendar um livro ou artigo que lide com o tópico de análise de complexidade de álgebras sobre campos e defina claramente o problema …

11 computability  terminology  decision-problem 

Nos é dado um gerador de números aleatórios RandNum50que gera um número inteiro aleatório uniformemente no intervalo de 1 a 50. Podemos usar apenas esse gerador de números aleatórios para gerar e imprimir todos os números inteiros de 1 a 100 em uma ordem aleatória. Todo número deve vir exatamente …

11 algorithms  integers  randomness  random-number-generator 

Existe uma família de gráficos aleatórios G(n,p)G(n,p)G(n, p) com nnn nós ( devido a Gilbert ). Cada aresta possível é inserida independentemente em G(n,p)G(n,p)G(n, p) com probabilidade ppp . Seja XkXkX_k o número de cliques de tamanho kkk em G(n,p)G(n,p)G(n, p) . Eu sei que , mas como faço para …

11 graph-theory  combinatorics  probability-theory  random-graphs