Artikulu hau objektu matematiko buruzkoa da; beste esanahietarako, ikus «Grafo (argipena)».

Grafoa, matematika eta konputazio zientzien ikuspuntutik, objektu multzo bat da, puntu edo erpin bitartez irudikatzen dena, objektu hauek lotzen dituzten lokarri edo ertzekin batera. Grafoak multzoaren elementuen arteko erlazio bitarrak irudikatzea ahalbidetzen du.

6 erpin eta 7 ertzeko grafoa.

Historia eta Königsbergeko zubien arazoa aldatu

Grafoei buruzko lehen artikulu zientifikoa Leonhard Euler matematikari suitzarrak idatzi zuen 1736an, eta Königsbergeko zubien arazoan oinarritu zen bere artikuluan. Kaliningrad hiria, jatorriz Königsberg, Pregel ibaiaren bi ertzak eta bi uharte lotzen dituzten zazpi zubiengatik zen ezaguna. Bi zubik uharte nagusia ekialdeko ibaiertzarekin lotzen dute, eta beste bik mendebaldekoarekin. Uharte txikia zubi batek lotzen du ertz bakoitzean, eta zazpigarren zubiak bi uharteak lotzen ditu. Arazoa honakoa zen: "Posible al da eskualde horietako edozeinetik hasita, zubi guztietatik igarota eta bakoitza behin bakarrik zeharkatuz abiapuntu berdinera itzultzea?"

Momentuan oinarrizkoa zen grafoen teoriarekin planteatzean, Eulerrek Königsberg-eko zubien eskemari lotutako grafoak konponbiderik ez duela frogatu zuen, hau da, ezin dela abiapuntuko erpinera itzuli ertz batetik bi aldiz pasatu gabe.

Eulerrek arazo orokorra konpondu zuen: zer baldintza bete behar ditu grafo batek, ertz bakoitzetik behin igarota abiapuntuko erpinera itzul daitekeela bermatzeko? Grafo bateko puntu batean dauden lerroen kopurua "gradu" gisa definitzen badugu, orduan erantzuna da zubiak behin zeharkatu daitezkeela baldin eta erpin guztiek gradu bikoitia badute, gehienez bi izan ezik.

Definizioak aldatu

Grafoa G: = (V,E) formako bikote ordenatua da non:

  • V puntu edo nodo multzo bat den.
  • E lokarri edo ertz multzo bat den.

Normalean finitua izaten da. Grafo askoren emaitza garrantzitsuak ezin dira grafo infinituetan erabili. Grafoaren ordenak puntu edo nodo kopuruak zehazten du.

Begiztak aldatu

Begizta bat puntu berdina erlazionatzen duen ertza da. Besterik esaten ez bada, grafoa begiztarik gabea dela ulertzen da.


Bi ertz edo gehiago paraleloak direla deritzo erpin pare bera erlazionatzen badute.

Grafo ez zuzendua aldatu

 
Grafo ez zuzendua.

  grafo ez zuzenduak (edo grafo ez-orientatua) ondorengoa betetzen du:

  •  
  •  ,  -ren elementuen ordenatu gabeko bikote multzoa da.

Ordenatu gabeko bikoteak   formako multzoa da, non   den. Multzo hauek 2 kardinaleko  -ren potentzia-multzoarena da, matematikoki   bezala adierazten dena.

Grafo zuzendua aldatu

 
Grafo zuzendua.

  grafo zuzenduak (edo grafo orientatua) ondorengoa betetzen du:

  •  
  •  ,  -ren elementuen bikote ordenatu multzoa da.

  erpinak emanik, non   hasierako erpina eta   amaierako erpina den.

Definizioz, grafo zuzenduek ezin dute begiztarik eduki.

Propietateak aldatu

  • Auzokidetasuna: bi ertz auzokideak edo albokoak direla esaten da erpin komun bat badute, eta bi erpin albokoak dira ertz batek elkartzen baditu.
  • Intzidentzia: ertz batek erpin bati eragiten diola deritzogu ertzak beste erpin batekin lotzen badu.
  • Haztapena: ertz bakoitzari balio bat (pisua, luzera, etab.) lotzen dion funtzio bati dagokio, ereduaren adierazkortasuna areagotzeko. Hau asko erabiltzen da optimizazio problemetan.
  • Etiketatzea: Erpinei baita ertzei egiten zaien bereizketa, besteengandik bereizgarri egiten dituen marka baten bidez.

Adibideak aldatu

Alboko irudiak honako grafo hau adierazten du:

 
6 erpin eta 7 ertzeko grafoa.
  • V:={1,2,3,4,5,6}
  • E:={{1,2},{1,5},{2,3},{2,5},{3,4},{4,5},{4,6}}

1. erpina 2. erpinaren ondokoa izateagatik, 1 ~ 2 gisa adieraz daiteke.

  • X multzo bateko R erlazio bitarra grafo zuzendu sinplea da. Bi ertz   ab izeneko ertz batez lotuta daude baldin eta aRb.

Grafo bereziak aldatu

Badira ezaugarri bereziak dituzten grafoak. Hona hemen horietako batzuk:

  • Grafo nulua: erpinik eta ertzik gabeko grafoa. Batzuetan grafo hutsari grafo nulu esaten zaio.
  • Grafo hutsa: ertzik ez baina gutxienez erpin bat baduen grafoa.
  • Grafo sinplea: begizta edo ertz paralelorik ez duen grafoa.
  • Multigrafoa: sinplea ez den grafoa, hau da, bi erpinen artean ertz bat baino gehiago izatea onartzen duena.
  • Grafo osoa: erpin guztiak konektatuta dituen grafo sinplea, hau da, ertz posible guztiak dituen begiztarik gabeko grafoa.
  • Zatibiko grafoa:   erpin multzoaren   partizioa izanik (bi azpimultzoek ez dute erpin komunik eta bien bildurak   osatzen du), grafoaren ertzak   eta   azpimultzoko erpinekin intzidenteak dira.
  • Zatibiko grafo osoa:   azpimultzoko erpin guztiak   azpimultzoko erpin guztiekin konektatuta dituen zatibiko grafoa.
  • Grafo laua: plano kartesiarrean marraztuz, ertz bat beste batekin gurutzaturik ez duen grafoa.
  • Zuhaitza: ziklo gabeko grafo konektatua.
  • Gurpil grafoa  erpineko zikloari erpin bat gehituz eta azken honetatik zikloko   erpinetara ertz bana konektatuz lortzen den   erpineko grafoa.

Ikus gainera aldatu

Kanpo estekak aldatu