Cheryl's Birthday

07/27/2017
by   Hans van Ditmarsch, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/09/2020

Kanren Light: A Dynamically Semi-Certified Interactive Logic Programming System

We present an experimental system strongly inspired by miniKanren, imple...
research
10/13/2021

Practice Problems for Hardware Engineers

This book is to help undergraduate and graduate students of electrical a...
research
10/02/2017

Proof-checking Euclid

We used computer proof-checking methods to verify the correctness of our...
research
05/24/2023

Decomposing Complex Queries for Tip-of-the-tongue Retrieval

When re-finding items, users who forget or are uncertain about identifyi...
research
09/24/2020

Design and Evaluation of a Receiver for Wired Nano-Communication Networks

In this paper, we propose a bio-inspired receiver, which detects the ele...
research
06/26/2018

The temporal logic of two-dimensional Minkowski spacetime with slower-than-light accessibility is decidable

We work primarily with the Kripke frame consisting of two-dimensional Mi...

Please sign up or login with your details

Forgot password? Click here to reset