Departamento de Matemtica da Universidade de Coimbra a 2006/07 Mtodos de Programao II e ca TPC 2 Entrega: 27/10/2006

N meros Primos de Mersenne u

Marin Mersenne (1588-1648) foi um monge com interesses matemticos, que se correspondia a com os maiores vultos da cena cient ca do seu tempo. Cerca de 1640, numa das suas missivas, descreve nmeros da forma Mp = 2p 1, onde p um nmero primo, isto em ligao com um u e u ca seu estudo sobre nmeros perfeitos1 . Desde ento que sabemos que alguns desses nmeros, ditos u a u de Mersenne, so primos, outros no. Por exemplo, M2 = 3, M3 = 7, M5 = 31 e M7 = 127 so a a a primos, enquanto que o prximo nmero de Mersenne composto: M11 = 2047 = 23 89. O o u e crescimento destes nmeros da ordem exponencial2 , o que explica que, at ao momento, apenas u e e sejam conhecidos 44 (o ultimo foi descoberto dia 6 de Setembro de 2006, atravs de um projecto e de computao distribu chamado GIMPS3 ), e que possui mais de 9.8 milhes de digitos: ca da o 232582657 1 No entanto, e j em 1640, Mersenne tinha identicado como primos os acima apresentados a e ainda aqueles com q = 13, 17, 19, 31, 127. Para alm disso, todos os primos de Mersenne que e existem com q 127 foram descobertos antes da era do computador. Em 1951, Alan Turing fez a primeira tentativa (frustada) para encontrar novos primos de Mersenne usando um computador. No nicio do ano seguinte, Robinson, Lucas e Lehmer, descobrem, usando um programa de computador, os primos M521 e M607 . Ainda no nal desse ano de 1952, conseguem descobrir os primos M1279 , M2203 e M2281 . Na procura de nmeros primos de Mersenne, um teste de primalidade muito usado baseado u e no Lucas-Lehmer e consiste no seguinte resultado: se p primo ento Mp = 2p 1 primo se e s se Mp divide Sp2 e a e o onde Sk = 4
2 Sk1

se 2 se

k=0 k1

Mais ainda, se Mp um nmero primo ento p primo, o que signica que basta testar e u a e nmeros de Mersenne com u ndices primos pois qualquer outro representa um nmero composto. u Neste trabalho pretende-se implementar um programa em Pascal para encontrar Nmeros u primos de Mersenne, os maiores poss veis usando apenas os computadores do Departamento (um para cada trabalho). Para isso, ser, pelo menos, necessrio: a a implementar um mtodo de gerar nmeros primos (pode usar um dos mtodos estudados e u e nas aulas de Mtodos de Programao) e ca implementar um teste de primalidade (o acima indicado ou outro que ache mais adequado) para nmeros de Mersenne constru u dos com ndice primo
1 N meros u 2 Crescem

perfeitos so aqueles cuja soma dos seus divisores prprios iguala o prprio n mero. a o o u muito rapidamente, tal qual uma funo exponencial. ca 3 Great Internet Mersenne Prime Search. Ver mais informaoes em http://www.mersenne.org/ c

Tal como no trabalho anterior, o programa deve ser enviado, em attachment por mail para o endereo da professora e o relatrio deve ser individual e manuscrito (de modo leg c o vel), explicando os algoritmos, os tipos de dados e o funcionamento geral do programa (sem recurso a qualquer linha de cdigo nem a transcrio literal de tais linhas em Portugus). o ca e Poder consultar bibliograa/webgraa variada, entre as poss a veis destacamos: 1. Prime Numbers: A Computational perspective, R. Crandall, C. Pomerance, Springer, 2005 2. The little book of big primes, P. Ribenboim, Springer, 1991 3. The book of prime number records, P. Ribenboim, Springer-Verlag, 1988 4. O Livro dos nmeros, J. Conway, R. Guy, Universidade de Aveiro/Gradiva, 1999 u 1. GIMPS, http://www.mersenne.org/ 2. http://mathworld.wolfram.com/MersenneNumber.html 3. The Prime Pages, http://primes.utm.edu/ e http://primes.utm.edu/primes/

No esquea que, no relatrio, deve ser indicada toda a bibliograa/webgraa a c o consultada.