Pikirkan model pemeriksaan sel. Apakah ada struktur data yang dapat mengalokasikan potongan memori yang berdekatan dengan panjang berapa pun (seperti misalnya malloc di C), dan membebaskannya, sambil menghindari segmentasi memori, dan mengeksekusi setiap operasi dalam kasus deterministik O (log n) terburuk saat n ukuran total memori?
Dengan menghindari segmentasi memori yang saya maksud bahwa jika jumlah total sel bebas adalah F, maka saya harus dapat mengalokasikan segmen yang berdekatan dari sel F atau sekitar sel F.