Teori permainan
Dasar teori permainan

Permodelan teori permainan paling mudah biasanya dimodelkan dalam bentuk matriks payoff atau pohon keputusan. Pada dasarnya, teori permainan diasumsikan semua agen bersifat rasional. Rasionalitas yang dimaksud adalah dimana setiap agen diasumsikan memutuskan strategi untuk memaksimalkan payoff dari agen itu sendiri yang tergantung pada pengetahuan dari agen terhadap strategi kompetitor. Variabel-variabel yang diformulasikan pada teori permainan mencakup keputusan (strategi) dari setiap agen dan payoff yang berupa hasil dari pengambilan keputusan tersebut. Apabila digambarkan pada agen  A dan  B, maka agen  A dapat memiliki strategi  S_{1}^{A},  S_{2}^{A}, ..., sampai  S_{n}^{A} dan agen  B memiliki strategi  S_{1}^{B},  S_{2}^{B}, ..., sampai  S_{m}^{B}. Kemungkinan hasil atau payoff yang diperoleh agen  A dan  B dapat berjumlah  n\times m. Diketahui bahwa agen  A dan agen  B memiliki Payoff berupa  f_{A}(S_{n}^{A},S_{m}^{B}) dan  f_{B}(S_{m}^{B},S_{n}^{A}).  f_{A}(S_{n}^{A},S_{m}^{B}) adalah fungsi payoff dari agen  A mempertimbangkan strategi Agen  A ( S_{n}^{A}) yang ke  n dan strategi Agen  B ( S_{m}^{B}) yang ke  m. Tabel matriks payoff dari agen  A dan  B adalah sebagai berikut:
|  |  | Agen  B>  S_{1}^{B} | Agen  B>  S_{2}^{B} | Agen  B> ... | Agen  B>  S_{m}^{B} |
| --- | --- | --- | --- | --- | --- |
| Agen  A |  S_{1}^{A} |  f_{A}(S_{1}^{A},S_{1}^{B}),f_{B}(S_{1}^{B},S_{1}^{A}) |  f_{A}(S_{1}^{A},S_{2}^{B}),f_{B}(S_{2}^{B},S_{1}^{A}) | ... |  f_{A}(S_{1}^{A},S_{m}^{B}),f_{B}(S_{m}^{B},S_{1}^{A}) |
| Agen  A |  S_{2}^{A} |  f_{A}(S_{2}^{A},S_{1}^{B}),f_{B}(S_{1}^{B},S_{2}^{A}) |  f_{A}(S_{2}^{A},S_{2}^{B}),f_{B}(S_{2}^{B},S_{2}^{A}) | ... |  f_{A}(S_{2}^{A},S_{m}^{B}),f_{B}(S_{m}^{B},S_{2}^{A}) |
Agen  A: ...
| Agen  A |  S_{n}^{A} |  f_{A}(S_{n}^{A},S_{1}^{B}),f_{B}(S_{1}^{B},S_{n}^{A}) |  f_{A}(S_{n}^{A},S_{2}^{B}),f_{B}(S_{2}^{B},S_{n}^{A}) |  |  f_{A}(S_{n}^{A},S_{m}^{B}),f_{B}(S_{m}^{B},S_{n}^{A}) |
Penyelesaian atau solusi dari permasalahan ini disebut ini keseimbangan Nash (Nash Equilibrium) apabila setiap agen sudah mencapai payoff maksimum tergantung dari strategi agen lain dan seluruh agen tidak dapat lagi merubah strateginya. Keseimbangan Nash ditemukan oleh John Forbes Nash Jr. dalam studinya yang berjudul Noncooperative games. Sebagai contoh, permasalahan dilema tahanan (prisoner's dilemma) adalah penerapan teori permainan untuk dua tahanan yang sedang diinterogasi.  Tahanan  A dan  B ditangkap karena kejahatan yang dilakukan mereka secara bersamaan oleh penegak hukum. Setiap tahanan yang diinterogasi memiliki dua strategi yaitu mengakui kejahatannya atau tidak. Payoff dari kedua tahanan ini adalah lama tahanan akan dipenjara. Setiap strategi yang dilakukan akan menghasilkan payoff yang berbeda-beda untuk setiap Tahanan. Jika dimodelkan dengan matriks payoff, strategi dan payoff kedua tahanan adalah berikut ini:
|  |  | Pengakuan Tahanan  B> Mengaku  (S_{1}^{B}) | Pengakuan Tahanan  B> Tidak  (S_{2}^{B}) |
| --- | --- | --- | --- |
| Pengakuan  Tahanan  A | Mengaku  (S_{1}^{A}) |  f_{A}(S_{1}^{A},S_{1}^{B})= 3 tahun  f_{B}(S_{1}^{B},S_{1}^{A})= 3 tahun |  f_{A}(S_{1}^{A},S_{2}^{B})= bebas  f_{B}(S_{2}^{B},S_{1}^{A})= 5 tahun |
| Pengakuan  Tahanan  A | Tidak  (S_{2}^{A}) |  f_{A}(S_{2}^{A},S_{1}^{B})= 5 tahun  f_{B}(S_{1}^{B},S_{2}^{A})= bebas |  f_{A}(S_{2}^{A},S_{2}^{B})= 1 tahun  f_{B}(S_{2}^{B},S_{2}^{A})= 1 tahun |
Contoh matriks payoff menunjukan efek dari penetapan setiap strategi tahanan  A dan  B terhadap lama mereka akan dipenjara. Sebagai contoh, Jika tahanan  A mengakui perbuatannya dan tahanan  B tidak, maka tahanan  A akan bebas dan tahanan  B dipenjara selama 5 tahun. Berdasar dari konsep keseimbangan Nash, jika tahanan  B memilih mengaku, maka respon terbaik tahanan  A adalah juga mengakui perbuatannya. Jika tahanan  B memilih untuk tidak mengakui, respon terbaik tahanan  A adalah masih mengakui perbuatannya. Apapun strategi yang dipilih tahanan  B, tahanan  A sebaiknya memilih untuk mengakui perbuatannya. Hal ini pun juga berlaku untuk tahanan  B. Jika tahanan  A memilih mengaku, maka respon terbaik tahanan  B adalah juga mengakui perbuatannya. Jika tahanan  A memilih untuk tidak mengakui, respon terbaik tahanan  B adalah masih mengakui perbuatannya. Alhasil, kedua tahanan akan memilih untuk mengakui perbuatannya. Hal ini disebut keseimbangan Nash dimana kedua tahanan yang sudah mengaku tidak lagi dapat memperbaharui strateginya. Akhirnya kedua tahanan memiliki payoff berupa dipenjara selama 3 tahun. Kondisi permainan yang dilakukan juga termasuk kedalam permainan nonkooperatif (Noncooperative game), dimana semua agen rasional berkompetisi tanpa ada interaksi antar mereka. Jika kedua tahanan memilih untuk berinteraksi, maka satu-satunya payoff paling optimal diperoleh jika keduanya tidak mengaku. Mereka akan hanya dipenjara selama satu tahun. Skema interaksi ini dinamakan permainan kooperatif (Cooperative game).
Selain dimodelkan dengan matriks payoff, permainan dapat dimodelkan dengan menggunakan pohon keputusan (Decision tree). Penggunaan pohon keputusan dalam teori permainan dapat merujuk kepada permainan sekuensial (Sequential game) dan permainan extensive form. Jika diaplikasikan pada permainan dilema tahanan, strategi tahanan  A yang dari tahanan  B dapat dilihat pada gambar pohon keputusan.