# Графтар теорияһы

Графтар теорияһы — дискретлы математиканың графтар үҙенсәлектәрен өйрәнеүсе бүлеге. Дөйөм мәғәнәлә граф ҡабырғалар менән тоташтырылған түбәләр (төйөндәр) күмәклегенән ғибәрәт. Иң теүәл билдәләмә буйынса, граф тип $G=(V,E)$ парҙары күмәклеге атала, бында $V$ теләһә ниндәй иҫәпләү күмәклегенең аҫкүмәклеге, ә $E$ — $V\times V$-тың аҫкүмәклеге.
Графтар теорияһы, мәҫәлән геоинформацион системаларҙа (ГИС) ҡулланыла. Булған йәки яңынан проектланыусы өйҙәр, ҡорлмалар, кварталдар һәм башҡалар түбәләр, ә уларҙы тоташтырыусы юлдар, инженер селтәрҙәре, электр тапшырыу линиялары һәм башҡалар — ҡабырғалар итеп ҡарала. Бындай графта башҡарылған төрлө иҫәпләүҙәрҙе ҡулланыу, мәҫәлән, иң ҡыҫҡа урап үтеү юлын йәки иң яҡын аҙыҡ-түлек магазинын табырға, оптималь маршрут планлаштырырға булышлыҡ итә.
Графтар теорияһының күп һанда сиселмәгән проблемалары һәм әлегә иҫбатланмаған гипотезалары бар.

# Графтар теорияһы
## Графтар теорияһы барлыҡҡа килеү тарихы

Леонард Эйлерҙы графтар теорияһына нигеҙ һалыусы тип һанайҙар. 1736 йылда үҙенең хаттарының береһендә ул Кёнигсбергтың ете күпере проблемаһын әйтеп бирә һәм сиселешен тәҡдим итә, аҙаҡ был мәсьәлә графтар теорияһының классик мәсьәләләренең береһе булып китә. «Граф» терминын беренсе булып 1878 йылда билдәле инглиз математигы Джеймс Джозеф Сильвестр (1814—1897) үҙенең «Nature» мәҡәләһендә ҡуллана.

# Графтар теорияһы
## Графтар теорияһы терминологияһы

Графтар теорияһы терминдары һүҙлеге (терминологияһы) әлеге көндә ҡәтғи билдәләнмәгән. Атап әйткәндә, Гудман, Хидетниеми, 1981 монографияһында әйтелгән: «Программалау донъяһында ике „граф“ йәки „селтәр“ терминдарының ҡайһыһын һайлау тураһында берҙәм фекер юҡ. Беҙ „селтәр“ терминын һайланыҡ, сөнки ул, күренеүенсә, ғәмәли өлкәләрҙә йышыраҡ осрай». «Түбә/нөктә» терминдары менән дә шундай уҡ хәл".
Граф төрҙәре:
* Йүнәлешһеҙ граф (неограф)
* Йүнәлешле граф (орграф)

# Графтар теорияһы
## Графтарҙы яҫылыҡта һүрәтләү

Графтарҙы яҫылыҡта һүрәтләгәндә йышыраҡ шундай тамғалауҙар системаһы ҡулланыла: графтың түбәһе нөктә менән йәки, түбәнең мәғәнәһе асыҡланғанда, тура дүртмөйөштәр, овалдар һәм башҡалар менән һүрәтләнә, уларҙың эсендә түбәнең (алгоритмдарҙың блок-схемалары графтарының) мәғәнәһе асыла. Әгәр түбәләр араһында ҡабырға булһа, ул саҡта ярашлы нөктәләр (фигуралар) һыҙыҡ йәки дуға менән тоташтырылалар. Йүнәлешле граф осрағында дуғалар уҡтар менән алмаштырылалар, йәки ҡабырғаның йүнәлешле булыуын асыҡ күрһәтәләр. Ҡайһы берҙә ҡабырға янына уның мәғәнәһен асыусы аңлатма яҙыу урынлаштыралар, мәҫәлән, сикле автоматтарҙың күсеү графтарында. Планар һәм планар булмаған графтар була. Планар граф — һүрәттә (яҫылыҡта) ҡабырғаларын киҫештермәй һүрәтләргә мөмкин булған граф ул (иң ябайҙары — өсмөйөш йәки бәйле түбәләр пары), шулай булмаһа граф планар түгел. Әгәр графтың циклдары булмаһа (һис юғы, ҡабырғаларын һәм түбәләрен баштағы түбәгә әйләнеп ҡайтырлыҡ бер тапҡыр урап үтеү юлы булған), был осраҡта уны «ағас» тип атау ҡабул ителгән. Графтар теорияһында ағастарҙың мөһим төрҙәре — бинар ағастар, унда һәр түбәнең бер инеүсе ҡабырғаһы һәм теүәл ике сығыусы ҡабырғаһы бар, йәки һуңғыһы булып тора — сығыусы ҡабырғалары юҡ һәм бер тамыр түбәһе бар, уға инеүсе ҡабырға юҡ.
Графтың һүрәтләнешен графтың (абстрактлы структура) үҙе менән бутарға ярамай, сөнки бер графҡа берҙән артыҡ график күҙаллауҙы ярашлы ҡуйырға мөмкин. Һүрәтләү тик түбәләрҙең ҡайһы парҙары ҡабырғалар менән тоташтырылған, ә ҡайһылары юҡ икәнен күрһәтеү бурысын үтәй. Йыш ҡына практикала, ике һүрәтләү бер үк графтың моделдәре буламы тигән һорауға яуап биреүе ҡыйын була (икенсе төрлө әйткәндә, һүрәтләүҙәргә ярашлы графтар изоморфлы буламы). Мәсьәләгә бәйле рәүештә, бер һүрәтләүҙәр икенселәренә ҡарағанда асығыраҡ картина бирә.

# Графтар теорияһы
## Графтар теорияһының ҡайһы бер мәсьәләләре

* Кёнигсбергтың ете күпер проблемаһы — графтар теорияһында тәүге һөҙөмтәләрҙең береһе, Эйлер тарафынан 1736 йылда баҫып сығарылған.
* Дүрт буяу проблемаһы — 1852 йылда аныҡ итеп әйтеп бирелгән, ләкин классик булмаған иҫбатлау 1976 йылда ғына табылған (сферала (яҫылыҡта) карта өсөн 4 буяу етә).
* Коммивояжёр мәсьәләһе — иң билдәле NP-тулы мәсьәләләрҙең береһе.
* Өйөр тураһында мәсьәлә — тағы ла бер NP-тулы мәсьәлә.
* Минималь туплаусы (ҡаплаусы) ағасты табыу.
* Графтар изоморфизмы — бер графтың түбәләрен яңынан нумерлау юлы менән икенсе граф табып буламы.
* Планар граф — графты яҫылыҡта ҡабырғаларын киҫештермәй төҙөп буламы (йәки минималь һандағы ҡатлам, баҫма платала йәки микросхемала элементтарҙы үҙ-ара тоташтырыу йүнәлешен билдәләүҙә ҡулланыла).
Графтар теорияһына шулай уҡ күп кенә бөгөнгө көнгә хәл ителмәгән математик проблемалар инә.

# Графтар теорияһы
## Графтар теорияһының ҡулланылышы

* Химияла (структураларҙы, ҡатмарлы реакциялар эҙмә-эҙлелеген һүрәтләү өсөн, шулай уҡ фазалар ҡағиҙәһе графтар теорияһы мәсьәләһе булараҡ интерпретацияланыуы мөмкин); компьютер химияһы — химияның графтар теорияһына нигеҙләнгән сағыштырмаса яңы өлкәһе. Графтар теорияһы хемоинформатиканың математик нигеҙен тәшкил итә. Графтар теорияһы углеводородтарҙың һәм башҡа органик берләшмәләрҙең изомерҙарының теоретик мөмкин булған һанын теүәл асыҡларға мөмкинлек бирә.
* Информатикала һәм программалауҙа (алгоритмдың граф-схемаһы, автоматтар)
* Элемтә һәм транспорт системаларында. Атап әйткәндә, Интернетта мәғлүмәттәрҙе маршрутлау өсөн.
* Экономикала
* Логистикала
* Схемотехникала (Баҫма платала йәки микросхемала элементтарҙы үҙ-ара тоташтырыу топологияһы графтан йәки гиперграфтан ғибәрәт).