Là sự phức tạp tham số hóa sẽ là tương lai của lý thuyết phức tạp?


9

Tôi là một học giả nghiên cứu, người làm việc trong lý thuyết Thuật toán và Độ phức tạp, tôi sử dụng độ phức tạp tham số hóa ở một mức độ nào đó. Đối với tôi, dường như các nhà nghiên cứu về độ phức tạp tham số hóa rất tích cực (tôi không có nghĩa là người khác không) về số lượng tài liệu nghiên cứu. Tôi đã thấy rằng các nhà nghiên cứu từ độ phức tạp giao tiếp, độ phức tạp số học, vv cũng đang sử dụng các tham số khác nhau đến mức độ lớn hơn.

Câu hỏi: Sự phức tạp tham số hóa sẽ là tương lai của lý thuyết phức tạp? Tương lai chỉ có nghĩa là số lượng bài nghiên cứu, số nhà nghiên cứu làm việc trong lĩnh vực đó, v.v.

Xin lưu ý rằng tôi ngây thơ và có thể không nhận thức được nhiều điều.


3
Tôi nghĩ rằng chỉ thực sự câu hỏi thứ hai của bạn là phù hợp cho trang web này - cụ thể là, có hoạt động về "độ phức tạp tham số lượng tử" không? - vì câu hỏi đầu tiên là (a) về dự đoán tương lai, điều này luôn khó, và (b) các câu trả lời sẽ rất chủ quan. Nhưng tôi nghi ngờ câu trả lời cho câu hỏi của bạn (1) là vẫn còn rất nhiều nghiên cứu tích cực về thuật toán và độ phức tạp không phải là về độ phức tạp tham số.
Joshua Grochow

1
Không phải là nhà nghiên cứu ở đây, nhưng tôi chưa bao giờ biết độ phức tạp được tham số hóa là một thứ khác với ... độ phức tạp. Chính xác thì mọi người đã làm gì trước đó khi sự phức tạp phụ thuộc vào hai đại lượng? Chỉ cần quên một trong số họ?
dùng541686

1
Tôi là một fan hâm mộ lớn của sự phức tạp tham số hóa và tôi rất vui khi thấy bài đăng này vào cùng ngày mà bản tin FPT được phát hành. :)
Michael Wehar

Câu trả lời:


17

Dự đoán tương lai là không thể, đặc biệt là cho nghiên cứu tiên tiến. Tôi không nghĩ bất cứ ai dự đoán mức độ ảnh hưởng của việc học sâu hiện tại hoặc mật mã sẽ bị chiếm đoạt bởi sự xáo trộn không thể phân biệt.

Điều đó nói rằng, tôi sẽ nói nhiều như vậy: Tôi không thấy bất kỳ lý do cụ thể nào để mong đợi sự phức tạp được tham số hóa sẽ tiếp quản. Đó là một lĩnh vực trưởng thành đã hoạt động được khoảng 20 năm. Nó không thực sự tấn công tôi như là một khu vực sắp tới. Để rõ ràng, tôi nghĩ đó là một lĩnh vực thành công sẽ tiếp tục phát triển mạnh.

Nếu bạn nhìn vào xu hướng của google , mối quan tâm tìm kiếm về độ phức tạp được tham số hóa đang giảm dần. (Nhấn vào một số thuật ngữ khác để so sánh nếu bạn quan tâm.) Nếu bạn tìm các trích dẫn kết hợp cho sách giáo khoa Downey - Fellows Độ phức tạp tham sốsách giáo khoa cập nhật của chúng , bạn sẽ thấy rằng chúng khá ổn định: (Nguồn: học giả Google . Tôi đã thêm cả hai cuốn sách vào hồ sơ của riêng mình, hợp nhất chúng, chụp ảnh màn hình của các trích dẫn kết hợp và sau đó xóa chúng khỏi hồ sơ của tôi.)nhập mô tả hình ảnh ở đây

Đây là một số trích dẫn lành mạnh, nhưng nó không phải là sự tăng trưởng theo cấp số nhân sẽ khiến bạn nghĩ rằng sự phức tạp được tham số hóa sẽ diễn ra. Tất nhiên, dữ liệu này rất thiếu sót, nhưng đó là dấu hiệu tốt nhất tôi có thể tìm thấy về mức độ phổ biến toàn cầu của độ phức tạp tham số.

Lưu ý rằng mọi thứ có thể rất phổ biến tại địa phương ngay cả khi chúng không phổ biến trên toàn cầu. Khi tôi còn là sinh viên đại học, tôi nghĩ rằng tôi cần học về lý thuyết thể loại bởi vì mọi người xung quanh tôi đang nói về nó; Tôi thậm chí đã mua một cuốn sách. Sau đó tôi chuyển đến trường học và không bao giờ nghe về nó nữa; Cuốn sách vẫn chưa được đọc cho đến ngày nay. Có lẽ bạn đang ở trong một tình huống tương tự - bạn đang ở trong một bộ phận nơi có rất nhiều sự phức tạp được tham số hóa đang diễn ra, nhưng, nếu bạn chuyển đi nơi khác, câu chuyện sẽ hoàn toàn khác.


6
RIP cho tất cả những cuốn sách lý thuyết thể loại chưa đọc ngoài kia ...
gigabyte

3
Chỉ tò mò thôi: bạn có nói rằng có một nơi mà một số người làm việc phức tạp và thuật toán đã quan tâm một thời gian trong lý thuyết thể loại không? Hay những người này nhiều hơn trong thế giới ngôn ngữ lập trình? (Trong trường hợp đó sẽ không gây ngạc nhiên). Là một nhà nghiên cứu định hướng lý thuyết thể loại, tôi khá tò mò muốn biết nơi này ở đâu và điều gì quan tâm.
Damiano Mazza

@DamianoMazza Tôi nhận được vào các thuật toán và độ phức tạp trong trường học. Sự tiếp xúc của tôi với lý thuyết Danh mục là ở khía cạnh PL / logic của mọi thứ. Tôi thích lý thuyết thể loại; nó không xuất hiện nhiều trong công việc của tôi.
Thomas

Ok, như tôi đã nói, nó không đáng ngạc nhiên lắm! (Cả người PL / logic đều không quan tâm đến các danh mục, cũng như bạn chưa tìm thấy cách sử dụng chúng trong các thuật toán và độ phức tạp). Cảm ơn bạn!
Damiano Mazza

@DamianoMazza bạn có thể tạo ra một loại giả TM của TM và thương lượng nó bằng một số mức giảm yếu và sau đó bạn có được những thứ hay ho như khả năng mô tả tính hoàn chỉnh thông qua các cấu trúc lý thuyết thể loại, nhưng dường như tôi đã làm điều đó khi bạn thực hiện nó nhận được chính xác các kết quả tương tự bằng cách chỉ sử dụng một poset. Có một bài báo đã được đăng ở đây cách đây một thời gian, tạo ra mối liên hệ này: những lý tưởng chính trong dạng poset này là lớp cú pháp cú pháp, có ngôn ngữ hoàn chỉnh và có thể đếm được rất nhiều. Có lẽ có nhiều dặm bạn có thể nhận được từ một danh mục phù hợp, mặc dù tôi chưa nhận được.
Samuel Schlesinger
Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.