[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"_public_topic_publications_l%C3%BD%20thuy%E1%BA%BFt%20t%C3%ADnh%20to%C3%A1n{\"limit\":5}":3,"_public_topic_byId_l%C3%BD%20thuy%E1%BA%BFt%20t%C3%ADnh%20to%C3%A1n":11},{"code":4,"data":5,"meta":10},"SUCCESS",{"latest":6,"mostCited":7,"vietnamFeatured":8,"vietnamLatest":9},[],[],[],[],null,{"code":4,"data":12,"meta":10},{"id":13,"title":14,"description":15,"content":16,"term":13,"englishTitle":17,"synonyms":18,"definition":20,"discipline":21,"references":22,"faqs":72,"createUser":85,"publishUser":89,"keywords":90,"keywordCount":86,"enrichTopicLink":91,"status":92,"createTime":93,"updateTime":94,"publishTime":95,"linkEnrichedTime":10,"publicationScanTime":10,"contentErrorMessage":10,"viewCount":96,"wikidataId":10,"relateTopics":97},"lý thuyết tính toán","Lý thuyết tính toán (theory of computation) là gì?","Tìm hiểu lý thuyết tính toán (theory of computation): ba trụ cột ngôn ngữ hình thức, lý thuyết khả tính, độ phức tạp tính toán và bài toán P so với NP.","\u003Cp>Lý thuyết tính toán (theory of computation) là phân ngành nền tảng của khoa học máy tính và toán học, chuyên nghiên cứu các mô hình toán học trừu tượng nhằm xác định những bài toán nào có thể giải quyết được bằng thuật toán, giới hạn tối thượng của các cỗ máy tính toán, và lượng tài nguyên thời gian cùng bộ nhớ cần thiết để thực hiện các phép tính đó. Khác với kỹ thuật phần mềm hay kiến trúc máy tính tập trung vào thiết bị phần cứng cụ thể, lý thuyết tính toán cung cấp cơ sở hình thức độc lập với công nghệ vật lý để chứng minh tính đúng đắn và hiệu năng của các thuật toán. Bài viết này trình bày toàn diện các trụ cột cốt lõi của lý thuyết tính toán, hệ thống phân cấp ngôn ngữ hình thức, các giới hạn khả tính, cấu trúc độ phức tạp tính toán và các hướng nghiên cứu hiện đại.\u003C\u002Fp>\n\n\u003Ch2>Bản chất và ba trụ cột nền tảng\u003C\u002Fh2>\n\n\u003Cp>Mục tiêu xuyên suốt của lý thuyết tính toán là trả lời hai câu hỏi cơ bản: một bài toán có thể giải được bằng phương pháp thuật toán hay không, và nếu giải được thì chi phí tài nguyên tối thiểu là bao nhiêu. Theo chuyên khảo của nhà toán học Avi Wigderson (2019), lý thuyết tính toán đã phát triển vượt ra ngoài phạm vi khoa học máy tính thuần túy để trở thành lăng kính phương pháp luận nghiên cứu các quy luật tự nhiên và hệ thống thông tin phức tạp. Về mặt cấu trúc học thuật, lĩnh vực này được tạo thành từ 3 trụ cột cơ sở có mối liên kết chặt chẽ:\u003C\u002Fp>\n\n\u003Cul>\n\u003Cli>\u003Cstrong>Lý thuyết tự động và ngôn ngữ hình thức (automata theory and formal languages):\u003C\u002Fstrong> Nghiên cứu định nghĩa toán học của các cỗ máy trạng thái trừu tượng và các tập hợp chuỗi ký tự mà chúng có thể nhận dạng hoặc sinh ra. Trụ cột này cung cấp nền móng cho thiết kế trình biên dịch, xử lý văn bản và kiểm minh phần mềm.\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Lý thuyết khả tính (computability theory):\u003C\u002Fstrong> Xác định ranh giới giữa những bài toán giải được bằng thuật toán và những bài toán không thể giải quyết được bằng bất kỳ cỗ máy tính toán nào, bất kể tài nguyên thời gian hay không gian lưu trữ vô hạn đến mức nào.\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Lý thuyết độ phức tạp tính toán (computational complexity theory):\u003C\u002Fstrong> Phân loại các bài toán giải được dựa trên lượng tài nguyên tính toán cần thiết, đặc biệt là thời gian thực thi và dung lượng bộ nhớ trên các mô hình tính toán hình thức.\u003C\u002Fli>\n\u003C\u002Ful>\n\n\u003Ch2>Lý thuyết tự động và hệ thống phân cấp Chomsky\u003C\u002Fh2>\n\n\u003Cp>Lý thuyết tự động bắt đầu bằng việc mô hình hóa các thiết bị tính toán đơn giản nhất thông qua ơ-tô-mát hữu hạn trạng thái. Một ơ-tô-mát hữu hạn đơn định (deterministic finite automaton, DFA) được định nghĩa hình thức là một bộ 5 thành phần bao gồm tập hữu hạn các trạng thái, bảng chữ cái đầu vào, hàm chuyển trạng thái, trạng thái bắt đầu và tập các trạng thái kết thúc. Khi đọc một chuỗi ký tự, ơ-tô-mát chuyển đổi giữa các trạng thái theo quy tắc xác định trước; chuỗi được chấp nhận nếu trạng thái cuối cùng thuộc tập kết thúc. Tập hợp mọi chuỗi được chấp nhận bởi một ơ-tô-mát hữu hạn tạo thành một ngôn ngữ chính quy (regular language).\u003C\u002Fp>\n\n\u003Cp>Để mở rộng khả năng tính toán, các mô hình ơ-tô-mát bổ sung cấu trúc lưu trữ đã được phát triển. Máy đẩy xuống (pushdown automaton, PDA) được trang bị thêm một ngăn xếp (stack) có dung lượng vô hạn nhưng chỉ truy cập được theo nguyên tắc vào sau ra trước, cho phép nhận dạng các ngôn ngữ phi ngữ cảnh (context-free languages) có cấu trúc lồng nhau như biểu thức số học hay cú pháp ngôn ngữ lập trình.\u003C\u002Fp>\n\n\u003Cp>Năm 1956, nhà ngôn ngữ học Noam Chomsky đề xuất hệ thống phân cấp gồm 4 tầng ngữ pháp hình thức, thiết lập mối liên hệ toán học chính xác giữa các lớp ngữ pháp và các mô hình ơ-tô-mát tương ứng. Hệ thống phân cấp Chomsky phân loại ngữ pháp theo các mức từ Loại 0 đến Loại 1 và Loại 2 cùng Loại 3, tạo nên bậc thang chặt chẽ về năng lực biểu đạt:\u003C\u002Fp>\n\n\u003Ctable>\n\u003Cthead>\n\u003Ctr>\n\u003Cth>Cấp bậc\u003C\u002Fth>\n\u003Cth>Lớp ngôn ngữ\u003C\u002Fth>\n\u003Cth>Mô hình ơ-tô-mát đoán nhận\u003C\u002Fth>\n\u003Cth>Dạng quy tắc sinh cú pháp\u003C\u002Fth>\n\u003Cth>Ứng dụng tiêu biểu\u003C\u002Fth>\n\u003C\u002Ftr>\n\u003C\u002Fthead>\n\u003Ctbody>\n\u003Ctr>\n\u003Ctd>Loại 3\u003C\u002Ftd>\n\u003Ctd>Ngôn ngữ chính quy\u003C\u002Ftd>\n\u003Ctd>Ơ-tô-mát hữu hạn (DFA \u002F NFA)\u003C\u002Ftd>\n\u003Ctd>Quy tắc tuyến tính trái hoặc phải\u003C\u002Ftd>\n\u003Ctd>Biểu thức chính quy, phân tích từ vựng\u003C\u002Ftd>\n\u003C\u002Ftr>\n\u003Ctr>\n\u003Ctd>Loại 2\u003C\u002Ftd>\n\u003Ctd>Ngôn ngữ phi ngữ cảnh\u003C\u002Ftd>\n\u003Ctd>Ơ-tô-mát đẩy xuống bất định (NPDA)\u003C\u002Ftd>\n\u003Ctd>Vế trái là biến đơn, vế phải tự do\u003C\u002Ftd>\n\u003Ctd>Cú pháp ngôn ngữ lập trình, phân tích cú pháp\u003C\u002Ftd>\n\u003C\u002Ftr>\n\u003Ctr>\n\u003Ctd>Loại 1\u003C\u002Ftd>\n\u003Ctd>Ngôn ngữ cảm ngữ cảnh\u003C\u002Ftd>\n\u003Ctd>Ơ-tô-mát giới hạn tuyến tính (LBA)\u003C\u002Ftd>\n\u003Ctd>Độ dài chuỗi vế phải không nhỏ hơn vế trái\u003C\u002Ftd>\n\u003Ctd>Phân tích ngữ cảnh ngôn ngữ, kiểm tra kiểu\u003C\u002Ftd>\n\u003C\u002Ftr>\n\u003Ctr>\n\u003Ctd>Loại 0\u003C\u002Ftd>\n\u003Ctd>Ngôn ngữ đệ quy đếm được\u003C\u002Ftd>\n\u003Ctd>Máy Turing (Turing machine)\u003C\u002Ftd>\n\u003Ctd>Không ràng buộc quy tắc sinh\u003C\u002Ftd>\n\u003Ctd>Mô hình tính toán vạn năng, logic toán\u003C\u002Ftd>\n\u003C\u002Ftr>\n\u003C\u002Ftbody>\n\u003C\u002Ftable>\n\n\u003Cp>Mỗi lớp ngôn ngữ trong bảng trên là tập con thực sự của lớp ngôn ngữ ở cấp bậc cao hơn (cụ thể: Loại 3 ⊂ Loại 2 ⊂ Loại 1 ⊂ Loại 0, tương ứng với lớp ngôn ngữ nằm ở hàng liền kề phía dưới trong bảng). Chẳng hạn, ngôn ngữ gồm các chuỗi dấu ngoặc đóng mở hợp lệ không thể được đoán nhận bởi ơ-tô-mát hữu hạn do hạn chế về bộ nhớ đếm, nhưng dễ dàng được đoán nhận bởi máy đẩy xuống thuộc Loại 2.\u003C\u002Fp>\n\n\u003Ch2>Lý thuyết khả tính và giới hạn của thuật toán\u003C\u002Fh2>\n\n\u003Cp>Đỉnh cao của hệ thống các mô hình tính toán là cỗ máy do nhà toán học Alan Turing đề xuất. Năm 1936, Alan Turing đề xuất mô hình máy Turing và công bố chính thức năm 1937 để giải quyết bài toán quyết định Entscheidungsproblem do David Hilbert đặt ra. Cấu trúc máy Turing gồm một đầu đọc ghi di chuyển trên một băng từ vô hạn chia thành từng ô, cùng một bảng điều khiển hữu hạn trạng thái. Tại mỗi bước, máy đọc ký hiệu ở ô hiện tại, ghi ký hiệu mới, thay đổi trạng thái nội bộ và dịch chuyển đầu đọc sang trái hoặc sang phải.\u003C\u002Fp>\n\n\u003Cp>Luận đề Church-Turing (Church-Turing thesis) khẳng định rằng bất kỳ phép tính nào có thể thực hiện được bằng thuật toán trực giác trong thế giới thực đều có thể được mô phỏng bởi một máy Turing. Mặc dù cấu trúc hết sức tối giản, máy Turing có năng lực tính toán tương đương với các máy tính điện tử hiện đại cũng như các mô hình tính toán trừu tượng khác như phép tính lambda (lambda calculus) của Alonzo Church hay hệ thống biến đổi chuỗi của Emil Post.\u003C\u002Fp>\n\n\u003Cp>Khám phá mang tính cách mạng của Alan Turing là việc chỉ ra sự tồn tại của những bài toán không thể giải được bằng thuật toán. Cụ thể, Alan Turing chứng minh bài toán dừng là không thể quyết định bằng thuật toán. Bài toán dừng (halting problem) đặt câu hỏi: liệu có tồn tại một chương trình máy tính tổng quát có khả năng nhận đầu vào là mã nguồn của một chương trình bất kỳ cùng dữ liệu của nó, rồi đưa ra câu trả lời chính xác xem chương trình đó có dừng lại hay sẽ chạy lặp vô tận hay không? Bằng phương pháp chứng minh phản chứng kết hợp kỹ thuật chéo hóa (diagonalization) tương tự Georg Cantor, Turing đã chứng minh rằng một chương trình như vậy về mặt logic không thể tồn tại.\u003C\u002Fp>\n\n\u003Cp>Hệ quả sâu rộng của kết quả này được tổng quát hóa qua Định lý Rice: mọi thuộc tính ngữ nghĩa phi tầm thường của các ngôn ngữ được đoán nhận bởi máy Turing đều là bất khả quyết (undecidable). Điều này đồng nghĩa với việc không một thuật toán tự động nào có thể kiểm tra hoàn hảo xem một phần mềm bất kỳ có chứa lỗi lặp vô hạn, có thỏa mãn yêu cầu an toàn tuyệt đối hay có tính toán đúng một hàm toán học cụ thể hay không.\u003C\u002Fp>\n\n\u003Ch2>Lý thuyết độ phức tạp tính toán và bài toán P so với NP\u003C\u002Fh2>\n\n\u003Cp>Trong khi lý thuyết khả tính quan tâm đến việc bài toán có giải được hay không về mặt nguyên tắc, lý thuyết độ phức tạp tính toán khảo sát xem bài toán có thể giải được hiệu quả trong thực tế hay không. Năm 1965, Juris Hartmanis và Richard E Stearns đặt nền móng lý thuyết độ phức tạp tính toán và nhận giải Turing năm 1993 nhờ việc hình thức hóa các lớp độ phức tạp dựa trên tài nguyên và chứng minh định lý phân cấp thời gian (time hierarchy theorem). Định lý này khẳng định rằng khi được cung cấp nhiều thời gian hơn một cách đáng kể, các cỗ máy tính toán luôn giải được nhiều bài toán hơn một cách nghiêm ngặt.\u003C\u002Fp>\n\n\u003Cp>Trong lý thuyết độ phức tạp, hai lớp bài toán giữ vị trí trung tâm là lớp P và lớp NP:\u003C\u002Fp>\n\n\u003Cul>\n\u003Cli>\u003Cstrong>Lớp P (polynomial time):\u003C\u002Fstrong> Tập hợp các bài toán quyết định có thể được giải quyết bởi một máy Turing đơn định trong thời gian đa thức theo kích thước đầu vào, nghĩa là thời gian thực thi bị chặn trên bởi một đa thức bậc cố định. Các bài toán thuộc P được coi là có thể xử lý hiệu quả trên máy tính trong thực tế, ví dụ như sắp xếp danh sách, tìm đường đi ngắn nhất hoặc phép nhân ma trận.\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Lớp NP (nondeterministic polynomial time):\u003C\u002Fstrong> Tập hợp các bài toán quyết định mà nếu một lời giải ứng viên (chứng chỉ nghiệm) được cung cấp, tính đúng đắn của lời giải đó có thể được kiểm chứng trong thời gian đa thức bằng máy Turing đơn định. Tương đương với định nghĩa này, NP là tập các bài toán giải được trong thời gian đa thức bằng máy Turing bất định.\u003C\u002Fli>\n\u003C\u002Ful>\n\n\u003Cp>Hiển nhiên mọi bài toán giải được trong thời gian đa thức thì nghiệm của nó cũng kiểm chứng được trong thời gian đa thức, do đó lớp P là tập con của lớp NP. Tuy nhiên, câu hỏi liệu P có bằng NP hay không (bài toán P so với NP) là một trong những bí ẩn khoa học sâu sắc nhất. Năm 1971, Stephen Cook công bố định lý chứng minh bài toán SAT là NP-đầy đủ trên kỷ yếu hội nghị STOC. Độc lập với Cook, năm 1973 Leonid Levin độc lập công bố bài toán tìm kiếm phổ quát tạo nên định lý Cook-Levin, chứng minh rằng bài toán thỏa mãn công thức logic mệnh đề (Boolean satisfiability problem, SAT) là bài toán khó nhất trong lớp NP.\u003C\u002Fp>\n\n\u003Cp>Một bài toán được gọi là NP-đầy đủ (NP-complete) nếu nó thuộc NP và mọi bài toán khác trong NP đều có thể quy dẫn thời gian đa thức về nó. Nếu bất kỳ một bài toán NP-đầy đủ nào tìm được thuật toán giải trong thời gian đa thức, thì toàn bộ lớp NP sẽ suy biến về lớp P. Tiếp nối công trình của Cook, năm 1972 Richard Karp chứng minh 21 bài toán tổ hợp kinh điển thuộc lớp NP-đầy đủ, bao gồm bài toán chu trình Hamilton, bài toán tô màu đồ thị, bài toán tập phủ đỉnh và bài toán ba lô. Công trình của Karp đã chứng minh rằng tính khó tính toán không phải là hiện tượng cá biệt mà là đặc tính phổ biến của hàng loạt bài toán tối ưu hóa quan trọng trong đời sống và kỹ thuật.\u003C\u002Fp>\n\n\u003Ctable>\n\u003Cthead>\n\u003Ctr>\n\u003Cth>Lớp độ phức tạp\u003C\u002Fth>\n\u003Cth>Mô hình định nghĩa\u003C\u002Fth>\n\u003Cth>Tài nguyên giới hạn\u003C\u002Fth>\n\u003Cth>Ví dụ bài toán tiêu biểu\u003C\u002Fth>\n\u003C\u002Ftr>\n\u003C\u002Fthead>\n\u003Ctbody>\n\u003Ctr>\n\u003Ctd>L\u003C\u002Ftd>\n\u003Ctd>Máy Turing đơn định\u003C\u002Ftd>\n\u003Ctd>Bộ nhớ logarit theo kích thước đầu vào\u003C\u002Ftd>\n\u003Ctd>Kiểm tra tính liên thông trong đồ thị vô hướng\u003C\u002Ftd>\n\u003C\u002Ftr>\n\u003Ctr>\n\u003Ctd>P\u003C\u002Ftd>\n\u003Ctd>Máy Turing đơn định\u003C\u002Ftd>\n\u003Ctd>Thời gian đa thức theo kích thước đầu vào\u003C\u002Ftd>\n\u003Ctd>Tìm đường đi ngắn nhất Dijkstra, tìm kiếm nhị phân\u003C\u002Ftd>\n\u003C\u002Ftr>\n\u003Ctr>\n\u003Ctd>NP\u003C\u002Ftd>\n\u003Ctd>Máy Turing bất định\u003C\u002Ftd>\n\u003Ctd>Thời gian đa thức (hoặc kiểm chứng đa thức)\u003C\u002Ftd>\n\u003Ctd>Bài toán thỏa mãn mệnh đề SAT, bài toán 3-SAT\u003C\u002Ftd>\n\u003C\u002Ftr>\n\u003Ctr>\n\u003Ctd>NP-đầy đủ\u003C\u002Ftd>\n\u003Ctd>Bài toán trong NP\u003C\u002Ftd>\n\u003Ctd>Mọi bài toán NP quy dẫn đa thức về nó\u003C\u002Ftd>\n\u003Ctd>Tô màu đồ thị, người giao hàng dạng quyết định\u003C\u002Ftd>\n\u003C\u002Ftr>\n\u003Ctr>\n\u003Ctd>PSPACE\u003C\u002Ftd>\n\u003Ctd>Máy Turing đơn định\u003C\u002Ftd>\n\u003Ctd>Bộ nhớ đa thức theo kích thước đầu vào\u003C\u002Ftd>\n\u003Ctd>Chiến lược tối ưu trong các trò chơi bàn cờ tổng quát\u003C\u002Ftd>\n\u003C\u002Ftr>\n\u003Ctr>\n\u003Ctd>EXPTIME\u003C\u002Ftd>\n\u003Ctd>Máy Turing đơn định\u003C\u002Ftd>\n\u003Ctd>Thời gian hàm mũ theo kích thước đầu vào\u003C\u002Ftd>\n\u003Ctd>Đánh giá thế cờ vua tổng quát trên bàn cờ bất kỳ\u003C\u002Ftd>\n\u003C\u002Ftr>\n\u003C\u002Ftbody>\n\u003C\u002Ftable>\n\n\u003Cp>Quan hệ bao hàm giữa các lớp độ phức tạp được biểu diễn qua chuỗi bao hàm liên tục: L là tập con của P, P là tập con của NP, NP là tập con của PSPACE, và PSPACE là tập con của EXPTIME. Theo định lý phân cấp không gian và thời gian, L là tập con thực sự của PSPACE, và P là tập con thực sự của EXPTIME, nhưng câu hỏi về ranh giới chính xác giữa các lớp nằm giữa vẫn chưa có lời giải đáp trọn vẹn.\u003C\u002Fp>\n\n\u003Ch2>Ứng dụng thực tế và bối cảnh đào tạo tại Việt Nam\u003C\u002Fh2>\n\n\u003Cp>Mặc dù mang tính lý thuyết cao, lý thuyết tính toán đóng vai trò chỉ dẫn then chốt cho hầu hết các nhánh công nghệ phần mềm và hệ thống thông tin:\u003C\u002Fp>\n\n\u003Cul>\n\u003Cli>\u003Cstrong>Kỹ nghệ trình biên dịch và xử lý ngôn ngữ:\u003C\u002Fstrong> Các thuật toán phân tích từ vựng (lexical analysis) dựa trên ơ-tô-mát hữu hạn và phân tích cú pháp (parsing) dựa trên ngữ pháp phi ngữ cảnh là trái tim của mọi trình biên dịch ngôn ngữ lập trình hiện đại như GCC, Clang hay các bộ máy phân tích định dạng dữ liệu JSON, XML.\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Kiểm minh mô hình và an toàn hệ thống:\u003C\u002Fstrong> Lý thuyết kiểm tra mô hình (model checking) sử dụng không gian trạng thái của ơ-tô-mát để chứng minh hình thức rằng một vi mạch điện tử hay giao thức mạng an toàn không bao giờ rơi vào trạng thái bế tắc hoặc vi phạm ràng buộc an ninh.\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Mật mã học hiện đại:\u003C\u002Fstrong> Toàn bộ hạ tầng an ninh mạng toàn cầu, bao gồm thuật toán mã hóa công khai RSA hay mật mã đường cong elliptic, đều vận hành dựa trên giả thuyết về độ phức tạp tính toán: bài toán phân tích thừa số nguyên tố hay logarit rời rạc là bài toán khó giải trong thời gian đa thức nhưng cực kỳ dễ kiểm chứng.\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Tối ưu hóa và trí tuệ nhân tạo:\u003C\u002Fstrong> Nhận biết một bài toán thực tế là NP-đầy đủ giúp các kỹ sư tránh lãng phí thời gian tìm kiếm thuật toán tối ưu chính xác tuyệt đối, thay vào đó tập trung phát triển các thuật toán xấp xỉ có bảo đảm sai số hoặc thuật toán heuristic tối ưu hóa bầy đàn.\u003C\u002Fli>\n\u003C\u002Ful>\n\n\u003Cp>Tại Việt Nam, lý thuyết tính toán là học phần cơ sở ngành bắt buộc trong khung chương trình đào tạo chuẩn đại học và sau đại học ngành Khoa học máy tính và Công nghệ thông tin, trang bị nền tảng toán học trừu tượng và tư duy thuật toán hình thức cho người học trước khi tiếp cận các chuyên ngành công nghệ ứng dụng.\u003C\u002Fp>\n\n\u003Ch2>Thách thức nghiên cứu và các bài toán mở\u003C\u002Fh2>\n\n\u003Cp>Năm 2000, Viện Toán học Clay chọn bài toán P so với NP là 1 trong 7 bài toán Thiên niên kỷ với giải thưởng 1 triệu USD dành cho lời giải đúng đầu tiên. Tầm quan trọng của bài toán không chỉ giới hạn trong khoa học máy tính mà còn ảnh hưởng sâu rộng đến toán học và triết học: nếu P bằng NP, mọi bài toán toán học có chứng minh ngắn gọn đều có thể được tìm ra tự động bởi máy tính trong thời gian thực tế khả thi.\u003C\u002Fp>\n\n\u003Cp>Tính đến năm 2009, Lance Fortnow nhận định phần lớn giới khoa học tin rằng P khác NP nhưng chưa có lời giải. Khó khăn trong việc giải quyết bài toán này bắt nguồn từ 3 rào cản toán học lớn đã được chứng minh hình thức:\u003C\u002Fp>\n\n\u003Cul>\n\u003Cli>\u003Cstrong>Rào cản tương đối hóa (relativization barrier):\u003C\u002Fstrong> Do Baker, Gill và Solovay chứng minh, chỉ ra rằng các kỹ thuật mô phỏng chéo hóa truyền thống không thể giải quyết P so với NP vì tồn tại các cỗ máy tiên tri (oracle) mà ở đó P bằng NP, đồng thời tồn tại các cỗ máy tiên tri khác mà ở đó P khác NP.\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Rào cản chứng minh tự nhiên (natural proofs barrier):\u003C\u002Fstrong> Do Razborov và Rudich chỉ ra, khẳng định rằng các kỹ thuật độ phức tạp mạch Boole thông thường không thể dùng để tách rời P và NP nếu các hàm giả ngẫu nhiên an toàn tồn tại.\u003C\u002Fli>\n\u003Cli>\u003Cstrong>Rào cản đại số hóa (algebrization barrier):\u003C\u002Fstrong> Do Aaronson và Wigderson phát hiện, mở rộng rào cản tương đối hóa sang cả các kỹ thuật đại số hóa dùng trong hệ thống chứng minh tương tác.\u003C\u002Fli>\n\u003C\u002Ful>\n\n\u003Cp>Năm 2019, Avi Wigderson tổng quan lý thuyết tính toán trước khi nhận giải Abel năm 2021 và giải Turing năm 2023, nhấn mạnh rằng sự trỗi dậy của tính toán lượng tử với lớp độ phức tạp BQP (bounded-error quantum polynomial time) đang định hình lại ranh giới giữa những gì có thể và không thể tính toán hiệu quả trong vũ trụ vật lý. Tính đến năm 2026, bài toán P so với NP vẫn là bài toán mở chưa có lời giải trong toán học và khoa học máy tính, tiếp tục là thách thức trí tuệ trung tâm thúc đẩy sự phát triển của toán học hiện đại.\u003C\u002Fp>\n","theory of computation",[19],"lý thuyết điện toán","Lý thuyết tính toán là phân ngành nền tảng của khoa học máy tính và toán học, nghiên cứu các mô hình toán học trừu tượng nhằm xác định khả năng giải quyết bài toán bằng thuật toán và chi phí tài nguyên tính toán.","NATURAL_SCIENCES",[23,30,37,44,51,58,65],{"citationText":24,"title":25,"authors":26,"source":27,"year":28,"doi":29,"url":10},"Turing, A. M. (1937). On Computable Numbers, with an Application to the Entscheidungsproblem. Proceedings of the London Mathematical Society, s2-42(1), 230-265.","On Computable Numbers, with an Application to the Entscheidungsproblem","Turing, A. M.","Proceedings of the London Mathematical Society",1937,"10.1112\u002Fplms\u002Fs2-42.1.230",{"citationText":31,"title":32,"authors":33,"source":34,"year":35,"doi":36,"url":10},"Chomsky, N. (1956). Three models for the description of language. IRE Transactions on Information Theory, 2(3), 113-124.","Three models for the description of language","Chomsky, N.","IRE Transactions on Information Theory",1956,"10.1109\u002Ftit.1956.1056813",{"citationText":38,"title":39,"authors":40,"source":41,"year":42,"doi":43,"url":10},"Hartmanis, J., & Stearns, R. E. (1965). On the computational complexity of algorithms. Transactions of the American Mathematical Society, 117, 285-306.","On the computational complexity of algorithms","Hartmanis, J., & Stearns, R. E.","Transactions of the American Mathematical Society",1965,"10.1090\u002Fs0002-9947-1965-0170805-7",{"citationText":45,"title":46,"authors":47,"source":48,"year":49,"doi":50,"url":10},"Cook, S. A. (1971). The complexity of theorem-proving procedures. Proceedings of the third annual ACM symposium on Theory of computing (STOC '71), 151-158.","The complexity of theorem-proving procedures","Cook, S. A.","Proceedings of the third annual ACM symposium on Theory of computing (STOC '71)",1971,"10.1145\u002F800157.805047",{"citationText":52,"title":53,"authors":54,"source":55,"year":56,"doi":57,"url":10},"Karp, R. M. (1972). Reducibility among Combinatorial Problems. In Complexity of Computer Computations (pp. 85-103). Springer US.","Reducibility among Combinatorial Problems","Karp, R. M.","Complexity of Computer Computations",1972,"10.1007\u002F978-1-4684-2001-2_9",{"citationText":59,"title":60,"authors":61,"source":62,"year":63,"doi":64,"url":10},"Fortnow, L. (2009). The status of the P versus NP problem. Communications of the ACM, 52(9), 78-86.","The status of the P versus NP problem","Fortnow, L.","Communications of the ACM",2009,"10.1145\u002F1562164.1562186",{"citationText":66,"title":67,"authors":68,"source":69,"year":70,"doi":71,"url":10},"Wigderson, A. (2019). Mathematics and Computation. Princeton University Press.","Mathematics and Computation","Wigderson, A.","Princeton University Press",2019,"10.1515\u002F9780691192543",[73,76,79,82],{"question":74,"answer":75},"Ba trụ cột chính của lý thuyết tính toán là gì?","Lý thuyết tính toán được xây dựng trên 3 trụ cột cơ sở gồm lý thuyết tự động và ngôn ngữ hình thức, lý thuyết khả tính, và lý thuyết độ phức tạp tính toán. Mỗi trụ cột giải quyết một khía cạnh riêng từ mô hình hóa cơ chế nhận dạng chuỗi, xác định giới hạn thuật toán đến phân loại mức độ tiêu tốn tài nguyên thời gian và bộ nhớ.",{"question":77,"answer":78},"Bài toán dừng có ý nghĩa gì trong lý thuyết tính toán?","Năm 1936, Alan Turing đã chứng minh rằng bài toán dừng là không thể quyết định bằng bất kỳ thuật toán tổng quát nào. Kết quả này chỉ ra giới hạn tối thượng của máy tính, chứng minh rằng luôn tồn tại những bài toán toán học được định nghĩa chặt chẽ nhưng không thể giải được bằng chương trình máy tính.",{"question":80,"answer":81},"Sự khác biệt cơ bản giữa lớp P và lớp NP là gì?","Lớp P bao gồm các bài toán quyết định có thể giải được trong thời gian đa thức bằng máy Turing đơn định, đại diện cho những bài toán tính toán hiệu quả trong thực tế. Lớp NP bao gồm các bài toán mà lời giải ứng viên có thể được kiểm chứng trong thời gian đa thức, và câu hỏi liệu P có bằng NP hay không vẫn là bài toán mở lớn nhất trong khoa học máy tính.",{"question":83,"answer":84},"Hệ thống phân cấp Chomsky gồm những cấp bậc nào?","Năm 1956, Noam Chomsky phân loại ngữ pháp hình thức thành 4 cấp bậc từ Loại 0 đến Loại 3, tương ứng với ngôn ngữ đệ quy đếm được, ngôn ngữ cảm ngữ cảnh, ngôn ngữ phi ngữ cảnh và ngôn ngữ chính quy. Mỗi cấp bậc ngôn ngữ tương ứng với một mô hình ơ-tô-mát đoán nhận xác định, từ máy Turing đến ơ-tô-mát hữu hạn.",{"id":86,"researcherId":10,"name":87,"imageUrl":88},1,"Nguyễn Ngọc Sơn","https:\u002F\u002Flh3.googleusercontent.com\u002Fa\u002FACg8ocLGfGsF1nYQqYK5BasTLhNu1dBrBXg2fcEgBNPXJ0p2gqLQnO7i=s96-c",{"id":86,"researcherId":10,"name":87,"imageUrl":88},[13],false,"PUBLISHED","2025-12-01T11:21:02.492+00:00","2026-10-12T09:30:31.164+00:00","2026-10-12T09:24:50.633+00:00",0,[98,106,111,116,121,126,131,136,141,146],{"id":99,"title":100,"term":99,"englishTitle":99,"definition":101,"discipline":21,"disciplineCode":102,"disciplineLabel":103,"disciplineColor":104,"disciplineIcon":105},"proton","Proton là gì? Cấu trúc và ứng dụng của Proton","Proton là một hạt hạ nguyên tử bền vững thuộc nhóm baryon cấu tạo từ hai quark lên và một quark xuống, mang điện tích nguyên tố dương và có khối lượng nghỉ xấp xỉ 1.6726 x 10^-27 kg nằm trong hạt nhân nguyên tử.","natural-sciences","Khoa học tự nhiên","#0E9F9C","atom",{"id":107,"title":108,"term":107,"englishTitle":109,"definition":110,"discipline":21,"disciplineCode":102,"disciplineLabel":103,"disciplineColor":104,"disciplineIcon":105},"nhiệt độ nóng chảy","Nhiệt độ nóng chảy là gì? Các nghiên cứu khoa học liên quan","nhiet do nong chay","khái niệm và đối tượng nghiên cứu cơ bản trong khoa học tự nhiên, phản ánh các đặc trưng bản chất, cơ chế vận hành và các quy luật tương tác hệ thống trong thực tiễn.",{"id":112,"title":113,"term":112,"englishTitle":114,"definition":115,"discipline":21,"disciplineCode":102,"disciplineLabel":103,"disciplineColor":104,"disciplineIcon":105},"hằng số tốc độ","Hằng số tốc độ là gì? Các bài nghiên cứu khoa học liên quan","rate constant","Hằng số tốc độ (Reaction Rate Constant, ký hiệu k) là một hệ số tỷ lệ đặc trưng trong phương trình động học biểu thị tốc độ của phản ứng hóa học khi nồng độ của tất cả các chất phản ứng bằng đơn vị.",{"id":117,"title":118,"term":117,"englishTitle":119,"definition":120,"discipline":21,"disciplineCode":102,"disciplineLabel":103,"disciplineColor":104,"disciplineIcon":105},"động vật linh trưởng","Động vật linh trưởng là gì? Tiến hóa Perelman, giải phẫu Fleagle và Estrada","primates","Động vật linh trưởng là một bộ thú có vú bậc cao đặc trưng bởi bàn tay ngón cái đối diện, thị giác lập thể 3D và vỏ não phát triển, tiến hóa qua các nhánh Mũi ướt và Mũi khô theo nghiên cứu Perelman-Fleagle.",{"id":122,"title":123,"term":122,"englishTitle":124,"definition":125,"discipline":21,"disciplineCode":102,"disciplineLabel":103,"disciplineColor":104,"disciplineIcon":105},"đồng vị","Đồng vị là gì? Phân loại và ứng dụng trong khoa học hiện đại","isotope","Đồng vị là các biến thể của cùng một nguyên tố hóa học có cùng số proton trong hạt nhân nhưng khác nhau về số neutron, dẫn đến khối lượng nguyên tử khác nhau.",{"id":127,"title":128,"term":127,"englishTitle":129,"definition":130,"discipline":21,"disciplineCode":102,"disciplineLabel":103,"disciplineColor":104,"disciplineIcon":105},"chu trình sinh địa hóa","Chu trình sinh địa hóa: Khái niệm, nguyên lý và ứng dụng","Biogeochemical cycle","Chu trình sinh địa hóa là một thuật ngữ và phạm trù học thuật then chốt trong lĩnh vực natural sciences, phản ánh các nguyên lý, cơ chế và phương pháp luận chuyên sâu đã được chuẩn hóa trong nghiên cứu và ứng dụng thực tiễn.",{"id":132,"title":133,"term":132,"englishTitle":134,"definition":135,"discipline":21,"disciplineCode":102,"disciplineLabel":103,"disciplineColor":104,"disciplineIcon":105},"ethylene","Ethylene là gì? Cấu trúc hóa học, vai trò sinh học và ứng dụng","Ethylene","Ethylene (ethene, công thức hóa học C2H4) là một hydrocarbon không no thuộc nhóm anken đơn giản nhất, tồn tại ở thể khí không màu, đồng thời là một phytohormone dạng khí điều hòa sự chín và rụng ở thực vật.",{"id":137,"title":138,"term":137,"englishTitle":139,"definition":140,"discipline":21,"disciplineCode":102,"disciplineLabel":103,"disciplineColor":104,"disciplineIcon":105},"không khí ẩm","Không khí ẩm là gì? Các công bố khoa học về Không khí ẩm","moist air","Không khí ẩm là hỗn hợp nhiệt động học giữa không khí khô và hơi nước, có các thông số đặc trưng gồm độ ẩm tương đối, độ ẩm tuyệt đối và nhiệt độ điểm sương.",{"id":142,"title":143,"term":142,"englishTitle":144,"definition":145,"discipline":21,"disciplineCode":102,"disciplineLabel":103,"disciplineColor":104,"disciplineIcon":105},"hệ số phân bố","Hệ số phân bố là gì? Ý nghĩa trong hóa học và dược lý","Partition Coefficient","Hệ số phân bố (partition coefficient, ký hiệu P hoặc log P) là đại lượng nhiệt động học biểu thị tỷ lệ nồng độ cân bằng của một chất tan không phân ly giữa hai dung môi không trộn lẫn (thường là 1-octanol và nước).",{"id":147,"title":148,"term":147,"englishTitle":147,"definition":149,"discipline":21,"disciplineCode":102,"disciplineLabel":103,"disciplineColor":104,"disciplineIcon":105},"phytoplankton","Phytoplankton là gì? Vai trò sinh thái, chu trình carbon và hiện tượng nở hoa","Phytoplankton (thực vật phù du) là tập hợp các vi sinh vật tự dưỡng quang hợp trôi nổi trong các thủy vực nước ngọt và đại dương, đóng vai trò sản xuất sơ cấp nền tảng của lưới thức ăn thủy sinh và điều hòa chu trình carbon toàn cầu."]