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

2

Ý nghĩa của các biến thể giả thuyết Riemann trong TCS

Giả thuyết Riemann hơn 1 thế kỷ có ý nghĩa sâu sắc trong toán học và một kiến ​​thức lớn về lý thuyết toán học hiện được chứng minh có điều kiện trên nó và nhiều biến thể. Gần đây tôi đã bắt gặp một tài liệu tham khảo về …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

---

1

Các thuật toán lượng tử cho các tính toán QED liên quan đến các hằng số cấu trúc mịn

Câu hỏi của tôi là về các thuật toán lượng tử cho các tính toán QED (điện động lượng tử) liên quan đến các hằng số cấu trúc tinh. Các tính toán như vậy (như đã giải thích với tôi) tính toán cho chuỗi giống như Taylor trong đó là …

10 cc.complexity-theory  quantum-computing  physics 

---

1

Berman-Hartmanis Isomorphism cho NP

Sử dụng mô hình RAM / BSS thực, chúng ta có lớp NP R , (trong đó BSS là mô hình Blum-Shub-Smale của một máy tính có hoạt động trên thực tế). Chúng tôi có NP R hoàn thành vấn đề. Vì vậy, câu hỏi là có một sự tương …

10 cc.complexity-theory  computing-over-reals 

---

1

Vấn đề chỉ nằm ở P nếu P! = NP

Có bất kỳ vấn đề nào có thể giải quyết được trong thời gian đa thức chỉ khi P! = NP và mặt khác có thể giải quyết được trong thời gian (nói) không?O(2n)O(2n)O(2^n) Một ví dụ đơn giản sẽ là: Nếu P! = NP, hãy tính toán kiểm tra …

10 cc.complexity-theory  reference-request 

---

1

Có thể tính toán lambda giải quyết mọi vấn đề trong P?

Trong các chủ đề nâng cao về các loại và ngôn ngữ lập trình, nó đã được đề cập, trong chương về các hệ thống kiểu cấu trúc phụ, một phép tính lambda "được chế tạo cẩn thận" với một tổ hợp đệ quy cho các danh sách chỉ có …

10 cc.complexity-theory  type-theory  lambda-calculus 

---

1

Vấn đề NP-đầy đủ với nhiều chứng chỉ?

Chúng ta hãy gọi một ngôn ngữ NP được chứng nhận thưa thớt khi và chỉ khi:L∈L∈L \in Có tồn tại một đa thức như vậy mà cho tất cả các đầu vào x ∈ Σ * kích thước n , nếu x ∈ L sau đó tập U x …

10 cc.complexity-theory  complexity-classes 

---

1

Định nghĩa của Planar 3-SAT

Định nghĩa tiêu chuẩn của Planar 3-SAT là gì? Tôi đã thấy một số định nghĩa khác nhau. Bài báo gốc đã định nghĩa nó là gì và chứng minh nó là NP-Complete?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

---

1

Đường dẫn ẩn trong lưới vuông

Tôi vấp phải một vấn đề mở do David Eppstein đặt ra và tôi quan tâm đến tình trạng phức tạp của nó. Ông phỏng đoán rằng đó là NP-đầy đủ. Dữ liệu vào: theo n ma trận 0 và 1, chuỗi n 2 0 và 1nnnnnnn2n2n^2 Câu hỏi: Có …

10 cc.complexity-theory  graph-theory 

---

1

Tìm chu kỳ chẵn trong đồ thị có hướng

Đưa ra một biểu đồ có hướng, chúng tôi muốn quyết định xem nó có chứa một chu kỳ có hướng có độ dài chẵn hay không. Bài viết năm 1997 này của YUSTER và ZWICK nói rằng vấn đề không được biết là ở và nó cũng không phải …

10 cc.complexity-theory  reference-request  graph-theory 

---

1

Ý nghĩa giữa

Nếu chúng ta có thể chứng minh rằng , thì nó có ngụ ý rằng không?L = PL=P\mathsf{L}=\mathsf{P}N L = N PNL=NP\mathsf{NL}=\mathsf{NP} Tôi nghĩ đó là trường hợp, nhưng tôi không thể chứng minh điều đó (cũng cho điều ngược lại).

10 cc.complexity-theory  complexity-classes  nondeterminism 

---

2

Cây hoàn chỉnh

Cây bao trùm của đồ thị được gọi là cây hoàn chỉnh nếu tập hợp các lá của nó tạo ra một sơ đồ con hoàn chỉnh trong biểu đồ chủ. Cho một đồ thị và một số nguyên k , độ phức tạp của việc quyết định nếu G …

10 cc.complexity-theory  graph-theory  graph-algorithms 

---

1

Có phải trong NP để kiểm tra xem vỏ lồi có chứa bóng đơn vị không?

Cho một tập hợp điểm trong không gian Euclide d chiều, vấn đề là xác định xem vỏ tàu lồi có chứa bóng đơn vị tập trung tại điểm gốc không.nnnddd Có phải vấn đề này trong NP? Đó là trong co-NP vì người ta có thể cho một điểm …

10 cc.complexity-theory  cg.comp-geom 

---

1

Đồ trang sức đơn điệu giữa các danh sách các khoảng

Tôi có vấn đề sau: Đầu vào: hai bộ khoảng và T (tất cả các điểm cuối là số nguyên). Truy vấn: có một mệnh đề đơn điệu f : S → T không?SSSTTTf:S→Tf:S→Tf:S \to T Các song ánh là đơn điệu wrt tập để phát trên và T . …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

---

1

Là đẳng cấu đồ thị trong UP

Là đẳng cấu đồ thị (vấn đề quyết định) trong ? Ở đây U P là lớp các vấn đề quyết định được chấp nhận bởi một máy Turing không rõ ràng (xem sở thú phức tạp ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}

10 cc.complexity-theory  graph-isomorphism 

---

1

, , lớp

Tôi đã cố gắng để hiểu các lớp này nhưng luôn bối rối ... các câu hỏi là: Mối quan hệ giữa và , cụ thể là câu hỏi mở?# PFNPFNPFNP# P#P\#P Mối quan hệ của và gì? câu hỏi này có mở không?N P⊕ P⊕P\oplus PNPNPNP Còn mối quan …

10 cc.complexity-theory 

---