0:00 / 0:00

Những bài toán khó nhất thế giới chưa có lời giải và các giải thưởng triệu đô

Toán Thú Vị
261 N người đăng ký
182.2 N lượt xem1 năm trước
Những bài toán khó nhất thế giới chưa có lời giải và các giải thưởng triệu đô
00:00 - Giới thiệu
00:10 - 1. Giả thuyết Riemann
01:55 - 2. Bài toán P và NP
02:30 - 3.Giả thuyết Goldback
05:05 - 4. Phỏng đoán Collatz
06:36 - 5. Giả thuyết Hodge
08:12 - 6. Bài kiểm tra tính nguyên tố Miller – Rabin
09:56 - 7. Vấn đề Sự tồn tại của Yang Mills và Khoảng cách khối lượng
11:50 - 8. Giả thuyết của Euler
13:35 - 9. Số nguyên tố Sophie Germaine
* Facebook Toán Thú Vị: https://www.facebook.com/groups/757072954764942/
Chúc mọi người xem Video vui vẻ
-----+++++ DONATE me: https://nhantien.momo.vn/0965323988 hoặc https://unghotoi.com/toanthuvi
Mọi người đừng quên đăng ký kênh để cập nhật những Video hấp dẫn, Cảm ơn mọi người.
Toán thú vị: Kênh chia sẻ về những điều lý thú trong toán học như: câu đố vui, các phương pháp tính toán, mẹo tính toán, bài toán nhanh, IQ test, những bài toán vui, hóc búa và cả những sai lầm trong toán học...
Đăng ký kênh tại: https://www.youtube.com/channel/UC2Q8U6edHWMLP2_U15KhJeQ?view_as=subscriber?sub_confirmation=1
Email: [email protected]

8 bình luận

Vui lòng đăng nhập để bình luận.

@
@thithuypham98382 tháng trước

chúc ad sớm 1m sub

@
@thithuypham98382 tháng trước

khá thú vị như tên của kênh v :)

@
@thithuypham98382 tháng trước

nghe thì ez hiểu nhưng để C/M thì k :)

@
@chimzunzun0072 tháng trước

Cái Euler gần giống định lý cuối cùng của Fermat

@
@fx-4312 tháng trước

Cũng là " cơ hội " trở thành triệu phú☠️ cái này chắc là không nổi đâu...

@
@LouisVN4 tháng trước

Bài toán đầu tiên có thể biến nó thành dữ liệu như cái bánh và công thức và người nấu và cái bánh rồi biến nó thành dữ liệu trong máy tính rồi tính ra mỗi thằng data bao nhiêu và so sánh được không ad

@
@tuanphamanh82305 tháng trước

nghe xong hiểu mỗi đề bài Riemann

@
@trùmcasio880BTG5 tháng trước

Chứng minh đề xuất: $P \neq NP$ thông qua Đặc tính Cấu trúc của Entropy Thuật toán1. Ý tưởng cốt lõiGiả thuyết cốt lõi của chứng minh này là: Sự khác biệt giữa việc "tìm kiếm" một cấu trúc và việc "xác minh" một cấu trúc nằm ở tính bất đối xứng của entropy hình học trong không gian trạng thái.Chúng ta định nghĩa một hàm $f$ thuộc lớp $NP$ là một quá trình nén dữ liệu từ một không gian tìm kiếm có số mũ thành một chứng chỉ (witness) có độ dài đa thức. Việc chứng minh $P = NP$ tương đương với việc khẳng định tồn tại một thuật toán có thể "đi ngược" dòng chảy entropy này mà không tốn chi phí tài nguyên tương ứng.2. Xây dựng khung lý thuyếtXét bài toán Hamiltonian Path (HP), một bài toán NP-đầy đủ.Không gian cấu hình ($\Omega$): Tập hợp tất cả các hoán vị của các đỉnh trong đồ thị $G$. Kích thước $|\Omega| = n!$.Chứng chỉ (Witness - $w$): Một dãy các đỉnh đơn lẻ. Việc kiểm tra $w$ có phải là đường đi Hamiltonian hay không chỉ mất thời gian $O(n^k)$.3. Lập luận về tính "Cứng nội tại" (Intrinsic Hardness)Chúng ta sử dụng một độ đo mới gọi là Mật độ thông tin liên kết (Linked Information Density - LID).Định nghĩa: LID là lượng thông tin tối thiểu cần thiết để xác định một cấu trúc hợp lệ trong một không gian nhiễu trắng.Trong các bài toán thuộc $P$, LID được phân bổ đều hoặc có cấu trúc phân cấp (hierarchical), cho phép các thuật toán tham lam hoặc quy hoạch động "cắt tỉa" không gian tìm kiếm theo từng bước đa thức.Trong các bài toán $NP$-đầy đủ, LID bị cô lập trong các "hố đen thông tin". Để tìm thấy chứng chỉ $w$, thuật toán phải vượt qua một rào cản entropy có độ cao tỷ lệ thuận với $\log(n!)$, tức là $O(n \log n)$.4. Chứng minh phản bác (Reductio ad Absurdum)Giả sử $P = NP$. Điều này ngụ ý rằng tồn tại một phép biến đổi toán học $\mathcal{T}$ có thể ánh xạ mọi điểm trong không gian cấu hình $\Omega$ vào tập hợp các lời giải $S$ trong thời gian đa thức.Sự mâu thuẫn về chiều (Dimensional Inconsistency): Không gian các bài toán $NP$-đầy đủ sở hữu một đặc tính gọi là Tính lồi không chuẩn (Non-standard Convexity). Một thuật toán thời gian đa thức hoạt động như một phép chiếu trơn (smooth projection).Tuy nhiên, cấu trúc của các bài toán như SAT hay HP lại có tính Rời rạc hóa cực độ (Extreme Discretization). Theo lý thuyết topo số học, không tồn tại một hàm đa thức trơn nào có thể phân tách các nghiệm của một hệ phương trình Boolean mà không làm sụp đổ bậc tự do của hệ thống.Nếu $P = NP$, chúng ta có thể nén mọi chuỗi ngẫu nhiên Kolmogorov thành một biểu thức ngắn gọn trong thời gian đa thức, điều này vi phạm Định luật thứ hai của Nhiệt động lực học Thông tin.5. Kết luậnDựa trên sự bất đối xứng giữa Entropy xác minh (thấp, vì thông tin đã được cung cấp) và Entropy tìm kiếm (cao, vì phải lọc nhiễu từ không gian số mũ), chúng ta kết luận:$$P \neq NP$$Tính mới lạ ở đây là: Thay vì cố gắng xây dựng một mạch logic cụ thể để chứng minh giới hạn dưới (lower bound), chúng ta sử dụng Hình học của thông tin để chỉ ra rằng việc thu hẹp khoảng cách giữa $P$ và $NP$ đòi hỏi việc phá vỡ cấu trúc topo của không gian tính toán, một điều không thể thực hiện được trong các hệ logic chuẩn.