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

Các ngôn ngữ như là dưới nhiều mức giảm một. Thật là tầm thường khi thấy rằng cũng có vấn đề hoàn chỉnh. S. Schmitz [1] xem xét một số lớp nằm giữa và . Họ trình bày các vấn đề hoàn chỉnh cho các lớp này theo các mức …

14 computability  reductions  turing-completeness  recursion-theory 

Tôi muốn biết nếu vấn đề sau là có thể quyết định: Sơ thẩm: Một NFA A với n trạng thái Câu hỏi: Có tồn tại một số số nguyên tố p sao cho A chấp nhận một số chuỗi có độ dài p. Tôi tin rằng vấn đề này …

14 computability  finite-automata 

Nếu trên thực tế bằng , làm thế nào điều này sẽ tăng cường thuật toán của chúng tôi để các số nguyên nhân nhanh hơn. Nói cách khác, loại hiểu biết nào thực tế này sẽ cho chúng ta hiểu được yếu tố số nguyên tốt hơn?N PPP{\sf P}NPNP{\sf …

14 complexity-theory  computability  np-complete  p-vs-np  factoring 

Tôi có những câu hỏi này từ một bài kiểm tra cũ tôi đang cố gắng giải. Đối với mỗi vấn đề, đầu vào là một mã hóa của một số máy Turing MMM . Đối với số nguyên và ba vấn đề sau:c>1c>1c>1 Có đúng là với mọi đầu …

14 computability  turing-machines  undecidability 

Tôi tự hỏi làm thế nào mà rằng ngôn ngữ sau đây là trong .RR\mathrm R LM1={⟨M2⟩∣∣M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle M_1\rangle| > | \langle M_2 …

14 computability  undecidability 

Tôi đã tìm kiếm các vấn đề thú vị và dễ dàng để đưa ra các vấn đề mở về khả năng tính toán (có thể hiểu được bởi các sinh viên đại học tham gia khóa học đầu tiên về khả năng tính toán) để đưa ra các ví …

14 computability 

Cho một ngôn ngữ , xác định tập hợp độ dài của L là tập hợp độ dài của các từ trong L : L S ( L ) = { | bạn | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} Những bộ số nguyên …

14 formal-languages  computability  regular-languages  finite-automata 

Tuy nhiên, rất nhiều vấn đề "nổi tiếng" không thể giải quyết được, ít nhất là có thể bán được, với sự bổ sung của chúng là không thể giải quyết được. Một ví dụ trên tất cả có thể là vấn đề tạm dừng và bổ sung của nó. …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

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 

Đề xuất của Apropois cho Raphael về Giao lộ của hai NPDA : Hãy và NPDA cho các ngôn ngữ bối cảnh miễn và , tương ứng. Giả sử rằng chúng ta biết rằng có ngữ cảnh, chúng ta có thể (có hiệu quả) xây dựng NPDA cho không?Một 2 …

13 computability  automata  pushdown-automata 

Hàm dịch chuyển tối đa bận rộn, , có các giá trị đã biết cho . Có một số lý do cơ bản, cấu trúc tại sao không thể tin được rằng chúng ta sẽ tìm thấy cho ? Có gì khác về so với ? Hay ? Ở đâu …

13 computability  busy-beaver 

Tôi là người mới, nhưng rất quan tâm đến lĩnh vực điện toán và lý thuyết phức tạp, và tôi muốn làm rõ sự hiểu biết của mình về cách giải quyết các vấn đề và mức độ mạnh của các vấn đề liên quan đến máy được sử dụng …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Tôi đọc về số lượng hải ly bận rộn và làm thế nào chúng phát triển lớn hơn bất kỳ chức năng tính toán nào. Tại sao cái này rất? Có phải vì chức năng hải ly bận rộn không thể tính toán? Nếu vậy, thì tất cả các hàm …

13 computability  asymptotics 

Các bài viết Thư Vấn đề (PCP) là undecidable. Các phiên bản bị chặn của PCP là -complete và phiên bản đánh dấu của PCP (lời của một trong hai danh sách được yêu cầu khác nhau về chữ cái đầu tiên) là trong P S P Một C E …

13 complexity-theory  computability  reference-request 

Nếu chúng ta có bất kỳ chương trình máy tính tùy ý nào có thể sửa đổi hướng dẫn của nó, liệu có thể mô phỏng chương trình đó với một chương trình không thể sửa đổi hướng dẫn của nó không? Biên tập: Tôi chưa quen với stackexchange nên …

12 computability  computation-models  turing-completeness  church-turing-thesis