EngineeringAbstract著者らは以前、κ最近隣法の高速化として、探索を途中において終端できる条件を示し、分枝限定法においてその条件を組み込む方式を提案した。本研究では、同様の条件が、たとえ終端はできない場合でも、解集合の限定(包含)に利用できることを示す。対称的に、解となり得ない集合を排除するための条件を示す。これらの包含および排除条件により自然に導かれるアルゴリズムを述べ、その有効性を確認する。ServicesKAKENIRDBNII-REO。