Sekiz vezir bulmacası

{{Satranç diyagramı|=
| tright
|
|=
8 |__|__|__|ql|__|__|__|__|=
7 |__|__|__|__|__|__|ql|__|=
6 |__|__|ql|__|__|__|__|__|=
5 |__|__|__|__|__|__|__|ql|=
4 |__|ql|__|__|__|__|__|__|=
3 |__|__|__|__|ql|__|__|__|=
2 |ql|__|__|__|__|__|__|__|=
1 |__|__|__|__|__|ql|__|__|=
|8 Vezir Bulmacasının örnek bir çözümü
}}8 Vezir Bulmacası, 8x8'lik bir satranç tahtasına 8 adet vezirin hiçbiri olağan vezir hamleleriyle birbirini alamayacak biçimde yerleştirmesi sorunudur. Her bir vezirin konumunun diğer bir vezire saldırmasına engel olması için hiçbir vezir başka bir vezirle aynı satıra, aynı kolona ya da aynı köşegene yerleştirilemez. 8 Vezir Bulmacası daha genel olan n Vezir Bulmacası'nın özel bir durumudur. n Vezir Bulmacası, n ≥ 4 için nn boyutunda bir satranç tahtasına n adet vezirin birbirini alamayacak biçimde yerleştirilmesi sorunudur.
Bulmacanın Geçmişi 8 Vezir Bulmacası (ve genel haliyle n Vezir Bulmacası) ilk olarak 1848 yılında satranç oyuncusu Max Bezzel tarafından ortaya atılmış ve yıllar içinde Gauss ve Georg Cantor gibi pek çok matematikçi tarafından incelenmiştir. İlk çözüm Franz Nauck tarafından 1850'de ortaya atılmıştır. Franz Nauck aynı zamanda bulmacayı nxn'lik bir tahta üzerinde uygulanmak üzere n vezir bulmacası haline getirmiştir.
Edsger Dijkstra 1972 yılında sekiz vezir bulmacası sorununu yapısal programlama adını verdiği yöntemin gücünü göstermek için yarattığı bir algoritmada kullanmıştır. 1
Bulmacanın Çözümü
Toplamda 283.274.583.,552 (64x63x.. x58x57/8!) olasılık bulunmasına karşın yalnızca 92 çözüm bulunduğu için bulmacanın çözümü yüksek miktarda hesaplama gerektirir. Gereksiz yere yapılan hesaplamaların sayısını azaltmak için bazı kısayolların kullanılması mümkündür. Örneğin her bir satırda ya da sütunda tek bir vezirin olabileceği kısıtı uygulanarak çözüm sayısı 16.777.216 (88) düzeyine indirilebilir.
Aşağıdaki adımlar sırasıyla izlenerek n vezir bulmacası'''nın bir çözümü bulunabilir:
n sayısını 12'ye böl. Kalanı aklında tut. (n sayısı sekiz vezir bulmacasında 8'dir).
2'den n sayısına kadar olan bütün çift sayıları sırayla yaz.
Eğer kalan 3 ya da 9 ise 2'yi listenin en sonuna koy.
1'den nye kadar olan tek sayıları listeye ekle; eğer kalan sekizse her bir çiftin kendi arasında yerlerini değiştir (örnek: 3, 1, 7, 5, 11, 9, ).
Eğer kalan 2 ise, 1 ile 3'ün yerlerini değiştir ve 5'i listenin en sonuna al.
Eğer kalan 3 ya da 9 ise, 1 ve 3'ü listenin sonuna al.
Ortaya çıkan listedeki her bir sayı ilgili için ilgili kolonun listedeki sayının gösterdiği satırına bir vezir koy. Örneğin listedeki ilk sayı 2 ise satranç tahtasında ilk kolonun ikinci sırasına bir vezir konmalıdır.
Bazı örnekler
14 vezir için liste (kalan 2): 2, 4, 6, 8, 10, 12, 14, 3, 1, 7, 9, 11, 13, 5.
15 vezir için liste (kalan 3): 4, 6, 8, 10, 12, 14, 2, 5, 7, 9, 11, 13, 15, 1, 3.
20 vezir için liste (kalan 8): 2, 4, 6, 8, 10, 12, 14, 16, 18, 20, 3, 1, 7, 5, 11, 9, 15, 13, 19, 17.
Sekiz Vezir Bulmacasının Çözümleri Sekiz vezir bulmacasının 92 ayrı çözümü vardır. Ancak bu çözümlerin çoğu birbirinden yalnızca döndürme ve yansıma gibi simetri işlemleriyle üretilebilir. Bu nedenle, eğer simetriden doğan bu fazla çözümler birleştirilip tek çözüm olarak sayılırsa, bulmacanın aslında aşağıda gösterilen 12 eşsiz çözümü vardır.
Değişik n Değerleri için Çözüm Sayıları
[[Dosya:Eight-queens-animation. gif|küçükresim|sağ|upright=1.82|Özyinelemeli bir algoritmayla Sekiz Vezir Bulmacasının Çözümü]]
Aşağıdaki tablo değişik n değerleri için çözüm sayılarını göstermektedir.
Not: 66'lık bir satranç tahtasında bulunan çözüm sayısının 55 boyutundaki bir satranç tahtasında bulunan çözüm sayısından az oluşu dikkat çekicidir. n vezir bulmacası''nın en son n = 26 değeri için çözümü bulunmuştur. Ancak, çok yüksek hesaplama gücüne gereksinim duyulduğundan n = 27 için çözüm henüz bulunamamıştır.