Marzullos алгоритмі - Marzullos algorithm - Wikipedia

Марзуллоның алгоритмі, ойлап тапқан Кит Марзулло PhD докторы үшін диссертация 1984 ж келісім алгоритмі санынан дәл уақытты бағалау көздерін таңдау үшін қолданылады шулы уақыт көздері. «Деп өзгертілген оның нақтыланған нұсқасықиылысу алгоритмі »заманауи бөлігін құрайды Желілік уақыт хаттамасы.Marzullo алгоритмі есептеу үшін қолданылады босаңсу қиылысы n қораптан (немесе жалпы алғанда) n ішкі жиындар Rn), бірнеше талап еткендей берік жиынтық бағалау әдістер.

Мақсаты

Марзуллоның алгоритмі бағалау жиынтығынан оңтайлы мәнді шығаруға уақыт жағынан тиімді сенімділік аралықтары мұнда нақты мән кейбір дереккөздер үшін сенімділік интервалынан тыс болуы мүмкін. Бұл жағдайда ең жақсы интервал ең кіші аралық болады тұрақты ең көп көздермен.

Егер бізде 10 ± 2, 12 ± 1 және 11 ± 1 шамалары болса, онда [8,12], [11,13] және [10,12] аралықтары [11,12] немесе 11,5 ± 0,5 құрайды. барлық үш мәнге сәйкес келеді.

Марзуллоның алгоритмі, №1 мысал


Егер оның орнына [8,12], [11,13] және [14,15] диапазондары болса, онда барлық осы мәндерге сәйкес келетін интервал болмайды, бірақ [11,12] ең көп дереккөздермен сәйкес келеді - дәлірек айтқанда, екі олардың.

Марзуллоның алгоритмі, №2 мысал


Сонымен, егер [8,9], [8,12] және [10,12] диапазондары болса, онда [8,9] және [10,12] интервалдары да ең көп көздермен сәйкес келеді.

Марзуллоның алгоритмі, №3 мысал


Бұл процедура интервалды анықтайды. Егер қалаған нәтиже сол аралықтағы ең жақсы мән болса, онда интервалдың центрін мән ретінде қабылдау аңғалдық болады, бұл бастапқы Марзулло алгоритмінде көрсетілген. Неғұрлым күрделі көзқарас бұл ақпараттың сенімділік аралықтарынан пайдалы ақпаратты алып тастауы мүмкін екенін және ықтималдық моделі дереккөздер орталықтан басқа мәнді қайтара алады.

Есептелген мән «оңтайлы» емес, «оптимистік» деп сипатталатынына назар аударыңыз. Мысалы, [10,12], [11, 13] және [11.99,13] үш аралықты қарастырайық. Төменде сипатталған алгоритм [11.99, 12] немесе 11.995 ± 0.005 есептейді, бұл өте дәл мән. Егер бағалаудың біреуі қате болуы мүмкін деп күдіктенетін болсақ, онда бағалаудың кем дегенде екеуі дұрыс болуы керек. Бұл жағдайда ең жақсы баға [11,13] құрайды, өйткені бұл әрқашан кем дегенде екі бағаны қиып өтетін ең үлкен аралық. Төменде сипатталған алгоритм дұрыс емес бағалаудың максималды санымен оңай параметрленеді.

Әдіс

Марзуллоның алгоритмі дереккөздер кестесін дайындаудан, оны сұрыптаудан, содан кейін интервалдардың қиылыстарын іздеуден (тиімді) басталады. Әрбір дерек көзі үшін c ± r арқылы анықталған [c − r, c + r] диапазоны бар. Әр диапазон үшін кестеде екі болады кортеждер түрінің. Бір кортеж the1 түрімен деп белгіленген диапазонның басын, ал екіншісі +1 типімен аяқты түрінде бейнелейді.

Алгоритмнің сипаттамасында келесі айнымалылар қолданылады: best (қабаттасқан интервалдардың ең көп саны), cnt (қабаттасқан интервалдардың ағымдағы саны), beststart және bestend (әзірге табылған ең жақсы интервалдың басы мен соңы), i (индекс) және кортеждер кестесі.

  1. Кортеждер кестесін құрыңыз.
  2. Сұрыптау ығысу кестесі. (Егер бір аралық дәл басқасының басталуымен аяқталатындығын білдіретін бірдей ығысатын, бірақ қарама-қарсы типтегі екі кортеж болса, онда бірінші кезекте шешім қабылдау әдісі қажет. Мұндай жағдайды ұзақтықсыз қабаттасу деп санауға болады, оны табуға болады алгоритм бойынша +1 түріне дейін −1 типін қою арқылы. Егер мұндай патологиялық қабаттасулар қарсылықты деп саналса, онда бұл жағдайда +1 түрін −1 алдына қойып, болдырмауға болады.)
  3. [инициализация] best = 0 cnt = 0
  4. [цикл] кестедегі әрбір кортежді өсу ретімен өту
  1. [қабаттасатын интервалдардың ағымдағы саны] cnt = cnt − тип [i]
  2. егер cnt> best, содан кейін best = cnt beststart = offset [i] bestend = ofset [i + 1]
түсініктеме: келесі кортеж, [i + 1] кезінде, не интервалдың соңы болады (тип = + 1), бұл жағдайда ол осы ең жақсы интервалды аяқтайды немесе ол интервалдың басы болады (тип = -1) ) және келесі қадамда ең жақсысы ауыстырылады.
көмескі: анықталмаған - не істеу керек, егер ең жақсы = cnt. Бұл ең үлкен қабаттасудың галстук шарты. Шешімді ең кіші bestend − beststart және ofset [i + 1] −offset [i] ауыстыру немесе ерікті түрде екі бірдей жақсы жазбаның біреуін алу туралы шешім қабылдауға болады. Бұл шешім [i + 1] = + 1 типті болған кезде ғана маңызды.
  1. [end loop] қайтару [beststart, bestend] оңтайлы аралық. Саны жалған дереккөздер (қайтарылатын оңтайлы интервалмен қабаттаспайтындар) - бұл ең жақсы мәнді алып тастайтын көздер саны.

Тиімділік

Марзуллоның алгоритмі кеңістікте де, уақыт бойынша да тиімді. The асимптотикалық кеңістікті пайдалану O (n), мұндағы n - дереккөздердің саны. Уақыттың асимптотикалық қажеттілігін қарастырғанда алгоритм кестені құрудан, оны сұрыптаудан және іздеуден тұрады деп санауға болады. Сұрыптауды O (n log n) уақытында жасауға болады, және бұл ғимаратта және іздеуге болатын фазаларда басым болады. сызықтық уақыт. Сондықтан Марзуллоның алгоритмінің уақыт тиімділігі мынада O (n log n).

Кесте тұрғызылып, сұрыпталғаннан кейін сызықтық уақытта бір дереккөздің интервалын (жаңа ақпарат түскен кезде) жаңартуға болады. Сондықтан деректерді бір дереккөзге жаңарту және ең жақсы аралықты табу O (n) уақытында жүзеге асырылуы мүмкін.

Әдебиеттер тізімі

  • Марзулло, К.А (ақпан 1984). «Таратылған жүйеде уақытты сақтау: еркін байланысқан үлестірілген қызметтің мысалы». Ph.D. диссертация. Электротехника кафедрасы. Стэнфорд университеті. ASIN  B000710CSC. OCLC  38621764. DDC 3781.1984 М.

Сыртқы сілтемелер