Mark%E2%80%93compact algorithm