Khoa học máy tính lý thuyết

5

Thực hiện giảm giá của FPT không phải là giảm thời gian đa thức

Trong độ phức tạp tham số, người ta sử dụng mức giảm tham số cố định (FPT) để chứng minh độ cứng W [t]. Về mặt lý thuyết, việc giảm FPT không phải là giảm thời gian đa thức, vì nó có thể chạy theo cấp số nhân trong tham …

11 cc.complexity-theory  np-hardness  reductions  parameterized-complexity 

---

1

Giới hạn dưới cho giao tiếp đa nhóm không phổ biến

Đây là phần tiếp theo của câu hỏi trước đây của tôi về giới hạn giao tiếp thấp hơn cho các hàm boolean một phần . Ai đó có thể đề nghị bất kỳ tài liệu tham khảo về giới hạn thấp hơn cho giao tiếp nhiều bên không nhất …

11 cc.complexity-theory  reference-request  lower-bounds  communication-complexity  norms 

---

2

Trò chơi 2P1R nào có tiềm năng sắc nét?

Trò chơi hai vòng một (2P1R) là một công cụ thiết yếu cho độ cứng gần đúng. Cụ thể, sự lặp lại song song của các trò chơi một vòng hai prover cung cấp một cách để tăng kích thước của một khoảng cách trong phiên bản quyết định của …

11 cc.complexity-theory  approximation-hardness 

---

1

Lỗi tràn ngập trong thuật toán Euclide mở rộng

Xin lỗi nếu tôi nhầm chỗ đặt câu hỏi (có lẽ tôi nên truy cập stackoverflow.com/mathoverflow.net?). Tôi tự hỏi nếu có bằng chứng rằng khi đánh giá thuật toán Euclide mở rộng, các hệ số của Bézout (đó là s và t trong danh tính là + bt = gcd …

11 ds.algorithms  nt.number-theory 

---

1

NP vs co-NP và logic thứ hai

Giả sử rằng NP = co-NP và đa thức giới hạn độ dài của bằng chứng về sự không thỏa mãn đối với trường hợp 3-CNF x . Sau đó, có bất kỳ kết quả nào về hình thức bất kỳ bằng chứng nào về sự không thỏa mãn đối …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

---

1

Định lý PCP - Bước giảm bảng chữ cái

Những gì tiếp theo có vẻ ngu ngốc (và điều đó có thể phản ánh sự hiểu biết kém của tôi - vì vậy xin vui lòng chịu đựng với tôi) Tôi đã có một truy vấn về định lý PCP. Chúng tôi biết rằng sau ba bước đầu tiên …

11 cc.complexity-theory  pcp 

---

2

Bằng chứng tương tác về số lượng của Chúa?

Gần đây tôi đã tìm hiểu về bằng chứng tương tác và tôi đã tự hỏi liệu toàn bộ điều này có gì khác hơn là sự tò mò về lý thuyết hay liệu nó có bất kỳ ứng dụng thực tế nào không. Tôi nghĩ tôi sẽ bắt đầu …

11 proofs  puzzles  interactive-proofs 

---

4

Trí thông minh và thuật toán của con người

Đã có nghiên cứu nào xác định liệu trí thông minh của con người có thể vượt trội hơn các thuật toán hay không (tức là kiểm tra xem Định lý Không ăn trưa miễn phí có áp dụng cho trí thông minh của con người không)? Dọc theo đường …

11 ds.algorithms  big-picture  ai.artificial-intel 

---

2

mô phỏng đường thẳng

Có ai biết bất kỳ tài liệu tham khảo tốt cho ý nghĩa của tính mô phỏng đường thẳng không? Tôi hiện đang đi sâu vào khuôn khổ Khả năng tương thích phổ quát (UC) của Canetti nhưng tôi không thể tìm thấy bất kỳ tài liệu tham khảo tốt …

11 cr.crypto-security 

---

2

Phân cụm chính thức hóa khác với K-nghĩa cho dữ liệu có thể tách rời

Dữ liệu trong thế giới thực đôi khi có một số cụm tự nhiên (cố gắng phân cụm nó thành một số cụm nhỏ hơn một số phép thuật k sẽ làm tăng đáng kể chi phí phân cụm). Hôm nay tôi đã tham dự một bài giảng của Tiến …

11 lg.learning  clustering 

---

2

Hệ thống các phương trình ngẫu nhiên của người Viking

Xét một đồ thị có đỉnh và m cạnh. Các đỉnh được gắn nhãn với các biến thực x i , trong đó x 1 = 0 là cố định. Mỗi cạnh đại diện cho một "phép đo": đối với cạnh ( u , v ) , tôi có được …

11 ds.algorithms  graph-algorithms 

---

2

Nhận được bit của N! ?

Cho và M , có thể lấy bit M (hoặc chữ số của bất kỳ cơ sở nhỏ nào) của N ! trong thời gian / không gian của O ( p ( l n ( N ) , l n ( M ) ) ) , trong đó p …

11 ds.algorithms  nt.number-theory 

---

3

Học với những lời tiên tri của người Hồi giáo

Câu hỏi của tôi hơi chung chung, vì vậy tôi đang tạo nên một câu chuyện hay để biện minh cho nó. Chịu đựng tôi nếu nó không thực tế ;-) Câu chuyện Ông X, người đứng đầu bộ phận an ninh máy tính tại một công ty lớn, hơi …

11 lg.learning 

---

1

Học tập bất khả tri trên các phân phối tùy ý

Đặt là phân phối trên các cặp bit / chuỗi { 0 , 1 } d × { 0 , 1 } và đặt C là tập hợp các hàm có giá trị boolean f : { 0 , 1 } d → { 0 , 1 } . Với …

11 reference-request  machine-learning  lg.learning 

---

3

Tôi phải tìm sự giúp đỡ với nghiên cứu / xuất bản ở đâu?

Tôi đã phát triển thuật toán SAT được một thời gian và đã đạt đến điểm mà tôi muốn chia sẻ nó. Tôi không biết nhiều người trong ngành khoa học máy tính và tôi không biết chính xác nơi nào để rẽ. Tôi đang tự hỏi những tài nguyên …

11 sat  soft-question  proofs 

---