%I #16 May 15 2023 02:24:47
%S 0,0,0,1,0,0,0,1,0,1,0,1,0,0,0,1,0,1,0,1,0,1,0,1,1,0,2,2,0,2,0,1,0,1,
%T 0,1,0,0,0,1,0,1,0,2,2,1,0,1,0,2,0,2,0,1,1,1,0,0,0,1,0,1,2,1,0,2,0,3,
%U 0,3,0,1,0,0,2,3,0,2,0,1,2,1,0,2,1,0,0
%N Let (k_1, ..., k_m) be the partition with Heinz number n (i.e., n = Product_{i=1..m} prime(k_i)) and consider a set of fair dice with k_1, ..., k_m faces numbered 1, ..., k_1 + ... + k_m (in any order). The outcome of a roll of the dice determines an ordering of them. a(n) is the minimum difference of the number of outcomes resulting in the most common ordering and the number of outcomes resulting in the least common ordering.
%C In other words, a(n)/(Product_{i=1..m} k_i) is the minimum difference of the largest and smallest probabilities of the orderings of the dice.
%C a(n) = 0, with n = Product_{i=1..m} prime(k_i), means that there exists a set of m dice with k_1, ..., k_m faces, such that all m! orderings are equally likely, i.e., a permutation-fair set of dice. A necessary condition for a(n) = 0 to hold is that Product_{i=1..m} k_i be divisible by m!. This condition is not sufficient; for n = 45 = prime(2)^2*prime(3), for example, 2*2*3 is divisible by 3! but a(n) = 2 (see example).
%H Pontus von Brömssen, <a href="/A362634/b362634.txt">Table of n, a(n) for n = 1..1000</a>
%H James Grime and Brady Haran, <a href="https://www.numberphile.com/videos/go-first-dice">Go First Dice</a>, Numberphile video, 2023.
%H Eric Harshbarger, <a href="http://www.ericharshbarger.org/dice/go_first_dice.html">Go First Dice</a>.
%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Go_First_Dice">Go First Dice</a>.
%F a(2^k) = 1 for k >= 2 (corresponding to a set of k 1-sided "dice").
%F a(p) = 0 if p is prime (corresponding to a single die).
%e For two 2-sided dice and one 3-sided die, the best we can do is to number the faces (2,6), (3,5), and (1,4,7), respectively. We then have the following 12 possible outcomes and orderings:
%e d1 d2 d3 | ordering
%e ---------+---------
%e 2 3 1 | d3<d1<d2
%e 2 3 4 | d1<d2<d3
%e 2 3 7 | d1<d2<d3
%e 2 5 1 | d3<d1<d2
%e 2 5 4 | d1<d3<d2
%e 2 5 7 | d1<d2<d3
%e 6 3 1 | d3<d2<d1
%e 6 3 4 | d2<d3<d1
%e 6 3 7 | d2<d1<d3
%e 6 5 1 | d3<d2<d1
%e 6 5 4 | d3<d2<d1
%e 6 5 7 | d2<d1<d3
%e The maximum frequency for an ordering is 3 (for d1<d2<d3 and d3<d2<d1) and the minimum frequency is 1 (for d1<d3<d2 and d2<d3<d1), so a(prime(2)^2*prime(3)) = a(45) = 3-1 = 2. (This is the unique way of numbering the faces so that the difference of the maximum and minimum frequencies is 2.)
%e There exists a permutation-fair set of three dice with 2, 4, and 6 faces, so a(prime(2)*prime(4)*prime(6)) = a(3*7*13) = a(273) = 0. (See Harshbarger link.)
%Y Cf. A362633.
%K nonn
%O 1,27
%A _Pontus von Brömssen_, Apr 29 2023
|