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

Có một thuật toán / thủ tục hệ thống để kiểm tra xem một ngôn ngữ có thường xuyên không? Nói cách khác, cho một ngôn ngữ cụ thể dưới hình thức đại số (nghĩ về một cái gì đó giống như L={anbn:n∈N}L={anbn:n∈N}L=\{a^n b^n : n \in \mathbb{N}\}), kiểm tra …

11 algorithms  formal-languages  regular-languages  decision-problem 

Là vấn đề sau NP-đầy đủ? (Tôi giả sử là có). Đầu vào: một đồ thị vô hướng trong đó bộ cạnh có thể được phân tách thành hai chu kỳ đơn giản tách rời cạnh (đây không phải là một phần của đầu vào).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Câu hỏi: Có …

11 graph-theory  np-complete  decision-problem 

Có một thuật toán cho vấn đề sau: Cho máy Turing quyết định ngôn ngữ L , Có máy Turing M 2 nào quyết định L sao cho t 2 ( n ) = o ( t 1 ( n ) ) không?M1M1M_1LLLM2M2M_2LLLt2( n ) = o ( t1( n …

11 complexity-theory  computability  undecidability  decision-problem 

Tôi muốn xác định, ý nghĩa của việc đưa ra một đại số làm đầu vào cho một thuật toán và không tìm thấy nhiều tài liệu về nó. Vì vậy, trước tiên tôi muốn hỏi liệu bạn có thể đề xuất một cuốn sách hoặc bài viết liên quan …

11 computability  terminology  decision-problem 

Tôi đã cố gắng tìm hiểu xem vấn đề tạm dừng có thể quyết định được đối với automata di động một chiều 3 ký hiệu hay không. Định nghĩa Gọi biểu thị cấu hình của hệ thống tại bước thời gian i . Chính thức hơn f : A …

10 computability  decision-problem  halting-problem  cellular-automata 

Cho số sao cho có sự phân công các số là hoán vị của sao choMột 1 ≤ A 2 ≤ . . . ≤ Một k k Σ i = 1 A i = k ( 2 k + 1 ) i 1 , i 2 , . . …

10 np-complete  decision-problem 

Cuốn sách của tôi nói điều này Nếu một vấn đề quyết định B nằm trong P và A giảm xuống B, thì vấn đề quyết định A nằm ở P. Một vấn đề quyết định B là NP hoàn thành nếu B ở NP và với mọi vấn đề …

10 complexity-theory  np-complete  decision-problem 

Là biến thể của vấn đề tổng tập hợp con dễ dàng / được biết đến? Cho một số nguyên và một tập hợp các số nguyên dương sao cho mỗi có tối đa bit được đặt thành ( ); có tập con sao cho tổng các phần tử của …

9 complexity-theory  reference-request  decision-problem 

Tôi có một vấn đề mà tôi nghi ngờ là NP-đầy đủ. Thật dễ dàng để chứng minh rằng đó là NP. Dòng suy nghĩ hiện tại của tôi xoay quanh việc sử dụng giảm từ ba lô nhưng nó sẽ dẫn đến các trường hợp 0-1-Knapsack với giá trị …

9 complexity-theory  np-complete  decision-problem  packing 

Tôi đã xem bài đọc này của MIT về độ phức tạp tính toán và vào phút 15:00 Erik Demaine bắt tay vào một cuộc biểu tình để cho thấy những gì được nêu trong tiêu đề của câu hỏi này. Tuy nhiên tôi không thể làm theo lý luận …

8 computability  proof-techniques  decision-problem  uncountability 

Đặt và là như sau:L1L1L_1L2L2L_2 L1={r:∃x,y∈Z such that x2+y2=r}L1={r:∃x,y∈Z such that x2+y2=r}L_1=\{r:\exists x,y \in \mathbb{Z} \text{ such that } x^2+y^2=r\} L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L2={(N,M):M&lt;N,∃1&lt;d≤M such that d|N}L_2=\{(N,M): M<N, \exists 1<d\leq M \text{ such that d|N} \} Yêu cầu L1≤PL2L1≤PL2L_1 \leq_P L_2 Phác thảo Nếu tôi muốn biết liệu r∈L1r∈L1r\in L_1 …

8 complexity-theory  time-complexity  np  decision-problem 

Vì vậy, chúng tôi chỉ học về khả năng tự giảm trong lớp. Giáo sư của tôi và sách giáo khoa của chúng tôi sẽ không cam kết nói rằng tất cả các vấn đề trong NP đều có thể tự giảm, nhưng dường như không có bất kỳ ví …

8 complexity-theory  reductions  decision-problem  np 

Có lớp vấn đề NP nào có một giải pháp duy nhất không? Tôi đang hỏi điều đó, bởi vì khi tôi đang học về mật mã, tôi đã đọc về chiếc ba lô và tôi thấy ý tưởng này rất thú vị.

8 complexity-theory  decision-problem  np  cryptography 

Hãy xem xét vấn đề vũ trụ sau đây . Vấn đề vũ trụ. Cho một tập hữu hạn cho một lớp học ngôn ngữ, và một automaton chấp nhận ngôn ngữ L , quyết định nếu L = Σ * .ΣΣ\SigmaLLLL = Σ*L=Σ∗L=\Sigma^* Trong [1], người ta đã tuyên …

8 formal-languages  reference-request  automata  undecidability  decision-problem 

Để cho L={&lt;M&gt;|ML={&lt;M&gt;|ML = \{ | M tạm dừng trên mỗi đầu vào xxx nhiều nhất 200∗|x|200∗|x|200 * |x| các bước }}\}. Là LLLquyết định? Có thể nhận ra? Cho rằng thành viên trong LLL khẳng định một cái gì đó về MMMHành vi của một chuỗi vô hạn, đối …

8 computability  turing-machines  undecidability  decision-problem