arXiv subjects

Michael Ian Hartley

Publications and source records attributed to Michael Ian Hartley.

2 recordsLinked to original sources

arXiv2017

Cheryl's Birthday

We present four logic puzzles and after that their solutions. Joseph Yeo designed 'Cheryl's Birthday'. Mike Hartley came up with a novel solution for 'One Hundred Prisoners and a Light Bulb'. Jonathan Welton designed 'A Blind Guess' and 'Abby's Birthday'. Hans van Ditmarsch and Barteld Kooi authored the puzzlebook 'One Hundred Prisoners and a Light Bulb' that contains other knowledge puzzles, and that can also be found on the webpage http://personal.us.es/hvd/lightbulb.html dedicated to the book.

cs.AI↗

arXiv2003

Quotients of a Universal Locally Projective Polytope of type {5,3,5}

This article examines the universal polytope $\CP$ (of type $\{5,3,5\}$) whose facets are dodecahedra, and whose vertex figures are hemi-icosahedra. The polytope is proven to be finite, and the structure of its group is identified. This information is used to classifiy the quotients of the polytope. A total of 145 quotients are found, including 69 section regular polytopes with the same facets and vertex figures as $\CP$.

math.GR↗