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

3

Lịch sử và trạng thái của vấn đề khớp đồ thị

Một phần của khó khăn trong việc tìm hiểu thêm về vấn đề này là vấn đề khớp đồ thị khác với người anh em nổi tiếng hơn nhiều của nó, vấn đề khớp, nhưng khó phân biệt với nó khi sử dụng các công cụ tìm kiếm. Cho hai …

11 reference-request  graph-theory  graph-isomorphism 

---

1

Bitcoin có an toàn về mặt mật mã không

Tôi đang cố gắng để hiểu giao thức bitcoin trong bối cảnh bảo mật mật mã tính toán. Câu hỏi là một yêu cầu tham khảo cho nền tảng của các bài viết về mật mã trên bitcoin. Câu hỏi đầu tiên của tôi là bitcoin giao thức mã hóa …

11 reference-request  cr.crypto-security 

---

1

Chiến lược giành chiến thắng của một trò chơi bị loại bỏ cạnh hoặc đỉnh bị cô lập

Là trò chơi thông tin hoàn hảo này chơi trên đồ thị biết / nghiên cứu? Cho một đồ thị G=(V,E)G=(V,E)G= (V,E) , hai người chơi thay thế chọn một cạnh hoặc một nút bị cô lập. Nếu người chơi chọn một cạnh e=(u,v)e=(u,v)e = (u,v) , hai nút uuu …

11 reference-request  combinatorial-game-theory 

---

1

Hướng về mức độ của hàm boolean về độ nhạy của nó

Một vấn đề mở rất thú vị trong nghiên cứu các biện pháp phức tạp của hàm Boolean là cái gọi là phỏng đoán độ nhạy và độ nhạy khối. Để biết nền tảng về độ nhạy so với độ nhạy khối, bạn có thể xem blogpost sau của S. …

11 cc.complexity-theory  reference-request  fourier-analysis 

---

1

Kết quả giới hạn / độ cứng tương đương ồn (Lwe)

Một số nền tảng: Tôi quan tâm đến việc tìm kiếm các giới hạn thấp hơn (ít được biết đến hơn) (hoặc kết quả độ cứng) cho vấn đề Học với Lỗi (Lwe) và khái quát hóa như Học với Lỗi trên Nhẫn. Đối với các định nghĩa cụ thể, …

11 cc.complexity-theory  reference-request  cr.crypto-security  machine-learning  lg.learning 

---

3

Các ấn phẩm gần đây về NP? = Câu hỏi coNP

Tôi quan tâm đến câu hỏi liệu NP có bằng coNP hay không. Tôi đánh giá cao một số lời khuyên về các ấn phẩm tốt để đọc về chủ đề này. Đối với hồ sơ, tôi biết rằng câu hỏi này có liên quan mật thiết đến câu hỏi …

11 cc.complexity-theory  reference-request  p-vs-np 

---

2

Trên đa tạp chiều và mạng

EDIT (Tác giả Tara B): Tôi vẫn quan tâm đến một tài liệu tham khảo về một bằng chứng về điều này, vì tôi phải tự chứng minh điều đó cho bài viết của mình. Tôi đang tìm bằng chứng của Định lý 4 xuất hiện trong bài báo này: …

11 reference-request  fl.formal-languages  linear-algebra  context-free-languages  lattice 

---

3

Giới hạn về các khoảnh khắc tần số xấp xỉ

Hãy để là một chuỗi các số nguyên trong đó mỗi một j ∈ { 1 , 2 , ... , n } . Với i ∈ { 1 , 2 , Hoài , n } , hãy để m i = | { j : a j = i …

11 ds.algorithms  reference-request  communication-complexity  data-streams 

---

2

Phòng trưng bày nghệ thuật biến thể với tầm nhìn cặp?

Vấn đề phòng trưng bày nghệ thuật truyền thống thiết lập một khu vực và những người bảo vệ với một số khái niệm về tầm nhìn, và yêu cầu số lượng bảo vệ tối thiểu cần được đặt để xem toàn bộ khu vực. Có ai đã từng nhìn …

11 reference-request  cg.comp-geom 

---

1

Độ phức tạp của st-Connectivity

Tôi muốn biết liệu vấn đề sau có thể được quyết định trong (không gian đăng nhập không xác định):N LNL\mathsf{NL} Cho đồ thị có hướng với hai đỉnh và phân biệt , có đường dẫn duy nhất từ đến trong không?s t s t GGGGSsstttSsstttGGG Tôi cảm thấy rằng …

11 reference-request  graph-theory 

---

2

Trò chơi không nhắm mục tiêu và truyền thông lượng tử

Tôi hiện đang tìm kiếm một số tài liệu tham khảo tốt liên quan đến các trò chơi không phải địa phương với các khía cạnh có lợi trong giao tiếp lượng tử. Ví dụ, tôi biết rằng các trò chơi không phải cục bộ rất tốt trong việc phức …

11 reference-request  quantum-computing  communication-complexity  quantum-information 

---

1

Cho một PDA M sao cho L (M) ở DCFL xây dựng DPDA N sao cho L (N) = L (M)

Có thể xây dựng một thuật toán lấy đầu vào tự động đẩy xuống cùng với lời hứa rằng ngôn ngữ được chấp nhận bởi máy tự động này là ngôn ngữ không có ngữ cảnh xác định và đưa ra ngôn ngữ tự động đẩy xuống xác định chấp …

11 reference-request  computability  fl.formal-languages  automata-theory 

---

4

Tìm một mô hình hữu hạn

Tôi biết rằng câu hỏi "làm một công thức đơn hàng đầu tiên có một mô hình" là undecidable nói chung.ϕϕ\phi Bất cứ ai có thể cho tôi một liên kết hoặc một cuốn sách đưa ra câu trả lời cho các mô hình hữu hạn. Nếu tôi có một …

11 reference-request  lo.logic  computability  finite-model-theory 

---

2

Tài liệu tham khảo về ngôn ngữ lập trình dựa trên logic có điều kiện

Logic có điều kiện là các logic làm tăng hàm ý logic truyền thống với các toán tử phương thức tương ứng với các khái niệm khác về điều kiện (ví dụ: điều kiện nhân quả đọc " A gây ra" B "hoặc điều kiện xác suất" A | B …

11 reference-request  lo.logic  pl.programming-languages  type-theory  proof-theory 

---

4

NEXP lớp phức tạp

Tôi có một vấn đề trong NEXP và cũng có thể được giải quyết bằng một TM luân phiên sử dụng thời gian theo cấp số nhân và chỉ một lần thay thế (bắt đầu ở trạng thái tồn tại).NPNP^{\text{NP}} Có bất cứ điều gì được biết về NEXP không? …

11 cc.complexity-theory  reference-request  complexity-classes  nexp 

---