Кіріспе

Левинсон рекурсиясы немесе Левинсон-Дурбин рекурсиясы — Топлиц матрицасы бар теңдеудің шешімін рекурсивті есептеуге арналған сызықтық алгебрадағы процедура. Алгоритм [[Big O нотациялық уақыты]]нда жұмыс істейді, бұл Гаусс-Жорданды жоюға қарағанда үлкен жетістік, себебі ол Θ(n³) уақытында жұмыс істейді. Левинсон-Дурбин алгоритмін алғаш рет 1947 жылы Норман Левинсон ұсынды, 1960 жылы Джеймс Дурбин жетілдірді, ал кейін В. Ф. Тренч және С. Зохар оны сәйкесінше 4n² және 3n² көбейтуге дейін жетілдірді. Деректерді өңдеудің басқа әдістеріне Шур ыдырауы және Чолески ыдырауы жатады. Бұлармен салыстырғанда Левинсон рекурсиясы (әсіресе бөлінген Левинсон рекурсиясы) есептеу жағынан жылдам, бірақ дөңгелектеу қатесі сияқты есептеулердегі қателерге сезімтал. Топлиц матрицалары үшін Барейсс алгоритмі (жалпы Барейсс алгоритмімен шатастырмау керек) Левинсон рекурсиясымен шамамен бірдей жылдамдықпен жұмыс істейді, бірақ ол O(n²) кеңістік алады, ал Левинсон рекурсиясына тек O(n) кеңістік жеткілікті. Барейсс алгоритмі сандық тұрақты, ал Левинсон рекурсиясы ең жақсы жағдайда ғана әлсіз тұрақты (яғни, жақсы шартталған сызықтық жүйелер үшін сандық тұрақтылық көрсетеді). Жаңа алгоритмдер, асимптотикалық жылдам немесе кейде супержедел Топлиц алгоритмдері деп аталады, әртүрлі p мәндері үшін Θ(n logᵖn) уақытында шешім таба алады (мысалы, p = 2, p = 3). Левинсон рекурсиясы бірнеше себепке байланысты танымал: біріншіден, оны салыстырмалы түрде түсіну оңай; екіншіден, ол кішкентай n үшін супержедел алгоритмнен жылдам болуы мүмкін (әдетте n < 256).

Блок Левинсон алгоритмі

Егер M қатаң Топлицтік болмаса, бірақ блоктық Топлицтік болса, Левинсон рекурсиясын блоктық Топлицтік матрицаны матрицалық элементтері бар Топлицтік матрица ретінде қарастыру арқылы шамамен осылай алуға болады (Musicus 1988). Блоктық Топлицтік матрицалары сигналдарды өңдеу алгоритмдерінде көптеген сигнал ағындарымен (мысалы, MIMO жүйелерінде) немесе циклдік стационарлық сигналдармен жұмыс істегенде естемелі түрде туындайды.