Penulis Topik: [Blog] Pembuktian Legendre’s Conjecture dengan Teknik Komputasi  (Dibaca 16791 kali)

Offline Zai

  • Admin
  • Pro500
  • *******
  • Tulisan: 2.892
  • Reputation: 58629
  • Jenis kelamin: Pria
    • Lihat Profil
    • Zainuddin Nafarin Blog
Ok, pada postingan kali ini saya akan membahas pembuktian Legendre Conjecture dengan teknik komputasi. Legendre Conjecture simpelnya seperti ini (menurut status FB teman saya) :

Kutip
Selalu ada, paling tidak, 1 buah bilangan prima diantara kuadrat dua bilangan bulat positif yang berurutan…

Nah, sesuai definisi Conjecture, yaitu pernyataan yang masih belum terbukti, kita memang akan sangat sulit membuktikannya secara analitik (menggunakan ilmu-ilmu pure mathematics), dan memang sampai saat ini belum ada manusia yang bisa membuktikannya. Tapi, setidaknya kita bisa membuktikan conjecture ini berlaku sampai suatu batasan bilangan bulat positif tertentu tentunya dengan dibantu komputer. :D

Dalam percobaan ini batasan bilangan bulat positif yang bisa dicapai adalah 2^32-1 =  4,294,967,295. Ini adalah batasan variabel integer di C++ yang hanya mempunyai 32 bit. Untuk improvement, sebenarnya bisa kita gunakan Integer yang 64 bit atau class integer khusus yang punya digit tak terbatas. Tapi mungkin akan memerlukan kemampuan CPU yang besar dan waktu yang sangat lama untuk mengecek bilangan bulat positif lebih dari 4,2 milyar tsb. Padahal, untuk percobaan ini saja, pengecekan sampai 1 milyar perlu waktu sekitar 1 menit.

Ini adalah kode programnya yang saya potong menjadi beberapa bagian yang berurutan, tujuannya untuk memudahkan penjelasan, Anda dapat menggabungkan potongan2 kode ini menjadi 1 file main.cpp untuk ikut melakukan pengetesan sesuai penjelasan2 saya disini.  :)

Baca lebih lanjut :
http://www.nafarin.com/pembuktian-legendre-conjecture-dengan-teknik-komputasi
4 main functions of Smadav :
(1) Additional protection for your PC, 100% compatible with other Antivirus!
(2) Best USB Antivirus, no more infection from USB!
(3) Best for offline use and low resource Antivirus
(4) Manual cleaner & tools to fight malwares