Naimi-Trehel's algorithm