토너먼트(그래프 이론)
Tournament (graph theory)토너먼트 | |
---|---|
![]() 4개의 꼭지점에서의 토너먼트 | |
꼭지점 | |
가장자리 | |
그래프 및 매개 변수 표 |
토너먼트는 무방향 완전 그래프에서 각 에지에 대한 방향을 할당하여 얻은 방향 그래프(디그래프)입니다.즉, 완전한 그래프 또는 동일한 방향 그래프로 구분되는 모든 정점 쌍이 두 가지 가능한 방향 중 하나와 방향 가장자리(종종 호라고 함)로 연결된 방향 그래프입니다.
토너먼트의 많은 중요한 특성들은 닭 떼의 지배 관계를 모델링하기 위해 란다우의 H. G. Landau에 의해 처음 조사되었다.현재 토너먼트의 응용 분야에는 투표 이론과 사회적 선택 이론 연구가 포함된다.
이름 토너먼트는 이러한 그래프가 모든 플레이어가 상대 선수를 정확히 한 번 마주치고 무승부가 발생하지 않는 라운드 로빈 토너먼트의 결과로 해석한 것에서 유래한다.토너먼트 디그래프에서 꼭지점은 플레이어와 일치합니다.각 선수 쌍 사이의 가장자리는 승자부터 패자까지이다. 선수가B A 선수가B를 하며, 모든 선수가 같은 수의 다른 선수를 이긴다면(아마도 = 아웃도)
경로와 사이클
정리 - 한정된 정점 n n에 는 해밀턴 경로, 즉 모든 n{ n개의 정점에 대한 방향 경로를 포함합니다(Rédei 1934).
이는 n n 이 nn에 되고 nn+1정점의 T T를 고려한다고 가정하면 쉽게 알 수 있습니다. T의 0 을 선택하고 T { 0 {\T\의 방향 , 을 검토합니다. v )+ = ) { (i → 0 \ v_ { } \ v \ } ( i 0 \ v _ { i \ ( i → 0 \ _ { i } \ v _ { i } \} )mal은 j { ji, 에 대해, v j{ j 이 되도록 .
는 필요에 따라 다이렉트 패스입니다.이 인수는 해밀턴 경로를 찾기 위한 알고리즘도 제공합니다.보다 효율적인 알고리즘은 엣지중 ( n )(\log n)만 검사해야 합니다.해밀턴 경로는 [1]토너먼트의 최소 피드백 아크 세트와 일대일로 대응합니다.
토너먼트의 또 다른 기본적인 결과는 강하게 연결된 모든 토너먼트가 해밀턴 사이클(Camion 1959)을 가지고 있다는 것이다.더 강하게, 모든 강력하게 연결되어 토너먼트 향점 pancyclic:각 꼭지점 v{\displaystyle v}, 그리고 세명 vertices의 토너먼트에서 수까지의 범위에서 각 k{k\displaystyle}에는 길이 k{k\displaystyle}한 대회 T{\displa .[2]v{\displaystyle v}이 함께 모인 주기가 있다.ysT는 k k - T T의 정점의 U에 대해 T- U가 강하게 연결되어 있는 경우 (\displaystyle k)입니다.토너먼트가 4강으로 연결되어 있는 경우, 각 정점 쌍을 해밀턴 경로로 연결할 수 있다(Thomassen 1980).k k - 견고하게 된 (\T)의 B(\ k-1에 대해T -의 해밀턴 사이클이 있습니다.이 결과는 확장되었습니다.
이동성
){(( b및 ( { c)} ( 화살표c)}} {{displaystyle (displaystyle (a\ 화살표 c {\displaystyle c}}가 포함된 토너먼트를 과도적이라 합니다.즉, 전이 토너먼트에서 정점은 엣지 관계에 의해 (엄밀하게) 완전히 정렬되어도 되며, 엣지 관계는 도달 가능성과 동일하다.
동등한 조건
다음 문장은n개의 \n개의 정점에 T{ T에 해당합니다.
- styleT.
- T는 엄격한 토탈 오더입니다.
- 디스플레이 스타일 T는 비순환형입니다.
- {\ T에는 길이 3의 사이클이 없습니다.
- 스코어 시퀀스(T)는 {0, 1, 2, …,- \{1,, \입니다.
- T에는 정확히 해밀턴 경로가 하나 있습니다.
램지 이론
전이 토너먼트는 램지 이론에서 무방향 그래프의 클리프와 유사한 역할을 합니다.특히 n개의\n개의 정점에 모든 토너먼트에는 1+ 2 n { 1 + \ \ _ \ 개의 [5]정점에 서브유머넌트가 포함됩니다.증명은 간단합니다.이 서브터넌트의 일부인 v vdisplaystyle vdisplaystyle v\의 착신 네이버 세트 또는v\ v의 네이버 세트 중 하나에서 나머지 서브터넌트를 재귀적으로 형성합니다.예를 들어, 7개의 정점의 모든 토너먼트에는 3개의 버텍스 전이 서브 토너먼트가 포함되어 있습니다.7개의 정점의 팔레 토너먼트는 이것이 보증 가능한 최대임을 나타냅니다(Erdős & Moser 1964).그러나, Reid & Parker(1970)는 nn의 큰 값에 대해 이 경계가 엄격하지 않음을 보여주었다.
Erdős &, 모(1964년)은 n{n\displaystyle}vertices에 대회 2사이즈의 그들의 증거는 세고 주장:k{k\displaystyle}-element해서 토너먼트가 occu 수 있는 방법의 수를 사용하는 추이 subtournament+2⌊ 로그 2 n⌋{\displaystyle 2+2\lfloor \log_{2}n\rfloor}없이를 증명했다.r로n 레이블이 붙은 정점에 더 큰 토너먼트의 미묘한 의미는
k가 로그 + 2 ⌋n ⌋{\{\n n {\ n{\display is is is is is is is is is is is2 ()의 다른 토너먼트(\} n 에서 전이 토너먼트를 발생시키기에는 이 가 너무 작습니다. n개의 레이블이 지정된 정점.
패러독스 토너먼트
모든 경기를 이긴 선수는 당연히 토너먼트의 우승자가 될 것이다.하지만, 비과도적 토너먼트의 존재가 보여주듯이, 그런 선수는 없을지도 모른다.모든 선수들이 최소한 한 게임 이상 지는 토너먼트를 1-기생 대회라고 부른다. 일반적으로 T ( ,) { T = ( , E )} ∖ ∖ \ V}의 k \ kelement every s s∖ s ∖ s ∖ ∖ ∖∖ ∖ 0 ∖ ∖ ∖ a more ∖ ∖ ∖ ∖ ∖ ∖ ∖ ∖ ∖ ∖ ∖ more more ∖ more ∖ more ∖ s s s s s s s s s s s s more s s s s s s s s s 에 대해 0 v {\ 확률론적 방법을 통해 Paul Erd 는 + \의에 대해 다음과 같이 밝혔다.V{\ V의 는 k{\ k - 패러독스입니다.[6]한편, 간단한 논거는 k k 패러독스 토너먼트에 + - }-1의 플레이어가 있어야 한다는 것입니다.이는 에스더와 조지 리스케(1965)[7]에 의해 (+ 로 개선되었습니다.There is an explicit construction of -paradoxical tournaments with players by Graham and Spencer (1971) namely the Paley tournament.
응축
모든 토너먼트의 응축은 그 자체로 과도적 토너먼트이다.따라서, 전이성이 없는 토너먼트라도, 토너먼트의 강하게 연결된 구성요소는 완전히 [8]정렬될 수 있다.
스코어 시퀀스 및 스코어 세트
토너먼트의 점수 순서는 토너먼트의 꼭지점에서 탈락하는 연속이다.토너먼트의 점수 세트는 해당 토너먼트의 정점보다 작은 정수 집합입니다.
란다우의 정리(1953) 비감소정수열( ,s, n 은 다음과 같은 경우에만 점수열이다.
( ){ s ( )는 크기n { n의 다른 점수 시퀀스의 수입니다.s ( s(OEIS의 시퀀스 A000571)는 다음과 같이 시작합니다.
1, 1, 1, 2, 4, 9, 22, 59, 167, 490, 1486, 4639, 14805, 48107, ...
윈스턴과 클리트만은 충분히 큰 n에 대해 다음과 같이 증명했다.
서 c 1 입니다.({ Takacs는 합리적이지만 입증되지 않은 몇 가지 가정을 사용하여 나중에 다음과 같은 것을 보여주었다
서 c 2<입니다.
이 두 가지를 조합하면 다음과 같은 증거를 얻을 수 있습니다.
여기서 { \ 는 점근적으로 엄격한 경계를 나타냅니다.
야오밍은 음이 아닌 정수들의 모든 세트가 어떤 토너먼트에서 설정된 점수라는 것을 보여주었다.
다수 관계
사회적 선택 이론에서 토너먼트는 선호 [9]프로파일의 다수 관계로서 자연스럽게 발생한다.A 를 유한한 대안 집합으로 하고A(\A보다 선형 순서P 을 선호도로 합니다. 각 를 해석합니다 그 후 다수의 유권자가 THA b 보다 의의 (한) 다수 관계를 정의합니다t는{ [ : { [ : { \ i \ [ ] : \ _ { } } > \ { \ [ ] : b \ _ \ 。 \ 가 다수의 유권자 관계를 형성하고 있는 경우
McGarvey의 에 따르면 에서의 모든 는 최대- 1) [9][10]유권자들의 과반수 관계로서 얻을 수 있다.Stearns와 Erd's & Moser의 결과에 따라 이후 [11]정점에 토너먼트를 유도하기 위해 ( / m) \ \( m / \ m) 투표자가 필요하다는 것이 확인되었습니다.
라슬리어(1997)는 정점 집합을 토너먼트의 "승자" 집합이라고 부르는 방법을 연구한다.이것은 정치학에서 민주주의 [12]과정의 결과가 될 수 있는 것을 연구하는 데 유용한 것으로 드러났다.
「 」를 참조해 주세요.
메모들
- ^ Bar-Noy & Naor(1990).
- ^ 문(1966), 정리 1.
- ^ Fraisse & Thomassen(1987년).
- ^ 방젠센, 구틴&여(1997).
- ^ Erd's & Moser(1964).
- ^ Erdoss(1963)
- ^ Szekeres, E.; Szekeres, G. (1965). "On a problem of Schütte and Erdős". Math. Gaz. 49: 290–293.
- ^ Harary & Moser(1966), Corollary 5b.
- ^ a b Brandt, Felix and Brill, Markus and Harrenstein, Paul, "Tournament Solutions".의 3장: (무료 온라인 버전)
- ^ McGarvey, David C. (1953). "A Theorem on the Construction of Voting Paradoxes". Econometrica. 21 (4): 608–610. doi:10.2307/1907926. JSTOR 1907926.
- ^ Stearns, Richard (1959). "The Voting Problem". The American Mathematical Monthly. 66 (9): 761–763. doi:10.2307/2310461. JSTOR 2310461.
- ^ Austen-Smith, D. and J. Banks, 긍정정치이론, 1999, 미시간 대학 출판부.
레퍼런스
- 를 클릭합니다Bang-Jensen, J.; Gutin, G.; Yeo, A. (1997), "Hamiltonian Cycles Avoiding Prescribed Arcs in Tournaments", Combinatorics, Probability and Computing, 6: 255–261.
- 를 클릭합니다Bar-Noy, A.; Naor, J. (1990), "Sorting, Minimal Feedback Sets and Hamilton Paths in Tournaments", SIAM Journal on Discrete Mathematics, 3 (1): 7–20, doi:10.1137/0403002.
- 를 클릭합니다Camion, Paul (1959), "Chemins et circuits hamiltoniens des graphes complets", Comptes Rendus de l'Académie des Sciences de Paris (in French), 249: 2151–2152.
- 를 클릭합니다Erdős, P. (1963), "On a problem in graph theory" (PDF), The Mathematical Gazette, 47: 220–223, JSTOR 3613396, MR 0159319.
- 를 클릭합니다Erdős, P.; Moser, L. (1964), "On the representation of directed graphs as unions of orderings" (PDF), Magyar Tud. Akad. Mat. Kutató Int. Közl., 9: 125–132, MR 0168494.
- 를 클릭합니다Fraisse, P.; Thomassen, C. (1987), "A constructive solution to a tournament problem", Graphs and Combinatorics, 3: 239–250.
- 를 클릭합니다Graham, R. L.; Spencer, J. H. (1971), "A constructive solution to a tournament problem", Canadian Mathematical Bulletin, 14: 45–48, doi:10.4153/cmb-1971-007-1, MR 0292715.
- 를 클릭합니다Harary, Frank; Moser, Leo (1966), "The theory of round robin tournaments", American Mathematical Monthly, 73 (3): 231–246, doi:10.2307/2315334, JSTOR 2315334.
- 를 클릭합니다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.
- 를 클릭합니다Laslier, J.-F. (1997), Tournament Solutions and Majority Voting, Springer.
- 를 클릭합니다Moon, J. W. (1966), "On subtournaments of a tournament", Canadian Mathematical Bulletin, 9 (3): 297–301, doi:10.4153/CMB-1966-038-7.
- 를 클릭합니다Rédei, László (1934), "Ein kombinatorischer Satz", Acta Litteraria Szeged, 7: 39–43.
- 를 클릭합니다Reid, K.B.; Parker, E.T. (1970), "Disproof of a conjecture of Erdös and Moser", Journal of Combinatorial Theory, 9 (3): 225–238, doi:10.1016/S0021-9800(70)80061-8.
- 를 클릭합니다Szekeres, E.; Szekeres, G. (1965), "On a problem of Schütte and Erdős", The Mathematical Gazette, 49: 290–293, doi:10.2307/3612854, MR 0186566.
- 를 클릭합니다Takács, Lajos (1991), "A Bernoulli Excursion and Its Various Applications", Advances in Applied Probability, Applied Probability Trust, 23 (3): 557–585, doi:10.2307/1427622, JSTOR 1427622.
- 를 클릭합니다Thomassen, Carsten (1980), "Hamiltonian-Connected Tournaments", Journal of Combinatorial Theory, Series B, 28 (2): 142–163, doi:10.1016/0095-8956(80)90061-1.
- 를 클릭합니다Yao, T.X. (1989), "On Reid conjecture of score sets for tournaments", Chinese Sci. Bull., 34: 804–808.
이 문서에는 Creative Commons Attribution/Share-Alike License에 따라 라이센스가 부여된 PlanetMath의 토너먼트 자료가 포함되어 있습니다.