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

Giả sử và G 2 là hai đồ thị vô hướng trên đỉnh thiết lập { 1 , ... , n } . Các đồ thị là đẳng cấu khi và chỉ khi có một hoán vị Π mà G 1 = Π ( G 2 ) , hay chính …

53 cc.complexity-theory  graph-isomorphism  pcp 

Đối với (các phiên bản tìm kiếm) của các vấn đề NP -complete, việc xác minh một giải pháp rõ ràng dễ dàng hơn tìm kiếm nó, vì việc xác minh có thể được thực hiện trong thời gian đa thức, trong khi việc tìm kiếm nhân chứng mất (có …

52 cc.complexity-theory  ds.algorithms  reference-request 

Đây có thể là một câu hỏi chủ quan chứ không phải là một câu trả lời cụ thể, nhưng dù sao đi nữa. Trong lý thuyết phức tạp, chúng tôi nghiên cứu khái niệm tính toán hiệu quả. Có các lớp như là viết tắt của thời gian đa …

49 cc.complexity-theory  space-bounded  big-picture 

Lý thuyết phức tạp là mối quan tâm thứ yếu mạnh mẽ của tôi nhưng nó không phải là mối quan tâm nghiên cứu chính của tôi, vì vậy tôi không có hy vọng tham dự tất cả các hội nghị, đọc tất cả các blog và đảm bảo rằng …

47 cc.complexity-theory  soft-question  research-practice 

Một số vấn đề tối ưu hóa được gọi là NP-hard trên các đồ thị chung có thể giải quyết được một cách tầm thường trong thời gian đa thức (một số ngay cả trong thời gian tuyến tính) khi biểu đồ đầu vào là một cây. Các ví dụ …

47 cc.complexity-theory  np-hardness  tree 

Chúng tôi biết rằng và rằng , trong đó . Chúng ta cũng biết rằng bởi vì cái sau có vấn đề hoàn toàn trong việc giảm nhiều không gian logarit trong khi cái trước thì không (do định lý phân cấp không gian). Để hiểu mối quan hệ giữa …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Hãy để tôi bắt đầu với một số ví dụ. Tại sao nó quá tầm thường khi hiển thị CVP ở P nhưng rất khó để hiển thị LP ở P; trong khi cả hai đều là vấn đề P-Complete. Hoặc lấy tính nguyên thủy. Hiển thị vật liệu tổng …

46 cc.complexity-theory  big-picture 

Các giới hạn thấp nhất hiện tại tốt nhất cho thời gian và độ sâu mạch cho 3SAT là gì?

46 cc.complexity-theory  lower-bounds  sat 

Cuốn sách của Arora và Barak trình bày bao thanh toán là vấn đề sau: FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}FACTORING={⟨L,U,N⟩|(∃ a prime p∈{L,…,U})[p|N]}\text{FACTORING} = \{\langle L, U, N \rangle \;|\; (\exists \text{ a prime } p \in \{L, \ldots, U\})[p | N]\} Họ nói thêm, trong Chương 2, việc loại bỏ …

45 cc.complexity-theory  np-hardness  factoring 

Định lý của Ladner nói rằng nếu P ≠ NP, thì có một hệ thống phân cấp vô hạn của các lớp phức tạp chứa đúng P và được chứa trong NP. Bằng chứng sử dụng tính đầy đủ của SAT theo NP giảm nhiều. Hệ thống phân cấp chứa …

45 cc.complexity-theory  reference-request  np-intermediate 

Hệ thống phân cấp Chomsky (mậtSchützenberger) được sử dụng trong sách giáo khoa khoa học máy tính lý thuyết, nhưng rõ ràng nó chỉ bao gồm một phần rất nhỏ các ngôn ngữ chính thức (REG, CFL, CSL, RE) so với Sơ đồ sở thú phức tạp đầy đủ . …

45 cc.complexity-theory  automata-theory  fl.formal-languages  big-picture  teaching 

Tôi đang tìm kiếm những phỏng đoán về các thuật toán và độ phức tạp được nhiều người xem là đáng tin cậy tại một số thời điểm, nhưng sau đó chúng hoặc bị từ chối, hoặc ít nhất là không tin, do gắn bằng chứng phản bác. Đây là …

44 cc.complexity-theory  ds.algorithms 

Được biết, TSP số liệu có thể được xấp xỉ trong vòng và không thể xấp xỉ tốt hơn trong thời gian đa thức. Có bất cứ điều gì được biết về việc tìm các giải pháp gần đúng trong thời gian theo cấp số nhân (ví dụ: dưới bước …

44 cc.complexity-theory  graph-algorithms  approximation-algorithms  tsp  exp-time-algorithms 

Nói một cách không chính thức, độ phức tạp Kolmogorov của chuỗi là độ dài của chương trình ngắn nhất tạo ra x . Chúng ta có thể định nghĩa một khái niệm 'chuỗi ngẫu nhiên' bằng cách sử dụng nó ( x là ngẫu nhiên nếu K ( x …

44 cc.complexity-theory  big-list  co.combinatorics  it.information-theory 

Tôi luôn gặp khó khăn trong việc hiểu tầm quan trọng của Khoảng cách Tích phân (IG) và giới hạn về nó. IG là tỷ lệ (chất lượng) của một câu trả lời nguyên tối ưu cho (chất lượng) một giải pháp thực tế tối ưu cho sự thư giãn …

44 cc.complexity-theory  ds.algorithms  approximation-algorithms  linear-programming  integrality-gap