Deal

From APL Wiki
Revision as of 21:47, 10 September 2022 by Adám Brudzewsky (talk | contribs) (Text replacement - "<source" to "<syntaxhighlight")
Jump to navigation Jump to search
?

Deal (?) is a dyadic primitive function which returns a random partial permutation. The name Deal comes from the analogy of dealing cards in a card game such as Poker. Both arguments of <syntaxhighlight lang=apl inline>k?n</source> must be non-negative integer scalars with <syntaxhighlight lang=apl inline>k≤n</source>, and Deal generates a random k-permutation by selecting <syntaxhighlight lang=apl inline>k</source> numbers from the first <syntaxhighlight lang=apl inline>n</source> indices without replacement. Deal shares the glyph <syntaxhighlight lang=apl inline>?</source> with the monadic scalar function Roll.

Examples

Deal can be used to generate a random permutation of a given size, and shuffle an array using it.

<syntaxhighlight lang=apl>

     ?⍨10

7 4 3 10 6 2 1 8 9 5

     v←'shuffling array'
     v[?⍨≢v]

n airuhflryfags </source>

It can also simulate a card game, e.g. deal a hand of 5 cards out of a standard 52-card deck.

<syntaxhighlight lang=apl>

     numbers←'23456789TJQKA'
     suits←'CDSH'  ⍝ Club, Diamond, Spade, Heart
     cards←,numbers∘.,suits
     cards[5?≢cards]

┌──┬──┬──┬──┬──┐ │5S│KS│JH│6D│9C│ └──┴──┴──┴──┴──┘ </source>

J assigns rank 0 to Deal, so it can be used to generate multiple permutations at once. This behavior can be mimicked in other APLs by writing <syntaxhighlight lang=apl inline>?⍤0</source>, which uses the rank operator <syntaxhighlight lang=apl inline>⍤</source>.

<syntaxhighlight lang=j>

     ?~ 5$10  NB. Generate five permutations of 0 to 9 at once

9 8 3 0 6 1 2 5 4 7 7 2 4 1 0 5 6 9 8 3 3 0 7 2 9 1 5 8 4 6 2 1 5 0 3 6 4 7 8 9 3 7 5 9 0 2 6 8 4 1

</source>

Works in: J

Description

Both arguments of <syntaxhighlight lang=apl inline>k?n</source> must be non-negative integer scalars with <syntaxhighlight lang=apl inline>k≤n</source>. The result of Deal is a vector of length <syntaxhighlight lang=apl inline>k</source>, whose elements are pairwise distinct random values picked from <syntaxhighlight lang=apl inline>⍳n</source>.

The possible number of permutations generated for particular values of <syntaxhighlight lang=apl inline>k</source> and <syntaxhighlight lang=apl inline>n</source> is .

Deal depends on index origin. In particular, it picks k numbers from 1 to n if <syntaxhighlight lang=apl inline>⎕IO←1</source>, and from 0 to n-1 if <syntaxhighlight lang=apl inline>⎕IO←0</source>.

The choices made by Deal do not have to be truly random: they may be pseudorandom (generated by a deterministic but difficult to predict algorithm) or taken from the operating system. They way random numbers are generated is controlled by the random link <syntaxhighlight lang=apl inline>⎕RL</source>. Note that using pseudorandom numbers for Deal may not be ideal for generating large permutations, since the possible number of permutations generated is bounded by the cycle length of the random number generator used. Traditionally, APL uses the Lehmer random number generator, but Dyalog APL defaults to the Mersenne Twister.

External links

Documentation

APL built-ins [edit]
Primitives (Timeline) Functions
Scalar
Monadic ConjugateNegateSignumReciprocalMagnitudeExponentialNatural LogarithmFloorCeilingFactorialNotPi TimesRollTypeImaginarySquare RootRound
Dyadic AddSubtractTimesDivideResiduePowerLogarithmMinimumMaximumBinomialComparison functionsBoolean functions (And, Or, Nand, Nor) ∙ GCDLCMCircularComplexRoot
Non-Scalar
Structural ShapeReshapeTallyDepthRavelEnlistTableCatenateReverseRotateTransposeRazeMixSplitEncloseNestCut (K)PairLinkPartitioned EnclosePartition
Selection FirstPickTakeDropUniqueIdentityStopSelectReplicateExpandSet functions (IntersectionUnionWithout) ∙ Bracket indexingIndexCartesian ProductSort
Selector Index generatorGradeIndex OfInterval IndexIndicesDealPrefix and suffix vectors
Computational MatchNot MatchMembershipFindNub SieveEncodeDecodeMatrix InverseMatrix DivideFormatExecuteMaterialiseRange
Operators Monadic EachCommuteConstantReplicateExpandReduceWindowed ReduceScanOuter ProductKeyI-BeamSpawnFunction axisIdentity (Null, Ident)
Dyadic BindCompositions (Compose, Reverse Compose, Beside, Withe, Atop, Over) ∙ Inner ProductDeterminantPowerAtUnderRankDepthVariantStencilCutDirect definition (operator)Identity (Lev, Dex)
Quad names Index originComparison toleranceMigration levelAtomic vector