Выбор нужных пар целых чисел

let knacksack items t =
    let rec iter (p',ss') ss w p rr =
        match rr with
        | _ when p > p'    -> (p',ss')
        | _ when w >= t    -> (p,ss)
        | []               -> (p',ss')
        | r::rs            ->  let x1 = iter (p',ss') (r::ss) (w + fst r) (p + snd r) rs 
                               let x2 = iter x1 ss w p rs 
                               min x1 x2
    iter (Int32.MaxValue,[]) [] 0 0 (List.sortBy (fun (w,p) -> (double p)/(double w)) items)

let knacksack items t =
    let rec iter bestItems bestPrice currItems currWeight currPrice restItems =
        match restItems with
        | _ when currPrice > bestPrice    -> (bestPrice, bestItems) // отсекаем ветвь
        | _ when currWeight >= t          -> (currPrice, currItems) // улучшили решение
        | []                              -> (bestPrice, bestItems) // ветвь без решения
        | head::tail                      -> 
            // лучшее решение, содержащее head
            let newItems, newWeight, newPrice = (head::currItems), (currWeight + fst head), (currPrice + snd head)
            let x1 = iter bestItems bestPrice newItems newWeight newPrice tail 
            // лучшее решение, не содержащее head
            let x2 = iter (snd x1) (fst x1) currItems currWeight currPrice tail 
            min x1 x2 
    // сортируем список пар по возрастанию цены за единицу веса, чтобы первое "жадное" решение позволило отсечь больше ветвей
    iter [] (Int32.MaxValue) [] 0 0 (List.sortBy (fun (w,p) -> (double p)/(double w)) items)