Определяне на графиката, H4S

Ненасочена графика с шест върхове и седем ръбове

В математическа теория графика и компютърна графика - набор от не-празен набор от върховете и набор от двойки на върховете.







Обектите са представени като върхове. или графиката възли и връзки - като дъга. или ребра. За различни приложения, могат да бъдат ориентирани към различни видове графики, ограничения по отношение на броя на връзките и допълнителни данни за върхове или ръбове.

Много структури на практически интерес към математиката и компютърните науки, могат да бъдат представени чрез графики. Например, структура Уикипедия може да се моделира с насочен граф (диграфът), в която на върха - тази статия, и дъги (ориентирани подкастрени) - (. Виж тематична карта) хипервръзки.

дефинира

  • V е не-празен набор от върха или възли,
  • Е е набор от двойки (в случай на ненасочена графика - неподреден) върхове, наречени ръбове.

V (и следователно Е. иначе би било MultiSet), обикновено се считат за ограничени комплекти. Много добри резултати за крайните графиките, неправилно (или по някакъв начин е различно) за безкрайно графики. Това е така, защото редица съображения, че е невярна в случая на безкрайните множества.

Върхове и ръбове на графиката се наричат ​​също елементи на графиката, броят на върховете в графика | V | - ред. броят на ръбове | E | - размера на графиката.

Върхове U и V са наречени крайни възли (или завършва) ръбове е = U, V>. Edge, от своя страна, се свързва върха. Две крайни върхове на една и съща ребро се наричат ​​съседите.

Две краища се наричат ​​съседни. ако те имат една обща цел връх.

Две краища се наричат ​​кратни. ако множество крайни върхове съвпадат.

Един ръб се нарича линия. Ако краищата са еднакви, т.е. е = о, о>.

Степен ° С V V пикове по броя на ръбовете, за които е край (линия се счита два пъти).

Vertex се нарича изолирани. ако това не е краят на всяка перка; висящи (или лист), ако тя е в края на точно един ръб.

насочена графика

Arc - една наредена двойка върхове (V, W). където връх V се нарича самото начало, и w - дъга край. Можем да кажем, че дъгата води от връх обем до Vertex вата

смесена граф

Смесени grafG - графика, в които могат да бъдат ориентирани някои ръбове, а някои - ненасочена. Записите са подредени тройна G. = (V, Е, А), където V. Е и А са определени по същия начин както по-горе.

Ориентирани и не са ориентирани графики са специални случаи на смесени.

изоморфни графики

Графика G се нарича изоморфни графика Н. Ако има Биекция е от множеството върхове в графика G H. множество върхове имащи следната имота: ако графиката G има ръб от връх до връх А в графика Б. Н трябва да бъде предимство от F на връх ( а) в горния F (в) и обратно - ако пространство H е ръб от връх до връх на в В. grafeG бъде предимство от връх е - 1 (а) до е на връх - 1 (в). В този случай, насочено графиката трябва да поддържа ребро Биекция ориентация. В случай на претеглена графика Биекция също трябва да запазят ребра тегл.

Други свързани с определение

Път (или верига) на графиката е ограничен последователност на върховете, където всеки връх (с изключение на последния) е свързан към следващата в последователността на върховете на ръба.

Ориентирани от диграфа е ограничен последователност на върховете VI, което за всички двойки (VI, VI + 1) са (ориентирани) ръбове.







Един цикъл е път, по който първия и последния върховете са едни и същи. Когато etomdlinoy път (или цикъл) е броят на съставните ръбове. Забележете, че ако върховете U и V са краищата на ръба, а след това, съгласно определението, последователност (U, V, U) е цикъл. За да се избегнат подобни "изродени" случаи, да се въведе следните понятия.

На път (или цикъл) се нарича просто. ако краищата не се повтарят; елементарен. ако тя е проста и върхове в нея не се повтарят. Лесно е да се види, че:

  • Всеки начин за свързване на двете върховете съдържа елементарен път, свързващ същите два върхове.
  • Всеки прост път съдържа не-елементарни елементарен цикъл.
  • Всеки прост цикъл, преминава през връх (или ребро) soderzhitelementarny (под) контур, простиращ се през същия връх (или ръб).
  • Loop - елементарен цикъл.

А двоичен отношение на снимачната площадка на върха, определени като "има път от ф да о», е връзка равностойност. и, следователно, се разпада на снимачната площадка на равностойност класове, наречени елементи на графиката. Ако графът е точно един свързан компонент, графиката е свързан. В свързан компонент може да се въведе ponyatierasstoyaniya между върховете като минималната дължина на пътя свързването на тези върхове.

Всяка максимална свързан подграф на графика G е свързан компонент (или компонент) на графиката G. Думата "максимум" означава включването на максимум, който не се съдържа в свързано подграф с голям брой елементи

Edge на графиката се нарича мост. ако му заличаване увеличава броя на компонентите.

Допълнителни характеристики на графика

  • свързани. Ако по някаква два върха U, V е път от ф да ст.
  • ориентирани силно свързан или свързан. ако е ориентирана и от всеки възел на всяко друго има насочена път.
  • дърво. Ако е свързан и не съдържа прости цикли.
  • пълна. ако всеки от два (за висока, ако не е позволено линия), неговите върховете свързан с ръба.
  • двустранен. ако върховете могат да бъдат разделени в две подгрупи несвързани V1 и V2, така че всеки ръб свързва връх на V1 връх от V2.
  • K-Долни. ако върховете могат да бъдат разделени в к несвързани подгрупи V1, V2. ..., Vk, така че няма да има ръбове, свързващи върховете на една и съща подгрупа.
  • пълен двустранен. ако всеки връх на една подгрупа е свързана с ръба на взаимно връх подгрупа.
  • равнинни. ако графиката може да бъде представен от диаграмата на самолета без преминаване ръбове.
  • претеглена. Ако всеки край се задава определен брой наречен теглото на ръба.

Начини да представляват графика по компютърни науки

матрица близост

Таблица където колоните и редовете съответстват на върховете на графиката. Във всяка клетка на броя на матрицата се записва, като се посочва дали комуникация от най-горния ред към върха на колона (или обратно) на.

Недостатъкът е, изискванията за памет е право пропорционална на квадрата на броя на върховете.

  • Двуизмерният масив;
  • Matrix с пропуски;
  • Косвената позоваването (с помощта на функцията).

честота матрица

Всеки ред съответства на специфична връх на графиката, а колоните съответстват на графика отношения. Клетката в I-та линия с J-тата колона на матрицата е писано:

1, ако връзката й «навън» на върха и. -1 ако връзката "част" в горната част, 0 във всички други случаи (тоест, ако връзката е контур или съобщение не е инцидент в началото)

Този метод е най-обемен (размерът е пропорционална | E | | V |) за съхранение, но е по-лесно да се намери цикли в графиката.

списък на ребрата

Списък на ръбове - е вид графика представяне в паметта на компютърна програма, се счита, че всеки край е представена от две числа - числата на върховете на ребрата. Списък на ребрата е по-удобно да се прилагат различни алгоритми за графики, в сравнение с матрицата на съседство.

Обобщаването на понятието графика

Повече абстрактно, графиката може да се дефинира като три (V, E, φ), където V и Е - Някои комплекти (върхове и ръбове съответно ..), и - функция на честотата (или incidentor), която определя на всеки ръб (подредени или неподреден) двойка vershinu и обем V (всичко). Специфични случаи на тази концепция са:

  • насочени графики (digraphs) - когато φ (д) винаги е подредена двойка върхове;
  • неориентирани графа - където φ (д) винаги е нарушено двойка върхове;
  • смесени графики - в които има двете насочени и неориентирани ръбове и линии;
  • Ойлер графики - графика, в която има кръгова траектория Ойлер (Ойлер цикъл).
  • мултиграф - графики с множество ръбове, които имат техните краища същата двойка върхове;
  • pseudographs - това мултиграф признава съществуването на електрически вериги;
  • прости графики - без линии и множество ръбове.

Определението не пасва на някои от другите обобщенията, дадени по-горе:

литература