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

Trong ánh sáng của Stephen Hawking qua đời ngày hôm nay, tôi đã tự hỏi liệu bất kỳ kết quả nào của anh ấy có ảnh hưởng trực tiếp đến cs không? Ứng cử viên rõ ràng sẽ là máy tính lượng tử, hay đúng hơn là xây dựng một …

8 big-list  physics  bibliography 

Trong https://en.wikipedia.org/wiki/Geometric_complexity_theory đã đề cập rằng ".. Ketan Mulmuley tin rằng chương trình, nếu khả thi, có thể mất khoảng 100 năm trước khi nó có thể giải quyết vấn đề P so với NP". Nó dường như chỉ ra rằng chương trình hiện tại duy nhất có thể đối …

8 cc.complexity-theory  complexity-classes  lower-bounds  big-list  big-picture 

Các ứng dụng của Kolmogorov Độ phức tạp trong Lý thuyết số và trên các lĩnh vực liên quan đến bằng chứng là gì? (Chuyên khảo của Li & Vitanyi không có nhiều ứng dụng liên quan đến Lý thuyết số.) Một trong những bằng chứng tốt đẹp mà tôi …

8 reference-request  big-list  it.information-theory  kolmogorov-complexity 

Tôi mới học các hệ thống viết lại khi là nghiên cứu sinh năm thứ nhất. Tôi muốn đề xuất một khóa học chủ đề đặc biệt về lý thuyết viết lại, và tôi muốn chắc chắn rằng tôi không bỏ sót bất kỳ nguồn gốc nào. Tôi có một …

8 lo.logic  big-list  type-theory  lambda-calculus  term-rewriting-systems