Các thuật toán ngẫu nhiên (thời gian đa thức, kết quả boolean) nằm trong lớp độ phức tạp tính toán RP, là một tập hợp con của NP trong đó các thuật toán không xác định (thời gian đa thức, kết quả boolean) nằm trong siêu dữ liệu của P trong đó thời gian xác định thuật toán cư trú.
Sự phức tạp của tập hợp là về việc giảm các vấn đề trong bộ này sang bộ khác. Do đó, RP NP không loại trừ khả năng các thuật toán ngẫu nhiên cũng không xác định vì theo định nghĩa, một siêu khối chứa tập hợp con. Tập hợp con có nghĩa là mọi thuật toán RP (hoặc bất kỳ thuật toán hoàn thành RP nào) có thể được giảm xuống thành một số thuật toán NP (hoặc bất kỳ thuật toán NP-hoàn chỉnh nào). P là tập con của RP vì mọi vấn đề trong P có thể được giảm xuống thành vấn đề trong RP trong đó lượng entropy không được kiểm soát là 0.
Về mặt tiếp theo, điều này tương tự như cách mọi vấn đề trong NC (tính toán song song) có thể được giảm xuống thành một vấn đề trong P bằng cách mô phỏng tính toán song song để giảm một vấn đề nối tiếp trong P nhưng chưa được chứng minh rằng điều ngược lại là đúng, nghĩa là rằng mọi vấn đề trong P đều có thể giảm được đối với một vấn đề ở NC, cũng không được chứng minh là không đúng sự thật, tức là bằng chứng rõ ràng cho thấy vấn đề hoàn chỉnh P không thể giải quyết được vấn đề ở NC. Có thể có những vấn đề vốn đã nối tiếp và không thể tính toán song song, nhưng để chứng minh rằng chứng minh P ≠ NC dường như không hợp lý (vì những lý do quá tiếp tuyến để thảo luận trong câu trả lời này).
Tổng quát hơn (nghĩa là không giới hạn ở các loại kết quả boolean), các thuật toán ngẫu nhiên được phân biệt với các thuật toán xác định trong đó một số entropy có nguồn gốc bên ngoài . Các thuật toán ngẫu nhiên được phân biệt với các thuật toán không xác định vì entropy bị giới hạn , và do đó các thuật toán ngẫu nhiên (và không xác định) có thể được chứng minh là luôn luôn chấm dứt.
Sự khó đoán của các thuật toán không xác định là do không thể liệt kê tất cả các hoán vị có thể có của entropy đầu vào (dẫn đến kết quả không thể đoán trước được). Sự khó đoán của một thuật toán ngẫu nhiên là do không thể kiểm soáttất cả các entropy đầu vào (dẫn đến kết quả không thể đoán trước của một kết quả không xác định, mặc dù tỷ lệ không thể đoán trước có thể dự đoán được). Cả hai điều này đều không phải là những tuyên bố về tính không thể đoán trước của câu trả lời chính xác cho vấn đề, mà là những biểu hiện không thể đoán trước được trong kênh bên chấm dứt và kết quả không xác định tương ứng. Có vẻ như nhiều độc giả đang nhầm lẫn không thể đoán trước trong một lĩnh vực với kết quả không thể đoán trước được, đó là một sự nhầm lẫn mà tôi chưa bao giờ viết (xem lại lịch sử chỉnh sửa).
Điều quan trọng là phải hiểu rằng chủ nghĩa không xác định luôn luôn (trong bất kỳ khoa học hoặc cách sử dụng thuật ngữ nào) không có khả năng liệt kê entropy phổ quát (tức là không giới hạn). Trong khi đó, ngẫu nhiên đề cập đến việc truy cập một nguồn entropy khác (trong các chương trình entropy khác và do đó không chịu sự kiểm soát của các biến đầu vào) có thể hoặc không bị ràng buộc.
Tôi đã thêm nhận xét sau bên dưới câu trả lời phổ biến nhất hiện nay cho chủ đề khác hỏi một câu hỏi tương tự.
Tất cả các khoa học sử dụng cùng một định nghĩa của thuyết không thuyết phục thống nhất về khái niệm entropy không giới hạn. Các kết quả không thể đoán trước trong tất cả các ngành khoa học là do không thể liệt kê một tiên nghiệm tất cả các kết quả đầu ra có thể có của một thuật toán (vì nó chấp nhận các trạng thái không giới hạn, tức là lớp phức tạp NP. Chỉ định một đầu vào cụ thể để quan sát xem nó có dừng lại hay không và lưu ý rằng kết quả là idempotent là tương đương trong các ngành khoa học khác để giữ phần còn lại của entropy của vũ trụ trong khi lặp lại cùng một thay đổi trạng thái. Điện toán cho phép cách ly entropy này, trong khi khoa học tự nhiên thì không.
Thêm một số ý kiến tốt nhất để thêm làm rõ quan điểm của tôi về sự khác biệt nổi bật duy nhất giữa ngẫu nhiên và không điều kiện.
Nó thực sự khá thanh lịch và dễ dàng để thấy sự khác biệt, một khi tất cả các bạn dừng việc làm rối nó bằng cách cố gắng mô tả nó từ quan điểm hoạt động thay vì từ quan điểm entropy nổi bật.
@reinierpost tất cả mọi người đang kết hợp sự khác biệt giữa ngẫu nhiên và không điều kiện. Điều này khiến bình luận của bạn bị sai sót. Thuật toán đáp ứng sự tương tác của entropy đầu vào (biến) và entropy mã nguồn (bất biến) của nó. Nondeterminism là entropy không giới hạn. Entropy bất biến thậm chí có thể không bị ràng buộc trong nội bộ, chẳng hạn như mở rộng các chữ số của π . Ngẫu nhiên là một số entropy không được ghép với đầu vào như được xác định (nghĩa là nó có thể đến từ một cuộc gọi hệ thống đến /dev/random
, hoặc ngẫu nhiên mô phỏng, ví dụ NFA hoặc PRNG).
.
@Raphael định nghĩa chính thức của automa hữu hạn không xác định (NFA) là entropy hữu hạn đầu vào (dữ liệu: 5-tuple). Do đó, mọi NFA đều có thể chạy trên máy Turing xác định, tức là không yêu cầu máy Turing-hoàn thành không xác định. Do đó, NFA không nằm trong nhóm các vấn đề không xác định. Khái niệm "chủ nghĩa không xác định" trong NFA là tính xác định của nó (trong khi trình bày rõ ràng vì mọi NFA có thể được chuyển đổi thành DFA) không được mở rộng rõ ràng - không giống như tính không thuyết phục của tính toán
.
@Raphael tuyên bố "không xác định" trong NFA là thực sự ngẫu nhiên là ý nghĩa của tôi về sự phân biệt giữa tính ngẫu nhiên và chủ nghĩa không xác định. Định nghĩa của tôi là tính ngẫu nhiên là nơi một số entropy không thuộc quyền kiểm soát, kiến thức (hoặc mở rộng không rõ ràng mong muốn trong trường hợp NFA) của đầu vào cho chương trình hoặc chức năng. Trong khi đó, chủ nghĩa không xác định thực sự là không có khả năng biết entropy trong mọi trường hợp, bởi vì nó không bị ràng buộc. Đây chính xác là những gì phân biệt ngẫu nhiên với chủ nghĩa không điều kiện. Vì vậy, NFA nên là một ví dụ về cái trước chứ không phải cái sau như bạn đã tuyên bố.
.
@Raphael như tôi đã giải thích, khái niệm về tính không xác định trong NFA kết hợp tính không xác định với entropy hữu hạn. Do đó, tính không xác định là một khái niệm cục bộ về việc không mở rộng tính xác định như một hình thức nén hoặc thuận tiện, do đó chúng tôi không nói rằng NFA là không xác định, thay vào đó chúng có sự xuất hiện ngẫu nhiên đối với một nhà tiên tri không muốn tính toán sự mở rộng xác định. Nhưng tất cả chỉ là ảo ảnh vì nó được mở rộng một cách xác định bcz, entropy không bị ràng buộc, tức là hữu hạn.
Từ điển là công cụ. Học cách sử dụng chúng.
tính từ ngẫu nhiên
Số liệu thống kê. hoặc đặc trưng cho một quá trình lựa chọn trong đó mỗi mục của một tập hợp có xác suất được chọn bằng nhau.
đang hoặc liên quan đến một tập hợp hoặc một phần tử của một tập hợp mà mỗi phần tử có xác suất xuất hiện như nhau
Do đó, ngẫu nhiên chỉ yêu cầu một số entropy đầu vào có thể được trang bị, do đó phù hợp với định nghĩa của tôi rằng một số entropy đầu vào không được điều khiển bởi hàm gọi của hàm. Lưu ý rằng ngẫu nhiên hóa không yêu cầu entropy đầu vào không thể xác định được khi kết thúc.
Trong khoa học máy tính, thuật toán xác định là một thuật toán, với một đầu vào cụ thể, sẽ luôn tạo ra cùng một đầu ra, với máy bên dưới luôn đi qua cùng một chuỗi trạng thái.
Chính thức, một thuật toán xác định tính toán một hàm toán học; một hàm có một giá trị duy nhất cho bất kỳ đầu vào nào trong miền của nó và thuật toán là một quá trình tạo ra giá trị cụ thể này làm đầu ra.
Các thuật toán xác định có thể được định nghĩa theo thuật ngữ của một máy trạng thái: trạng thái mô tả những gì một máy đang làm tại một thời điểm cụ thể. Máy trạng thái chuyển qua một cách riêng biệt từ trạng thái này sang trạng thái khác. Ngay sau khi chúng ta nhập dữ liệu vào, máy ở trạng thái ban đầu hoặc trạng thái bắt đầu. Nếu máy có tính xác định, điều này có nghĩa là từ thời điểm này trở đi, trạng thái hiện tại của nó sẽ xác định trạng thái tiếp theo của nó là gì; khóa học của nó thông qua tập hợp các trạng thái được xác định trước. Lưu ý rằng một máy có thể xác định và vẫn không bao giờ dừng hoặc kết thúc, và do đó không cung cấp kết quả.
Vì vậy, điều này cho chúng ta biết rằng các thuật toán xác định phải được xác định hoàn toàn bởi trạng thái đầu vào của hàm, tức là chúng ta phải có khả năng chứng minh rằng hàm sẽ chấm dứt (hoặc không chấm dứt) và không thể xác định được. Mặc dù Wikipedia cố gắng mô tả không đặc biệt, nhưng phản đề duy nhất đối với tính xác định như được định nghĩa ở trên của Wikipedia, là các thuật toán có trạng thái đầu vào (entropy) không xác định. Và cách duy nhất trạng thái đầu vào có thể không được xác định rõ ràng là khi nó không bị ràng buộc (do đó không thể được xác định trước một cách xác định). Đây chính xác là những gì phân biệt một máy Turing không đặc biệt (và nhiều chương trình trong thế giới thực được viết bằng các ngôn ngữ hoàn chỉnh Turing phổ biến như C, Java, Javascript, ML, v.v.) từ các TM xác định và ngôn ngữ lập trình như HTML, công thức bảng tính, Coq, Epigram,
Trong lý thuyết phức tạp tính toán, các thuật toán không xác định là những thuật toán, ở mọi bước có thể, có thể cho phép nhiều lần tiếp tục (hãy tưởng tượng một người đàn ông đi xuống một con đường trong rừng và mỗi khi anh ta bước xa hơn, anh ta phải chọn ngã ba đường nào mình muốn để lấy). Các thuật toán này không đi đến một giải pháp cho mọi con đường tính toán có thể; tuy nhiên, họ được đảm bảo đi đến một giải pháp chính xác cho một số con đường (ví dụ, người đàn ông đi bộ trong rừng chỉ có thể tìm thấy cabin của mình nếu anh ta chọn một số kết hợp các con đường "chính xác"). Các lựa chọn có thể được hiểu là phỏng đoán trong một quá trình tìm kiếm.
Wikipedia và những người khác cố gắng kết hợp ngẫu nhiên với chủ nghĩa không điều kiện, nhưng điểm có hai khái niệm này là gì nếu bạn không phân biệt chúng một cách hùng hồn?
Rõ ràng quyết định là về khả năng xác định. Rõ ràng ngẫu nhiên là về việc làm cho một số entropy có thể trang bị.
Bao gồm entropy ngẫu nhiên trong trạng thái của một thuật toán không cần thiết làm cho nó không thể xác định được. Ví dụ, một PRNG có thể có phân phối thống kê có thể trang bị được yêu cầu, nhưng cũng hoàn toàn mang tính quyết định.
Kết hợp các khái niệm trực giao là những gì người IQ thấp. Tôi mong đợi tốt hơn thế từ cộng đồng này!