Nehir geçişi bulmacası

Nehir geçişi bulmacası, nesneleri bir nehir kıyısından diğerine, genellikle en az sayıda yolculukla taşımayı amaçlayan bir bulmaca türüdür. Bulmacanın zorluğu, hangi veya kaç öğenin aynı anda taşınabileceğine veya hangi veya kaç öğenin güvenli bir şekilde bir arada bırakılabileceğine ilişkin kısıtlamalardan kaynaklanır. Kurgu, örneğin nehrin bir köprü ile değiştirilmesi gibi görsel açıdan da değişim gösterebilir. Bilinen en eski nehir geçişi problemleri, geleneksel olarak Alcuin tarafından yazıldığı söylenen Propositiones ad Acuendos Juvenes (, ) adlı el yazmasında yer alır. Bu el yazmasının en eski kopyaları 9. yüzyıla aittir; tilki, kaz ve fasulye torbası bulmacası ve kıskanç kocalar problemi de dahil olmak üzere üç farklı nehir geçme problemi içerir.

İyi bilinen nehir geçişi bulmacaları şunlardır:

 Tilki, kaz ve fasulye torbası bulmacası, bir çiftçinin tilki, kaz ve fasulye torbasını, çiftçiye ilaveten yalnızca bir öğe alabilen bir tekne kullanarak, tilkinin kaz ile yalnız bırakılamayacağı ve kazın fasulye ile yalnız bırakılamayacağı kısıtlamalarına tabi olarak bir nehrin bir tarafından diğerine taşıması gereken bulmacadır. Tilki, tavuk ve bir torba tahıl ya da kurt, keçi ve lahana gibi eşdeğer bulmacalar da ifade edilmiştir.
 Kıskanç kocalar problemi, üç evli çiftin bir nehri en fazla iki kişi alabilen bir kayık kullanarak, kocası olmadığı sürece hiçbir kadının başka bir erkeğin yanında bulunamayacağı kısıtlamasına tabi olarak geçmesi gerektiği problemdir. Bu, üç misyoner ve üç yamyamın nehri geçmesi gereken, hem misyonerlerin hem de yamyamların her iki kıyıda da durduğu herhangi bir zamanda, o kıyıdaki yamyamların misyonerlerden sayıca fazla olamayacağı kısıtlamasıyla misyonerler ve yamyamlar problemine benzer.
 Köprü ve meşale problemi.
 Propositio de viro et muliere ponderantibus plaustrum; Propositiones ad Acuendos Juvenes'de de yer alan bu problemde, eşit ağırlıktaki bir erkek ve bir kadın, her biri kendi ağırlığının yarısı kadar olan iki çocukla birlikte, yalnızca bir yetişkinin ağırlığını taşıyabilen bir kayık kullanarak bir nehri geçmek isterler.
 
Bu problemler çizge teorisi yöntemleri, dinamik programlama veya tamsayılı programlama kullanılarak analiz edilebilir.

Ayrıca bakınız
 Köşe Örtme

Kaynakça

Dış bağlantılar
 

Mantık bulmacaları