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

2

Làm cách nào để tạo cấu trúc giảm giữa các vấn đề để chứng minh sự cố là NP-đầy đủ?

Tôi đang tham gia một khóa học phức tạp và tôi gặp rắc rối với việc giảm bớt giữa các vấn đề NPC. Làm thế nào tôi có thể tìm thấy giảm giữa các vấn đề? Có một mẹo chung mà tôi có thể sử dụng? Làm thế nào tôi …

27 complexity-theory  np-complete  proof-techniques  reductions 

---

3

Vấn đề hoàn thành NP không phải là rõ ràng

Nhiều người đã chứng minh rằng trong tất cả các bằng chứng về tính tương thích của mà tôi đã đọc (tôi có thể nhớ), việc chứng minh rằng có một vấn đề nằm ở và cho thấy đó là -có phần ... khó. Những vấn đề là gì mà …

27 complexity-theory  np-complete  np 

---

1

Là regex golf NP-Complete?

Như đã thấy trong dải XKCD gần đây và bài đăng blog gần đây nàytừ Peter Norvig (và một câu chuyện Slashdot có phần sau), "regex golf" (có thể được gọi là vấn đề tách biểu thức chính quy) là câu đố xác định biểu thức chính quy ngắn nhất …

27 complexity-theory  np-complete  regular-expressions 

---

2

Quy tắc ngón tay cái để biết nếu một vấn đề có thể được hoàn thành NP

Câu hỏi này được lấy cảm hứng từ một bình luận trên StackOverflow . Ngoài việc biết các vấn đề NP-đầy đủ của cuốn sách Garey Johnson, và nhiều vấn đề khác; Có một quy tắc nào để biết liệu một vấn đề có giống NP-hoàn chỉnh không? Tôi không …

26 complexity-theory  np-complete  intuition 

---

2

Phiên bản tối ưu hóa các vấn đề quyết định

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 

---

2

Dominosa NP-Hard?

Câu hỏi này đã được di chuyển từ Toán học Stack Exchange vì nó có thể được trả lời trên Exchange Science Stack Exchange. Di cư 6 năm trước . Dominosa là một trò chơi giải đố tương đối mới. Nó được phát trên lưới . Trước khi trò chơi …

26 complexity-theory  np-hard  board-games  tiling 

---

1

Kết quả dài nhất lặp đi lặp lại (phân tán) trong một chuỗi

Báo cáo vấn đề không chính thức: Đưa ra một chuỗi, ví dụ , chúng tôi muốn tô màu một số chữ cái màu đỏ và một số chữ cái màu xanh (và một số không hoàn toàn), sao cho chỉ đọc các chữ cái màu đỏ từ trái sang …

26 algorithms  complexity-theory  np-complete  strings  subsequences 

---

3

Dạy hoàn thiện NP - Giảm Turing so với giảm Karp

Tôi quan tâm đến câu hỏi làm thế nào tốt nhất để dạy NP-đầy đủ cho các chuyên ngành khoa học máy tính. Cụ thể, chúng ta nên dạy nó bằng cách sử dụng giảm Karp hay sử dụng giảm Turing? Tôi cảm thấy rằng các khái niệm về tính …

25 complexity-theory  np-complete  reductions  education  didactics 

---

5

Tại sao đây không phải là vấn đề không thể giải quyết được trong NP?

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 

---

3

Vấn đề P so với NP sẽ trở nên tầm thường do sự phát triển của máy tính lượng tử vạn năng?

Nếu ai đó chế tạo một máy tính lượng tử vạn năng, liệu điều đó có liên quan gì đến vấn đề P so với NP không?

25 complexity-theory  complexity-classes  quantum-computing 

---

2

Có bất kỳ vấn đề dễ tính toán nhưng khó kiểm chứng?

Giả sử các vấn đề P NP, NP-đầy đủ là "khó giải quyết, nhưng có câu trả lời dễ kiểm tra". Liệu có ý nghĩa gì khi xem xét điều ngược lại, nghĩa là, các vấn đề dễ dàng tính toán một câu trả lời đúng, nhưng khó để xác …

25 complexity-theory 

---

3

Có thực sự có thể chứng minh giới hạn dưới?

Với bất kỳ vấn đề tính toán nào, liệu nhiệm vụ tìm giới hạn thấp hơn cho tính toán như vậy có thực sự khả thi? Tôi cho rằng nó tập trung vào cách xác định một bước tính toán duy nhất và mô hình nào chúng ta sử dụng …

24 complexity-theory  time-complexity  proof-techniques  lower-bounds 

---

2

Có một thuật toán đôi khi hiệu quả để giải quyết #SAT không?

Đặt là một công thức boolean bao gồm các toán tử AND, OR và NOT thông thường và một số biến. Tôi muốn đếm số lượng đáp ứng nhiệm vụ cho B . Đó là, tôi muốn tìm số lượng các giá trị khác nhau của các giá trị thật …

24 complexity-theory  reference-request  satisfiability 

---

2

Là NP-Min-Cut hợp lý?

Câu hỏi này đã được di chuyển từ Stack Overflow vì nó có thể được trả lời trên Computer Science Stack Exchange. Di cư 7 năm trước . Định nghĩa vấn đề logic cắt tối thiểu (LMC) Giả sử là một sơ đồ không trọng số, và là hai đỉnh …

24 complexity-theory  graph-theory  np-complete 

---

2

Vấn đề tối ưu hóa NP-đầy đủ của NP

Câu hỏi này đã được di chuyển từ Stack Overflow vì nó có thể được trả lời trên Computer Science Stack Exchange. Di cư 7 năm trước . Tôi hơi bối rối bởi một số thuật ngữ tôi đã gặp về sự phức tạp của các vấn đề tối ưu …

24 complexity-theory  np-complete  terminology 

---