ค้นหา
  
Search Engine Optimization Services (SEO)

ปัญหารางวัลมิลเลนเนียม

ปัญหารางวัลมิลเลนเนียม เป็นปัญหาที่อยู่บนพื้นฐานของคณิตศาสตร์ 7 ข้อ ซึ่งเสนอในปีค.ศ. 2000 โดยสถาบันคณิตศาสตร์เคลย์ จากการรวบรวมปัญหาสำคัญในวงการวิทยาการคอมพิวเตอร์ ฟิสิกส์ และคณิตศาสตร์ ซึ่งยังพิสูจน์ไม่สำเร็จในขณะนั้น ให้เป็นปัญหาแห่งคริสต์ศตวรรษที่ 21 โดยสถาบันคณิตศาสตร์เคลย์ได้ประกาศมอบเงินรางวัลหนึ่งล้านดอลลาร์สหรัฐให้กับผู้ที่สามารถพิสูจน์ปัญหาข้อใดข้อหนึ่งได้สำเร็จ

ในปี ค.ศ. 2006 สถาบันคณิตศาสตร์เคลย์ได้มอบรางวัลหนึ่งล้านดอลลาร์สหรัฐ ให้กับกริกอรี เพเรลมาน ผู้พิสูจน์ข้อความคาดการณ์ของปวงกาเร หนึ่งในปัญหารางวัลมิลเลนเนียมได้สำเร็จ เป็นปัญหารางวัลมิลเลนเนียมเพียงปัญหาเดียวที่พิสูจน์สำเร็จจนถึงปัจจุบันนี้

ปัญหาพีและเอ็นพีเป็นปัญหาสำคัญทางวิทยาการคอมพิวเตอร์และทฤษฎีการคำนวณ ซึ่งศึกษาความซับซ้อนในการคำนวณ ระหว่างกลุ่มความซับซ้อนพี (P) ซึ่งเป็นกลุ่มปัญหาที่สามารถ ค้นหา (search) คำตอบได้ในเวลาพหุนาม กับกลุ่มความซับซ้อนเอ็นพี (NP) ซึ่งเป็นกลุ่มปัญหาที่สามารถ ตรวจสอบ (verify) คำตอบได้ในเวลาพหุนาม

ปัญหาพีและเอ็นพีตั้งข้อสงสัยว่ากลุ่มความซับซ้อนพีและเอ็นพีเป็นกลุ่มปัญหาเดียวกันหรือไม่ ? เพราะกลุ่มความซับซ้อนพีจะเป็นเซตย่อยของกลุ่มความซับซ้อนเอ็นพีเสมอ เนื่องจากเราสามารถตรวจสอบ คำตอบด้วยการ ค้นหา คำตอบได้ แต่ในปัจจุบันยังพิสูจน์ไม่ได้ว่ากลุ่มความซับซ้อนเอ็นพีจะเป็นเซตย่อยของกลุ่มความซับซ้อนพีหรือไม่? เนื่องจากมีกลุ่มปัญหาเอ็นพีบริบูรณ์ (NP-Complete) ซึ่งสามารถ ตรวจสอบ คำตอบได้ในเวลาพหุนาม แต่ยังไม่พบ ขั้นตอนวิธี ค้นหา คำตอบด้วยความเร็วระดับเวลาพหุนาม

เนื่องจากกลุ่มปัญหาเอ็นพีบริบูรณ์เป็นกลุ่มปัญหาที่ลดรูปซึ่งกันและกัน และลดรูปกับกลุ่มปัญหาเอ็นพีทั้งหมด ดังนั้นหากค้นพบขั้นตอนวิธี ค้นหา คำตอบของปัญหาเอ็นพีบริบูรณ์ปัญหาใดปัญหาหนึ่งเป็นเวลาพหุนาม กลุ่มความซับซ้อนพีจะเป็นกลุ่มปัญหาเดียวกับกลุ่มความซับซ้อนเอ็นพี แต่หากมีบทพิสูจน์ว่าไม่มีขั้นตอนวิธีใดสามารถ ค้นหา คำตอบของปัญหาเอ็นพีบริบูรณ์เป็นเวลาพหุนาม กลุ่มความซับซ้อนพีจะไม่ใช่กลุ่มปัญหาเดียวกับกลุ่มความซับซ้อนเอ็นพี

หากกลุ่มความซับซ้อนพีเท่ากับกลุ่มความซับซ้อนเอ็นพี ปัญหาใดที่ ตรวจสอบ คำตอบได้ในเวลาพหุนาม จะสามารถ ค้นหา คำตอบได้ในเวลาพหุนามไปด้วย ทำให้การ ค้นหา ซึ่งเป็นปัญหาสำคัญทางวิทยาการคอมพิวเตอร์ สามารถทำได้รวดเร็วมากขึ้น และถึงแม้พิสูจน์ได้ว่ากลุ่มความซับซ้อนพีไม่เท่ากับกลุ่มความซับซ้อนเอ็นพี นักคณิตศาสตร์ และวิทยาการคอมพิวเตอร์ก็จะเข้าใจรายละเอียดของการ ตรวจสอบ และการ ค้นหา มากขึ้น และทำให้เข้าใจปัญหาทางคณิตศาสตร์ ชีววิทยา ปรัชญา และปัญหาวิทยาการรหัสลับได้อย่างลึกซึ้งขึ้น

ข้อความคาดการณ์ของปวงกาเรเป็นปัญหาสำคัญทางทอพอโลยี ซึ่งศึกษาสมานสัณฐาน (Homeomorphism) กล่าวคือ ความสามารถในการยืดหดของพื้นผิว (Manifold) ต่าง ๆ ระหว่างคุณสมบัติที่ห่วง (Loop) บนพื้นผิวนั้นสามารถหดลงจนกลายเป็นจุด (Simply connected) กับความสามารถในการยืดหดพื้นผิวให้กลายเป็นทรงกลมได้ ในโลก 3 มิติ อองรี ปวงกาเร พิสูจน์ได้ว่า พื้นผิวสอง มิติปิด (Closed) ที่ห่วงบนพื้นผิวนั้นสามารถหดลงจนกลายเป็นจุดได้ จะยืดหดพื้นผิวเป็นผิวทรงกลมได้เสมอ

ข้อคาดการณ์ของปวงกาเรตั้งข้อสงสัยว่าในโลก 4 มิติ พื้นผิว 3 มิติใด ๆ ที่ห่วงบนพื้นผิวสามารถหดลงจนกลายเป็นจุด จะยืดหดพื้นผิวเป็นทรงกลมผิว 3 มิติได้หรือไม่ ? ทั้งนี้พื้นผิว 4 มิติได้รับการพิสูจน์ว่าจริงในปี ค.ศ. 1961 โดย Stephen Smale และพื้นผิวที่มากกว่า 4 มิติขึ้นไปได้รับการพิสูจน์ว่าจริง Michael Freedman ในปีค.ศ. 1982 แต่พื้นผิว 3 มิติ กลับเป็นปัญหาเดียวที่ยังพิสูจน์ไม่ได้จนถึงค.ศ. 2000

จนในที่สุด ในปีค.ศ. 2003 กริกอรี เพเรลมานได้ตีพิมพ์บทพิสูจน์ข้อคาดการณ์ของปวงกาเร บทพิสูจน์ได้รับการตรวจสอบเสร็จในปีค.ศ. 2006 เพเรลมานได้รับการคัดเลือกให้ได้รับรางวัลฟิลด์มีเดิล แต่เพเรลเมนปฏิเสธรางวัลดังกล่าว สถาบันคณิตศาสตร์เคลย์ได้ประกาศให้รางวัลมิลเลเนียมในวันที่ 18 มีนาคม 2010 แต่เพเรลมานก็ปฏิเสธเช่นกัน โดยไม่ได้ให้เหตุผลกับทางสถาบัน อย่างไรก็ดี เขาได้อธิบายว่านี่เป็นงานของชุมชนคณิตศาสตร์ และความสำเร็จนี้ก็เป็นของนักคณิตศาสตร์ทั้งปวง การให้รางวัลนี้จึงไม่ยุติธรรม เพราะความสำเร็จในการพิสูจน์ข้อความคาดการณ์ของปวงกาเรของเขานั้น ไม่ได้ยิ่งใหญ่ไปกว่าคุณูปการของ Richard Hamilton ผู้เสนอแนวคิดที่เพเรลมานนำมาต่อยอดเพื่อพิสูจน์ข้อความคาดการณ์ของปวงกาเร เลย

การพิสูจน์ข้อความคาดการณ์ของปวงกาเร ทำให้ข้อความที่ว่า พื้นผิวที่ห่วงบนพื้นผิวนั้นสามารถหดลงจนกลายเป็นจุด (Simply connected) จะสามารถยืดหดพื้นผิวให้กลายเป็นทรงกลมได้ เป็นจริงในทุกมิติ ทำให้ใช้วิธีนี้เป็นวิธีทดสอบพื้นฐานทางทอพอโลยี ทั้งทอพอโลยีแบบดั้งเดิม และทอพอโลยีขั้นสูงอีกด้วย

สมมติฐานของรีมันน์เป็นปัญหาสำคัญทางทฤษฎีจำนวน โดยเฉพาะอย่างยิ่งการกระจายตัวของจำนวนเฉพาะ สมมติฐานรีมันน์เกี่ยวข้องกับฟังก์ชันซีตาของรีมันน์ ซึ่งมีส่วนช่วยปรับทฤษฎีบทจำนวนเฉพาะ ให้แสดงการกระจายตัวของจำนวนเฉพาะได้ถูกต้องยิ่งขึ้น ฟังก์ชันซีตาของรีมันน์มีโดเมนเป็นจำนวนเชิงซ้อน โดยค่า z ที่มีส่วนจริง (Real part) มากกว่าศูนย์ และทำให้ผลลัพธ์ของฟังก์ชันซีตาของรีมันน์เป็นศูนย์จะมีผลกระจายตัวของจำนวนเฉพาะ ซึ่งทุก ๆ ค่า z เท่าที่แบร์นฮาร์ด รีมันน์และนักคณิตศาสตร์ผู้อื่นพบว่าคุณสมบัตินี้ กลับอยู่บนเส้นตรงส่วนจริงเท่ากับ 1/2 เท่านั้น และยังไม่พบที่บริเวณอื่นเลย

สมมติฐานรีมันน์ตั้งข้อสงสัยว่า นอกจากค่า z ที่มีส่วนจริงเท่ากับ 1/2 แล้ว ไม่มีค่า z ที่ส่วนจริงมากกว่าศูนย์ใด ๆ อีกที่ทำให้ผลลัพธ์ของฟังก์ชันซีตาของรีมันน์เป็นศูนย์

หากค้นพบว่ามีค่า z อื่นที่ส่วนจริงมากกว่าศูนย์และทำให้ผลลัพธ์ของฟังก์ชันซีตาของรีมันน์เป็นศูนย์ สมมติฐานรีมันน์จะผิดทันที แต่หากมีบทพิสูจน์ว่าไม่มีค่า z อื่นที่ส่วนจริงมากกว่าศูนย์ใด ๆ ที่ทำให้ผลลัพธ์ของฟังก์ชันซีตาของรีมันน์เป็นศูนย์ สมมติฐานรีมันน์ก็จะถูกต้อง

สมมติฐานรีมันน์มีผลกระจายตัวของจำนวนเฉพาะ ถ้าสมมติฐานรีมันน์ผิด แสดงว่าจำนวนเฉพาะกระจายตัว ไม่สม่ำเสมอ ทำให้การค้นหาจำนวนเฉพาะมีความเอนเอียง (bias) ซึ่งจะมีผลกระทบต่อวิทยาการที่อยู่บนพื้นฐานของจำนวนเฉพาะ เช่น วิทยาการรหัสลับ เป็นต้น

ปัญหาการมีอยู่ของหยาง-มิลล์ และมวลพื้น เป็นปัญหาสำคัญทางฟิสิกส์ อยู่ภายใต้ความพยายามสร้างทฤษฎีการรวมแรงครั้งใหญ่และทฤษฎีแห่งสรรพสิ่ง ในขณะนี้ ทฤษฎีหยาง-มิลส์ ได้รวบรวมคุณสมบัติทางฟิสิกส์ โดยเฉพาะอย่างยิ่ง คุณสมบัติทางทฤษฎีสนามควอนตัม ไว้จำนวนมาก แต่ทฤษฎีหยาง-มิลส์ยังอธิบายคุณสมบัติทางคณิตศาสตร์ที่สอดคล้องกับการสังเกตไม่ได้ เช่น คุณสมบัติ Renormalization บน 4 มิติ คุณสมบัติของอนุภาคที่เกี่ยวพันกับมวล-พลังงาน คุณสมบัติของอนุภาคในนิวเคลียสของอะตอม

ปัญหาการมีอยู่ของทฤษฎีหยาง-มิลส์และมวลพื้น จึงตั้งคำถามว่า จงสร้างกรุป ซึ่งเป็นแบบจำลองทางคณิตศาสตร์ ที่มีคุณสมบัติ Renormailization ใน 4 มิติ สามารถลดรูปไปยังทฤษฎีหยาง-มิลส์ และสามารถอธิบายระบบทางฟิสิกส์ได้ โดยเกี่ยวพันกับมวล-พลังงานค่าหนึ่งที่มากกว่าศูนย์เสมอ (ยกเว้นระบบสูญญากาศ) ค่ามวล-พลังงานนี้ เรียกว่ามวลพื้น (Mass gap)

หากค้นพบแบบจำลองดังกล่าว เราอาจเข้าใจคุณสมบัติของสนามแรงเพิ่มเติม และเข้าใกล้ทฤษฎีการรวมแรงครั้งใหญ่ และทฤษฎีแห่งสรรพสิ่ง


 

 

รับจำนำรถยนต์ รับจำนำรถจอด

อาสวกิเลส อวิชชา เอ็มพีแอลเอส ภาวะถ่ายโอนแบบไม่ประสานเวลา แวน สมาร์ทโฟน ไลน์ (โปรแกรมประยุกต์) แอลทีอี 4 จี 3 จี วีโอไอพี บริการข้อความสั้น ใยแก้วนำแสง ระบบโทรศัพท์ การกล้ำสัญญาณ เนตเวิร์กสวิตช์ เราต์เตอร์ สัญญาณดิจิทัล ซิมเพล็กซ์ สายอากาศ เสาอากาศ แลน Transmission Control Protocol อินเทอร์เน็ตโพรโทคอล แพ็กเกตสวิตชิง ดาวเทียมสื่อสาร การพูด การสื่อสารภายในบุคคล การประชาสัมพันธ์ การโฆษณาชวนเชื่อ การตลาด การสื่อสารระหว่างบุคคล ไอแซค อสิมอฟ เขามาจากดาวอังคาร อินุยาฉะ เทพอสูรจิ้งจอกเงิน สโลว์สเต็ป สัญกรณ์โอใหญ่ พรีไบโอติกส์ ป. อินทรปาลิต การเวก (พืช) การพาณิชย์อิเล็กทรอนิกส์ สีเทา สีขาว สีน้ำตาล ม่วง เขียว น้ำเงิน สีกากี ชมพู ระบบสี RGB SVG เบราว์เซอร์ แม่สีแสง CSS RGB เวิลด์ไวด์เว็บคอนซอร์เทียม เว็บจีแอล จาวาสคริปต์ Font family (HTML) ซีเอสเอส สไตล์ชีต ด็อม ซี-เอชทีเอ็มแอล เอกซ์เอชทีเอ็มแอล เอชทีเอ็มแอล5 COLOR ISO 11940 ธอง แม่กุญแจสีม่วง ไวต่ออักษรใหญ่เล็ก แม่กุญแจสีทอง ปากานี ซอนด้า ปากานี ซอนด้า ปากานี ซอนด้า ปากานี ซอนด้า ปากานี ซอนด้า เคนต์ โลตัส อีลิส โรวัน แอตคินสัน พยัคฆ์ร้าย ศูนย์ ศูนย์ ก๊าก พยัคฆ์ร้ายทวงแค้นระห่ำโลก จอมมฤตยู 007 เอียน เฟลมมิง พยัคฆ์ร้ายสะบัดลาย โคเวนทรี ระบบส่งกำลัง โปรตอน เอ็กซ์โซร่า โปรตอน วาจา โปรตอน เพอร์โซนา โปรตอน เพรเว่ นิตยสารฟอร์บส Thai language Japanese language Polish language Italian language Dutch language Hindi 2007 พระแม่กาลี มหาธิการิณี

 

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
จำนำรถราชบุรี รถยนต์ เงินด่วน รับจำนำรถยนต์ จำนำรถยนต์ จำนำรถ 23944