Ciência da Computação

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) …

28 algorithms  runtime-analysis  efficiency  sorting 

Estou procurando uma estrutura de dados que armazene um conjunto de seqüências de caracteres sobre um conjunto de caracteres , capaz de executar as seguintes operações. Denota- D ( S ) como a estrutura de dados que armazena o conjunto de cadeias S .ΣΣ\SigmaD (S)D(S)\mathcal{D}(S)SSS Add-Prefix-Setem : dado um conjunto …

28 data-structures  time-complexity  strings  stacks 

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] ++ …

28 algorithms  binary-trees 

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 é feito para …

28 complexity-theory  satisfiability  heuristics 

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 , …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

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 …

28 computability  logic  programming-languages  lambda-calculus  combinatory-logic 

(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 catalão …

28 combinatorics  binary-trees  discrete-mathematics 

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 1 \text{ superstar } :\Longleftrightarrow \mathrm{outdeg}(v) = 0 …

28 algorithms  graphs 

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 …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

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 dois.

28 semantics  operational-semantics  small-step-semantics 

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 …

28 algorithms  graphs  search-algorithms  trees  graph-traversal 

O problema de parada afirma que não há algoritmo que determine se um determinado programa é interrompido. Como conseqüência, deve haver programas sobre os quais não podemos dizer se eles terminam ou não. Quais são os exemplos mais simples (menores) conhecidos de tais programas?

27 computability  turing-machines  halting-problem 

Estou fazendo um curso de complexidade e estou tendo problemas para apresentar reduções entre os problemas dos NPCs. Como posso encontrar reduções entre problemas? Existe um truque geral que eu possa usar? Como devo abordar um problema que me pede para provar que é um NPC?

27 complexity-theory  np-complete  proof-techniques  reductions 

Se duas pessoas são perdidas em um labirinto, existe um algoritmo que elas podem usar para se encontrarem sem terem acordado previamente qual algoritmo usarão? Eu acho que existem algumas características que esse algoritmo terá: Cada pessoa deve ser capaz de derivá-la usando uma lógica que não faça suposições sobre …

27 algorithms  search-algorithms  agent-based-computing 

Dado intervalos de tempo que k pessoas querem comprar. A pessoa i tem um valor h ( i , j ) ≥ 0 para cada intervalo de tempo j . Cada pessoa pode comprar apenas um bloco consecutivo de horários, que podem estar vazios.nnnkkkEuiih ( i , j ) ≥ …

27 algorithms  optimization  np-hard  scheduling