Klees проблеманы өлшейді - Klees measure problem - Wikipedia

Ауданы өлшенуі керек тікбұрышты диапазондар жиынтығы («тор»).

Жылы есептеу геометриясы, Клидің өлшемі проблемасы қаншалықты тиімді екенін анықтау проблемасы болып табылады өлшеу а одақ туралы (көп өлшемді ) тік бұрышты диапазондарды есептеуге болады. Мұнда, а г.-өлшемді тікбұрышты диапазон а деп анықталған Декарттық өнім туралы г. аралықтар туралы нақты сандар, бұл а ішкі жиын туралы R^г..

Мәселе атымен аталған Виктор Кли, интервалдар одағының ұзындығын есептеу алгоритмін берген кім (жағдай г. = 1) кейінірек мағынасында оңтайлы тиімді екендігі көрсетілген есептеу күрделілігі теориясы. 2-өлшемді тікбұрышты диапазондардың бірігу ауданын есептеудің күрделілігі қазір де белгілі, бірақ жағдай г. ≥ 3 қалады ашық мәселе.

Тарих және алгоритмдер

1977 жылы, Виктор Кли келесі мәселені қарастырды: жинағы берілген n аралықтар ішінде нақты сызық, олардың бірігуінің ұзақтығын есептеңіз. Содан кейін ол ан алгоритм бұл мәселені шешу есептеу күрделілігі (немесе «жұмыс уақыты») ${ displaystyle O (n log n)}$ - қараңыз Үлкен O белгісі осы тұжырымның мағынасы үшін. Бұл алгоритм, негізделген сұрыптау аралықтары, кейін көрсетілген Майкл Фредман және Брюс Вайд (1978) оңтайлы болуы керек.

Кейінірек 1977 ж. Джон Бентли есептің 2-өлшемді аналогын қарастырды: жиынтығы берілген n тіктөртбұрыштар, табыңыз аудан олардың одағының. Ол сондай-ақ күрделілікке ие болды ${ displaystyle O (n log n)}$ алгоритмі, қазір белгілі Бентли алгоритмі, мәселені төмендетуге негізделген n 1-өлшемді проблемалар: бұл аймақ бойынша тік сызықты сыпырып алу арқылы жүзеге асырылады. Осы әдісті қолдана отырып, одақтың ауданын кәсіподақтың өзін нақты құрмай-ақ есептеуге болады. Бентлидің алгоритмі қазіргі кезде оңтайлы екендігі белгілі (2 өлшемді жағдайда), және қолданылады компьютерлік графика, басқа салалармен қатар.

Бұл екі есеп - жалпы сұрақтағы 1 және 2 өлшемді жағдайлар: жиынтығы берілген n г.-өлшемді тікбұрышты диапазондар, олардың қосылу шараларын есептеңіз. Бұл жалпы проблема - Клидің өлшем проблемасы.

Жалпыланған кезде г.- өлшемді жағдай, Bentley алгоритмінің жұмыс уақыты бар ${ displaystyle O (n ^ {d-1} log n)}$. Бұл шығады емес оңтайлы болуы керек, өйткені ол тек г.-өлшемді проблема n (d-1) өлшемді проблемалар және бұл ішкі проблемаларды одан әрі бұзбайды. 1981 жылы, Ян ван Ливен және Дерек Вуд осы алгоритмнің жұмыс уақытын жақсартты ${ displaystyle O (n ^ {d-1})}$ үшін г. Dynamic 3 динамиканы қолдану арқылы төрттіктер.

1988 жылы, Марк Овермарс және Chee Yap ұсынды ${ displaystyle O (n ^ {d / 2} log n)}$ үшін алгоритм г. ≥ 3. Олардың алгоритмінде a-ға ұқсас мәліметтер құрылымы қолданылады кд-ағаш мәселені екі өлшемді компоненттерге бөлу және сол компоненттерді тиімді жинақтау; а өлшемді есептердің өзі тиімді шешіледі тор құрылым. Bentley алгоритміне қарағанда асимптотикалық жылдамырақ болса да, оның деректер құрылымы кеңістікті едәуір көбірек пайдаланады, сондықтан ол тек проблемалар кезінде қолданылады. n немесе г. үлкен. 1998 жылы Богдан Хлебус қарапайым ерекше жағдайлар үшін асимптотикалық жұмыс уақыты бірдей қарапайым алгоритм ұсынды. г. 3 немесе 4 құрайды.

2013 жылы Тимоти М.Чан қарапайым динамикалық құрылымдардың қажеттілігін болдырмайтын және логарифмдік коэффициентті болдырмайтын қарапайым алгоритм ойлап тапты, d running 3 дейін жұмыс істеудің ең жақсы уақытын қысқартады. ${ displaystyle O (n ^ {d / 2})}$.

Белгілі шекаралар

Жалғыз белгілі төменгі шекара кез келген үшін г. болып табылады ${ displaystyle Omega (n log n)}$, және осы жұмыс уақытының оңтайлы алгоритмдері белгілі г.= 1 және г.= 2. Chan алгоритмі жоғарғы шекараны ұсынады ${ displaystyle O (n ^ {d / 2})}$ үшін г. ≥ 3, сондықтан г. ≥ 3, тезірек алгоритмдер мүмкін бе, әлде балама түрде неғұрлым қатаң төменгі шекараларды дәлелдеуге бола ма деген сұрақ туындайды. Атап айтқанда, алгоритмнің жұмыс істеу уақытына тәуелді болуы керек г.. Сонымен қатар, ерекше жағдайлармен жұмыс істей алатын жылдамырақ алгоритмдер бар ма (мысалы, кіру координаталары шектелген ауқымдағы бүтін сандар болған жағдайда) деген сұрақ ашық күйінде қалып отыр.

1D Klee өлшемі есебін (интервалдардың бірігуі) шешуге болады ${ displaystyle O (n log p)}$ қайда б барлық аралықтарды шаншу үшін қажетті тесу нүктелерінің санын білдіреді^[1] (жалпы нүктемен тесілген интервалдардың қосылуын сызықтық уақытта экстреманы есептеу арқылы есептеуге болады). Параметр б - бұл енгізу конфигурациясына және пирсинг алгоритміне тәуелді адаптивті параметр^[2] Кли өлшемі проблемасының адаптивті алгоритмін береді.

Сондай-ақ қараңыз

• Дөңес көлемге жуықтау, үшін тиімді алгоритм дөңес денелер

Қолданған әдебиет тізімі мен алдағы оқу

Маңызды құжаттар

• Кли, Виктор (1977), «мүмкін ${ displaystyle cup [a_ {i}, b_ {i}]}$ аз уақытта есептелінеді ${ displaystyle O (n log n)}$ қадамдар? «, Американдық математикалық айлық, 84 (4): 284–285, дои:10.2307/2318871, JSTOR  2318871, МЫРЗА  0436661.
• Бентли, Джон Л. (1977), Клидің тіктөртбұрыш есептерінің алгоритмдері, Жарияланбаған жазбалар, Карнеги Меллон университетінің компьютерлік ғылымдар бөлімі.
• Фредман, Майкл Л.; Уайде, Брюс (1978), «өлшемін есептеудің күрделілігі ${ displaystyle cup [a_ {i}, b_ {i}]}$", ACM байланысы, 21 (7): 540–544, дои:10.1145/359545.359553, МЫРЗА  0495193, S2CID  16493364.
• ван Ливен, қаңтар; Ағаш, Дерик (1981), «тікбұрышты диапазондар үшін өлшем мәселесі г.-ғарыш», Алгоритмдер журналы, 2 (3): 282–300, дои:10.1016/0196-6774(81)90027-4, hdl:1874/15897, МЫРЗА  0632450.
• Мармар Х.; Яп, Чи-Кенг (1991), «Клидің өлшеміндегі жаңа жоғарғы шектер», Есептеу бойынша SIAM журналы, 20 (6): 1034–1045, дои:10.1137/0220065, hdl:1874/16614, МЫРЗА  1135747.
• Члебус, Богдан С. (1998), «Клидің кіші өлшемдер мәселесі туралы», Информатика теориясы мен практикасының қазіргі тенденциялары туралы 25-ші конференция материалдары (SOFSEM-98), Информатика пәнінен дәрістер, 1521, Берлин: Спрингер-Верлаг, б.304–311, дои:10.1007/3-540-49477-4_22, ISBN  978-3-540-65260-1.
• Чан, Тимоти М. (2013), «Клидің мәселесі оңай болды», IEEE 54-ші информатика негіздеріне арналған симпозиум материалдары (ТОБЖ) (PDF), 410-419 б., CiteSeerX  10.1.1.643.26, дои:10.1109 / FOCS.2013.51, ISBN  978-0-7695-5135-7, S2CID  11648588.

Екінші әдебиет

• Franco P. Preparata және Майкл I. Шамос (1985). Есептеу геометриясы (Springer-Verlag, Берлин).
• Клидің өлшеу мәселесі, профессор Джефф Эриксоннан ашық мәселелер тізімі есептеу геометриясында. (2005 жылдың 8 қарашасында, соңғы жаңарту 1998 жылдың 31 шілдесінде болған.)

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