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

Tôi muốn biết nếu đã có bất kỳ công việc liên quan đến mã pháp lý phức tạp. Cụ thể, giả sử chúng ta có vấn đề quyết định "Đưa ra cuốn sách luật này và tập hợp các tình huống cụ thể này, bị cáo có phạm tội không?" …

64 complexity-theory  np-complete  decision-problem 

Wikipedia cũng như các nguồn khác mà tôi đã tìm thấy voidloại C là một loại đơn vị trái ngược với loại trống. Tôi thấy điều này khó hiểu vì dường như với tôi voidphù hợp hơn với định nghĩa về loại trống / đáy. Không có giá trị cư …

28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

Tôi có một bộ các cặp. Mỗi cặp có dạng (x, y) sao cho x, y thuộc các số nguyên từ phạm vi [0,n). Vì vậy, nếu n là 4, thì tôi có các cặp sau: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Tôi đã có các cặp. Bây giờ, tôi …

28 algorithms  graphics  data-structures  computational-geometry  operating-systems  process-scheduling  algorithms  sorting  database-theory  relational-algebra  finite-model-theory  logic  automata  linear-temporal-logic  buchi-automata  complexity-theory  np-complete  decision-problem  machine-learning  algorithms  pattern-recognition  logic  formal-languages  formal-grammars  context-free 

Câu hỏi này đã được di chuyển từ Trao đổi ngăn xếp khoa học máy tính lý thuyết bởi vì nó có thể được trả lời trên trao đổi ngăn xếp khoa học máy tính. Di cư 7 năm trước . Được biết, mỗi vấn đề tối ưu hóa / …

26 complexity-theory  optimization  search-problem  decision-problem 

Rõ ràng không có bất kỳ vấn đề không thể giải quyết được trong NP. Tuy nhiên, theo Wikipedia : NP là tập hợp tất cả các vấn đề quyết định trong đó các trường hợp trong đó câu trả lời là "có" có [.. bằng chứng] có thể kiểm …

25 complexity-theory  computability  undecidability  decision-problem 

Những thuật ngữ đó làm tôi bối rối. Như tôi hiểu Bộ giải SAT: quyết định sự thỏa mãn của logic mệnh đề (sử dụng DPLL hoặc Tìm kiếm cục bộ). Thủ tục quyết định là một thủ tục để quyết định sự thỏa mãn của một lý thuyết bậc …

23 algorithms  terminology  reference-request  decision-problem 

Vì vậy, tôi hiểu ý tưởng rằng vấn đề quyết định được xác định là Có đường dẫn P sao cho chi phí thấp hơn C không? và bạn có thể dễ dàng kiểm tra điều này là đúng bằng cách xác minh đường dẫn bạn nhận được. Tuy nhiên, …

21 complexity-theory  time-complexity  np  decision-problem  traveling-salesman 

Tôi có một vấn đề quyết định NP-đầy đủ. Đưa ra một ví dụ của vấn đề, tôi muốn thiết kế một thuật toán tạo ra CÓ, nếu vấn đề đó là khả thi, và, KHÔNG, ngược lại. (Tất nhiên, nếu thuật toán không tối ưu, nó sẽ mắc lỗi.) …

18 algorithms  satisfiability  approximation  decision-problem 

Có một thuật toán / thủ tục hệ thống để kiểm tra xem một ngôn ngữ không có ngữ cảnh không? Nói cách khác, đưa ra một ngôn ngữ được chỉ định ở dạng đại số (nghĩ về một cái gì đó như ), kiểm tra xem ngôn ngữ đó …

18 algorithms  formal-languages  context-free  decision-problem 

Trong Lý thuyết tính toán của Michael Sipser ở trang 270, ông viết: P = lớp ngôn ngữ mà tư cách thành viên có thể được quyết định nhanh chóng. NP = lớp ngôn ngữ mà thành viên có thể được xác minh nhanh chóng. Sự khác biệt giữa "quyết …

16 complexity-theory  terminology  decision-problem 

vd: xy+x+y=x+y(x+1)xy+x+y=x+y(x+1)xy+x+y=x+y(x+1) ? Các biểu thức là từ đại số trung học phổ thông, nhưng bị giới hạn trong phép cộng và nhân số học (ví dụ 2+2=4;2.3=62+2=4;2.3=62+2=4; 2.3=6 ), không có nghịch đảo, trừ hoặc chia. Chữ cái là biến. Nếu nó giúp, chúng ta có thể cấm bất …

14 complexity-theory  time-complexity  decision-problem 

Tôi tự hỏi nếu quyết định tính quyết định của vấn đề là một vấn đề có thể quyết định. Tôi đoán là không, nhưng sau những tìm kiếm ban đầu tôi không thể tìm thấy bất kỳ tài liệu nào về vấn đề này.

13 computability  undecidability  decision-problem 

Tôi vừa đọc một số trang trong cuốn sách của Sipser Giới thiệu về Lý thuyết tính toán về vấn đề tương ứng bài, và tôi nghĩ rằng PCP thực sự nằm trong NP. Các cơ quan chứng nhận là: cho một cấu hình đầu vào cọc concatenating t 1 …

12 complexity-theory  decision-problem  np 

Vì vậy, tôi biết rằng thử nghiệm nếu một ngôn ngữ thông thường là một tập hợp con của ngôn ngữ thông thường S là decidable, vì chúng ta có thể chuyển đổi chúng cả hai để DFAs, tính toán R ∩ ˉ S , và sau đó kiểm tra …

12 algorithms  regular-languages  automata  np-complete  decision-problem 

Vì vậy, đưa ra hai DFA, vấn đề tìm kiếm nếu chúng tạo ra cùng một ngôn ngữ là một vấn đề có thể quyết định? Tôi đã biết rằng Bình đẳng của hai CFL là không thể quyết định Nhưng những gì về Bình đẳng của hai DFA? xem …

11 computability  automata  finite-automata  decision-problem