Bir nonogramı kolay ya da zor yapan nedir

Daha büyük bir ızgara gerçekten de takip edilecek daha çok satır ve daha çok çapraz kontrol demektir, bu yüzden büyük bulmacalar daha uzun sürer. Ama tek başına uzunluk bir satırı zorlaştırmaz — tek bir büyük dizi içeren 20 genişliğindeki bir satır önemsizdir, oysa küçük dizilerle ve dar boşluklarla dolu kısa bir satır gerçek bir düşünme gerektirebilir. Boyut, her adımın ne kadar zor olduğundan çok, bir bulmacanın ne kadar sürdüğünü etkiler.

Zorluğun en doğru ölçüsü, bulmacanın ne tür bir akıl yürütme gerektirdiğidir. En kolay bulmacalar “satırla çözülebilir” olanlardır: bir seferde bir satıra ya da sütuna bakarak, o tek satırın dayattığı şeyi doldurarak ve asla iki satırı aynı anda aklınızda tutmanız gerekmeden onları bitirebilirsiniz. Çoğu hafif bulmaca tam olarak budur.

Daha zor bulmacalar bilgiyi birleştirmenizi gerektirir — bir karenin durumunun ancak bir satırla bir sütunu birlikte, ya da bir seferde küçük bir satır kümesini düşündüğünüzde zorunlu hale geldiğini fark etmek. Bir sonraki kare zorunlu olmadan önce bu birleştirmenin ne kadar derine inmesi gerekiyorsa, boyutundan bağımsız olarak bulmaca o kadar zor hissettirir.

İşte içinizi rahatlatan kısım. Nonogram çözümü üzerine akademik çalışma (Batenburg and Kosters, 2012), tek çözümlü bulmacaların gerçekte ne kadar akıl yürütme gerektirdiğini ölçtü. Basit satır satır çözümün ötesinde bir üst adım, iyi tanımlanmış, hâlâ belirlenimci bir teknik — satır çiftlerini birleştirmek — ve onların kapsamlı sayımı, basit olmayan bulmacaların 93.8–95.5%’inin tam olarak bununla, hiç tahmin olmadan çözülebildiğini buldu.

Daha da çarpıcı olanı: tüm tek çözümlü bulmacaların yalnızca yaklaşık 0.06–0.14%’i, o satır çifti akıl yürütmesinin ötesinde bir şeye ihtiyaç duyar. Başka bir deyişle, iyi biçimlendirilmiş nonogramların ezici çoğunluğu — normal oyunda karşılaşacağınız her zor olan dahil — saf, sınırlı mantıkla çözülebilir. Gerçek deneme yanılma adil bir bulmacada yok denecek kadar nadirdir, işte bu yüzden “asla tahmin etme” bu kadar güvenilir bir tavsiyedir.

Tüm bunların altında teorik bir sonuç yatar. Satır ve sütun ipuçlarından oluşan rastgele bir kümenin herhangi bir çözümü olup olmadığına karar vermenin NP-tam olduğu kanıtlandı (Ueda and Nagao, 1996) — gezgin satıcı problemi gibi kötü şöhretli inatçı problemlerle aynı karmaşıklık sınıfı. Açıkça söylemek gerekirse: hiç kimse akla gelebilecek her nonogramı hızlıca çözen bir yöntem bilmiyor ve en kötü durumlarda ızgara büyüdükçe gereken iş katlanarak artar.

Bu, “akla gelebilecek her nonogram” ile “insanların gerçekten yayımladığı nonogramlar” arasındaki farkı fark edene kadar endişe verici gelir. NP-tamlık sonucu, rastgele, düşmanca ipucu kümeleriyle ilgilidir — bunların çoğunun ya hiç çözümü yoktur ya da birkaç tane vardır. Gerçek bir bulmaca ters yönde kurulur: bir resimden başlar ve yalnızca mantığın gerçekten ulaşabileceği tam olarak bir çözümü varsa yayımlanır. İşte bu yüzden önceki bölümdeki sayılar pratikte geçerlidir — ve işte bu yüzden önünüzdeki bulmaca, acımasız hissettirse bile neredeyse kesinlikle adildir.

Çıkarım derinliğinin ötesinde, birkaç yüzeysel özellik zorluğu iter. Çok seyrek resimler (çoğunlukla boş) ve çok yoğun olanlar (çoğunlukla dolu) genellikle daha kolaydır, çünkü uçlar erkenden çok sayıda zorunlu kare verir. En çetrefilli bulmacalar genellikle ortada yer alır, dolu ve boşun dengeli bir karışımıyla ve hızlı açılış hamlelerine direnen bol miktarda kısa, parçalı diziyle. Temiz, tanınabilir bir konu da, altta yatan mantığı değiştirmese bile çözücünün yönünü korumasına yardımcı olur.

Bu sitede, bir bulmacanın derecesi, onu çözmenin akıl yürütmesinin ne kadar derine indiğinden ve ızgaranın ne kadar dolu olduğu gibi şekil istatistiklerinden gelir. Satırla çözülebilen bulmacalar kolaya düşer; gerçek satırlar arası birleştirme gerektirenler zora doğru kayar; tahmin gerektirecek her şey yayımlanmak yerine doğrudan reddedilir. Tüm süreç “nonogramlarımızı nasıl yapıyoruz” sayfasında anlatılır — ama kısa versiyonu şudur: burada zorluk ölçülür, tahmin edilmez.