pub fn is_valid_assignment( adj: &[Vec<usize>], num_slots: usize, assignment: &[usize], ) -> bool
Re-check a feasible assignment: one distinct slot per item, each within that item’s allowed set.