Đặt cấu trúc dữ liệu để chèn lặp lại hiệu quả

Tôi đang tìm kiếm một cấu trúc dữ liệu hiệu quả về không gian chứa các bộ (không lặp lại) các phần tử wordize và hỗ trợ chèn nhanh (khấu hao O (1)). Theo "không gian hiệu quả", ý tôi là, lý tưởng, $n + o(n)$ từ để lưu trữ $n$ phần tử.

Trở thành một tập hợp là một phần quan trọng của câu hỏi: nếu mỗi phần tử được thêm vào $\log n$ lần thì không gian được sử dụng không thể là $n\log n$ .

Cấu trúc cũng cần hỗ trợ liệt kê các yếu tố của nó (hợp lý hiệu quả); bất kỳ cấu trúc lành mạnh nên không có rắc rối ở đây. (Truy vấn thành viên nhanh là một lợi thế.)

Tôi nghĩ rằng "Từ điển và cây năng động" của Raman và Rao đáp ứng các giới hạn mà bạn chỉ định. Từ tóm tắt:

Trước tiên, chúng tôi đưa ra một đại diện của một tập hợp hỗ trợ các truy vấn thành viên trong thời gian trường hợp xấu nhất và chèn vào / xóa từ trong thời gian khấu hao dự kiến. Việc sử dụng đại diện bit, nơi là không gian tối thiểu thông tin lý thuyết để đại diện cho .O ( 1 ) S O ( 1 ) B + o ( B $S \subseteq U = \{0, \dots , m − 1\}, |S| = n$$O(1)$$S$$O(1)$$B + o(B)$$B = \lceil lg \binom{m}{n} \rceil$$S$

Nếu ứng dụng của bạn có thể chịu đựng một số dương tính giả, thì bạn nên xem xét sử dụng bộ lọc Bloom .

Diễn giải của Wikipedia: Bộ lọc Bloom là cấu trúc dữ liệu xác suất hiệu quả về không gian, được sử dụng để kiểm tra xem một phần tử có phải là thành viên của tập hợp hay không. Dương tính giả là có thể, nhưng tiêu cực sai thì không. Các yếu tố có thể được thêm vào tập hợp, nhưng không được loại bỏ. Càng nhiều yếu tố được thêm vào tập hợp, xác suất dương tính giả càng lớn.