Masalah Milenium: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Tidak ada ringkasan suntingan |
Tahap pengembangan |
||
Baris 4:
Seabad kemudian, terilhami dari kuliah itu, yayasan nirlaba [[The Clay Mathematics Institute]] (CMI) yang bermarkas di [[Cambridge]], [[Massachusetts]], [[Amerika Serikat]], mencetuskan Sayembara Problem Milenium. Masalah-masalah matematika yang tak terpecahkan dipilih oleh sebuah Dewan Pertimbangan Ilmiah CMI. Ada tujuh masalah matematika pada milenium ini yang menjadi tantangan bagi semua ahli matematika di [[dunia]] untuk membuat [[formula]]sinya. Barang siapa yang dapat mengungkap rahasia itu, tersedia hadiah US$ 1 juta.{{Ref_label|A|1|none}}
Pertanyaannya adalah apakah, untuk semua masalah yang [[algoritma]] dapat memverifikasi sebuah solusi yang diberikan cepat (yaitu, dalam waktu polinomial), algoritma juga dapat menemukan solusi yang cepat. Yang pertama menggambarkan kelas masalah disebut NP, sedangkan yang kedua menggambarkan P. Pertanyaannya adalah apakah atau tidak semua masalah di NP juga di P. Ini umumnya dianggap salah satu pertanyaan terbuka yang paling penting dalam [[matematika]] dan [[Komputasi|ilmu komputer teoritis]] karena memiliki konsekuensi yang luas masalah lain dalam [[matematika]], dan [[biologi]], [[filsafat]]<ref>{{cite web |url=http://eccc.hpi-web.de/report/2011/108/ |title=Why Philosophers Should Care About Computational Complexity |date=14 August 2011 |author=[[Scott Aaronson]]|publisher=Technical report}}</ref> dan [[kriptografi]].
"Jika P = NP, maka dunia akan menjadi tempat yang sangat berbeda dari biasanya kita menganggap hal itu terjadi. Tidak akan ada nilai khusus dalam 'lompatan kreatif,' ada kesenjangan mendasar antara pemecahan masalah dan mengakui solusi setelah itu ditemukan. setiap orang akan bisa menghargai simfoni karya Mozart, setiap orang akan bisa mengikuti argumen langkah demi langkah Gauss ... "
* Hipotesis Riemann▼
:Melibatkan fungsi-fungsi zeta, dan sebuah penekanan bahwa seluruh solusi "menarik" dari sebuah persamaan terdapat pada sebuah (persamaan) garis lurus.{{Ref_label|F|1|none}}▼
— [[Scott Aaronson]], MIT
* Dugaan Hodge▼
:Pada tepian batas antara aljabar dan geometri, melibatkan persoalan teknis dari bentuk-bentuk bangunan dengan merekatkan blok-blok geometric secara bersamaan.{{Ref_label|G|1|none}}▼
[[Matematikawan]] dan ilmuwan komputer berharap bahwa P ≠ NP.
* Yang-Mills dan Selisih [[Massa]]▼
:Sebuah persoalan yang melibatkan [[mekanika kuantum]] dan partikel-partikel dasar. Para ahli [[fisika]] menyadari, komputer dapat mensimulasikannya, tetapi belum seorang pun yang telah menemukan teori untuk menerangkannya.{{Ref_label|H|1|none}}▼
Pernyataan resmi dari masalah diberikan oleh [[Stephen Cook]].
* [[Konjektur Goldbach]]▼
:Konjektur Goldbach berbunyi setiap [[bilangan bulat]] [[genap]] yang lebih besar dari 2 dapat ditulis sebagai jumlah dari dua [[bilangan prima]]▼
* ''Twin Prime''▼
▲
:''Twin Prime'' adalah pasangan bilangan prima yang mempunyai pola (p,p+2) atau dengan kata lain selisih antara pasangan satu dengan yang lainnya adalah 2. Pertanyaannya adalah ada berapa banyak jumlah pasangan twin prime ?<ref>{{cite web|url=http://fiannshare.blogspot.com/2010/08/bilangan-prima-terbesar-dan-masalah.html|title=Twin Prime|accessdate=2012-06-20}}</ref>▼
▲
▲
▲
▲
Dari masalah itu, baru dua yang terpecahkan secara hipotesis, yakni Hipotesis Riemann dan Konjektur Poincare.{{Ref_label|I|1|none}} Konjektur Poincare ditemukan oleh [[Grigoriy Perelman]] dari [[St. Petersburg]], [[Rusia]].<ref>{{cite web|url=http://ariaturns.wordpress.com/2010/03/19/selamat-buat-om-parelman-yang-mendapatkan-1juta/|title=Dr. Grigoriy Perelman|accessdate=2012-06-21}}</ref>
|