Question: How do we ensure `TDigest::merge` never causes numCentroids over centroidsCapacity and thus index out of bound?
Nobody has claimed this yet.
Assessment
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Newbie friendliness
- 25/100
Research direction
Start by reading TDigestDouble.java lines 571-602 and trace how merge updates numCentroids and uses centroidsCapacity. Determine whether the code establishes the required bound; done means documenting the invariant or identifying the precise change needed if it does not.
Written by the indexing model from the issue text.
Description
I don't find any constraint that numCentroids will never exceed centroidsCapacity here.
- Dominant language
- Java
- Stars
- 958
- Forks
- 226
- Avg merge
- 3d 40m
- Merged PRs (30d)
- 13
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
More from apache/datasketches-java
-
Difficulty 2/5 1-3 hours Newbie friendliness 65/100
apache/datasketches-java#731 · 16 comments ·
-
Difficulty 3/5 1-2 days Newbie friendliness 58/100
apache/datasketches-java#739 · 1 comment ·
-
Difficulty 3/5 1-2 days Newbie friendliness 35/100
apache/datasketches-java#720 · 3 comments ·
-
Difficulty 3/5 1-2 days Newbie friendliness 45/100
apache/datasketches-java#693 · 13 comments ·
-
Difficulty 5/5 Over a week Newbie friendliness 30/100
apache/datasketches-java#647 · 5 comments ·
All issues in apache/datasketches-java
Similar issues
-
bug
Difficulty 2/5 1-3 hours Newbie friendliness 85/100
-
Two open-case totals on one screen: the Programs tile says 15,858 and the nav badge says 15,868 Openbug frontend maui-pilot
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 76/100
objectionary/eo-graphs#74 ·
-
Difficulty 2/5 1-3 hours Newbie friendliness 72/100
-
Difficulty 2/5 1-3 hours Newbie friendliness 65/100