Skip to content
Open
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
38 changes: 31 additions & 7 deletions crates/paimon/src/full_text.rs
Original file line number Diff line number Diff line change
Expand Up @@ -126,14 +126,16 @@ impl SearchResult {

/// Return top-k results by score (descending).
pub fn top_k(&self, k: usize) -> Self {
if self.row_ids.len() <= k {
return self.clone();
}
// Always sort best-first, even when no truncation is needed (len <= k):
// downstream consumers rely on relevance order, not input/shard order.
let mut indices: Vec<usize> = (0..self.row_ids.len()).collect();
// Best-first by score (total_cmp is NaN-safe), then smaller row id. This
// matches vector_search's top_k and keeps the order deterministic regardless
// of the input/shard order.
indices.sort_by(|&a, &b| {
self.scores[b]
.partial_cmp(&self.scores[a])
.unwrap_or(std::cmp::Ordering::Equal)
.total_cmp(&self.scores[a])
.then_with(|| self.row_ids[a].cmp(&self.row_ids[b]))
});
indices.truncate(k);
let row_ids = indices.iter().map(|&i| self.row_ids[i]).collect();
Expand Down Expand Up @@ -258,8 +260,30 @@ mod tests {
.without_deleted_row_ranges(Some(&deleted))
.unwrap()
.top_k(10);
assert_eq!(filtered.row_ids, vec![1, 4]);
assert_eq!(filtered.scores, vec![0.1, 0.2]);
// Rows 2..3 are deleted; the remaining rows come back best-first by score.
assert_eq!(filtered.row_ids, vec![4, 1]);
assert_eq!(filtered.scores, vec![0.2, 0.1]);
}

#[test]
fn test_search_result_top_k_sorts_best_first_without_truncation() {
// k >= candidate count: results must still be best-first by score, not in
// input/shard order.
let result = SearchResult::new(vec![3, 1, 2], vec![0.1, 0.9, 0.5]);

let top = result.top_k(3);
assert_eq!(top.row_ids, vec![1, 2, 3]);
assert_eq!(top.scores, vec![0.9, 0.5, 0.1]);
}

#[test]
fn test_search_result_top_k_tie_breaks_by_smaller_row_id() {
// Equal scores: order by smaller row id, independent of input order.
let result = SearchResult::new(vec![30, 10, 20], vec![0.9, 0.9, 0.9]);

let top = result.top_k(3);
assert_eq!(top.row_ids, vec![10, 20, 30]);
assert_eq!(top.scores, vec![0.9, 0.9, 0.9]);
}

#[test]
Expand Down
23 changes: 12 additions & 11 deletions crates/paimon/src/vector_search.rs
Original file line number Diff line number Diff line change
Expand Up @@ -218,12 +218,10 @@ impl SearchResult {
}

if best_by_row_id.len() <= k {
// Keep the original row order when no truncation is needed.
let rows = self
.row_ids
.iter()
.filter_map(|row_id| best_by_row_id.remove(row_id))
.collect();
// Still sort best-first: the scored map is unordered, and consumers rely
// on relevance rank.
let mut rows: Vec<ScoredRow> = best_by_row_id.into_values().collect();
sort_scored_rows_by_rank(&mut rows);
return Self::from_scored_rows(rows);
}

Expand Down Expand Up @@ -382,12 +380,14 @@ mod tests {
}

#[test]
fn test_search_result_top_k_preserves_order_without_truncation() {
fn test_search_result_top_k_sorts_best_first_without_truncation() {
// Even when k >= candidate count (no truncation), results must be returned
// best-first by score, not in the input/insertion order.
let result = SearchResult::new(vec![3, 1, 2], vec![0.1, 0.9, 0.5]);

let top = result.top_k(3);
assert_eq!(top.row_ids, result.row_ids);
assert_eq!(top.scores, result.scores);
assert_eq!(top.row_ids, vec![1, 2, 3]);
assert_eq!(top.scores, vec![0.9, 0.5, 0.1]);
}

#[test]
Expand All @@ -409,8 +409,9 @@ mod tests {
.without_deleted_row_ranges(Some(&deleted))
.unwrap()
.top_k(10);
assert_eq!(filtered.row_ids, vec![1, 4]);
assert_eq!(filtered.scores, vec![0.1, 0.2]);
// Rows 2..3 are deleted; the remaining rows come back best-first by score.
assert_eq!(filtered.row_ids, vec![4, 1]);
assert_eq!(filtered.scores, vec![0.2, 0.1]);
}

#[test]
Expand Down
Loading