Ciência da Computação

Quando eu era estudante, vi um problema em um livro didático de sistemas digitais / de lógica, sobre N soldados seguidos e quero atirar ao mesmo tempo. Uma versão mais difícil do problema era que os soldados estavam em uma rede geral, em vez de uma fila. Estou certo de …

15 algorithms  distributed-systems  clocks 

Eu tenho uma árvore (no sentido da teoria dos grafos), como no exemplo a seguir: Esta é uma árvore direcionada com um nó inicial (a raiz) e muitos nós finais (as folhas). Cada borda tem um comprimento atribuído a ela. Minha pergunta é: como encontrar o caminho mais longo começando …

15 algorithms  graphs 

Com referência a recursos em linguagens como ruby ​​(e javascript), que permitem que um programador estenda / substitua classes a qualquer momento após defini-la (incluindo classes como String), é teoricamente viável projetar uma linguagem que permita que os programas estendam posteriormente sua semântica. ex: Ruby não permite herança múltipla, mas …

15 programming-languages  semantics 

Infelizmente ainda não sou tão forte em entender o algoritmo da linha de varredura . Todos os trabalhos e livros didáticos sobre o tema já foram lidos, mas o entendimento ainda está longe. Apenas para esclarecer, tento resolver o máximo de exercícios possível. Mas, tarefas realmente interessantes e importantes ainda …

15 algorithms  computational-geometry 

Eu fiz essa pergunta no stackoverflow genérico e fui direcionado aqui. Será ótimo se alguém puder explicar como abordar problemas gráficos parciais ou totalmente dinâmicos em geral. Por exemplo: Encontre o caminho mais curto entre dois vértices em um gráfico ponderado não direcionado para instâncias, quando uma aresta é removida …

15 algorithms  data-structures  graphs 

As portas lógicas são um dispositivo abstrato que pode ser implementado com relés eletromagnéticos, tubos de vácuo ou transistores. Essas implementações tiveram êxito na computação, em parte devido a várias propriedades de capacidade de cadeia, durabilidade e tamanho além de sua estabilidade binária básica. Eles também funcionam bem porque a …

15 computer-architecture  didactics 

Esta é uma questão de acompanhamento deste . Em uma pergunta anterior sobre máquinas de estado exóticas , Alex ten Brink e Raphael abordaram os recursos computacionais de um tipo peculiar de máquina de estado: autômatos de min-heap. Eles foram capazes de mostrar que o conjunto de idiomas aceitos por …

15 formal-languages  automata  nondeterminism 

Existe alguma evidência sugerindo que o tempo gasto na redação ou pensando nos requisitos terá algum efeito no tempo de desenvolvimento? Estudo realizado por Standish (1995) sugere que requisitos incompletos (13,1%) contribuíram parcialmente para o fracasso dos projetos. Existem estudos realizados que mostram que o tempo gasto na análise de …

15 software-engineering 

Ao colocar objetos geométricos em um quadtree (ou octree), você pode colocar objetos maiores que um único nó de várias maneiras: Colocar a referência do objeto em todas as folhas nas quais está contido Colocar a referência do objeto no nó mais profundo para o qual está totalmente contido Ambos …

15 graphics  data-structures  computational-geometry 

Existe uma caracterização algébrica do número de palavras de um determinado comprimento em um idioma regular? A Wikipedia declara um resultado um tanto impreciso: Para qualquer linguagem regular eueuL , existem constantes λ1 1,... ,λkλ1 1,...,λk\lambda_1,\,\ldots,\,\lambda_k e polinómiosp1 1( X ) ,... ,pk( X )p1 1(x),...,pk(x)p_1(x),\,\ldots,\,p_k(x) tal que para cadannn …

15 formal-languages  regular-languages  word-combinatorics 

Um conjunto é contável se tiver uma bijeção com os números naturais e é computávelmente enumerável (ce) se houver um algoritmo que enumere seus membros. Qualquer conjunto enumerável computacionalmente não finito deve ser contável, pois podemos construir uma bijeção a partir da enumeração. Existem exemplos de conjuntos contáveis ​​que não …

15 computability  semi-decidability 

Estou tentando entender uma prova de completude do NP que parece girar em torno do SAT / 3CNF-SAT. Talvez seja tarde, mas receio que não consiga pensar em uma fórmula 3CNF que não possa ser satisfeita (provavelmente estou perdendo algo óbvio). Você pode me dar um exemplo para essa fórmula?

15 logic  satisfiability  3-sat 

Pelo que aprendi, um vínculo assintoticamente rígido significa que ele é vinculado de cima e de baixo, como na notação teta. Mas o que o limite superior assintoticamente apertado significa para a notação Big-O?

15 asymptotics 

O problema de clique é um problema bem conhecido de que o tamanho da clique necessária faz parte da entrada. No entanto, o problema de k-clique possui um algoritmo de tempo polinomial trivial ( quando é constante). Estou interessado nos limites superiores mais conhecidos quando k é constante.NPNPNPO ( nk)O(nk)O(n^k)kkk …

15 complexity-theory  graph-theory 

Meia década atrás, eu estava sentado em uma classe de estruturas de dados em que o professor oferecia crédito extra se alguém pudesse atravessar uma árvore sem usar recursão, pilha, fila etc. (ou qualquer outra estrutura de dados semelhante) e apenas alguns indicadores. Eu vim com o que eu pensava …

15 algorithms  trees  recursion