Tag: Complexidade

Boids e inteligência de enxame

On por Arnaldo Gunziem Computação, Pesquisa OperacionalDeixe um comentário

O algoritmo Boids é um algoritmo de inteligência de enxame, inspirado no comportamento de pássaros.

Vide vídeo a seguir.

 

As regras são muito simples. O algoritmo começa com um número X de boids. Cada boid tenta seguir as seguintes regras:

 

  • Cada boid tenta ir em direção ao centro de massa de seus vizinhos mais próximos
  • Cada boid mantém uma distância mínima para outros objetos (inclusive outros boids)
  • Cada um tenta igualar a velocidade com outros boids próximos

 

O engraçado é que são três regras muito simples, que podem gerar uma complexidade e beleza inimaginável.

São inúmeras configurações possíveis, e ninguém sabe de antemão como será a dança dos boids.

 

boids

 

Arnaldo Gunzi

Ago 2015

 

Link do pseudocódigo do Boids

http://www.kfish.org/boids/pseudocode.html

Conjectura de Goldbach

On por Arnaldo Gunziem MatemáticaDeixe um comentário

A matemática contém algumas afirmações que são extremamente fáceis de serem formuladas, mas extremamente difíceis de serem resolvidas.

2000px-Goldbach_partitions_of_the_even_integers_from_4_to_50_rev4b.svg

A conjectura de Goldbach é um caso desses:

“Qualquer número par pode ser descrito como a soma de dois números primos”.

Números primos são aqueles que são indivisíveis por outros números, como 2, 3, 5, 7, 11. Alguns exemplos da conjectura.

4=2+2

6=3+3

8=3+5

10=3+7

100=53+47

É uma “conjectura” porque ninguém conseguiu prova-lo, em quase 300 anos. E a sua fama provém não da conjectura em si, ou da utilidade prática, mas porque grandes mentes já tentaram prova-la e não conseguiram.

Uma coisa irônica nisto é que o computador pode ajudar a provar alguns teoremas, mas o melhor computador do mundo não vai ajudar nada em outros. Isto porque as provas da matemática requerem que a validade seja para todos os números. Sempre vai haver um número impossível de ser computado (seja ele 10^100000, 10^1000000000). É possível escrever programas de computador para testar números muito grandes, mas não para testar todos os números. O computador serve mais para “desprovar”, no caso de achar um número que não atende a conjectura, ou para aumentar os indícios de que o caminho está correto, mas não para provar.