Моделі та методи теорії побудови і кодування високоефективних просторових k-значних структур