토너먼트(그래프 이론)

Tournament (graph theory)
토너먼트
4-tournament.svg
4개의 꼭지점에서의 토너먼트
꼭지점
가장자리
그래프 및 매개 변수 표

토너먼트무방향 완전 그래프에서 각 에지에 대한 방향을 할당하여 얻은 방향 그래프(디그래프)입니다.즉, 완전한 그래프 또는 동일한 방향 그래프로 구분되는 모든 정점 쌍이 두 가지 가능한 방향 중 하나와 방향 가장자리(종종 라고 함)로 연결된 방향 그래프입니다.

토너먼트의 많은 중요한 특성들은 닭 떼의 지배 관계를 모델링하기 위해 란다우의 H. G. Landau의해 처음 조사되었다.현재 토너먼트의 응용 분야에는 투표 이론과 사회적 선택 이론 연구가 포함된다.

이름 토너먼트는 이러한 그래프가 모든 플레이어가 상대 선수를 정확히 한 번 마주치고 무승부가 발생하지 않는 라운드 로빈 토너먼트의 결과로 해석한 것에서 유래한다.토너먼트 디그래프에서 꼭지점은 플레이어와 일치합니다.각 선수 쌍 사이의 가장자리는 승자부터 패자까지이다. 선수가B A 선수가B 하며, 모든 선수가 같은 수의 다른 선수를 이긴다면(아마도 = 아웃도)

경로와 사이클

정리 - 한정된 정점 n n해밀턴 경로, 즉 모든 n{ n개의 정점에 대한 방향 경로를 포함합니다(Rédei 1934).

av3 v 사이2 삽입됩니다.

이는 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 - 해밀턴 사이클이 있습니다.이 결과는 확장되었습니다.

이동성

8개의 꼭지점에서의 전이 토너먼트.

){(( b ( { c)} ( 화살표c)}} {{displaystyle (displaystyle (a\ 화살표 c {\displaystyle c}}가 포함된 토너먼트를 과도적이라 합니다.즉, 전이 토너먼트에서 정점은 엣지 관계에 의해 (엄밀하게) 완전히 정렬되어도 되며, 엣지 관계는 도달 가능성과 동일하다.

동등한 조건

다음 문장은n개의 \n개의 정점에 T{ T 해당합니다.

  1. styleT.
  2. T는 엄격한 토탈 오더입니다.
  3. 디스플레이 스타일 T 비순환형입니다.
  4. {\ T에는 길이 3의 사이클이 없습니다.
  5. 스코어 시퀀스(T)는 {0, 1, 2, …,- \{1,, \입니다.
  6. 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]과정의 결과가 될 수 있는 것을 연구하는 데 유용한 것으로 드러났다.

「 」를 참조해 주세요.

메모들

  1. ^ Bar-Noy & Naor(1990).
  2. ^ 문(1966), 정리 1.
  3. ^ Fraisse & Thomassen(1987년).
  4. ^ 방젠센, 구틴&여(1997).
  5. ^ Erd's & Moser(1964).
  6. ^ Erdoss(1963)
  7. ^ Szekeres, E.; Szekeres, G. (1965). "On a problem of Schütte and Erdős". Math. Gaz. 49: 290–293.
  8. ^ Harary & Moser(1966), Corollary 5b.
  9. ^ a b Brandt, Felix and Brill, Markus and Harrenstein, Paul, "Tournament Solutions".의 3장: (무료 온라인 버전)
  10. ^ McGarvey, David C. (1953). "A Theorem on the Construction of Voting Paradoxes". Econometrica. 21 (4): 608–610. doi:10.2307/1907926. JSTOR 1907926.
  11. ^ Stearns, Richard (1959). "The Voting Problem". The American Mathematical Monthly. 66 (9): 761–763. doi:10.2307/2310461. JSTOR 2310461.
  12. ^ Austen-Smith, D. and J. Banks, 긍정정치이론, 1999, 미시간 대학 출판부.

레퍼런스

이 문서에는 Creative Commons Attribution/Share-Alike License에 따라 라이센스가 부여된 PlanetMath의 토너먼트 자료가 포함되어 있습니다.