# Oyun teorisi
Oyun teorisi veya Oyun kuramı, istatistik, sosyal bilimler (en fazla ekonomide olmak üzere), biyoloji, mühendislik, siyasi bilimler, bilgisayar bilimleri (temel olarak yapay zekâ çalışmaları üzerinde) kullanılan meşhur teoridir. Oyun teorisi, bireyin başarısının diğerlerinin seçimlerine dayalı olduğu seçimler yapması olan bazı "stratejik durumlar"ın matematiksel olarak davranış biçimlerini yakalamaya çalışır. İlk başlarda bir bireyin kazancının ötekinin zararına olduğu (sıfır toplamlı oyunlar) yarışmaları çözümlemek için geliştirilmişse bile, daha sonradan birçok kısıta dayanan çok geniş bir etkileşim alanını incelemeye başlamıştır. Bugün: Oyun teorisi, "sosyal" kelimesinin geniş anlamda insan ve insan-dışı oyuncuları (bilgisayarlar, hayvanlar ve bitkiler) kapsayacak biçimde tanımlandığı, sosyal bilimlerin rasyonel yönü için bir "birleşik alan" kuramı veya bir tür şemsiyedir.Karar verenlerin diğer düşüncelerle uyumlu ya da rekabet halinde olduğu sosyal durumları modelleyen bir yaklaşım olması bu kuramın en temel özelliğidir. Oyun teorisi, neoklasik ekonomilerde geliştirilmiş bilinen iyileştirme yaklaşımlarını genişletmiştir.
Oyun teorisinin geleneksel uygulamaları bu oyunlarda —bireylerin davranışlarını değiştirmek istemediği— denge bulmaya çalışır. Bu fikri gerçekleştirmek üzere birçok denge kavramları en ünlüsü Nash dengesi geliştirilmiştir. Bu denge kavramları uygulama alanına göre farklı amaçlara sahiptir, fakat genel olarak uyuşurlar ve iç içe geçmişlerdir. Bu yöntemler eleştiriden uzak değildir ve bazı özel denge kavramlarının uygunluğu, dengenin tümden uygunluğu ve genel olarak matematiksel modellerin faydaları üzerine tartışmalar sürmektedir.
Daha öncesinde bazı gelişmeler olmuşsa da, oyun kuramı, 1944 yılında çıkan John von Neumann ve Oskar Morgenstern tarafından yazılmış olan "Theory of Games and Economic Behavior" (Oyunların ve Ekonomik Davranışın Kuramı) adlı kitapla başlamıştır. Bu kuram 1950'lerde birçok akademisyen tarafından geliştirilmiştir. Benzer gelişmeler 1930'lara kadar gitmekte idiyse de, 1970'lerde açıktan biyolojiye uygulanmıştır. Birçok alanda önemli bir araç olarak kabul edilmiştir. Ekonomide sekiz oyun kuramcısı Nobel Ödülü almıştır ve John Maynard Smith biyolojideki uygulaması için Crafoord Ödülüne layık görülmüştür.
Bu teori, geçmişten geleceğe, sosyal bilimlerde çok önemli bir rol oynamaktadır, ayrıca günümüzde birçok farklı akademik alanda da kullanılmaktadır. 1970'li yılların başında oyun teorisi, evrim teorisini içeren hayvan davranışlarına uygulanmıştır. Siyaset bilimi ve etik alanlarındaki düşünceleri betimlemek için özellikle tutsak ikilemi gibi birçok oyundan yararlanılmıştır. Son zamanlarda oyun kuramı, yapay zekâda ve sibernetikte kullanılmasıyla bilgisayar biliminin de dikkatini üzerinde toplamayı başarmıştır.
Akademik ilginin yanı sıra, popüler kültürde de ilgi çekmiştir. Nobel Ödüllü oyun kuramcısı, John Forbes Nash, Sylvia Nasar tarafından kaleme alınan 1998 tarihli biyografinin ve 2001 yılında çekilen "A Beautiful Mind" filminin konusu olmuştur. 1983 yapımı "WarGames" filminin de ana teması oyun kuramı olmuştur. "Friend or Foe", kısmen "Survivor" gibi televizyonda yayınlanan bazı yarışma programlarında bile oyun kuramının izlerini sürmek mümkündür. Her ne kadar bazı oyun kuramsal çözümlemeler karar kuramıyla benzer görülseler de oyun kuramı çalışmaları, oyuncuların etkileşim içinde olduğu bir ortamda verilen kararlar üzerinde çalışmaktadır. Diğer bir deyişle, oyun kuramı, her bir tercihin kâr ve maliyetinin diğer bireylerin kararlarına bağlı olduğu durumlarda en uygun davranışın seçilmesini inceler.
Eğer bir karar, diğer oyuncular ne yaparsa yapsın en iyi kararsa ona oyun teorisi lisanında baskın strateji denir. Her baskın strateji çözümü bir Nash çözümüdür ama tersi doğru değildir. Teori basit şekilde şöyle özetlenebilir: oyuncuların hepsi aynı hedefe yönlenirse, bu oyuncuların elde etme olasılıklarını azaltacak; farklı hedeflere yönelim ise arttıracaktır. Özellikle ekonomide ve oligopol piyasalarda geçerlidir.
Şu iki özel durumda uygulanabilecek bir kuramsal çözümlemedir:
  - Bir oyuncunun elde ettiği kazancın diğerinin (veya diğerlerinin) kaybını oluşturduğu mutlak çelişki durumu.
  - Çelişki ile işbirliğinin karma durumu şöyle ki, bu durumda oyuncular ortak kazançlarını artırmak için işbirliğine girişebilirler, ancak yine de kazancın dağıtımı konusunda bir çelişki söz konusudur.
Oyun teorisinde ekonomik, sosyal bir çelişki söz konusudur. Oyun kuramının ekonomik, sosyal ve siyasal alanda uygulanabileceği pek çok durum bulunabilir. Oyun kuramı sonradan uluslararası politikada da kullanılmaya başlandı. II. Dünya Savaşından sonra birkaç büyük devletin uluslararası sistemi belirlediği bir ortamda bu teoriye başvurulabilir. Bu alanların başında çatışma analizi ve strateji konuları gelmektedir. Bu temelde kurulan oyun modelleri başlıca iki varsayıma dayanmaktadır:
  - Sıfır toplamlı model: Bu modelde, taraflardan birinin kazancı doğrudan bir diğerinin kaybı anlamına gelmektedir. Soğuk savaş döneminde büyük güçler açısından bu tür bir ilişki var. Böyle bir durumda dahi taraflar kendi açılarından en rasyonel stratejiyi bulmaya çalışırlarsa birisi "en iyisini" seçerek bir denge noktasını yakalayabileceklerdir.
  - Sıfır toplamlı olmayan model: Bu model, taraflar yine esas olarak birbirlerine rakip olmakla beraber, her iki tarafın da kârlı olabileceği denge durumları söz konusu olabilmektedir. Oyun teorisinin uluslararası politikaya uyarlanışı konusunda üçüncü çabalar Thomas C. Schelling'in çalışmaları olmuştur.
David Ruelle bu konuda "Rastlantı ve Kaos" kitabında şunlara yer vermiştir:
Bir başka oyun da şöyle olabilir: Ben birden fazla sığınağın bulunduğu bir savaş alanındayım, siz de küçük bir uçakla tam üstümde daireler çiziyor ve tepeme bir bomba bırakmak için fırsat 
kolluyorsunuz. Normalde benim çevredeki en sağlam görünüşlü sığınağı seçmem ve orada saklanmam 
gerekir ama sizin de normalde yapabileceğiniz en doğru iş benim en iyi sığınağı seçmiş olabileceğimi 
düşünerek orayı bombalamaktır. Bunu bildiğim için benim o denli sağlam görünmeyen ikinci sığınağı 
seçmem gerekmez mi? Eğer ikimiz de çok akıllıysak olasılıklara dayanan stratejiler izleriz. Örneğin 
ben çevredeki çeşitli sığınaklar arasında bana en fazla kurtulma şansı verecek özelliklere sahip olanları 
arar, bundan sonra nereye saklanacağımı belirlemek için yazı-tura atar ya da gelişigüzel sayılardan oluşan 
bir liste kullanırım. Siz de beni vurma şansınızın en yüksek düzeyde olduğu sığınağı belirlemek için 
benzer biçimde olasılıklardan yararlanırsınız. Bu size saçma gelebilir ama ikimiz de akılcı davranabiliyorsak 
yapacağımız budur. Doğal olarak ben hareketlerimi gizlemezsem sizin işiniz kolaylaşır, buna karşılık 
siz de nereyi bombalamayı tasarladığınızı bana sezdirmemeye çalışmalısınız.
 Günlük hayatta patronunuz, sevgiliniz ya da ülkenizi yönetenlerin sizi yönlendirmeye çalıştığını 
sık sık görürsünüz. Size önerdikleri oyun, seçeneklerden birinin kesinlikle daha parlak göründüğü bir 
seçimdir. Bu seçenekte karar kıldığınız zaman karşınıza yeni bir oyun çıkar ve böylelikle kısa bir süre 
sonra akılcı seçimlerinizin sizi aslında hiçbir zaman istememiş olduğunuz bir yere getirdiğini görür 
ve tuzağa düştüğünüzü anlarsınız.
 Bu noktaya gelmemek için yapacağınız şey arada bir beklenmedik biçimde davranmaktır. En çekici görünen 
seçeneklerden uzak durduğunuz zaman kaybettiğiniz şeylerin karşılığında daha özgür olabilirsiniz.
 Doğal olarak hedefiniz sadece beklenmedik biçimde davranmak değil, bunu belli bir olasılık stratejisine 
uygun olarak yapmaktır.


## Oyunların gösterimi.
Oyun kuramı tarafından çalışılan oyunlar iyi tanımlanmış matematiksel nesnelerdir. Bir oyun, bir oyuncular kümesinden, bu oyuncuların uygulayabileceği bir eylem kümesinden (ya da stratejilerden) ve her strateji bileşkesi için tanımlanmış sonuçlardan meydana gelir. En işbirlikçi oyunlar karakteristik fonksiyon biçiminde sunulurken, yaygın ve normal biçimler işbirlikçi olmayan oyunlar için kullanılır.


### Yaygın biçim.
Yaygın biçim önem sırasına sahip oyunları biçimlendirmek için kullanılır. Resimde görüldüğü gibi genellikle bu oyunlar ağaçlar biçiminde gösterilir. Burada her kenar (veya uç) bir oyuncunun seçeneklerini gösterir. Oyuncu kenarların tepesinde listelenen bir sayı tarafından temsil edilir. Bu noktadan çıkan çizgiler o oyuncunun olası eylemlerini gösterir. Ağacın en altında sonuçlar belirtilir.
Buradaki resimde gösterilen oyunda iki oyuncu vardır. Oyuncu 1 ilk hareket eder ve F ya da U'yu seçer. Oyuncu 2, Oyuncu 1'in hareketini görür ve A ya da R'yi seçer. Oyuncu 1'in U'yu seçtiğini varsayalım, bu durumda Oyuncu 2 A'yı seçer, sonra Oyuncu 1, 8 alır ve Oyuncu 2, 2 alır.
Yaygın biçim; eşzamanlı-eylem oyunlarını ve kısmi bilgiye sahip oyunları temsil edebilir. Bu, iki farklı ucu bağlayan, aynı bilgi kümesine (örn. oyuncuların hangi noktada olduklarını bilmedikleri) ait olduklarını gösteren bir noktalı çizgiyle yapılır ya da bunun çevresine kapalı bir çizgi çizilir.


### Normal biçim.
Normal (ya da stratejik) biçim oyunu genellikle oyuncuları, stratejileri ve sonuçları (örneğe bakın) gösteren bir matris tarafından temsil edilir. Her oyuncunun her olası eylemini bir sonuca bağlayan herhangi bir fonksiyon tarafından da temsil edilebilir. Devam eden örnekte iki oyuncu vardır; biri bir satırı seçer, diğeri sütunu. Her oyuncunun, satır ve sütun sayısı tarafından belirlenen, iki stratejisi vardır. İçeride ise sonuçlar gösterilir. İlk sayı satır oyuncusunun (örnekte Oyuncu 1) sonucunu, ikinci ise sütun oyuncusununkini gösterir. Oyuncu 1'in "Yukarı" oynadığını ve Oyuncu 2'nin "Sol" oynadığını farzedersek Oyuncu 1, 4 alırken Oyuncu 2, 3 alır.
Bir oyun normal biçimde tanımlandığında, her oyuncunun eşzamanlı olarak hareket ettiği ya da en azından diğerinin eyleminden haberdar olmadığı varsayılır. Eğer oyuncular birbirlerinden biraz da olsa haberdar ise, oyun genellikle yaygın biçimde gösterilir. Bu nedenle asıl olan oyuncuların birbirinden habersiz olmaları. Aksi takdirde, manipüle ve propaganda araçları ile oyuncular birbirini etkiler ve sonsuz sayıda seçenek ortaya çıkar. Bu da oyuncuları çıkmaza sokar.


### Karakteristik fonksiyon biçimi.
Devredilebilir araçlar bulunan işbirlikçi oyunlarda bireysel bedeller verilmez. Bunun yerine, karakteristik bir fonksiyon her birleşmedeki bedeli belirler. Standart varsayım boş birleşimin 0 bedelli olduğudur.
Bu biçimin kaynağı, birleşimsel normal biçim oyunlarını çalışırken bir birleşim C biçimlendiğinde, bu durumun 2-oyunculu oyun oynuyorlarmışçasına bütünleyici birleşime (N∖C) karşı oynandığını varsayan von Neumann ve Morgenstern'in ufuk açan kitabındadır. C'nin denge bedeli "karakteristik"tir. Normal biçim oyunlarından birleşim değerlerini türetmek için şimdi farklı modeller vardır. Fakat karakteristik fonksiyon biçimindeki tüm oyunlar normal biçim oyunlarından türetilemez.
Biçimsel olarak, bir karakteristik fonksiyon oyunu (TU-oyunu olarak da bilinir) (N,v) çifti olarak verilir ki N burada bir küme oyuncuyu ve v:2^N⟶ℝ de bir karakteristik fonksiyonu betimler.
Karakteristik fonksiyon biçimi devredilebilir araç varsayımı olmayan oyunlara genelleştirilmiştir.


### Bölme fonksiyon biçimi.
Karakteristik fonksiyon biçimi, birleşimsel oluşumun dışsallığını görmezden gelir. Bölme fonksiyon biçiminde bir birleşimin bedeli sadece üyelerine değil, ama kalan oyuncuların nasıl bölümlenmiş olduğuna göre de değişir .


## Uygulamalar ve meydan okuyuşlar.
Oyun kuramı uzun süredir insan ve hayvan davranışlarının geniş alana yayılmış çeşitlerini incelemek için kullanılmaktadır. Kuram başlangıçta; firmaların, pazarların ve tüketicilerin iktisadi davranışlarının toplandığı büyük yığını anlamak için geliştirildi. Daha sonra oyun kuramının sosyal bilimlerdeki kullanımı da genişledi ve kuram; politik, sosyolojik ve psikolojik davranışlara uygulandı.
Bir Örnek: A ve B oyuncularının her birinin ellerinde kırmızı ve mavi iki kart vardır. Kartların dış yüzeyleri benzerdir ve dışarıdan bakan kartın rengini anlayamaz. Taraflar, bir kart seçip, kapalı olarak önlerine koyarlar. İki oyuncu da kartlarını seçince/belirleyince, kartlar açılır ve aşağıdaki tabloya göre puanlama yapılır.
Yüksek puan almak istiyorsanız, sizin seçiminiz ne olurdu? Birden fazla el oynasaydınız seçiminiz ne olurdu? Rekabet halindeki takımlar, kazan kazan ilişkileri kurabildikleri ölçüde güç kazanabilirler.


## Tarihsel gelişim.
  - 1838, Augustin Cournot, kuramın kökenini ortaya koydu. 
  - 1928, John von Neumann, Minmaks Kuramı, 
  - 1944, Neumann ve Oskar Morgenstern, "Oyunlar Kuramı ve İktisadi Davranış", 
  - 1950-1953, John Nash, 1952 ilk ders kitabı, 
  - 1961, John McKinsey, Biyolojiye ilk uygulama  R. C. Lewontin, "Evrim ve Oyunlar Kuramı Teori" iktisat alanında genelde Oligopol Piyasaların açıklanmasında kullanılmaktadır.


## Matematiksel gösterim.
Oyun kuramında oyunlar iyi tanımlanmış matematiksel nesnelerdir. Oyun, oyuncu kümesini, bu oyuncular tarafından kullanılabilir hamle (veya strateji) kümesini ve her bir stratejinin kombinasyonunda edinilen sonuçları içerir.