Turnir (teorija grafov)

Iz Wikipedije, proste enciklopedije
Skoči na: navigacija, iskanje
Turnir
4-tournament.svg
Turnir na 4-ih točkah
Točke n
Povezave \binom{n}{2}

Turnír je v teoriji grafov usmerjeni graf (digraf) tvorjen z določitvijo smeri vsake povezave v neusmerjenem polnem grafu. To pomeni, da je usmerjeni graf, v katerem je vsak par njegovih točk povezan z eno usmerjeno povezavo.

Mnogo pomembnih značilnosti turnirjev je prvi raziskoval Landau med modeliranjem relacije nadvlade pri jati kokoši. Trenutne uporabe turnirjev med drugim vključujejo raziskovanje teorije glasovanja in teorije družbene izbire. Ime turnir izhaja iz takšne predstavitve grafov kot izida krožnega sistema v katerem vsak igralec igra z drugim igralcem točno enkrat, in v katerem ni žrebanja. V usmerjenem grafu turnirja točke odgovarjajo igralcem. Povezava med vsakim parom igralcev je usmerjena od zmagovalca k poražencu. Če igralec a premaga igralca b, potem rečemo, da a prevladuje nad b.

Poti in cikli[uredi | uredi kodo]

Vsak turnir na končnem številu n točk vsebuje Hamiltonovo pot, kar pomeni, da je usmerjen na vseh n točkah.[1] To se lahko preprosto pokaže z indukcijo na n: predpostavimo, da izjava velja za n, in upoštevajmo turnir T na n+1 točkah. Izberimo točko v_{0} iz T in obravnavajmo usmerjeno pot v_{1},v_{2},\ldots,v_{n} v T\setminus \{v_{0}\}. Naj je sedaj i \in \{0,\ldots,n\} največji, da bo za vsak j \leq i obstajala usmerjena povezava iz v_{j} v v_{0}. Potem je:

 v_{1},\ldots,v_{i},v_{0},v_{i+1},\ldots,v_{n} \!\,

želena usmerjena pot. Takšno razmišljanje da tudi algoritem za iskanje Hamiltonove poti. Znani so učinkovitejši algoritmi, ki zahtevajo pregledovanje le \ O(n \log n) točk.[2].

To nakazuje, da ima krepko povezani turnir Hamiltonov cikel.[3] Velja še naprej, da je vsak krepko povezani turnir točkovno pancikličen: za vsako točko v in za vsak k v območju od tri do števila točk v turnirju obstaja cikel dolžine k, ki vsebuje točko containing v.[4] Če je turnir 4‑povezan, se lahko vsak par točk poveže s Hamiltonovo potjo.[5]

Opombe in sklici[uredi | uredi kodo]

  1. ^ Rédei (1934).
  2. ^ Bar-Noy, Naor (1990).
  3. ^ Camion (1959).
  4. ^ Moon (1966), izrek 1.
  5. ^ Thomassen (1980).

Viri[uredi | uredi kodo]

  • Bar-Noy, A.; Naor, J. (1990). "Sorting, Minimal Feedback Sets and Hamilton Paths in Tournaments". SIAM J. Discrete Math. 3 (1): 7–20. 
  • Camion, Paul (1959). "Chemins et circuits hamiltoniens des graphes complets". Comptes Rendus de l'Académie des Sciences de Paris 249: 2151–2152. 
  • Landau, H. G. (1953). "On dominance relations and the structure of animal societies. III. The condition for a score structure". Bulletin of Mathematical Biophysics 15 (2): 143–148. doi:10.1007/BF02476378. 
  • Rédei, László (1934). "Ein kombinatorischer Satz". Acta Litteraria Szeged 7: 39–43. 
  • Thomassen, Carsten (1980). "Hamiltonian-Connected Tournaments". Journal of Combinatorial Theory, Series B 28: 142–163. doi:10.1016/0095-8956(80)90061-1.