OK, đây là Vòng 2 của Lời nhắc Tối ưu hóa Siêu thông minh. Bài viết này may mắn có thể ngắn hơn nhiều so với bài viết đã trích dẫn, vì toàn bộ quy trình sau lời nhắc ban đầu là giống hệt như Vòng 1, chỉ cần thay "1" bằng "2" trong các tên tệp. Đây là lời nhắc: --- Đầu tiên hãy đọc TẤT CẢ các tệp md AGENTS và README md một cách cực kỳ cẩn thận và hiểu TẤT CẢ cả hai! Sau đó, hãy sử dụng chế độ đại lý điều tra mã của bạn để hiểu rõ mã, kiến trúc kỹ thuật và mục đích của dự án. Sau đó, một khi bạn đã thực hiện một công việc cực kỳ kỹ lưỡng và tỉ mỉ trong tất cả những điều đó và hiểu sâu sắc toàn bộ hệ thống hiện có và những gì nó làm, mục đích của nó, và cách nó được triển khai và cách tất cả các phần kết nối với nhau, tôi cần bạn điều tra và nghiên cứu một cách cực kỳ kỹ lưỡng và suy ngẫm về những câu hỏi này liên quan đến dự án này: Có bất kỳ sự không hiệu quả nào khác trong hệ thống cốt lõi không? Những nơi trong mã nguồn mà 1) thay đổi thực sự sẽ làm thay đổi đáng kể về độ trễ/tính phản hồi và thông lượng; 2) sao cho những thay đổi của chúng tôi sẽ được chứng minh là đồng dạng về mặt chức năng để chúng tôi biết chắc chắn rằng nó sẽ không thay đổi các đầu ra kết quả khi có cùng đầu vào; 3) nơi bạn có một tầm nhìn rõ ràng về một cách tiếp cận rõ ràng hơn về mặt thuật toán hoặc cấu trúc dữ liệu (lưu ý rằng đối với điều này, bạn có thể bao gồm trong những suy nghĩ của mình các cấu trúc dữ liệu ít được biết đến hơn và các thuật toán phức tạp/tinh vi/toán học cũng như các cách để tái cấu trúc vấn đề để một mô hình khác được lộ ra, chẳng hạn như danh sách được hiển thị bên dưới (Lưu ý: Trước khi đề xuất bất kỳ tối ưu hóa nào, hãy thiết lập các chỉ số cơ bản (độ trễ p50/p95/p99, thông lượng, bộ nhớ tối đa) và ghi lại các hồ sơ CPU/phân bổ/I/O để xác định các điểm nóng thực tế): - tối ưu hóa lồi (cải cách mang lại đảm bảo tối ưu toàn cầu) - tối ưu hóa phụ thuộc (tham lam cho phép xấp xỉ hằng số) - tổng quát bán trường (hợp nhất đường đi ngắn nhất, đóng băng truyền, luồng dữ liệu, phân tích) - nhận dạng cấu trúc matroid (tham lam là tối ưu được chứng minh) - đại số tuyến tính trên GF(2) (hệ thống XOR, vấn đề chuyển đổi, sửa lỗi) - giảm xuống 2-SAT (tính hợp lệ cấu hình, đồ thị suy diễn) - giảm xuống min-cost max-flow (phân công, lập lịch, phân bổ tài nguyên) - nhận dạng ghép cặp hai phía (Hungarian, Hopcroft-Karp) - DP như đường đi ngắn nhất trong DAG ngầm định (cho phép DP hàng đợi ưu tiên, tối ưu hóa kiểu Dijkstra) - mẹo bao lồi / cây Li Chao (O(n²) DP → O(n log n)) - tối ưu hóa Knuth / DP chia và chinh phục - giảm không gian Hirschberg (khi có thể áp dụng ngoài căn chỉnh) - FFT/NTT cho tích chập (nhân đa thức, tương quan chuỗi) - lũy thừa ma trận cho các chuỗi hồi quy tuyến tính - biến đổi Möbius / tích chập tập con - cấu trúc dữ liệu bền vững/không thay đổi (phiên bản, hoàn tác, thực thi suy đoán)...