Кіріспе

Компьютерлік геометрияда және роботтардың қозғалысын жоспарлауда көріну графигі — Евклид жазықтығындағы нүктелер мен кедергілер жиынтығының бір-бірін көре алатын орналасуларының графигі. Графиктегі әрбір түйін нүктенің орнын көрсетеді, ал әрбір қабырға олардың арасындағы көрінетін байланысты білдіреді. Яғни, егер екі орнды қосатын түзу кесіндісі ешқандай кедергіден өспесе, графикте олардың арасына қабырға салынады. Егер орналысқан нүктелер бір түзу бойында болса, оны реттелген тізбек ретінде қарастыруға болады. Сондықтан көріну графиктері уақыт қатарларын талдау саласына да қолданылады.

Қолданбалар

Көріну графиктерін жазықтықтағы көпбұрышты кедергілер жиынтығы арасында Эвклид ең қысқа жолдарын табу үшін пайдалануға болады: екі кедергі арасындағы ең қысқа жол кедергілердің төбелерінде бұрылу мүмкін болғандықтан, түзу сызық сегменттерін ұстанады, сондықтан Эвклид ең қысқа жолы – бастапқы және мақсаттық нүктелерді және кедергілердің төбелерін түйіндер етіп алатын көріну графигіндегі ең қысқа жол болып табылады. Сондықтан, Эвклид ең қысқа жол мәселесі екі қарапайым кіші мәселеге бөлінеді: көріну графигін құру және Дикстра алгоритмі сияқты ең қысқа жол алгоритмін графқа қолдану. Кедергілерге қарағанда айтарлықтай үлкен көлемге ие роботтың қозғалысын жоспарлау үшін, роботтың көлемін ескеру үшін кедергілерді кеңейткеннен кейін ұқсас тәсіл қолданылуы мүмкін. Бұл нақты жағдай уақыт қатарлары, динамикалық жүйелер және граф теориясы арасында байланыс орнатады.

Қасиеттері

Қарапайым көпбұрыштың көріну графигінде көпбұрыштың төбелері нүктелер ретінде, ал көпбұрыш сырты жалғыз кедергі ретінде қарастырылады. Қарапайым көпбұрыштардың көріну графтары Гамильтон графтары болуы тиіс: көпбұрыш шекарасы көріну графигінде Гамильтон циклын құрайды. Барлық көріну графиктері де қарапайым көпбұрыш тудырмайды. Дегенмен, қарапайым көпбұрыштардың көріну графиктерінің тиімді алгоритмдік сипаттамасы әлі белгілі емес. Бұл графиктер көптеген жақсы құрылымдалған графиктер отбасыларына жатпайды: олар толық графиктер, шеңберлік графиктер немесе хордалық графиктер болмауы мүмкін. Алайда, қарапайым көпбұрыштардың көріну графтары cop win графтары болып табылады – бұл құбылысқа ерекшелік жасайды.

Қатысушы мәселелер

Көркемсурет галереясы мәселесі – бұл барлық басқа кедергі емес нүктелер осы жиынтықтан көрінетін нүктелердің минималды жиынтығын табу мәселесі. Көркемсурет галереясы мәселесінің кейбір түрлері көріну графигінде үстемдік жиынтықты табу түрінде қарастырылуы мүмкін. Полигон немесе қисықтар жүйесінің битангенттері – оларға жанасқан, бірақ жанасу нүктелерінде оларды кесіп өтпейтін түзулер. Полигон жиынтығының битангенттері полигонның төбелерін түйіндер ретінде және полигондардың өзін кедергілер ретінде пайдаланатын көріну графигінің ішкі жиынын құрайды. Евклид ең қысқа жолы мәселесіне көріну графигі арқылы қол жеткізуді барлық көріну жиектерін пайдаланудың орнына битангенттерден граф құру арқылы жылдамдатуға болады, себебі Евклид ең қысқа жолы кедергінің шекарасына тек битангент бойымен ғана кіре алады немесе шыға алады.