Hierarkisk begränsningstillfredsställelse

Inom artificiell intelligens och operationsforskning är hierarchical constraint satisfaction (HCS) en metod för att hantera problem med constraint satisfaction där variablerna har stora domäner genom att utnyttja sin interna struktur.

För många problem i den verkliga världen samlas domänelementen till uppsättningar med gemensamma egenskaper och relationer. Denna struktur kan representeras som en hierarki och är delvis ordnad på delmängden av en relation. Förväntningen är att domänerna är strukturerade så att elementen i en uppsättning ofta delar konsistensegenskaper så att de kan behållas eller elimineras som en enhet. Således, om vissa element i en uppsättning uppfyller en begränsning , men inte alla, beaktas delmängderna av uppsättningen. På detta sätt, om inga element i en uppsättning kan uppfylla begränsningen, kan hela uppsättningen kasseras. Således hjälper strukturering av domänen att överväga uppsättningar av element samtidigt och hjälper därför till att beskära sökutrymmet snabbare.