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

1

Bất kỳ công thức SAT / SMT nào của VRP / VRPTW (TSP, Lập kế hoạch cửa hàng công việc)?

Tôi tự hỏi liệu chúng có phải là bất kỳ cách tiếp cận nào hình thành vấn đề Định tuyến xe cộ với Thời gian-Windows ( VRPTW ) (như một vấn đề quyết định) như là một ví dụ SAT / SMT không? (thay thế: TSP) Ví dụ: "Có giải …

9 ds.algorithms  reference-request  sat  reductions  tsp 

---

1

NP-Độ cứng của một trường hợp đặc biệt của vấn đề đóng gói trực giao

Đặt là tập hợp các hình chữ nhật -chiều. Với và , w_d (v) \ in \ mathbb {Q} ^ {+} mô tả độ dài của v trong thứ nguyên d . Các ký hiệu tương tự được sử dụng cho các container C . Các D chiều vuông góc …

9 cc.complexity-theory  reference-request  np-hardness  packing 

---

2

Phần mở rộng của định lý Ramsey: đơn sắc nhưng đa dạng

Theo dõi câu hỏi trước đây của tôi , đã được Hsien-Chih Chang giải quyết, đây là một nỗ lực khác để tìm ra một khái quát hóa phù hợp của định lý Ramsey. (Bạn không cần phải đọc câu hỏi trước đó; bài đăng này là độc lập.) Các …

9 reference-request  co.combinatorics  ramsey-theory 

---

2

Kiểm tra thuộc tính cho các bộ độc lập

Giả sử chúng ta đang đưa ra một đồ thị và các thông số k , ε . Có khoảng các giá trị cho k (hoặc là nó doable cho tất cả k ) mà chúng ta có thể kiểm tra xem G là ε -far từ việc có một …

9 ds.algorithms  graph-theory  reference-request  property-testing 

---

1

Thuật toán tìm kiếm cơ sở dữ liệu lý thuyết số liệu

Tôi (từ từ) viết một bài đánh giá về Sổ tay thuật toán hóa học hóa học cho SIGACT News. Một chương thảo luận về việc triển khai phần mềm hiện tại và các tìm kiếm cơ sở dữ liệu (và các ứng dụng khác) dường như không tận dụng …

9 reference-request 

---

2

Độ phức tạp mạch tính toán của các vấn đề quyết định

Có ai đã khám phá sự phức tạp mạch của các vấn đề quyết định cổ điển như Số nguyên tố hoặc Đồ thị đẳng hình cho kích thước đầu vào không?NNN Trong khi hầu hết mọi người đang quan tâm đến những cách thức mở rộng quy mô diễn …

9 cc.complexity-theory  reference-request  circuit-complexity 

---

1

Lý thuyết thông tin và tối ưu hóa lồi

Tôi đang tham gia một khóa học cấp độ cao về lý thuyết thông tin và tôi liên tục bị ấn tượng bởi mức độ tối ưu hóa lồi trong môn học này. Tuy nhiên, các bằng chứng dường như ngại sử dụng toàn bộ máy móc của lý thuyết …

9 reference-request  it.information-theory  convex-optimization 

---

1

Ghép số lượng hình chữ nhật có chiều rộng / chiều cao 1 tối thiểu vào lưới 2D

Hãy xem xét một vấn đề trong đó bạn được cung cấp lưới 2D (ví dụ: bàn cờ) trong đó các ô vuông nhất định bị chiếm đóng và bạn cần đặt số lượng hình chữ nhật không chồng chéo tối thiểu ở bất kỳ kích thước nào wxh trong …

9 reference-request  np-hardness  planar-graphs  packing  polynomial-time 

---

1

Có sự tương tự lượng tử nào của vấn đề VP so với VNP không?

Từ Wikipedia : VPVP\mathsf{VP} : Lớp VP là tương tự đại số của P; đó là lớp đa thứcfff có bậc đa thức có mạch kích thước đa thức trên một trườngKKK cố định. VNPVNP\mathsf{VNP} : Lớp VNP là tương tự của NP. VNP có thể được coi là lớp …

8 cc.complexity-theory  reference-request  quantum-computing  circuit-complexity 

---

1

Sự khác biệt giữa ngôn ngữ kim loại tính toán của Moggi và phép tính lambda của Moggi là gì?

Đây là một sự nhầm lẫn tham khảo. Đôi khi tôi thấy mọi người sử dụng thuật ngữ "Ngôn ngữ kim loại tính toán của Moggi" để chỉ tính toán được trình bày bởi Moggi, và đôi khi để "tính toán lambda tính toán của Moggi". Đôi khi, họ sử …

8 reference-request  typed-lambda-calculus  monad 

---

1

Một câu hỏi khác về máy phân tách phẳng

Có ai trong số các bạn biết một tài liệu tham khảo cho kết quả sau đây (đáng ngạc nhiên là tẻ nhạt để chứng minh) không? Cho một đồ thị phẳng kết nối với n đỉnh và n + t mép, nó có một tách đỉnh của kích thước …

8 reference-request  planar-graphs  separation 

---

2

Độ phức tạp của giao tiếp xấp xỉ kích thước của giao điểm đặt

Hãy xem xét vấn đề giao nhau tập hợp: Alice và Bob mỗi người có một tập hợp con và họ muốn biết liệu các tập hợp của họ có giao nhau không. Đây là một vấn đề chính về độ phức tạp trong giao tiếp và được biết rằng …

8 reference-request  communication-complexity 

---

1

Được tính phức tạp lần đầu tiên được giới thiệu bởi Valiant vào năm 1979?

Được #P giới thiệu lần đầu tiên trong [1] ? [1] Valiant, Leslie G. "Sự phức tạp của tính toán vĩnh viễn." Khoa học máy tính lý thuyết 8.2 (1979): 189-201.

8 cc.complexity-theory  reference-request  counting-complexity  ho.history-overview 

---

1

Về nguồn gốc của những cái tên

Tôi đã tự hỏi một thời gian về nguồn gốc của các tên "miễn dịch" và "đơn giản". Tôi cũng đặt ra câu hỏi tương tự với Andrea Sorbi, người lần lượt liên quan đến một vài đồng nghiệp nữa trong cuộc thảo luận. Về "đơn giản" chúng tôi có …

8 reference-request  lo.logic  computability  philosophy 

---

1

Tôi có thể tìm thấy các ví dụ về mã sửa lỗi của các loại sau đây ở đâu?

Đầu tiên, xin lỗi nếu câu hỏi này là phù hợp hoặc tầm thường cho trang web này. Tôi là một nhà vật lý đang tìm kiếm sự giúp đỡ bên ngoài vùng thoải mái của anh ấy. Trong PRL 87 167902 (2001) , người ta khẳng định rằng "... …

8 reference-request  lower-bounds  quantum-information 

---