Bách khoa toàn thư ngỏ Wikipedia
Trong lý thuyết chừng phức tạp đo lường và tính toán, P, còn được gọi là PTIME hoặc DTIME, là một trong trong mỗi lớp cơ phiên bản nhất trong những lớp chừng phức tạp đo lường và tính toán. Nó bao hàm toàn bộ những vấn đề ra quyết định hoàn toàn có thể được xử lý vị một máy Turing vớ toan nhập thời hạn nhiều thức.
Bạn đang xem: p la gi trong toan hoc
Luận đề Cobham xác định rằng P.. là lớp những vấn đề "có thể xử lý hiệu quả"[1]. Trên thực tiễn, sở hữu một trong những vấn đề không biết sở hữu nhập P.. hay là không tuy nhiên đang được sở hữu thuật toán thực tiễn biệt, trong lúc một trong những vấn đề nhập P.. vẫn chưa xuất hiện. Mặc cho dù vậy phía trên vẫn là một trong quy tắc hữu ích.
Định nghĩa[sửa | sửa mã nguồn]
Một ngữ điệu L là nhập P.. nếu như và chỉ nếu như tồn bên trên một máy Turing vớ toan M sao cho
Xem thêm: nguyen ham cua e mu
Xem thêm: nhung bai hat top ca ve que huong dat nuoc
- Thời gian giảo chạy của M là một trong nhiều thức của chừng lâu năm tài liệu vào
- Đối với toàn bộ x nhập L, M mang đến sản phẩm 1
- Đối với toàn bộ x không tồn tại nhập L, M mang đến sản phẩm 0
Các vấn đề nổi trội nhập P[sửa | sửa mã nguồn]
P bao hàm nhiều vấn đề thịnh hành, ví dụ như phiên phiên bản ra quyết định của quy hướng tuyến tính, tính ước số cộng đồng lớn số 1, thăm dò cặp ghép cực lớn, xác lập coi một trong những sở hữu nên số yếu tố hoặc không[2].
Quan hệ với những lớp khác[sửa | sửa mã nguồn]
P là một trong hội tụ con cái của NP (tập ăn ý những vấn đề giải được nhập thời hạn nhiều thức vị máy Turing bất định). Mặc cho dù không được chứng tỏ, nhiều Chuyên Viên tin tưởng rằng P.. là luyện con cái thực sự của NP.
P bao hàm NL, lớp những vấn đề giải được nhập không khí bộ lưu trữ vị máy Turing biến động.
Ghi chú[sửa | sửa mã nguồn]
- ^ Cobham, Alan (1965). “The intrinsic computational difficulty of functions”. Proc. Logic, Methodology, and Philosophy of Science II. North Holland.
- ^ Manindra Agrawal, Neeraj Kayal, Nitin Saxena. “PRIMES is in P” (PDF). Annals of Mathematics 160 (2004), no. 2, pp. 781–793.Quản lý CS1: nhiều tên: list người sáng tác (liên kết)
Bình luận