coba-coba

rigan

P3 Simulasi OSN KTOM 2023 Alice dan Bob bermain permainan berikut: Dimulai dari Alice, mereka secara bergiliran
memilih suatu titik sudut yang belum memiliki angka dari suatu segi- n (n ≥ 3) beraturan, lalu menuliskan angka 1
atau 0 sesuai kehendaknya. Alice akan menang jika setelah gilirannya, terdapat tiga titik sudut berurutan dari segi-
n tersebut sehingga jumlah angka pada ketiganya habis dibagi 3. Bob menang jika ia dapat menghindari Alice untuk
melakukan hal ini. Tentukan semua n ≥ 3 bilangan asli sehingga Alice memiliki strategi kemenangan.

Solusi : Untuk setiap bilangan ganjil n ≥ 5 Alice selalu memiliki strategi menang
Bukti:
Beri nama seluruh titik sudut pada segi-n dengan A1 , A2 , . . . , An . Kemudian agar Alice menang maka harus ada suatu
i ∈ {1, 2, 3, . . . , n} dimana Ai + Ai+1 + Ai+2 ≡ 0 (mod 3). Maka kita punya (Ai , Ai+1 , Ai+2 ) = (0, 0, 0) atau (1, 1, 1). Alice
mendapat giliran pertama, artinya dimanapun Alice memilih titik yang akan dia isi untuk pertama kalinya, tidak akan
berpengaruh pada strategi Alice. Selain itu, pada saat pertama kali Alice meletakkan angka 0 atau 1 juga tidak berpengaruh
pada strategi/alur permainan Alice. Maka dapat kita asumsikan pertama kali Alice memilih A1 dan menulisnya dengan
angka 1. Kemudian akan dibuktikan pernyataan untuk setiap bilangan ganjil n ≥ 5 Alice selalu memiliki strategi menang.

• Untuk n = 3
Tinjau bahwa A1 = 1. Maka Bob pada giliran kedua pastilah selalu dapat mengcounter dengan cara meletakkan 0
pada sembarang dua titik yang tersisa. Diperoleh Alice tidak punya strategi menang

• Untuk n = 4
Tinjau bahwa A1 = 1. Bob dapat menuliskan A2 = 0 atau A4 = 0 atau sehingga Alice kalah. Kemudian Bob juga
dapat menuliskan A3 = 0, kemudian Alice akan menuliskan A4 = 0 atau A2 = 0 dan Bob selalu dapat membalas
dengan menulsikan satu titik tersisa dengan 1 sehingga Alice kalah

• Untuk n ≥ 5
Akan ditinjau untuk semua nilai n terlebih dahulu tidak memperhatikan paritas n. Tinjau bahwa jika A1 = 1. Jika
Bob memnuliskan A2 = 1 atau An = 1 pada giliran kedua, maka tentu Alice akan selalu menang. Atau ketika Bob
pada giliran kedua menuliskan A3 = 1 atau An−1 = 1 diperoleh Alice juga pasti menang.
Akan ditinjau terlebih dahulu jika pada giliran kedua Bob memilih Ai = 1. Pasti Bob akan memilih untuk i =
4, 5, . . . , n − 2. Sehingga pastilah pada langkah selanjutnya Alice dapat menulis Ai+1 = 1. Langkah selanjutnya Bob
memilih Ai+2 = 0 atau Ai−1 = 0, sehingga giliran Alice selanjutnya dapat memilih diantara Ai+2 atau Ai−1 kemudian
menggantinya dengan 1. (Misalkan pada giliran kedua Bob memilih A4 = 1, Maka Alice menulis A5 = 1, kemudian
Bob memilih A3 = 0 dan dengan mudah Alice dapat menulis A6 = 1 sehingga A4 + A5 + A6 ≡ 0 (mod 3)
Tinjau ketika pada langkah kedua Bob menulis Ai = 0 Tinjau bahwa jika Bob memilih Ai = 0 untuk i = 3, 4, . . . , n − 2,
Alice selalu memiliki strategi menang. Yaitu dengan menuliskan Ai+1 = 0. Sehingga pada giliran selanjutnya Bob
hanya bisa memilih Ai+2 = 1 atau Ai−1 = 1, sehingga giliran selanjutnya Alice dapat memilih titik Ai+2 = 0 atau
Ai−1 = 0 tergantung Bob menuliskan sebelumnya. Lalu akan ditinjau bagaimana jika pada giliran kedua Bob memilih
Ai = 0 dimana i ∈ {2, n}. Tinjau kedalam dua kasus

– Untuk n ganjil
Kita punya pada giliran kedua Bob menulis A2 = 0 atau An = 0. Tinjau bahwa kedua kasus ini kongruen sehingga
tidak perlu ditinjau kedua kasusnya. Ambil A2 = 0.

1
 Jika Alice menuliskan A3 = 0. Langkah selanjutnya Bob pasti menuliskan A4 = 1. Kemudian pada giliran selan-
jutnya Alice harus menuliskan A5 = 1. Pada giliran selanjutnya Bob pasti menuliskan A6 = 0. Kemudian lakukan
hal yang sama yaitu Alice menulsikan bilangan yang sama dengan bilangan yang dituliskan Bob sebelumnya yaitu
A7 = 0. Sehingga kita punya A4 , A6 , . . . membentuk barisan 1, 0, 1, . . . . Maka dapat disimpulkan jika n − 1 ≡ 0
(mod 4) maka diperoleh An−1 = 1, dan pada langkah selanjutnya tersisa An pada giliran Alice dimana jelas Alice
dapat mengisinya dengan 1 sehingga Alice menang. Diperoleh n = 4k + 1, ∀ k ∈ N.
Kemudian jika Alice menuliskan A3 = 1. Maka langkah selanjutnya Bob dapat bebas memilih titik bebas. Jika
Bob menulis A4 = 0 maka Alice menulis A5 = 0, kemudian Bob menuliskan A6 = 1, dan kembali lagi Alice
menulikan A7 = 1. Demikian kita punya barisan A4 , A6 , · · · = 0, 1, 0, . . . . Demikian kita punya untuk n − 1 ≡ 2
(mod 4) diperoleh An−1 = 1, sehingga jelas pada langkah selanjutnya Alice menuliskan An = 1, sehingga Alice
menang. Maka kita punya n = 4k + 3 ∀ k ∈ N.
Pada kasus ini diperoleh n = 4k + 1 dan n = 4k + 3 tinjau bahwa setiap bilangan ganjil akan selalu dapat
dinyatakan dalam n = 4k + 1 dan n = 4k + 3 untuk suatu k bilangan asli. Sehingga semua n ≥ 5 ganjil pasti
memenuhi.
– Untuk n genap
Analog jika Alice memiliki strategi mengisi A3 = 0 atau A3 = 1 terlebih dahulu diperoleh hanya n ganjil yang
memenuhi strategi ini. (kontradiksi). Kemudian tinjau jika pada langkah selanjutnya Alice memilih sembarang
Aj = 0 atau Aj = 1. Hal ini akan selalu dapat dicounter dengan Bob yaitu Bob dapat menuliskan bilangan
berbeda dengan Aj pada Aj+1 atau Aj−1 . Kemudian akan dibuktikan setelah n − 3 giliran selanjutnya (Giliran
Alice terakhir atau giliran ke-n − 1 ) tidak ada 3 titik berurutan yang habis dibagi 3. Akan dibuktikan dengan
induksi
∗ Untuk n = 6. Mudah dicek bahwa tidak mungkin setelah giliran terakhir Alice tidak ada 3 titik yang
berurutan dan habis dibagi 3
∗ Asumsikan n = 2k benar. Kemudian akan dibuktikan untuk n = 2(k + 1) juga benar. Tinjau bahwa semua
titik telah terisi dari A1 , A2 , . . . , A2k . Dan tinjau bahwa giliran selanjutnya adalah giliran Alice yang akan
mengisi 2 titik sisanya asumsikan A2k+1 dan A2k+2 sebagai 2 titik yang tersisa. Apapun titik pada A2k maka
tentu akan selalu dapat dicounter dengan Bob pada langkah selanjutnya. Misal ambil A2k = 0. Alice mengisi
A2k+1 = 0 maka Bob dapat mengisi A2k+2 = 1 Atau misal Alice mengisi A2k+2 = 1 maka Bob bisa mengisi
A2k+1 = 0 Sehingga diperoleh n genap tidak memenuhi

∴ Nilai n ≥ 3 yang memenuhi adalah bilangan seluruh bilangan ganjil n ≥ 5 atau n = 2k + 1 untuk k ∈ N≥2