Wikipedia:Reference desk/Archives/Mathematics/2012 December 23

= December 23 =

the tiles of Catan
In The Settlers of Catan, the board consists of 19 hex tiles in the obvious symmetrical array; these tiles are of six kinds, abstractly AAAA BBBB CCCC DDD EEE F. I'm wondering how many ways the tiles can be arranged so that no two tiles of the same kind are adjacent. —Tamfang (talk) 07:54, 23 December 2012 (UTC)


 * I would think there would have to be 7 kinds of tiles, for this ever to be possible. This is because any given tile is surrounded by 6 others in a hexagonal array. StuRat (talk) 00:01, 24 December 2012 (UTC)


 * I don't think that this is quite so: the Four color theorem suggests otherwise. — Quondum 06:32, 24 December 2012 (UTC)


 * Correct, I misread the Q as "...so no two tiles adjacent to a tile are the same kind". StuRat (talk) 07:05, 24 December 2012 (UTC)
 * Somewhat less than 19!. There are 2+3+4+3+2=14 set of adjacent-pair tiles in each direction so 3*14=42 posible pairs. For a legal arrangement no pair can have the same letters. Taking a rough probabilistic approach. Consider one pair of tiles with the two tiles chosen at random, we have p(AA)=4/19*3/18=2/57, p(BB)=2/57 p(CC)=2/57 p(DD)=3/19*2/18=1/57 p(EE)=1/57. So there is a 8/57 chance the pair will contain matching tiles and a 49/57 chance they will not match. Incorrectly assume all these events are independent chance of a legal arrangement = (49/57)^42 = 482562011/821843467 ≈ 0.002. Multiply this by 19! gives approximately 4*1014 legal arrangement out of 2*1017 total.--Salix (talk): 08:37, 24 December 2012 (UTC)


 * You could get a more precise guess by taking a large random sample of all the 19! arrangements and checking what ratio of them has adjacent tiles of the same color. I'm too lazy to do that now though.  &#x2013; b_jonas 18:31, 27 December 2012 (UTC)

Divisors of squares of primes
Is it true that the square of any prime number (like 22 = 4, 32 = 9, 52 = 25, etc) has exactly three divisors? In other words, if p is a prime number, is it always true that the only divisors of p2 are 1, p and p2? --  Toshio   Yamaguchi  12:13, 23 December 2012 (UTC)
 * Yes. This follows from the fundamental theorem of arithmetic.
 * More generally, if $$n=\prod_{i=1}^kp_i^{\alpha_i}$$ where the $$p_i$$ are prime and distinct, then the number of divisors of n is $$\sigma_0(n)=\prod_{i=1}^k(\alpha_i+1)$$. In your case $$k=1$$ and $$\alpha_1=2$$. -- Meni Rosenfeld (talk) 12:23, 23 December 2012 (UTC)
 * Ah, okay I see. I also see now that if this where not the case, then if p2 had another prime factor, then, since p x p already yields p2, p2 would be expressible as a product of primes in more than one way, which contradicts FTA. Thank you. --  Toshio   Yamaguchi  12:33, 23 December 2012 (UTC)