Bir Soru Bir Uzaydır
Her Soru Bir Uzay Çizer
Bir soru sadece tek bir şeyi sormaz. Olası cevapların bir uzayını açar ve her aday cevap, bu uzaydaki bir noktadır.
"Yemek yiyecek bir yer seç" devasa bir uzay açar: Dünya'daki her restoran, kafe, yemek arabası ve mutfak. "Yürüme mesafesinde, şu an açık, on beş doların altında ve vejetaryen bir yer seç" minik bir uzay açar: belki üç nokta.
Aynı niyet, köklü biçimde farklı bir geometri. İkinci soru gerçek bir iş yaptı: arama başlanmadan önce uzayı daralttı.
Bu, tüm dersi tek cümlede özetler: iyi bir soru, cevabın aranmaya değer bölgeye daralmasını sağlayan sorudur. Belirsiz bir soru devasa bir alan bırakır ve yavaş, dağınık bir aramaya zorlar. Keskin bir soru ise tek bakışla taranabilecek küçük bir alan sunar.
Bunu dört geometrik parça ile kesinleştireceğiz: bir alanı bölmek, kısıtlamalarla kesmek ve iyi seçilmiş evet/hayır sorularıyla ikiye ayırmak.
Geniş Dar Karşılığı
Bir programda hata ayıklama için yardım istemenin iki yolunu düşünün:
- S1: "Neden kodum çalışmıyor?"
- S2: "Neden bu döngü, listede 10 öğe varken Python 3.12 üzerinde 9 öğe yazdırıyor?"
Bir Uzayı Bölgelere Ayırma
Büyük Bir Soruyu Bölgelere Ayırma
Bir uzay doğrudan aranacak kadar büyükse, onu bölümlere ayırırsınız: Bütünü kapsayan, birbirini örtmeyen bölgelere bölersiniz. Alt bir soruyu yanıtlamak, bir bölgeyi seçmek ve gerisini yok saymak demektir.
Sorunun "Geçen çeyrekte neden gelir düştü?" olduğunu varsayalım. Cevap uzayı devasa. Bunu bölümlere ayırın: (a) daha az müşteri, (b) aynı müşterilerin daha az harcaması, (c) bir fiyatlandırma veya faturalandırma değişikliği, (d) bir veri hatası. Bu dört bölge uzayı kapsar ve birbirini örtmez. Her biri, tek başına ele alınabilecek daha küçük bir sorudur.
İyi bir bölme, doğrudan geometriden ödünç alınan iki özelliğe sahiptir: Bölgeler tüm uzayı kapsar (hiçbir şey gözden kaçmaz) ve kesişimsizdir (hiçbir şey iki kez sayılmaz). Uzayın bir kısmını kaçırırsanız, gerçek cevap o boşlukta gizli kalabilir. Bölgeler üst üste gelirse, aynı alanı iki kez aramakla zaman kaybedersiniz.
Her alt soru sizi tek bir bölgeye daraltır. Onu yanıtladığınızda, o bölgenin dışındaki her şeyi elerirsiniz: Arama alanının büyük ve ucuz bir şekilde küçültülmesi.
Temiz Bir Bölme
Bir şehir soruyor: "Acil müdahale süreleri neden artıyor?"
Bir analist, bunu şu şekilde bölünmesini öneriyor: (a) çağrıların bir ekibe ulaşması daha uzun sürüyor, (b) ekipler sevk edildikten sonra varış için daha uzun süre harcıyor ve (c) ekipler işi bitirip boşalmak için daha uzun süre harcıyor.
Her Gereksinim Uzayı Keser
Kısıtlar ve Yarım Düzlemler
Cevap uzayını düz bir düzlem olarak hayal edin; her nokta bir aday cevaptır. Bir kısıt bir gereksinimdir & her gereksinim düzlem boyunca bir çizgi çizer & yalnızca bir tarafı korur. Geometride bu korunan tarafa yarım düzlem denir.
"On beş doların altında" bir çizgidir; ucuz tarafı koruyun. "Yürüme mesafesi içinde" ikinci bir çizgidir; yakın tarafı koruyun. "Şu an açık" üçüncüsüdür. Eklediğiniz her gereksinim başka bir kesimdir.
Tüm gereksinimleri sağlayan cevap, tüm korunan tarafların kesiminde yaşar. Yeterince çok yarım düzlemi kesiştirirseniz küçük bir sınırlı bölge elde edersiniz: içinde tek doğru cevabı barındıran düzenli bir alan.
İki Hata Modu
Az kısıtlanmış (çok az kesim): bölge sınırsız kalır. Sonsuza doğru uzanır, bu nedenle sonsuz sayıda belirsiz cevap "uyar". "Bana iyi bir fikir ver" ifadesi sınırsızdır. Hiçbir şey elenmediği için gürültü alırsınız.
Aşırı kısıtlanmış (çok fazla veya çelişkili kesimler): bölge boş hale gelir. Yarı düzlemlerin ortak bir noktası yoktur, bu nedenle hiçbir cevap tamamen uymaz. "Hem çift hem tek olan bir sayı" ifadesi uzayı hiçbir şeye indirger.
İyi tanımlanmış bir soru bunların arasında yer alır: bölgeyi sınırlamak için yeterli kısıtlama, ancak onu çelişkiye düşürüp boşaltacak kadar fazla değil.
Sınırlı, Sınırsız, Boş
Bir yönetici tasarımcıdan "bir logo" ister. Daha sonra "tek harfli, tek renkli, 16 pikselde çalışan ve en az dört renk kullanan bir logo" ister.
En İyi Kesim, Uzayı İkiye Bölerek Ayırır
İkilik Arama: Her Evet/Hayır Uzayı İkiye Bölür
Bazı sorular evet/hayır niteliğindedir. Geometrik olarak, bir evet/hayır sorusu tek bir çizgi çizer & cevabın hangi tarafta olduğunu söyler: tüm bir bölgeyi tek bir hamlede eler.
En iyi evet/hayır sorusu, uzayı iki eşit parçaya bölen sorudur; çünkü bu durumda alacağınız yanıt ne olursa olsun, kalanların tam olarak yarısını elemiş olursunuz. "Üst yarıda mı?" sorusunu tekrar tekrar sorduğunuzda & uzay geometrik olarak çok hızlı şekilde daralır.
Bu ikili aramadır. N adayla başlayın. İyi bir sorudan sonra N/2 kalır. İkisinden sonra N/4. k sorudan sonra N / 2^k. Tek bir aday kaldığında bitmiş olursunuz, bu yüzden 2^k'nın en az N olduğu en küçük k değerine ihtiyacınız vardır.
Bu en küçük k değeri, log2(N)'in tavanıdır (ceiling). Bin aday için: 2^9 = 512 (yetersiz) & 2^10 = 1024 (yeterli), bu yüzden log2(1000) yaklaşık 9.97'dir & 10 soruya ihtiyacınız vardır. Bir milyar aday? Bir milyarın log2'si yaklaşık 30'dur. Yarıya indirmek o kadar güçlüdür ki, binden milyara geçmek yalnızca yaklaşık yirmi soru ekler.
Soru sorma dersleri için çıkarım: Keskin bir evet/hayır soru, kalan uzayı eşit olarak böldüğünde en çok değerlidir. Sadece küçük bir dilim eleyen dengesiz bir soru, o turu boşa harcar.
Bulmayı Garantilemek
Bir tahmin oyunu oynuyorsunuz. Bir kişi 1'den 1000'e kadar bir tam sayı seçiyor. Sadece evet/hayır soruları sorabilirsiniz & optimal şekilde oynarsınız (her soru kalan adayları olabildiğince eşit olarak böler).
Cevaplar Ucuz Olduğunda, Kesitler Değerlidir
Soru Şimdi Asıl İş
Dört parçayı bir araya getirin. Bir soru bir alan açar. Ayrıştırma onu böler. Kısıtlar onu sınırlı bir uygulanabilir bölgeye keser. İyi evet/hayır soruları onu yarıya indirir. Bunların her biri, bir cevap aramadan önce aramayı daraltma eylemidir.
Tarihin büyük bölümünde cevap, pahalı kısımdı. Bir uzmana ödeme yapardınız, deneyi yapardınız, arşivi karıştırırdınız. Bu yüzden cevap üretebilen insanlara değer verirdik.
O denge tersine döndü. Otomatik sistemler artık binlerce makul yanıtı neredeyse ücretsiz olarak üretiyor. Yanıtlar ucuz ve bol olduğunda, bir tane daha üretmek bir başarı sayılmaz. Kıtlığını koruyan şey, hangi yanıtın değerli olduğunu bilmektir; bu da bir yanıt üretme becerisi değil, bir soru sorma becerisidir.
Geometride: bir makine, uzaydaki herhangi bir noktayı size memnuniyetle verecektir. Sizin eklediğiniz değer, uzayı iyi bir yanıtın bulunması gereken tek bölgeye daraltan kısıtlamaları çizmektir. Az kısıtlarsanız, makul gürültüde boğulursunuz (sınırsız bir bölge). Aşırı kısıtlarsanız, hiçbir şey geri alamazsınız (boş bir bölge). Bölgeyi tam doğru boyuta sınırlayan kesitleri koymak, kıt ve insani beceridir.
Dolayısıyla kaldıraç "bir yanıt almak" değildir. "Yanıt uzayını, içindeki herhangi bir noktanın değerli olacak kadar küçük hale getiren kısıtlamaları koymak"tır.
Değerin Taşındığı Yer
Bir analist artık neredeyse sıfır maliyetle dakikalar içinde yüz tane taslak strateji üretebilir.
Soruların Geometrisi: Özet
Ne Öğrendiniz
Bir soru, tek bir yanıt isteği değildir. Olası yanıtların bir uzayıdır ve sorma sanatı, bu uzayı küçültme sanatıdır:
- Arama uzayı: Her soru, aday yanıtların bir kümesini açar. Keskin bir soru küçük bir küme açar; belirsiz bir soru ise içinde dolaşmanız gereken devasa bir küme açar.
- Parçalama (dekompozisyon) olarak bölme: Büyük bir uzayı, onu örtüşmeden kapsayan bölgelere ayırın; her alt soru sizi bir bölgeye daraltır.
- Kısıtlar olarak sınırlar: Her gereklilik bir yarı düzlemdir; yanıt, bunların kesişiminde yaşar. Çok az kesim, sınırsız bir bölge bırakır (sonsuz belirsiz yanıtlar); çelişkili kesimler ise boş bir bölge bırakır (hiçbiri uymaz).
- İkiye bölerek daraltma: İyi seçilmiş bir evet/hayır sorusu, uzayı ikiye böler. 1 ile 1000 aralığındaki bir sayıyı belirlemek ceil(log2(1000)) = 10 soru gerektirir; bir milyar için ise yalnızca yaklaşık 30 soru yeterlidir.
Ve karşılığı: Otomatik sistemler cevapları ucuzlattığında, kıt beceri cevap üretmek değil, uzayı sahip olmaya değer tek bölgeye daraltan kısıtlamaları ortaya koymaktır. Bu kesimleri çizmeyi öğrenin, böylece geniş ve savrulmaca bir aramayı kısa bir aramaya dönüştürürsünüz.