Description
Return the next-symbol bounds of a restricted growth string.
Partitions, permutations and circular words use distinct encodings and symmetry conventions. Parity, block bounds and orbit-size identities can follow from supplied counts without verifying a complete object or identifying its actual symmetry.
Return the next-symbol bounds of a restricted growth string.
When to use this tool
Use Combinatorics: Restricted Growth String Next Symbol Bound when checking the stated partition, permutation or rotation/reflection convention.
How to use the tool and how it works
- Enter prefix. Use the units and conventions below.
- Run the tool. Correct any format, range, or cross-field input error before interpreting the output.
- Read result. Expand result to inspect the returned fields.
Return the next-symbol bounds of a restricted growth string. Validate each prefix integer in [0,previousMax+1], starting max -1; nextMinimum is zero, nextMaximum is zero for empty prefix or max(prefix)+1.1
| Input field | Meaning and units | Accepted input |
|---|---|---|
| prefix | Prefix | Required. Array of finite number. Implementation limit: 128 items. |
| Output field | Interpretation | Returned shape |
|---|---|---|
| result | Returned calculated value or nested object under the stated output convention. | Required. Object. |
| result.nextMinimum | Next Minimum | Calculated result member: number. |
| result.nextMaximum | Next Maximum | Calculated result member: number. |
{
"input": {
"prefix": [
0,
1,
0,
2
]
},
"output": {
"result": {
"nextMinimum": 0,
"nextMaximum": 3
}
}
}Limitations and assumptions
- This is the canonical zero-based set-partition encoding, not an arbitrary integer sequence or a complete partition enumeration.
- Outputs are nested inside result. Inputs must satisfy both the field types and the cross-field conditions above. Invalid input causes an error; a successful false flag or documented placeholder is a different result.
- Numeric calculations use binary floating point unless exact decimal-integer arithmetic is explicitly stated. No hidden measurement tolerance or decimal rounding is added; nonfinite or out-of-contract results are rejected. Numeric signed-zero results are exported as zero.
Alternative or Complementary methods
Validate the complete combinatorial object and its action/labeling convention before applying whole-object enumeration, ranking or symmetry conclusions.
References
Similar or alternative tools
- Set Partition Block Insertion Weight
Return insertion choices for a set partition with a supplied block count.
- Combinatorics: Partition Ferrers Cell Count
Return Ferrers diagram cell, row and column counts.