Câu hỏi được gắn thẻ «reductions»

Trong khả năng tính toán và độ phức tạp, việc tìm ra ánh xạ giữa các vấn đề cho phép giải quyết một vấn đề bằng cách sử dụng giải pháp của một vấn đề khác. Để giảm lý thuyết ngôn ngữ lập trình (ví dụ: giảm beta), hãy xem [lambda-tính toán] hoặc [viết lại thuật ngữ].

2
Hoàn thành vấn đề cho
Chúng ta biết rằng chế độ trị không có vấn đề hoàn toàn, vì nó sẽ mâu thuẫn với định lý phân cấp không gian. Nhưng: Có vấn đề hoàn chỉnh cho từng cấp của hệ thống phân cấp này không?p o l yLpolyLpolyL Nói chính xác: Lớp có vấn …
1
Mục đích của việc diễn giải các yếu tố trong bằng chứng về việc giảm PCP thành vấn đề có thể quyết định tính hợp lệ của logic vị ngữ là gì?
Vì câu hỏi của tôi liên quan trực tiếp đến một phần của văn bản từ cuốn sách năm 2004, Logic trong Khoa học máy tính: Mô hình hóa và lý luận về các hệ thống (Ấn bản 2) của Michael Huth và Mark Ryan , để cung cấp bối …
1
Tại sao nhiều giảm một hàm ý giảm Turing?
Vì thế, A⩽mBA⩽mB A\leqslant_mB (giảm nhiều thành một) có nghĩa là ngôn ngữ AAA có thể được giảm thành ngôn ngữ BBB nếu tồn tại hàm Turing có thể tính được fff nên f(A)⊆Bf(A)⊆B f(A) \subseteq B và f(A¯¯¯¯)⊆B¯¯¯¯f(A¯)⊆B¯ f(\overline{A}) \subseteq \overline{B} . A⩽TBA⩽TB A\leqslant_TB (Turing tính khử) có nghĩa …
1
Bí quyết của việc thêm một số lượng lớn vào việc giảm bớt từ 3-phân vùng là gì?
Vấn đề: Để chứng minhNP-CompletenessNP-Completeness\textsf{NP-Completeness}về vấn đề "Đóng gói hình vuông (với chiều dài cạnh khác nhau) thành hình chữ nhật" ,3-Partition3-Partition\textsf{3-Partition} được giảm xuống, như thể hiện trong hình dưới đây. bên trong 3-Partition3-Partition\textsf{3-Partition} ví dụ, có nnn yếu tố (a1,⋯,ai,⋯,an)(a1,⋯,ai,⋯,an)(a_1, \cdots, a_i, \cdots, a_n). Tổng mục tiêuttt Là …
2
Là SAT trong P nếu có nhiều mệnh đề theo số mũ?
Tôi xác định một CNF dài để chứa ít nhất2n22n22^\frac{n}{2} mệnh đề, ở đâu nnnlà số lượng biến của nó. Đặt là một công thức CNF dài thỏa đáng .Long-SAT={ϕ:ϕLong-SAT={ϕ:ϕ\text{Long-SAT}=\{\phi: \phi}}\} Tôi muốn biết tại sao . Đầu tiên tôi nghĩ đó là \ text {NPC} vì tôi có thể …
2
Bất biến cho vòng lặp lồng nhau trong chương trình nhân ma trận
Tôi đang làm luận án tốt nghiệp về việc chứng minh tính đúng đắn của chương trình để nhân 2 ma trận bằng logic Hoare. Để làm điều này, tôi cần tạo bất biến cho vòng lặp lồng nhau cho chương trình này: for i = 1:n for j = …
7 algorithms  loop-invariants  correctness-proof  formal-languages  regular-languages  pumping-lemma  logic  logic  programming-languages  lambda-calculus  term-rewriting  operational-semantics  complexity-theory  time-complexity  computability  proof-techniques  reductions  digital-preservation  distributed-systems  storage  algorithms  dynamic-programming  check-my-algorithm  reference-request  cryptography  quantum-computing  formal-languages  regular-languages  context-free  formal-grammars  algorithms  graphs  network-flow  algorithms  data-structures  randomized-algorithms  lists  computability  proof-techniques  undecidability  terminology  distributed-systems  parallel-computing  artificial-intelligence  heuristics  search-problem  algorithms  computational-geometry  algorithm-analysis  asymptotics  recurrence-relation  mathematical-analysis  master-theorem  algorithms  algorithm-analysis  runtime-analysis  computability  reductions  turing-machines  formal-languages  context-free 
2
Giảm ánh xạ để bổ sung cho A
Tôi có một câu hỏi chung về giảm bản đồ. Tôi đã thấy một số ví dụ về việc giảm các hàm thànhATMATMA_{TM} trong đóATM={⟨M,w⟩: For M is a turing machine which accepts string w}ATM={⟨M,w⟩: For M is a turing machine which accepts string w}A_{TM} = \{\langle M, w \rangle …
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookie và Chính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.