Рецензия за дисертацията на доц д-р Красимир Янков Йорджев

Тази рецензия е написана и представена на основание на заповед Д38-398/18.07.2014 на ректора на СУ „Св. Климент Охридски“, както и на решението на научното жури по процедурата (Протокол 1). Тя е изготвено въз основа на ЗРАСРБ, Правилника за прилагане на ЗРАСРБ, Правилника за условията и реда за придобиване на научни степени и за заемане на академични длъжности във Факултета по математика и информатика на СУ “Св. Климент Охридски” и указания за изготвяне на рецензии и становища от членове на научни журита и за документите в електронен вид, подавани от кандидата по процедури за академични длъжности и научни степени на Факултета по математика и информатика на СУ “Св. Климент Охридски”.

Представеният ми комплект от материали на книжен и на електронен носител включва всички предвидени документи в посочения по-горе закон и неговите приложения.
1. Тема и анализ на научните и научно-приложните постижения в дисертационния труд.

Дисертацията е посветена на алгоритмични проблеми за работя с различни дискретни обети и според автора се занимава с „разработката, анализа, реализацията и приложението на алгебрични алгоритми, като получава количествени оценки на обекти от различни области на науката и техниката: занимателна математика (Судоку), текстилна техника (структурното многообразие на тъкачни сплитки), психология (компютърно администриране на личностни въпросници), комбинаторика (комбинаторни задачи над бинарни матрици), теория на графите (числови характеристики на биполярни графи), теоретични основи на информатиката (формални езици и граматики)“.

Дисертационният труд е от 170 страници и се състои от увод, 6 глави, заключение и библиография от 195 заглавия. Въпреки стремежа на автора във всяка глава да вмъква обзор и заключение за резултатите в нея, тематично те не са достатъчно обвързани една с друга и създават впечатлението за включване на всичко направено то автора в научната му и образователна дейност. Този подход би бил повече приложим към хабилитационен труд, отколкото към дисертация за научната степен „доктор на науките“. Още повече, че една от мотивациите на автора е свързана с образователни подходи и методически приложения.

В първа глава „Побитови операции“ се уточняват основни побитови операции в С/С++ и Java и е представен алгоритъм за побитова сортировка със сложност О(n) на С++ и алгоритъм, представен също на С++ за извличане на всички елементи на дадено множество, притежаващи определени свойства без обхождане на цялото множество. Като цяло първа глава има по-скоро образователен характер. Побитовите операции, може би не съвсем удачно, присъстват и в заглавието на дисертацията. Побитовите операции не са особено ефективни за използване в съвременните компютри. Причината е, че единица памет в тях се разглежда обикновено от 64 бита и операциите се извършват паралелно върху всичките битове. Това е и причината побитовите операции да се използват само в теоретични изследвания, а в съвременните описания на алгоритмичните езици, както правилно авторът отбелязва, за тях не се отделя място.

Във втора глава „Математическо моделиране в текстилната техника“ се използват двоични матрици и побитови операции за моделиране на тъкачни структури. Научният принос не е достатъчен, а на рецензента не му е възможно да оцени наличието на научно-приложно резултати.

Трета глава „Множествено-релационен подход в занимателната математика и в психологическите изследвания“ е свързана с множествен подход при решаване на алгоритмични задачи за пъзела Судоку и с разработването на математико-информационен модел на личностни психологически тестове. В първия случай се използва преброителна комбинаторика и алгоритмични решения с побитови операции и е налице известен методико-образователен принос. Вторият случай е приложение на известни модели за управление на релационни бази данни, използващи таблична информация и няма научен принос.

Глава четвърта е свързана с решаването на комбинаторни задачи за двоични матрици и в нея, както и в следващата пета глава, има определен научен принос. Разгледана е задачата за намиране на броя на nxn двоични матрици с фиксиран брой единици на всеки ред и стълб и е разработен съответен алгоритъм. Обсъдена е и вероятността две случайно получени от т.нар. S-пермутационни матрици да се пресичат.

В глава пета се решава задачата за намиране на броя на всички наредени двойки, взаимно непресичащи се S-пермутационни матрици за малки параметри. Използва се апаратът на неизоморфните биполярни графи. Разгледана е връзката със съответните Судоку-матрици. Получени са редица математически резултати, които са представени детайлно и коректно.

Глава шеста е свързана с кандидатската дисертация на автора. Разгледана е задачата за ханойските кули чрез използване на парата на крайните автомати, на безконтекстните граматики и магазинните автомати. Интерес представлява разделът, в който се описват полиномиални алгоритми за проверка на това, дали даден автоматен или линеен език се съдържа в групов език с алгоритмично разрешим проблем за равенство на думите. Тази задача е частен случай на по-общия открит проблем на А. Анисимов за това, дали произволен безконтекстен език се съдържа в зададен групов език. И тук доказателствата са коректни и като цяло главата има определен научен принос.
2. Общо описание на публикациите, включени в дисертацията

Общият брой публикации е 44, от които публикации 20 публикации са в рецензирани списания, издавани в чужбина. 4 от тях имат импакт фактор по Thomson Reuters Journal of Citations. 17 труда са в сборници от международни конференции. Самостоятелните публикации са 24, а в останалите приносът на автора е безспорен.

Изпълнено е изискването на Правилника на ФМИ на СУ за приложение ЗРАСРБ за наличие на поне 10 научни труда в рецензирани издания.

Същевременно следва да се отбележи, че не всички публикации имат равностоен характер. Представен е списък от 39 цитирания, от които 16 в чужбина.

Редица критични бележки бяха направени при анализа на дисертационния труд и са свързани с недостатъчни научни и научно-приложни приноси и недобро структуриране на научните изследвания по едно или две изследователски направления. В голяма част от представените резултати приносът е по-скоро образователно-методичен, отколкото научен или научно-приложен. Преекспонирана е ролята на побитовите операции за повишаване на ефективността на изчисленията. Налице са известен брой и терминологични несъответствия, които, обаче, лесно се преодоляват. Авторефератът и авторската справка, макар и направени според изискванията, не обхващат достатъчно добре резултатите и по-съществените приноси в дисертационния труд.

Въпреки посочените в критичните бележки недостатъци на дисертационния труд, в заключение считам, че в общи линии той отговаря на изискваният на ЗРАСРБ и неговите приложения и предлагам на доц. д-р Красимир Янков Йорджев да бъде присъдена научната степен научна степен „доктор на науките" в област на висше образование 4. Природни науки, математика и информатика, професионално направление 4.6 Информатика и компютърни науки.

София /Радослав Павлов/