Câu hỏi được gắn thẻ «check-my-proof»

Tôi mới tham gia diễn đàn này và chỉ là một nhà vật lý làm điều này để giữ cho bộ não của anh ấy trong hình dạng, vì vậy xin vui lòng thể hiện sự duyên dáng nếu tôi không sử dụng ngôn ngữ thanh lịch nhất. Ngoài ra …

18 graph-theory  combinatorics  check-my-proof 

Tôi có "bằng chứng" rất đơn giản này cho NP = CoNP và tôi nghĩ rằng tôi đã làm sai điều gì đó ở đâu đó, nhưng tôi không thể tìm thấy điều gì sai. Ai đó có thể giúp tôi không? Đặt A là một số vấn đề trong …

12 complexity-theory  p-vs-np  check-my-proof  np 

Định nghĩa: Giảm Karp Một ngôn ngữ MộtAA là Karp rút gọn về một ngôn ngữ BBB nếu có một thời gian đa thức chức năng tính toán f : { 0 , 1 } * → { 0 , 1 } *f:{0,1}∗→{0,1}∗f:\{0,1\}^*\rightarrow\{0,1\}^* như vậy mà cho mỗi xxx , …

12 complexity-theory  reductions  check-my-proof 

Một đề thi gần đây đã diễn ra như sau: là một tập hợp đệ quy vô hạn. Chứng minh rằng A có tập con đệ quy vô hạn.AAAAAA Hãy là một tập hợp con đệ quy vô hạn của Một . Phải C có một tập hợp con đó …

11 computability  check-my-proof 

Tôi cần chứng minh rằng là tập con của liên kết cho tất cả .N PNP\mathsf{NP}D T I M E (2nc)DTIME(2nc)\mathsf{DTIME}(2^{n^c})c > 1c>1c > 1 Đặt là một vấn đề ngôn ngữ / quyết định trong . Sau đó có thể được quyết định được đưa ra một giấy chứng …

7 complexity-theory  check-my-proof