Ciência da Computação

Li a página da wikipedia da regra 110 nos autômatos celulares e sei mais ou menos como elas funcionam (um conjunto de regras decide onde desenhar o próximo 1 ou 0). Acabei de ler que Turing está completo, mas não consigo nem imaginar como você 'programaria' na 'regra 110'?

19 computability  automata  turing-completeness  cellular-automata 

Suponha que estamos recebendo números em um fluxo. Depois que cada número é recebido, uma soma ponderada dos últimos NNN números precisa ser calculada, onde os pesos são sempre os mesmos, mas arbitrários. Com que eficiência isso pode ser feito se tivermos permissão para manter uma estrutura de dados para …

19 algorithms  data-structures  online-algorithms 

As identidades usadas nos algoritmos de multiplicação por Karatsuba (inteiros) Gauss (números complexos) Strassen (matrizes) parece muito relacionado. Existe uma estrutura / generalização abstrata comum?

19 algorithms  matrices 

Percebo que em alguns trabalhos de pesquisa em CS, para comparar a eficiência de dois algoritmos, o número total de comparação de chaves nos algoritmos é usado, em vez dos próprios tempos reais de computação. Por que não podemos comparar qual é o melhor executando os dois programas e contando …

19 algorithms  algorithm-analysis  runtime-analysis 

Eu tento encontrar uma abordagem para o seguinte problema: Dado o conjunto de pontos e raio r , encontre o ponto central do círculo, de modo que o círculo contenha o número máximo de pontos do conjunto. O tempo de execução deve ser O ( n 2 ) .SSSrrrO ( …

19 algorithms  computational-geometry 

Se existe uma maneira de identificar se dois conjuntos de pontos podem ser separados por uma linha? Temos dois conjuntos de pontos e B se houver uma linha que separa A e B, de modo que todos os pontos de A e apenas A de um lado da linha e …

19 algorithms  machine-learning  computational-geometry 

Ao testar algoritmos, uma abordagem comum é o teste aleatório: gere um número significativo de entradas de acordo com alguma distribuição (geralmente uniforme), execute o algoritmo nelas e verifique a correção. As estruturas de teste modernas podem gerar entradas automaticamente, dada a assinatura dos algoritmos, com algumas restrições. Se as …

19 algorithms  graphs  randomness  software-testing 

Estou tentando encontrar o conjunto independente máximo de um gráfico biparito. Encontrei o seguinte em algumas notas "13 de maio de 1998 - Universidade de Washington - CSE 521 - Aplicações de fluxo de rede" : Problema: Dado um bipartido gráfico G=(U,V,E)G=(U,V,E)G = (U,V,E) , encontrar um conjunto independente U′∪V′U′∪V′U' …

19 algorithms  graph-theory  network-flow 

Deixe . Preciso decidir se F é decidível ou recursivamente enumerável. Eu acho que é decidível, mas não sei como provar.F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M é uma TM que para para cada entrada em no máximo 50 etapas}F = \{⟨M⟩:\text{M is …

19 computability  undecidability 

Então eu pensei que essa pergunta (embora um pouco básica) pertencia aqui: Digamos que eu tenha um gráfico do tamanho 100 nós dispostos em um padrão 10x10 (pense no tabuleiro de xadrez). O gráfico não é direcionado e não é ponderado. Mover-se pelo gráfico envolve mover três espaços para frente …

19 algorithms  graphs  graph-theory  search-algorithms  shortest-path 

Estou procurando um algoritmo eficiente que me permita processar a árvore de pesquisa minimax para xadrez com poda alfa-beta em uma arquitetura distribuída. Os algoritmos que encontrei (PVS, YBWC, DTS, veja abaixo) são todos bastante antigos (1990 é o mais recente). Suponho que houve muitos avanços substanciais desde então. Qual …

19 algorithms  distributed-systems  board-games 

Estou tentando usar o lema de bombeamento para provar que não é regular.L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} É o que tenho até agora: suponha que seja regular e seja o comprimento do bombeamento, então . Considere qualquer decomposição de bombeamento tal que e .p w = ( 01 …

19 formal-languages  regular-languages  pumping-lemma 

Para cada função computável existe um problema que pode ser resolvido na melhor das hipóteses em ou existe uma função computável modo que todo problema que pode ser resolvido em possa também pode ser resolvido em tempo?fffΘ(f(n))Θ(f(n))\Theta(f(n))fffO(f(n))O(f(n))O(f(n))o(f(n))o(f(n))o(f(n)) Esta pergunta surgiu na minha cabeça ontem. Estou pensando nisso há um tempo, …

19 complexity-theory 

Deixei L = { an∣ ∃p ≥ n p, p + 2 são primos } . L={an∣∃p≥n p, p+2 are prime}.\qquad L = \{a^n \mid \exists_{p \geq n}\ p\,,\ p+2 \text{ are prime}\}. é regular?euLL Esta questão parecia suspeita à primeira vista e eu percebi que ela está conectada à …

19 formal-languages  automata  regular-languages  finite-automata 

Os cursos de introdução a gráficos geralmente têm um projeto que solicita a criação de um traçador de raios para renderizar uma cena. Muitos estudantes de gráficos que ingressam na pós-graduação dizem que desejam trabalhar no traçado de raios. E, no entanto, parece que o traçado de raios é um …

19 graphics