BlockSizePartition from SetPartition

The partition of n a set partition's block sizes form, largest first.

SetPartition → IntegerPartitionsurjection

Lossy: which elements share a block is forgotten, so it is not a constructor overload.

Called as CombinatorialMap(x, "BlockSizePartition"). The head's page has its examples.

Live

Explore

Each element of SetPartition at a size, and its image, applied in your browser; sizes past 7 are not offered.

Size

Properties

Sizes 1 to

Transport a statistic

Pick a statistic on IntegerPartition. Its distribution over the images of SetPartition at each size is computed, and compared with the 111 statistics on SetPartition: those that share it are the ones the map sends it to, as far as the sizes computed show.

Statistic LargestPartMultiplicityOfLargestPartDistinctPartsEvenPartsOddPartsPartsEqualOnePartsAtLeastTwoConjugateOddPartsConjugateDistinctPartsDurfeeSquareArmOfFirstCellLegOfFirstCellCornersHalfPerimeterIsSelfConjugateSumOfHookLengthsHookProductStandardTableauCountDysonRankCrankHookLengthOfFirstCellHookLengthOfLastDiagonalCellDiagonalHookLengthProductSymmetricDiagonalHooksCellsOutsideDurfeeSquareFirstRowHookLengthSumHookLengthSquareSumCohookLengthProductDiagonalInversionsDiagonalInversionDefectCellsWithEqualArmAndLegLargestRepeatedPartMultiplicityOfSmallestPartFlooredHalfMultiplicitySumDistinctRepeatedPartsSingletonPartsDistinctMultiplicitiesLargestMultiplicityPartsEqualToMultiplicityDistinctPartsEqualToMultiplicityWeightedSizeAddableCellsPartsExceedingOnesContentSumLargestStaircaseSideContainingSquareSideCellsOutsideLargestStaircaseAftSmallestMissingPartPairwiseProductSumPartRangeContainingRectangleShortSideMaximalRectangleHalfPerimeterLargestShiftedPartRemovableHorizontalDominoesCellsOutsideFirstRowCellsOutsideFirstHookRowCellPairsCellsWithZeroLegAndOddArmCornerMajorIndexPartProductPartSquareSumPartFactorialProductMultiplicityFactorialProductSumOfEvenPartsSumOfOddPartsSumOfPartsAtLeastTwoGreatestCommonDivisorOfPartsLeastCommonMultipleOfPartsPairwiseGreatestCommonDivisorSumLargestEvenPartEvenOddCrankOddPartsBelowLargestEvenPartDistinctEvenPartsBerkovichGarvanRankPartsEqualToNextPartLargestMissingPartSmallestNonRepeatedIntegerDistinctSubsetSumsDistinctEvenSubsetSumsDistinctOddSubsetSumsPartsNotCongruentToTwoModuloThreePartsNotCongruentToZeroModuloThreePartsNotCongruentToOneModuloThreePartsEqualTwoHalfSumOfEvenPartsHalfLargestEvenPartDistinctOddPartsBelowLargestEvenPartPartSquareProductMultinomialOfPartsExponensConsonantiaeCyclicSievingPolynomialDegreeGiniIndexInterlacingPartitionCountMinimalSubpartitionSizeDifferenceAlladiWeightSecondAlladiWeightCentralizerSizeConjugacyClassSizeSetPartitionsWithBlockSizesCountKrewerasNumberInvariantSubsetCountInvariantTwoElementSubsetCountInvariantThreeElementSubsetCountEdgeOrbitCountElementarySymmetricFunctionAtOneSubsetGreatestCommonDivisorSumSemistandardTableauCountWithEntriesUpToTwoSemistandardTableauCountWithEntriesUpToThreeSemistandardTableauCountWithEntriesUpToFourSemistandardTableauCountWithEntriesUpToLengthSemistandardTableauCountWithEntriesUpToSizePlancherelCountCubedStandardTableauCountShiftedStandardTableauCountTwiceMeanMajorIndexOfStandardTableauxTwelveTimesMajorIndexVarianceOfStandardTableauxPairsOfDistinctPartsDiagonalArmSumRimHooksRemovedToTwoCoreRimHooksRemovedToThreeCoreMultipartitionCountPartRearrangementCountLagrangeInversionCoefficientLogarithmicDerivativeCoefficientStarTranspositionFactorizationCountTransitiveMonotoneFactorizationCountSymplecticDimensionRankTwoSymplecticDimensionRankThreeBorderSkewStandardTableauCountSubpartitionCountSameLengthSubpartitionCountYoungLatticeCoveringRelationCountPartCountLengthCrankSeaweedAlgebraDimensionCartanDeterminantRookPlacementCountMaximalRookPlacementCountShorterSideRookPlacementCountNecklaceCountBraceletCountBulgarianSolitairePreimageCountInvariantOrientedCycleCountSmirnovWordCountStandardTableauCountWithMajorIndexCongruentToOneModuloSizeUpperCoverCountInDominanceOrderLowerCoverCountInDominanceOrderInvariantGraphCountCompleteHomogeneousSymmetricFunctionAtOnePowerSumSymmetricFunctionAtOneCubeRootCountDominatedPartitionCountBulgarianSolitaireOrbitSizeBulgarianSolitairePreperiodPartitionSizeCouplesAreForeverGrundyValueRowRemovalGrundyValueOrderedRefinementCountRefinementCountCoarseningCountSingletonRefinementCountHurwitzNumberMonotoneHurwitzNumberNonDominatingSubmultisetCount Sizes 1 to

FindStat Mp00079

shape

Matched by value: our map agrees with FindStat's image on each of the 278 rows of size at most 6 we can read (0 unread; its table has 1200 rows).

SurjectionGraded mapas FindStat records them, checked by FindStat's contributors.

Sends a set partition to the integer partition obtained by the sizes of the blocks.

Object	Image
{{1}}	[1]
{{1,2}}	[2]
{{1,2,3}}	[3]
{{1},{2}}	[1,1]

Data from FindStat, the combinatorial statistic finder; the page at findstat.org/Mp00079 has the rest.