Daftar masalah matematika yang belum terpecahkan

artikel daftar Wikimedia

Ada banyak permasalahan matematika yang telah dinyatakan tetapi belum ada yang terpecahkan. Masalah tersebut berasal dari cabang-cabang matematika seperti fisika, ilmu komputer, aljabar, analisis, kombinatorika, geometri aljabar, geometri diferensial, geometri diskret, geometri Euklides, teori graf, teori grup, teori model, teori bilangan, teori himpunan, teori Ramsey, sistem dinamika, dan persamaan diferensial parsial. Beberapa masalah dapat dikelompokkan dan dipelajari dalam banyak bidang ilmu yang berbeda. Hadiah sering sering kali diberikan untuk seseorang yang memecahkan masalah yang belum terpecahkan, dan daftar-daftar masalah yang belum terpecahkan (seperti daftar Masalah Hadiah Millenium) mendapatkan perhatian yang lebih.

Artikel ini mengumpulkan berbagai masalah yang didapat dari berbagai sumber, termasuk namun tidak terbatas pada daftar-daftar yang terpercaya. Masalah-masalah dalam artikel ini memiliki tingkat kesulitan yang beragam, maupun tingkat kepentingannya bagi matematika dan sains secara umum. Daftar ini belum tentu lengkap atau terbarukan ketika membacanya saat ini.

Masalah-masalah yang dikompilasi

Berbagai matematikawan dan organisasi telah menyusun masalah-masalah matematika yang belum terpecahkan dalam bentuk daftar dan memromosikannya. Dalam beberapa kasus, nama daftar-daftar tersebut juga digunakan untuk merujuk hadiah yang diberikan bagi penemu penyelesaiannya.

DaftarJumlah masalahJumlah yang belum terpecahkan atau belum terselesaikan sepenuhnyaDiusulkan olehDiusulkan pada tahun
Masalah Hilbert[1]2315David Hilbert1900
Masalah Landau[2]44Edmund Landau1912
Masalah Tanimaya[3]36-Yutaka Taniyama1955
24 pertanyaan Thurston[4][5]24-William Thurston1982
Masalah Smale1814Stephen Smale1998
Masalah Hadiah Millenium76[6]Clay Mathematics Institute2000
Masalah Simon15<12[7][8]Barry Simon2000
Masalah yang Belum Terpecahkan dalam Matematika pada Abad ke-21[9]22-Jair Minoro Abe, Shotaro Tanaka2001
Tantangan matematika DARPA[10][11]23-DARPA2007

Masalah Millenium Prize

Fungsi zeta Riemann, yang dikenal luas dan memiliki pengaruh penting, adalah subjek dari masalah hipotesis Riemann yang belum terpecahkan.

Masalah Millenium Prize adalah daftar berisi tujuh masalah matematika yang diumumkan oleh Clay Mathematics Institute pada tahun 2000. Hadiah sebesar satu juta dollar Amerika Serikat akan diberikan bagi penemu solusi benar untuk sembarang masalah pada daftar tersebut. Keenam masalah yang masih belum terpecahkan adalah:[6]

Masalah ketujuh, konjektur Poincaré, berhasil dipecahkan.[12] Namun, perumuman masalah tersebut, yang dikenal sebagai konjektur Poincaré dimensi empat yang mulus belum terpecahkan. Perumuman ini menanyakan apakah sebuah bola topologis empat dimensi dapat memiliki dua atau lebih struktur mulus yang tidak ekuivalen.[13]

Masalah yang belum terpecahkan berdasarkan bidang

Aljabar

Dalam bola Bloch yang mewakili qubit, sebuah SIC-POVM akan membentuk sebuah tetrahedron beraturan. Zauner menduga bahwa struktur yang analog juga ada di ruang Hilbert kompleks dari semua dimensi terhingga.

Dalam bentuk paling umum, aljabar adalah ilmu yang mempelajari simbol-simbol matematika dan aturan untuk memanipulasi simbol-simbol tersebut. Dalam bidang ini, terdapat kompilasi Buku Catatan Dneister (Dnestrovskaya Tetrad) yang berisi kumpulan beberapa ratusan masalah-masalah aljabar, khususnya teori gelanggang dan teori modulus,[14] dan Buku Catatan Erlagol (Erlagolskaya Tetrad) yang berisi masalah-masalah dalam aljabar dan teori model.[15] Masalah-masalah dalam bidang ini meliputi:

  • Keberadaan kuboid sempurna dan konjektur kuboid yang terkait
  • Konjektur basis Rota
  • Konjektur Birch–Tate
  • Konjektur Bombien–Lang
  • Konjektur Bost
  • Konjektur Crouzeix
  • Konjektur Eilenberg–Ganea
  • Konjektur Farrell–Jones
  • Konjektur Hadamard
  • Konjektur homologis dalam aljabar komutatif
  • Konjektur Green
  • Konjektur Jacobson
  • Konjektur Kaplansky
  • Konjektur kegandaan Serre
  • Konjektur kelengkungan-p Grothendieck–Katz
  • Konjektur Köthe
  • Konjektur Kummer–Vandiver
  • Konjektur Pierce–Birkhoff
  • Konjektur Sendov
  • Konjektur seragam
  • Konjektur Serre II
  • Konjektur Zariski–Lipman
  • Konjektur Zauner: keberadaan SIC-POVM di semua dimensi
  • Masalah keenambelas Hilbert
  • Masalah kelimabelas Hilbert
  • Masalah liar, yang membahas mengenai penggolongan pasangan matriks dalam konjugasi secara simultan dan masalah-masalah lain yang mengandung masalah ini (seperti banyak masalah penggolongan pada umumnya)
  • Masalah pembenaman Connes dalam teori aljabar von Neumann
  • Masalah wakilan kekisi hingga

Analisis

Luas dari daerah berwarna biru konvergen dengan konstanta Euler–Mascheroni, yang dapat atau tidak dapat menjadi sebuah bilangan rasional.

Analisis adalah cabang matematika yang berurusan dengan limit dan beberapa konsep yang berkaitan dengannya, seperti diferensiasi, integral, ukuran, deret, barisan, dan fungsi analitik. Masalah-masalah dalam bidang ini meliputi:

  • Konjektur empat eksponensial membahas transendensi dari setidaknya salah satu dari empat eksponensial gabungan irasional[16]
  • Konjektur Lehmer membahas ukuran polinomial siklotomik Mahler[17]
  • Masalah Pompeiu membahas topologi domain untuk yang beberapa fungsi taknol memiliki integral lenyap pada setiap salinan kongruen[18]
  • Konjektur Schanuel membahas derajat transenden dari eksponensial irasional bebas linear[16]
  • Apakah (konstanta Euler–Mascheroni), , , , , , , , , , , , konstanta Catalan, maupun konstanta Khinchin termasuk bilangan rasional, irasional aljabar, atau transendental? Berapa ukuran keirasionalan dari setiap bilangan-bilangan ini?[19][20][21]
  • Konjektur Vitushkin
  • Masalah subruang invarian
  • Konjektur Kung–Traub[22]
  • Keteraturan dari penyelesaian persamaan Vlasov–Maxwell
  • Keteraturan dari penyelesaian persamaan Euler
  • Kekonvergenan deret Flint Hills

Kombinatorika

  • Konjektur himpunan gabungan tertutup Franki: untuk setiap keluarga himpunan ditutup dalam jumlah, terdapat sebuah elemen (dari ruang pendasar) milik setengah atau lebih dari himpunan-himpunan tersebut[23]
  • Masalah dalam persegi Latin – masalah terbuka yang melibatkan persegi Latin
  • Konjektur pelari kesepian: jika pelari berpasangan dengan kecepatan yang berbeda berlari mengitari lintasan panjang satuan, apakah setiap pelari akan "kesepian" (yaitu, setidaknya sebuah jarak dari setiap pelari lainnya) pada suatu waktu?[24]
  • Mencari sebuah fungsi untuk memodelkan n-langkah langkah hindar-diri[25]
  • Konjektur 1/3–2/3: apakah setiap himpunan terurut parsial terhingga yang bukan terurut total berisi dua elemen dan sehingga probabilitasnya bahwa sebelum dalam sebuah pengembangan linear acak di antara 1/3 dan 2/3?[26]
  • Memberikan sebuah interpretasi kombinatorial dari koefisien Kronecker.[27]
  • Pertanyaan terbuka mengenai persegi Latin
  • Nilai dari bilangan Dedekind untuk .[28]
  • Nilai dari bilangan Ramsey, khususnya
  • Nilai dari bilangan Van der Waerden

Sistem dinamikal

Sebuah[pranala nonaktif permanen] detail dari himpunan Mandelbrot. Ini tidak tahu apakah himpunan Mandebrot terhubung lokal atau tidak.
  • Konjektur Collatz (konjektur )
  • Metode kedua Lyapunov untuk kestabilan – Untuk apa kelas persamaan diferensial biasa, yang menjelaskan sistem dinamika, apakah metode kedua Lyapunov yang dirumuskan dalam bentuk klasik dan kekanonisan yang dirampat menentukan syarat perlu dan cukup untuk kestabilan (asimtotis) gerak?
  • Konjektur Furstenberg – apakah setipa ukura nyang invarian dan ergodik untuk tindakan , pada lingkaran Lebesgue atau atomik?
  • Konjektur Margulis – Pengglongan ukuran untuk tindakan terdiagonalkan dalam grup peringkat tinggi
  • Konjektur MLC – apakah himpunan Mandelbrot terhubung lokal?
  • Konjektur Weinstein – Apakah sebuah himpunan aras tipe kontak kompak beraturan dari sebuah Hamilton pada sebuah manifold simplektik membawa setidaknya satu orbit berkala dari alir Hamilton?
  • Konjektur Arnold–Givental dan konjektur Arnold – berkaitan geometri simplektik dengan teori Morse
  • Konjektur Eremenko bahwa setiap komponen dari himpunan pelepasan sebuah fungsi transendental menyeluruh tidak terbatas
  • Apakah setiap automaton seluler terbalikkan dalam tiga dimensi atau lebih secara lokal terbalikkan?[29]
  • Konjektur Birkhoff: jika sebuah tabel terintegralkan dan cembung sempurna, apakah batasnya yang semestinya sebuah elips?[30]
  • Banyak masalah berkaitan dengan sebuah biliar luar, sebagai contoh menunjukkan bahwa biliar luar relatif dengan hampir setiap poligon cembung memiliki orbit-orbit yang tidak terbatas.
  • Konjektur ergodisitas tunggal kuantum[31]
  • Konjektur Berry–Tabor
  • Konjektur Painlevé

Permainan dan teka-teki

Permainan kombinatorial

  • Sudoku:
    • Berapa jumlah maksimum yang diberikan untuk sebuah teka-teki minimal?[32]
    • Berapa banyak teka-teki yang seharusnya memiliki satu penyelesaian?[32]
    • Berapa banyak teka-teki dengan tepatnya satu penyelesaian merupakan minimal[32]
  • Variasi silang-bulat-silang:
    • Diberikan sebuah lebar papan silang-bulat-silang, berapa dimensi paling terkecil sehingga dijamin sebuah strategi kemenangan?[33]
  • Apa status kelengkapan Turing dari semua Permainan dengan tunggal?

Permainan dengan informasi yang tidak sempurna

Geometri

Geometri aljabar

  • Konjektur limpahan
  • Konjektur Bass
  • Konjektur Deligne
  • Konjektur Dixmier
  • Konjektur Fröberg
  • Konjektur Fujita
  • Konjektur Hartshorne[34]
  • Konjektur Jacobi
  • Konjektur Manin
  • Konjektur Maulik–Nekrasov–Okounkov–Pandharipande pada sebuah kesetaraan antara teorema Gromov–Witten and teorema Donaldson–Thomas [35]
  • Konjektur Nakai
  • Resolusi kesingularan dalam karateristik
  • Konjektur standar pada siklus aljabar
  • Konjektur bagian
  • Konjektur Tate
  • Penghentian pembalikan
  • Konjektur Virasoro
  • Konjektur monodromi bobot
  • Konjektur kegandaan Zariski[36]

Peliputan dan pengepakan

  • Masalah Borsuk pada btas atas dan bawah untuk bilangan himpunan bagian diamater yang terkecil dibutuhkan utuk liputan sebuah himpunan dimensi terbatas.
  • Masalah pengepakan Rado: jika gabungan persegi yang bayak memilki luas satuan, seberpa kecil dapat luas terbesaar diliputi oleh sebuah himpunan bagian lepas persegi-persegi?[37]
  • Konjektur Erdős–Oler yang ketika merupakan sebuah bilangan segitiga, pengepakan lingkaran dalam sebuah segitiga sama sisi membutuhkan sebuah segitiga dari ukuran yang sama sebagai pengepakan lingkaran [38]
  • Masalah bilangan ciuman untuk dimensi selain 1, 2, 3, 4, 8 dan 24[39]
  • Konjektur Reinhardt bahwa oktagon yang mulus memiliki kerapatan pengepakan maksimum terendah dari semua himpunan bidang simetris pusat[40]
  • Masalahpengepakan bola, termasuk kerapatan dari pengepakan terapat dalam dimensi selain 1, 2, 3, 8, dan 24, dan perilaku asimtotiknya untuk dimensi yang tinggi.
  • Pengepakan persegi dalam sebuah persegi: berapa rata-rata pertumbuhan asimtotik dari ruang yang terbuang?[41]
  • Konjektur pengepakan Ulam mengenai identitas dari padatan cembung pengepakan terburuk[42]

Geometri diferensial

  • The Konjektur luas pengisi, yang sebuah setengah bola memiliki luas minimum disekitar among permukaan bebas pintas dalam ruang Euklides yang perbatasannya membentuk sebuah kurva tertutub dari panjang yang diberikan[43]
  • Konjektur Hopf mengaitkan kelengkungan dan karaterisitk Euler dari manifold Riemann dimensi yang lebih tinggi[44]
  • The Masalah Bernstein bola, sebuah rampat kemungkinan dari masalah Bernstein yang asli.
  • Konjektur Cartan–Hadamard: Dapatkah pertidaksamaan isoperimetrik klasik untuk himpunan bagian ruang Euklides diperpanjang menjadi ruang kelengkungan takpositif, dikenal sebagai manifold Cartan–Hadamard?
  • Konjektur Carathéodory
  • Konjektur Chern (geometri afin)
  • Konjektur Chern untuk hiperpermukaan dalam bola
  • Konjektur Yau
  • Konjektu Yau pada eigenniiai pertama
  • Masalah kurva tertutup: Carilah syarat perlu dan cukup (eksplisit) yang menentukan ketika, diberikan dua fungsi berkalai dengan periode yang sama, kurva integral tertutup.[45]

Geometri diskret

Dalam tiga dimensi, bilangan ciumannya adalah 12, karena 12 bola satuan taktumpang tindih dapat ditaruh menjadi kontak dengan sebuah bola satuan pusat. (Disini, pusat-pusat bola luar membentuk puncak ikosahedron regular.) Bilangan ciuman hanya dikenal persis dalam dimensi 1, 2, 3, 4, 8 dan 24.
  • Menyelesaikan masalah akhir yang bahagia untuk sembarang [46]
  • Mencari pemadanan batas atas dan bawah untuk himpunan-k dan membagi garis[47]
  • Konjektur Hadwiger pada peliputan benda cembung n-dimensi dengan paling banyak salinan yang lebih kecil?[48]
  • Masalah segitiga Kobon pada segitiga dalam garis urutan garis[49]
  • Masalah Kusner yang paling banyak titik dapat berjarak sama dalam ruang [50]
  • Masalah McMullen pada himpunan transformasi dengan cara proyeksi dari dua titik menjadi posisi cekung[51]
  • Pengepakan penyanggah berkaki tiga[52]
  • Berapa banyak jarak satuan yang dapat ditentukan oleh sebuah himpunan dari titik dalam bidang Euclides?[53]
  • Masalah hutan buram
  • Meningkatkan batas bawah dan atas untuk masalah segitiga Heilbronn.
  • Konjektur 3^d Kalai pada jumlah kemungkinan terkecil dari sisi politop simetrik terpusat.[54]

Geometri Euklides

  • Konjektur Atiyah pada konfigurasi[55]
  • Belmann tersesat dalam sebuah hutan – carilah jalan terpendek yang dijamin mendekati batasnya dari sebuah bentuk yang diberikan, dimulai pada titik yang takdiketahui dari bentuk dengna orientasi yang takdiketahui[56]
  • Gelanggang Borromean — apakah tiga kurva ruang taktersimpul, bukan semua tiga lingkaran, yang tidak dapat disusun untuk membentuk tautan ini?[57]
  • Masalah Danzer dan masalah lalat mati Conway – apakah himpunan Danzer dari kerapatan yang dibatasi atau pemisahan yang dibatasi ada?[58]
  • Pembedahan ke ortoskema – apakah mungkin untuk simpleks-simpleks dari setiap dimensi?[59]
  • Masalah einstein – apakah terdapat sebuah bentuk dua dimensi yang membentuk prototile untuk sebuah pengubinan aperiodik, tapi bukan untuk suatu pengubinan periodik?[60]
  • Konjektur Falconer bahwa himpunan dimensi Hausdorff lebih besar daripada di harus memiliki sebuah himpunan jarak ukuran Lebesgue[61]
  • Masalah persegi dalam, juga dikenal sebagai konjektur Toeplitz – apakah setiap kurva Jordan memilik sebuah persegi dalam?[62]
  • Konjektur Kakeya – apakah himpunan -dimensi yang berisi sebuah ruas garis satuan dalam setiap arah selalu memiliki dimensi Hausdorff dan dimensi Minkowski sama dengan ?[63]
  • Masalah Kelvin pada partisi luas permukaan minimum dari ruang ke sel volume yang sama, dan and the optimalitas dari struktur Weaire–Phelan sebagai sebuah penyelesaian untuk masalah Kelvin[64]
  • Masalah peliputan semesta Lebesgue pada bentuk cembung luas minimum dalam bidang yang dapat meliputi suatu bentuk diameter[65]
  • Konjektur Mahler pada darab dari volume benda cembung simetrik terpusat dan polarnya.[66]
  • Masalah cacing Moser – berapakah luasterkecil dari sebuah bentuk yang dapat meliputi setiap kurva panjang satuan dalam bidang?[67]
  • Masalah sofa bergerak – berapa luas terbesar dari sebuah bentuk yang dapat diarahkan melalui sebuah lebar satuan koridor berbentuk huruf L?[68]
  • Masalah Shephard (atau konjektur Dürer) – apakah setiap polihedron cembung memiliki sebuah jaring, atau pembukaan lipatan tepi yang sederhana?[69][70]
  • Masalah Thomson – berapa konfigurasi energi minimum dari partikel pengelakan satu sama lain pada sebuah bola satuan?[71]
  • Seragam 5 politop – carilah dan golongkan himpunan sempurna dari bentuk-bentuk ini[72]

Teori graf

Lintasan dan siklus dalam graf

  • Konjektur Barnette bahwa setiap graf planar tiga terhubung dwipihak kubik memiliki sebuah siklus Hamilton[73]
  • Konjektur kekerasan Chvátal, bahwa terdapat sebuah bilangan sehingga setiap graf keras- adalah Hamilton[74]
  • Konjektur peliputan ganda siklus bahwa setiap yang tanpa jembatan, memiliki sebuah keluarga siklus yang termasuk setiap tepi dua kali[75]
  • Konjektur Erdős–Gyárfás pada siklus dengan panjang pangkat dari dua dalam graf kubik[76]
  • Konjektur arborisitas linear pada penguraian graf menjadi gabungan lepas lintasan menurut derajat maksimumnya[77]
  • Konjektur Lovász pada lintasan Hamilton dalam graf simetrik[78]
  • Masalah Oberwolfach di mana 2 graf beraturan memilik sifat bahwa sebuah graf sempurna pada jumlah puncak yang sama dapat diuraikan menjadi salinan tepi-lepas dari graf yang diberikan.[79]
  • Konjektur Szymanski

Pewarnaan and pelabelan graf

Sebuah contoh dari konjektur Erdős–Faber–Lovász: sebuah graf dibentuk dari empat klik mengenai empat setiap verteks, suatu dua yang memotong dalam sebuah verteks tunggal, dapat menjadi empat berwarna.
  • Konjektur Cereceda pada diameter dari ruang pewarnaan graf merosot[80]
  • Konjektur Erdős–Faber–Lovász pada gabungan pewarnaan klik[81]
  • Konjektur Gyárfás–Sumner pada keterbatasan dari graf dengan sebuah pohon terimbas yang dliarang[82]
  • Konjektur Hadwiger mengaitkan pewarnaan untuk minor klik[83]
  • Masalah Hadwiger–Nelson pada bilangan kromatik dari graf jarak satuan[84]
  • Konjektur pewarnaan Jaeger's Petersen bahwa setiap grafik kubik takberjembantan memiliki sebuah pemetaan siklus-kontinu ke graf Petersen[85]
  • Daftar pewarnaan konjektur bahwa, untuk setiap grad, daftar kromatik indeks sama dengan indeks kromatik[86]
  • Konjektur pewarnaan total Behzad dan Vizing bahwa bilangan kromatik total paling banyak dua ditambah derajat maksimum[87]

Gambaran graf

  • Konjektur Albertson yang bilangan penyilangan dapat menjadi bawah terbatas oleh bilangan penyilangan mengenai sebuah graf lengkapdengan bilangan kromatik yang sama[88]
  • Konjektur Blankenship–Oporowski pada ketebalam buku mengenai subpembagian[89]
  • Konjektur thrackle Conway[90]
  • Konjektur Harborth bahwa setiap graf planar dapat digabar dengan panjang sisi bilangan bulat[91]
  • Konjektur Negami pada pembenaman graf-projektif mengenai graf dengan liput planar[92]
  • Konjektur Papadimitriou–Ratajczak kuat bahwa setiap graf polihedral memiliki sebuah pembenaman serakah cembung[93]
  • Masalah pabrik batu bata Turán – Apakah terdapat sebuah gambaran mengenai suatu graf dwipihak lengkap dengan penyilangan lebih sedikit daripada bilangan yang diberikan oleh Zarankiewicz?[94]
  • Himpunan titik semesta mengenai ukuran subkuadrat untuk graf planar[95]

Wakilan kata graf

  • Mengkarakteristik graf planar kata (tak-)terwakilkan[96][97][98][99]
  • Mengkarakteristik kata terwakilkan triangulasi dekat berisi graf lengkap (seperti sebuah karakterisasi dikenal untuk graf planar [100])
  • Menggolongkan graf dengan bilangan wakilan 3, yaitu, graf yang dapat diwakili menggunakan 3 salinan setiap huruf, tapi tidak dapat diwakili menggunakan 2 salinan setiap huruf [101]
  • Apakah graf garis mengenai sebuah graf kata takterwakilkan selalu kata takterwakilkan? [96][97][98][99]
  • Apakah terdapat suatu graf pada verteks yang wakilannya membutuhkan lebih dari salinan setiap huruf? [96][97][98][99]
  • Apakah benar bahwa dari semua graf mahkota, graf dwipihak membutuhkan kata terwakilkan terpanjang? [102]
  • Mengkarakteristik graf kata terwakilkan dalam hal subgraf terlarang (terimbas).[96][97][98][99]
  • Masalah (sulit) mana pada graf dapat diterjemahkan ke kata yang mewakilkannya dan diselesaikan pada kata-kata (dengan efisien)? [96][97][98][99]

Teori graf lainnya

  • Masalah 99-graf Conway: apakah ada sebuah graf beraturan kuat dengan parameter ?[103]
  • Konjektur Erdős–Hajnal pada klik besar atau himpunan bebas dalam graf dengan sebuah subgraf terimbas terlarang[104]
  • Konjektur GNRS mengenai apakah keluarga graf minor tertutup memiliki pembenaman dengan distorsi terbatas[105]
  • Konjektur kerikil Graham pada bilangan kerikil mengenai produk Cartesius dari graf[106]
  • Konjektur graf implisit pada keberadaan mengenai wakilan implisit untuk keluarga graf turunan yang bertumbuh dengan menurun[107]
  • Konjektur Jørgensen bahwa setiap graf minor bebas terhubung 6 verteks adalah sebuah graf puncak[108]
  • Konjektur Meyniel bahwa bilangan polisi adalah [109]
  • Apakah sebuah graf Moore dengan ketebalan 5 dan derajat 57 ada?[110]
  • Berapa kemungkinan terbesar lebar lintasan graf kubik verteks- ?[111]
  • Konjektur rekonstruksi dan konjektur rekonstruksi digraf baru mengenai apakah sebuah graf secara unik ditentukan oleh subgraf verteks terhapuskannya.[112][113]
  • Masalah lingkungan kedua: apakah setiap graf terorientasi berisi sebuah verteks untuk yang terdapat setidaknya verteks lainnya di jarak dua sebagai di jarak satu?[114]
  • Apaskah terdapat graf geodetik beraturan kuat, atau suatu graf geodetik beraturan kuat yang bukan merupakan graf Moore?[115]
  • Konjektur Sumner: apakah setiap turnamen -verteks berisi sebuah subgraf setiap pohon berorientasi verteks- ?[116]
  • Konjektur Tutte bahwa setiap graf tanpa jembatan memiliki sebuah 5-alir nol di mana-mana dan setiap graf tanpa jembatan bebas-minor-Petersen memiliki sebuah 4-alir nol di mana-mana[117]
  • Konjektur Vizing pada bilangan dominasi mengenai produk Cartesius dari graf[118]
  • Masalah Zarankiewicz

Teori grup

Grup Burnside bebas adalah terhingga; dalam graf Cayleynya, ditunjukkan disini, setiap 27 unsur diwakili oleh sebuah verteks. Pertanyaannya yang mana grup lainnya terhingga tetap terbuka.
  • Apakah setiap grup periodik disajikan hingga adalah terhingga?
  • Masalah Galois balikan: apakah setiap grup hingga adalah grup Galois mengenai sebuah perluasan Galois dari rasional?
  • Untuk yang bilangan bulat positif , adalah grup Burnside bebas terhingga? Khususnya, apakah terhingga?
  • Apakah setiap grup surjungtif?
  • Konjektur Andrews–Curtis
  • Konjektur Herzog–Schönheim
  • Apakah cahaya bulan rampat ada?
  • Apakah terdapat bilangan takhingga mengenai grup Leinster?
  • Konjektur Guralnick–Thompson[119]
  • Masalah dalam teori gelung dan teori kuasigrup menganggap rampat grup
  • Kourovka Notebook merupakan sebuah kumpulan masalah yang belum terpecahkan dalam teori grup, diterbitkan pertama pada tahun 1965 dan diperbarui berkali-kali sejak.[120]

Teori model dan bahasa formal

  • Konjektur Vaught
  • Konjektur Cherlin–Zilber : Sebuah grup sederhana yang teori tingkat pertama adalah stabil di merupakan sebuah grup aljabar sederhana atas sebuah medan tertutup secara aljabar.
  • Konjektur Celah Utama, misalnya untuk teori tingkat pertama taktercacahkan, untuk kelas elementer abstrak, dan untuk model jenuh mengenai sebuah teori tercacahkan.[121]
  • Menentukan struktur tingkat Keisler[122][123]
  • Konjektur medan stabil: setiap medan takhingga dengan sebuah teori tingkat pertama stabil tertutup secara terpisah.
  • Apakah teori dari medan deret Laurent atas terputuskan? dari medan polinomial atas ?
  • Apakah teori monadik Borel dari terputuskan tingkat real? Apakah teori monadik mengenai terputuskan secara konsisten urutan rapi?[124]
  • Konjektur Bercabang Dua Stabil untuk teori sederhana[125]
  • Untuk yang medan bilangan apakah masalah kesepuluh Hilbert berlaku?
  • Asumsi adalah kelas model teori tingkat pertama tercacahkan menghilangkan banyajk tipe tercacah. Jika memilki sebuah model kekardinalan , apakah ini mempunyai sebuah model kontinum kekardinalan?[126]
  • Konjektur akhir kategoritas Shelah: Untuk setiap kardinal , terdapat sebuah kardinal sehingga jika sebuah kelas elementer abstrak dengan adalah kategoris dalam sebuah kardinal di atas , maka kategorisnya dalam semua kardinal di atas .[121][127]
  • Konjektur kategoris Shelah untuk : Jika sebuah kalimat adalah kategoris di atas bilangan Hanf, maka kategorisnya di atas bilangan Hanf.[121]
  • Apakah ada sebuah logika yang memenuhi kedua sifat Beth dan interpolasi- , adalah kompak tapi tidak memenuhi sifat interpolasi?[128]
  • Jika kelas model atomik teori tingkat pertama lengkap adalah kategoris dalam , apakah kategoris dalam setiap kardinal?[129][130]
  • Apakah setiap takhingga, medan minimal mengenai nol karakteristik tertutup secara aljabar? (Disini, "minimal" berarti bahwa setiap himpunan bagian terdefinisikan dari struktur adalah hingga atau ko-hingga.)
  • Konjektur Kueker[131]
  • Apakah terdapat sebuah teori tingkat pertama minimal-o dengan fungsi trans-eksponensial (bertumbuh dengan cepat)?
  • Apakah sebuah struktur homogen disajikan untuk sebuah bahasa relasional hingga memiliki pengurangan ?
  • Apakah graf Henson memiliki sifat model hingga?
  • Masalah keuniversalan untuk graf bebas- : Untuk yang himpunan hingga mengenai graf, apakah kelas graf tercacahkan bebas- memiliki sebuah anggota semesta terhadap pembenaman kuat?[132]
  • Masalah spektrum keuniversalan: Apakah terdapat sebuah teori tingkat pertama yang spektrum keuniversalan adalah minimum?[133]
  • Masalah tinggi bintang rampat
  • Masalah fungsi eksponensial Tarski

Teori bilangan

Umum

6 adalah sebuah bilangan sempurna karena ini adalah jumlah pembagi positif wajarnya, 1, 2 dan 3. Ini tidak diketahui berapa banyak bilangan sempurna, atau jika suatu dari mereka adalah ganjil.
  • Apakah 10 sebuah bilangan sendirian?
  • Apakah π sebuah bilangan normal (digitnya "secara acak")?[134]
  • Apakah ada bilangan aneh ganjil?
  • Apakah ada bilangan kuasisempurna?
  • Apakah ada bilangan Lychrel?
  • Apakah ada bilangan sempurna ganjil?
  • Apakah ada bilangan Taxicab(5, 2, n) untuk ?
  • Apakah terdapat pasangan bilangan bersahabat yang memiliki paritas yang berlawanan?
  • Apakah terdapat suatu pasangan bilangan bersahabat relatif prima?
  • Apakah terdapat tak hingga banyaknya bilangan bersahabat?
  • Apakah terdapat tak hingga banyaknya bilangan bertunangan?
  • Apakah terdapat tak hingga banyaknya bilangan sempurna?
  • Apakah terdapat suatu bilangan bertunangan yang memiliki paritas yang sama?
  • Apakah terdapat sebuah sistem peliputan dengan moduli berbeda ganjil?[135]
  • Bilangan bulat mana yang dapat ditulis sebagai jumlah tiga kubik sempurna?[136]
  • Hipotesis Riemann
    • Hipotesis Riemann Besar
    • Hipotesis Riemann rampat
  • Hipotesis Lindelöf dan akibatnya, hipotesis kerapatan untuk nol dari fungsi zeta Riemann (ilhat teorema Bombieri–Vinogradov)
  • Konjektur Beilinson
  • Konjektur Casas–Alvero
  • Konjektur Catalan–Dickson pada barisan alikuot
  • Konjektur Erdős–Straus
  • Konjektur fungsi phi Carmichael
  • Konjektur Grimm
  • Konjektur Goormaghtigh
  • Konjektur Hall
  • Konjektur Hilbert–Pólya
  • Konjektur korelasi pasangan Montgomery
  • Konjektur Keating–Snaith mengenai asimtotik integral melibatkan fungsi zeta Riemann[137]
  • Konjektur ketunggalan untuk bilangan Markov[138]
  • Konjektur Leopoldt
  • Konjektur Littlewood
  • Konjektur Newman
  • Konjektur n
  • Konjektur Pillai
  • Konjektur pasangan eksponen
  • Konjektur Sato–Tate
  • Konjektur Scholz
  • Konjektur Singmaster: apakah terdapat sebuah batas atas hingga pada perkalian dari entri-entri lebih besar dari 1 dalam segitiga Pascal?[139]
  • Konjektur Vojta
  • Masalah Erdős–Moser: apakah hanyalah penyelesaian untuk persamaan Erdős–Moser?
  • Masalah Brocard: keberadaan bilangan bulat, , sehingga selain
  • Masalah kesembilan Hilbert
  • Masalah kesebelas Hilbert
  • Masalah keduabelas Hilbert
  • Masalah Erdős–Ulam
  • Masalah bilangan kongruen (sebuah korolari untuk konjektur Birch and Swinnerton-Dyer, per teorema Tunnell)
  • Masalah phi Lehmer: jika membagi , haruskah menjadi bilangan prima?
  • Masalah lingkaran Gauss – seberapa jauh jumlah titik bilangan bulat dalam sebuah lingkaran terpusat di asalnya dari luas lingkaran?
  • Mencari nilai tetapan de Bruijn–Newman
  • Piltz divisor problem, termasuk juga masalah pembagi Dirichlet

Teori bilangan aditif

  • Konjektur Beal
  • Konjektur Fermat–Catalan
  • Konjektur Goldbach
  • Konjektur Lemoine
  • Nilai dan dalam masalah Waring
  • Konjektur Lander, Parkin, dan Selfridge
  • Konjektur Gilbreath
  • Konjektur Erdős pada barisan aritmetik
  • Konjektur Erdős–Turán pada dasar aditif
  • Konjektur bilangan oktahedral Pollock
  • Masalah Skolem
  • Menentukan laju pertumbuhan (lihat teorema Szemerédi)
  • Masalah bertindih minimum
  • Apakah bilangan Ulam memiliki sebuah kerapatan positif?

Teori bilangan aljabar

  • Apakah terdapat banyaknya medan bilangan kuadrat dengan faktorisasi tunggal (Masalah bilangan kelas)?
  • Mencirikan semua medan bilangan aljabar yang memiliki suatu basis pangkat.
  • Konjektur Stark (termasuk konjektur Brumer–Stark)
  • Konjektur Kummer–Vandiver
  • Konjektur Greenberg
  • Masalah Hermite

Teori bilangan komputasi

  • Faktorisasi bilangan bulat: Dapatkah faktorisasi bilangan bulat diselesaikan dalam waktu polinomial?

Bilangan prima

Konjektur Goldbach menyatakan bahwa semua bilangan bulat genap yang lebih besar daripada 2 dapat ditulis sebagai jumlah dua bilangan prima. Disini diilustrasikan untuk bilangan bulat genap dari 4 sampai dengan 28.

Bilangan prima adalah bilangan asli lebih besar daripada 1 dan tidak dapat ditulis sebagai perkalian dua bilangan asli yang lebih kecil dari bilangan tersebut. Bilangan prima berperan penting dalam teori bilangan karena teorema dasar aritmetika menyatakan bahwa setiap bilangan asli lebih besar daripada 1, dapat merupakan bilangan prima atau dapat difaktorkan sebagai perkalian bilangan-bilangan prima yang unik.

Beberapa masalah mengenai bilangan prima membahas tentang banyaknya bilangan prima yang memenuhi sifat tertentu. Secara spesifik, daftar berikut bertanya apakah jenis bilangan-bilangan prima berikut memiliki jumlah yang tak hingga:

Sedangkan beberapa masalah lain lebih dikenal dari nama konjekturnya, seperti:

Atau terlalu spesifik untuk mendapatkan nama khusus, seperti:

  • Apakah 509,203 merupakan bilangan Riesel terendah?
  • Apakah 78,557 merupakan bilangan Sierpiński terendah (disebut konjektur Selfridge)?
  • Apakah ada bilangan komposit yang memenuhi ?
  • Apakah ada bilangan prima Wall–Sun–Sun?
  • Apakah ada bilangan Wieferich dalam basis 47?
  • Apakah konvers dari teorema Wolstenholme juga berlaku untuk semua bilangan asli?
  • Apakah semua bilangan Euklides kuadrat-bebas?
  • Apakah semua bilangan Fermat kuadrat-bebas?
  • Apakah semua bilangan Fermat komposit untuk ?
  • Apakah semua bilangan prima Mersenne dengan indeks bilangan prima bersifat kuadrat-bebas?
  • Apakah semua bilangan prima muncul di barisan Euclid–Mullin?
  • Dapatkah sebuah bilangan prima memenuhi dan secara serentak?[140]
  • Masalah Landau
  • Masalah parit Gauss: apakah mungkin untuk menemukan sebuah barisan takhingga dari bilangan prima Gauss yang berbeda sehingga beda di antara bilangan berurutan dalam barisan adalah terbatas?
  • Masalah yang terkait dengan teorema Linnik
  • Mencari bilangan Skewes terkecil
  • Untuk suatu bilangan bulat yang bukan sebuah pangkat sempurna dan bukan dari bentuk untuk bilangan bulat , apakah terdapat bilangan prima satuan berulang banyak untuk basis ?
  • Untuk sembarang bilangan bulat , apakah terdapat tak hingga banyaknya bilangan prima sehingga ?[141]
  • Untuk sembarang bilangan bulat , apakah terdapat tak hingga banyaknya bilangan prima Lucas–Wieferich yang berasosiasi dengan pasangan ?
  • Untuk sembarang bilangan bulat non-kuadrat dan tidak sama dengan , apakah terdapat tak hingga banyaknya bilangan prima dengan sebagai salah satu akar primitifnya?
  • Untuk sembarang bilangan bulat , , , yang memenuhi dan , apakah terdapat tak hingga banyaknya bilangan prima yang memiliki bentuk dengan merupakan bilangan bulat?

Teori himpunan

  • Masalah mencari model teras, salah satunya yang berisi semua kardinal besar.
  • Jika merupakan sebuah kardinal limit kuat, maka (lihat Hipotesis kardinal tunggal). Batas terbaik, , diperoleh oleh Shelah menggunakan teori kofinalitas mungkinnya.
  • Hipotesis-Ω Woodin.
  • Apakah kekonsistenan dari keberadaan kardinal kompak kuat menyiratkan keberadaan konsisten dari sebuah kardinal superkompak?
  • (Woodin) Apakah Hipotesis Kontinum Rampat di bawah sebuah kardinal kompak kuat menyiratkan Hipotesis Kontinum Rampat di mana-mana?
  • Apakah ada sebuah aljabar Jónsson pada ?
  • Tanpa mengasumsi aksioma pemilihan, dapatkah sebuah pembenaman elementer taktrivial ada?
  • Apakah Hipotesis Kontinum Rampat memerlukan untuk setiap kardinal tunggal ?
  • Apakah Hipotesis Kontinum Rampat menyiratkan keberadaan pohon Suslin-ℵ2?
  • Apakah aksioma pewarnaan buka konsisten dengan ?

Topologi

Masalah ketaksimpulan menanyakan apakah terdapat sebuah algoritme yang efisien untuk mengidentifikasikan ketika bentuknay disajikan dalam sebuah diagram simpul sebenarnya tak simpul (unknot).
  • Konjektur Baum–Connes
  • Konjektur Bing–Borsuk
  • Konjektur Borel
  • Konjektur Hilbert–Smith
  • Konjektur Mazur[142]
  • Konjektur Novikov
  • Konjektur teropong
  • Masalah taksimpulan (unknotting problem)
  • Konjektur volume
  • Konjektur Whitehead
  • Konjektur Zeeman

Masalah terpecahkan sejak tahun 1995

Alir Ricci, yang diilustrasikan sebagai sebuah manifold 2D, merupakan alat utama dalam penyelesaian Grigori Perelman dari konjektur Poincaré.

Aljabar

  • Konjektur Suita (Qi'an Guan dan Xiangyu Zhou, 2015) [143]
  • Konjektur torsi (Loïc Merel, 1996)[144]
  • Konjektur Carlitz–Wan (Hendrik Lenstra, 1995)[145]

Analisis

  • Masalah Kadison–Singer (Adam Marcus, Daniel Spielman and Nikhil Srivastava, 2013)[146][147] (dan konjektur Feichtinger, konjektur trotoar Anderson, konjektur dan ahli teori ketakcocokan Weaver, konjektur Bourgain-Tzafriri dan konjektur- )
  • Konjektur ukuran Ahlfors (Ian Agol, 2004)[148]
  • Konjektur gradien (Krzysztof Kurdyka, Tadeusz Mostowski, Adam Parusinski, 1999)[149]

Kombinatorika

  • Konjektur jumlah himpunan Erdős (Joel Moreira, Florian Richter, Donald Robertson, 2018)[150]
  • Konjektur-g McMullen pada kemungkinan bilangna sisi dimensi yang berbeda dalam sebuah bola simplisial (juga konjektur Grünbaum , beberapa konjektur mengenai Kühnel) (Karim Adiprasito, 2018)[151][152]
  • Konjektur Hirsch (Francisco Santos Leal, 2010)[153][154]
  • Konjektur Stanley–Wilf (Gábor Tardos dan Adam Marcus, 2004)[155] (dan juga konjektur Alon–Friedgut)
  • Konjektur Kemnitz (Christian Reiher, 2003, Carlos di Fiore, 2003)[156]

Sistem dinamikal

Teori permainan

Geometri

Abad ke-21

  • Konjektur Yau (Antoine Song, 2018)[163]
  • Pengubinan segilima (Michaël Rao, 2017)[164]
  • Konjektur Willmore (Fernando Codá Marques dan André Neves, 2012)[165]
  • Masalah jarak berbeda Erdős (Larry Guth, Nets Hawk Katz, 2011)[166]
  • Konjektur pengubinan heterogen (menguadratkan bidang) (Frederick V. Henle dan James M. Henle, 2008)[167]
  • Konjektur kejinakan (Ian Agol, 2004)[148]
  • Teorema laminasi akhir (Jeffrey F. Brock, Richard D. Canary, Yair N. Minsky, 2004)[168]
  • Masalah kaidah Carpenter (Robert Connelly, Erik Demaine, Günter Rote, 2003)[169]
  • Konjektur Nagata (Ivan Shestakov, Ualbai Umirbaev, 2003)[170]
  • Konjektur gelembung ganda (Michael Hutchings, Frank Morgan, Manuel Ritoré, Antonio Ros, 2002)[171]

Abad ke-20

  • Konjektur sarang lebah (Thomas Callister Hales, 1999)[172]
  • Konjektur Bogomolov (Emmanuel Ullmo, 1998, Shou-Wu Zhang, 1998)[173][174]
  • Konjektur Kepler (Samuel Ferguson, Thomas Callister Hales, 1998)[175]
  • Konjektur bidang dua belas (Thomas Callister Hales, Sean McLaughlin, 1998)[176]

Teori graf

  • Konjektur Kahn–Kalai (Jinyoung Park dan Huy Tuan Pham, 2022)[177]
  • Konjektur Blankenship–Oporowski tentang ketebalan subpembagian buku (Vida Dujmović, David Eppstein, Robert Hickingbotham, Pat Morin, dan David Wood, 2021)[178]
  • Konjektur Ringel, membahas tentang pelabelan pohon yang anggun (Richard Montgomery, Benny Sudakov, Alexey Pokrovskiy, 2020)[179][180]
  • Bantahan konjektur Hedetniemi tentang bilangan kromatik dari darab tensor graf (Yaroslav Shitov, 2019)[181]
  • Masalah Babai (Alireza Abdollahi, Maysam Zallaghi, 2015)[182]
  • Konjektur Alspach (Darryn Bryant, Daniel Horsley, William Pettersson, 2014)
  • Konjektur Scheinerman (Jeremie Chalopin and Daniel Gonçalves, 2009)[183]
  • Konjektur Erdős–Menger (Ron Aharoni, Eli Berger 2007)[184]
  • Konjektur pewarnaan jalanan (Avraham Trahtman, 2007)[185]
  • Teorema Robertson–Seymour (Neil Robertson, Paul Seymour, 2004)[186]
  • Konjektur graf sempurna kuat (Maria Chudnovsky, Neil Robertson, Paul Seymour and Robin Thomas, 2002)[187]

Teori grup

Teori bilangan

Abad ke-21

  • Konjektur Duffin–Schaeffer (Dimitris Koukoulopoulos, James Maynard, 2019)
  • Konjektur utama dalam teorema nilai purata Vinogradov (Jean Bourgain, Ciprian Demeter, Larry Guth, 2015)[191]
  • Konjektur lemah Goldbach (Harald Helfgott, 2013)[192][193][194]
  • Keberadaan celah batas antara bilangan prima (Yitang Zhang, Polymath8, James Maynard, 2013)[195][196][197]
  • Konjektur modularitas Serre (Chandrashekhar Khare dan Jean-Pierre Wintenberger, 2008)[198][199][200]
  • Konjektur Catalan (Preda Mihăilescu, 2002)[201]

Abad ke-20

Teori Ramsey

  • Konjektur Burr–Erdős (Choongbum Lee, 2017)[205]
  • Masalah rangkap tiga Pythagoras Boole (Marijn Heule, Oliver Kullmann, Victor W. Marek, 2016)[206][207]

Ilmu komputer teoritis

  • Konjektur sensitivitas dalam fungsi Boole (Hao Huang, 2019) [208]

Topology

  • Menentukan apakah simpul Conway merupakan simpul irisan (Lisa Piccirillo, 2020)[209][210]
  • Konjektur Haken maya (Ian Agol, Daniel Groves, Jason Manning, 2012)[211] (dan juga konjektur terserat sebenarnya, karya Daniel Wise)
  • Konjektur Hsiang–Lawson (Simon Brendle, 2012)[212]
  • Konjektur Ehrenpreis (Jeremy Kahn, Vladimir Markovic, 2011)[213]
  • Konjektur Atiyah (Austin, 2009)[214]
  • Hipotesis kobordisme (Jacob Lurie, 2008)[215]
  • Konjektur bentuk ruang bola (Grigori Perelman, 2006)
  • Konjektur Poincaré (Grigori Perelman, 2002)[216]
  • Konjektur geometrisasi, dibuktikan oleh Grigori Perelman dalam serangkaian pracetak tahun 2002–2003
  • Bantahan konjektur Ganea (Iwase, 1997)[217]

Masalah yanag belum dikategorisasikan

Abad ke-20

2010an
  • Masalah ketakcocokan Erdős (Terence Tao, 2015)
  • Konjektur sinar bulan umbral (John F. R. Duncan, Michael J. Griffin, Ken Ono, 2015)
  • Konjektur Anderson tentang bilangan kelas difeomorfisme hingga dari kumpulan 4-manifold yang memenhi sifat-sifat tertentu (Jeff Cheeger, Aaron Naber, 2014)[218]
  • Pertidaksamaan korelasi Gauss (Thomas Royen, 2014)[219]
  • Konjektur Beck tentang ketakcocokan sistem himpunan yang dibentuk dari tiga permutasi (Alantha Newman, Aleksandar Nikolov, 2011)[220]
  • Konjektur Bloch–Kato (Voevodsky, 2011) (konjektur Quillen–Lichtenbaum dan konjektur Beilinson–Lichtenbaum dipecahkan oleh Thomas Geisser dan Marc Levine (2001))
  • Masalah himpunan Sidon (Javier Cilleruelo, Imre Z. Ruzsa, dan Carlos Vinuesa, 2010)[221]
2000an
  • Konjektur Kauffman–Harary (Thomas Mattman, Pablo Solis, 2009)[222]
  • Konjektur subgrup permukaan (Jeremy Kahn, Vladimir Markovic, 2009)[223]
  • Konjektur kelengkungan skalar Norman dan konjektur Böttcher–Wenzel (Zhiqin Lu, 2007)[224]
  • Konjektur Nirenberg–Treves (Nils Dencker, 2005)[225][226]
  • Konjektur Lax (Adrian Lewis, Pablo Parrilo, Motakuri Ramana, 2005)[227]
  • Lema dasar Langlands–Shelstad (Ngô Bảo Châu dan Gérard Laumon, 2004)[228]
  • Teorema Green–Tao (Ben J. Green dan Terence Tao, 2004)[229]
  • Konjektur Cameron–Erdős (Ben J. Green, 2003, Alexander Sapozhenko, 2003)[230][231]
  • Konjektur Milnor (Vladimir Voevodsky, 2003)[232]
  • Konjektur Kirillov (Ehud Baruch, 2003)[233]
  • Konjektur Kouchnirenko (Bertrand Haas, 2002)[234]
  • Konjektur n! (Mark Haiman, 2001)[235] (dan juga konjektur kepositifan Macdonald)
  • Konjektur Kato (Pascal Auscher, Steve Hofmann, Michael Lacey, Alan McIntosh, dan Philipp Tchamitchian, 2001)[236]
  • Konjektur Deligne 1-motif (Luca Barbieri-Viale, Andreas Rosenschon, Morihiko Saito, 2001)[237]
  • Teorema modularitas (Christophe Breuil, Brian Conrad, Fred Diamond, dan Richard Taylor, 2001)[238]
  • Konjektur Erdős–Stewart (Florian Luca, 2001)[239]
  • Masalah Berry–Robbins (Michael Atiyah, 2000)[240]
  • Masalah Erdős–Graham (Ernest S. Croot III, 2000)[241]

Abad ke-20

  • Konjektur Harary tentang jumlah integral dari graf lengkap (Zhibo Chen, 1996)[242]

Lihat pula

Referensi