Clique oyunu - Clique game

klik oyunu bir konumsal oyun iki oyuncunun sırayla kenarları seçtiği, tam bir yer işgal etmeye çalıştığı klik belirli bir boyutta.

Oyun iki tamsayı ile parametrelendirilir n > k. Oyun tahtası, bir oyunun tüm kenarlarının kümesidir. tam grafik açık n köşeler. Kazanan setlerin hepsi k köşeler. Bu oyunun birkaç çeşidi vardır:

• İçinde güçlü konumsal varyant oyun, elinde tutan ilk oyuncu k-klique kazanır. Kimse kazanmazsa, bu bir berabere.
• İçinde Maker-Breaker varyantı , ilk oyuncu (Yapıcı) bir tutmayı başarırsa kazanır. k-clique, aksi takdirde ikinci oyuncu (Breaker) kazanır. Beraberlik yok.
• İçinde Avoider-Enforcer varyantı, ilk oyuncu (Avoider) başarırsa kazanır değil tut k-clique, aksi takdirde ikinci oyuncu (Enforcer) kazanır. Beraberlik yok. Bu varyantın özel bir durumu: Sim.

Klik oyunu (güçlü konumsal varyantında) ilk olarak Paul Erdős ve John Selfridge, bunu Simmons'a atfetti.^[1] Onlar buna Ramsey oyunuyakından ilişkili olduğu için Ramsey teoremi (aşağıya bakınız).

Kazanma koşulları

Ramsey teoremi Bu, bir grafiği iki renkle renklendirdiğimizde, en az bir tek renkli klik olduğunu ima eder. Üstelik her tam sayı için kbir tamsayı var R (k, k) öyle ki, her grafikte ${ displaystyle n geq R_ {2} (k, k)}$ köşeler, herhangi bir 2-renklendirme, en az boyutta tek renkli bir klik içerir k. Bu, eğer ${ displaystyle n geq R_ {2} (k, k)}$, klik oyunu asla berabere bitemez. a Strateji çalma argümanı ilk oyuncunun her zaman en az bir beraberliğe zorlayabileceğini ima eder; bu nedenle, eğer ${ displaystyle n geq R_ {2} (k, k)}$Maker kazanır. Ramsey numarası için bilinen sınırları değiştirerek Maker'ın her zaman kazanmasını sağlıyoruz. ${ displaystyle k leq { log _ {2} n 2'den fazla}}$.

Öte yandan, Erdos-Selfridge teoremi^[1] Breaker'ın her zaman kazandığını ima eder ${ displaystyle k geq {2 log _ {2} n}}$.

Beck bu sınırları aşağıdaki gibi geliştirdi:^[2]

• Maker her zaman kazanır ${ displaystyle k leq 2 log _ {2} n-2 log _ {2} log _ {2} n + 2 log _ {2} e-10/3 + o (1)}$;
• Breaker her zaman kazanır ${ displaystyle k geq 2 log _ {2} n-2 log _ {2} log _ {2} n + 2 log _ {2} e-1 + o (1)}$.

Üst düzey hipergraflarda Ramsey oyunu

Tam grafiklerde oynamak yerine, klik oyunu, daha yüksek dereceli tam hiper grafikler üzerinde de oynanabilir. Örneğin, üçlüler üzerindeki klik oyununda, oyun tahtası 1, ..., tam sayılardan oluşan üçlü kümedir.n (yani boyutu ${ displaystyle {n 3 seçin}}$ ) ve kazanan setlerin tümü, k tamsayılar (yani içindeki herhangi bir kazanan setin boyutu ${ displaystyle {k 3 seçin}}$).

Tarafından Ramsey teoremi üçlülerde, eğer ${ displaystyle n geq R_ {3} (k, k)}$Maker kazanır. Şu anda bilinen üst sınır ${ displaystyle R_ {3} (k, k)}$ çok büyük, ${ displaystyle 2 ^ {k ^ {2} / 6}$. Tersine, Beck ^[3] bunu kanıtlıyor ${ displaystyle 2 ^ {k ^ {2} / 6}$, nerede ${ displaystyle R_ {3} ^ {*} (k, k)}$ Maker'ın kazanma stratejisine sahip olduğu en küçük tam sayıdır. Özellikle, eğer ${ displaystyle k ^ {4} 2 ^ {k ^ {3} / 6}$ o zaman oyun Maker'ın kazanmasıdır.

Referanslar