The Liar Game. Mark Wildon

Similar documents
LMS Popular Lectures. Codes. Peter J. Cameron

channel of communication noise Each codeword has length 2, and all digits are either 0 or 1. Such codes are called Binary Codes.

9 THEORY OF CODES. 9.0 Introduction. 9.1 Noise

An introduction to basic information theory. Hampus Wessman

6.3 Bernoulli Trials Example Consider the following random experiments

Communication Engineering Prof. Surendra Prasad Department of Electrical Engineering Indian Institute of Technology, Delhi

Notes 10: Public-key cryptography

Session 7: Pseudoproofs and Puzzles - Handout

CSE 123: Computer Networks

How to write maths (well)

Midterm 2. Your Exam Room: Name of Person Sitting on Your Left: Name of Person Sitting on Your Right: Name of Person Sitting in Front of You:

Error Detection and Correction: Hamming Code; Reed-Muller Code

( c ) E p s t e i n, C a r t e r a n d B o l l i n g e r C h a p t e r 1 7 : I n f o r m a t i o n S c i e n c e P a g e 1

Simple Math: Cryptography

00000, 01101, 10110, Find the information rate and the minimum distance of the binary code 0000, 0101, 0011, 0110, 1111, 1010, 1100, 1001.

17.1 Binary Codes Normal numbers we use are in base 10, which are called decimal numbers. Each digit can be 10 possible numbers: 0, 1, 2, 9.

GCSE Mathematics Non Calculator Higher Tier Free Practice Set 6 1 hour 45 minutes ANSWERS. Marks shown in brackets for each question (2) A* A B C D E

Lecture 2 - Length Contraction

Information redundancy

Discrete Mathematics and Probability Theory Spring 2014 Anant Sahai Note 10

Students will read supported and shared informational materials, including social

Lecture 1: Shannon s Theorem

6.02 Fall 2011 Lecture #9

Error Correcting Codes Prof. Dr. P. Vijay Kumar Department of Electrical Communication Engineering Indian Institute of Science, Bangalore

C.T.Chong National University of Singapore

Introduction to Modern Cryptography. Benny Chor

Quantum Entanglement and Cryptography. Deepthi Gopal, Caltech

Lecture notes on coding theory

Discrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Note 1

Ma/CS 6b Class 25: Error Correcting Codes 2

Fundamentals of Information Theory Lecture 1. Introduction. Prof. CHEN Jie Lab. 201, School of EIE BeiHang University

Hamming Codes 11/17/04

Topics in Complexity

1 Ex. 1 Verify that the function H(p 1,..., p n ) = k p k log 2 p k satisfies all 8 axioms on H.

Cyclic Redundancy Check Codes

Ma/CS 6b Class 24: Error Correcting Codes

MATH 433 Applied Algebra Lecture 21: Linear codes (continued). Classification of groups.

A Mathematical Theory of Communication

6.080 / Great Ideas in Theoretical Computer Science Spring 2008

Assume that the follow string of bits constitutes one of the segments we which to transmit.

Polynomial Codes over Certain Finite Fields

Math 1600B Lecture 4, Section 2, 13 Jan 2014

Digital Communications III (ECE 154C) Introduction to Coding and Information Theory

MT5821 Advanced Combinatorics

Chapter 18. Sampling Distribution Models. Copyright 2010, 2007, 2004 Pearson Education, Inc.

BINARY CODES. Binary Codes. Computer Mathematics I. Jiraporn Pooksook Department of Electrical and Computer Engineering Naresuan University

Conclusions About the Simultaneity of Two Events. Vesselin C. Noninski

Midterm 1. Your Exam Room: Name of Person Sitting on Your Left: Name of Person Sitting on Your Right: Name of Person Sitting in Front of You:

Discrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Discussion 6A Solution

Cryptography and Number Theory

Communications II Lecture 9: Error Correction Coding. Professor Kin K. Leung EEE and Computing Departments Imperial College London Copyright reserved

QUANTUM CRYPTOGRAPHY. BCS, Plymouth University, December 1, Professor Kurt Langfeld Centre for Mathematical Sciences, Plymouth University

CHAPTER 1. REVIEW: NUMBERS

Lecture 12. Block Diagram

Can You Hear Me Now?

Modular numbers and Error Correcting Codes. Introduction. Modular Arithmetic.

Minimizing the Cost of Guessing Games

MT361/461/5461 Error Correcting Codes: Preliminary Sheet

HW8. Due: November 1, 2018

Math 147 Lecture Notes: Lecture 12

Comp 11 Lectures. Mike Shah. July 26, Tufts University. Mike Shah (Tufts University) Comp 11 Lectures July 26, / 45

Boolean circuits. Lecture Definitions

3F1 Information Theory, Lecture 3

The poetry of mathematics

Combinatorics in Space. The Mariner 9 Telemetry System

Convolutional Coding LECTURE Overview

Discrete Mathematics and Probability Theory Summer 2014 James Cook Midterm 1 (Version B)

ECE 4450:427/527 - Computer Networks Spring 2017

Date: Tuesday, 18 February :00PM. Location: Museum of London

Lecture 5, CPA Secure Encryption from PRFs

Enigma Marian Rejewski, Jerzy Róz ycki, Henryk Zygalski

2. Polynomials. 19 points. 3/3/3/3/3/4 Clearly indicate your correctly formatted answer: this is what is to be graded. No need to justify!

The Hubble Space Telescope Inventions that Shook the World Series

COT 5407:Introduction to Algorithms. 1 Introduction. 2 History of Algorithms

DCSP-3: Minimal Length Coding. Jianfeng Feng

Lecture 10. Public Key Cryptography: Encryption + Signatures. Identification

Discrete Mathematics and Probability Theory Spring 2016 Rao and Walrand Note 14

Stream Codes. 6.1 The guessing game

CS 170 Algorithms Spring 2009 David Wagner Final

Great Ideas in Theoretical Computer Science

STAT 285 Fall Assignment 1 Solutions

Recitation 6. Randomization. 6.1 Announcements. RandomLab has been released, and is due Monday, October 2. It s worth 100 points.

CHAPTER 8 Viterbi Decoding of Convolutional Codes

1. Introduction to commutative rings and fields

Modern Digital Communication Techniques Prof. Suvra Sekhar Das G. S. Sanyal School of Telecommunication Indian Institute of Technology, Kharagpur

Rational Expressions

Math Fundamentals for Statistics I (Math 52) Unit 7: Connections (Graphs, Equations and Inequalities)

Introduction. What is RSA. A Guide To RSA by Robert Yates. Topics

Number theory (Chapter 4)

Simple Interactions CS 105 Lecture 2 Jan 26. Matthew Stone

The Jamie Drake Equation

An Introduction to (Network) Coding Theory

Lecture th January 2009 Fall 2008 Scribes: D. Widder, E. Widder Today s lecture topics

9. Distance measures. 9.1 Classical information measures. Head Tail. How similar/close are two probability distributions? Trace distance.

Lecture 1: Perfect Secrecy and Statistical Authentication. 2 Introduction - Historical vs Modern Cryptography

8 Elliptic Curve Cryptography

Coset Decomposition Method for Decoding Linear Codes

Intro to Public Key Cryptography Diffie & Hellman Key Exchange

DEPARTMENT OF EECS MASSACHUSETTS INSTITUTE OF TECHNOLOGY. 6.02: Digital Communication Systems, Fall Quiz I. October 11, 2012

Quantum Computing 101. ( Everything you wanted to know about quantum computers but were afraid to ask. )

Transcription:

The Liar Game Mark Wildon

Guessing Games Ask a friend to thinks of a number between 0 and 15. How many NO/YES questions do you need to ask to find out the secret number?

Guessing Games Ask a friend to thinks of a number between 0 and 15. How many NO/YES questions do you need to ask to find out the secret number? 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

Guessing Games Ask a friend to thinks of a number between 0 and 15. How many NO/YES questions do you need to ask to find out the secret number? Q1 YES Is the number 8, 9, 10, 11, 12, 13, 14 or 15? 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

Guessing Games Ask a friend to thinks of a number between 0 and 15. How many NO/YES questions do you need to ask to find out the secret number? Q1 YES Is the number 8, 9, 10, 11, 12, 13, 14 or 15? Q2 Is the number 12, 13, 14 or 15? YES 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

Guessing Games Ask a friend to thinks of a number between 0 and 15. How many NO/YES questions do you need to ask to find out the secret number? Q1 YES Is the number 8, 9, 10, 11, 12, 13, 14 or 15? Q2 Is the number 12, 13, 14 or 15? YES Q3 Is the number 14 or 15? NO 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15

Guessing Games Ask a friend to thinks of a number between 0 and 15. How many NO/YES questions do you need to ask to find out the secret number? Q1 YES Is the number 8, 9, 10, 11, 12, 13, 14 or 15? Q2 Is the number 12, 13, 14 or 15? YES Q3 Is the number 14 or 15? NO Q4 Is the number 13? 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 NO

Proofs Mathematicians like to give rigorous arguments to justify the claims they make. It is believable that no questioning strategy can guarantee to find the secret number using three or fewer questions. But can we prove this beyond any doubt?

Proofs Mathematicians like to give rigorous arguments to justify the claims they make. It is believable that no questioning strategy can guarantee to find the secret number using three or fewer questions. But can we prove this beyond any doubt? At the start of the game, there are 16 possible numbers.

Proofs Mathematicians like to give rigorous arguments to justify the claims they make. It is believable that no questioning strategy can guarantee to find the secret number using three or fewer questions. But can we prove this beyond any doubt? At the start of the game, there are 16 possible numbers. Suppose that if the first question is answered YES then there are r possible numbers.

Proofs Mathematicians like to give rigorous arguments to justify the claims they make. It is believable that no questioning strategy can guarantee to find the secret number using three or fewer questions. But can we prove this beyond any doubt? At the start of the game, there are 16 possible numbers. Suppose that if the first question is answered YES then there are r possible numbers. Then there are 16 r possible numbers if the first question is answered NO.

Proofs Mathematicians like to give rigorous arguments to justify the claims they make. It is believable that no questioning strategy can guarantee to find the secret number using three or fewer questions. But can we prove this beyond any doubt? At the start of the game, there are 16 possible numbers. Suppose that if the first question is answered YES then there are r possible numbers. Then there are 16 r possible numbers if the first question is answered NO. Either r or 16 r is at least 8.

Proofs Mathematicians like to give rigorous arguments to justify the claims they make. It is believable that no questioning strategy can guarantee to find the secret number using three or fewer questions. But can we prove this beyond any doubt? At the start of the game, there are 16 possible numbers. Suppose that if the first question is answered YES then there are r possible numbers. Then there are 16 r possible numbers if the first question is answered NO. Either r or 16 r is at least 8. Hence, in the worst case, there are at least 8 possible numbers after Question 1.

Proofs Mathematicians like to give rigorous arguments to justify the claims they make. It is believable that no questioning strategy can guarantee to find the secret number using three or fewer questions. But can we prove this beyond any doubt? At the start of the game, there are 16 possible numbers. Suppose that if the first question is answered YES then there are r possible numbers. Then there are 16 r possible numbers if the first question is answered NO. Either r or 16 r is at least 8. Hence, in the worst case, there are at least 8 possible numbers after Question 1. In the worst case, there are at least 4 possible numbers after Question 2.

Proofs Mathematicians like to give rigorous arguments to justify the claims they make. It is believable that no questioning strategy can guarantee to find the secret number using three or fewer questions. But can we prove this beyond any doubt? At the start of the game, there are 16 possible numbers. Suppose that if the first question is answered YES then there are r possible numbers. Then there are 16 r possible numbers if the first question is answered NO. Either r or 16 r is at least 8. Hence, in the worst case, there are at least 8 possible numbers after Question 1. In the worst case, there are at least 4 possible numbers after Question 2. In the worst case, there are at least 2 possible numbers after Question 3.

Binary and Computers In a modern computer, everything is stored as a lists of the bits (binary digits) 0 and 1.

Binary and Computers In a modern computer, everything is stored as a lists of the bits (binary digits) 0 and 1. For example, the number 12 could be stored as 1100, corresponding to the sequence of answers Yes, Yes, No, No. YES NO 0 YES 1 YES NO NO 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 0000 0001 0010 0011 0100 0101 0110 0111 1000 1001 1010 1011 1100 1101 1110 1111

Binary and Computers In a modern computer, everything is stored as a lists of the bits (binary digits) 0 and 1. For example, the number 12 could be stored as 1100, corresponding to the sequence of answers Yes, Yes, No, No. Books, music, videos, computer programs, bitcoins..., are all stored as bits.

Binary and Computers In a modern computer, everything is stored as a lists of the bits (binary digits) 0 and 1. For example, the number 12 could be stored as 1100, corresponding to the sequence of answers Yes, Yes, No, No. Books, music, videos, computer programs, bitcoins..., are all stored as bits. 01110000 11010111 00000100 00010101 11010100 01000110 00000100 11010111 00110101 00000100 01010111 11010111 01110100 00000100 01110100 11010111 00000100 00010101 11010100 00100111 00000100 01110100 00010110 10010100 01110100 00000100 10010110 10110101 00000100 01110100 00010110 11010100 00000100 10110100 11110100 11010100 10110101 01110100 10010110 11010111 01010111 00100111 00000011 11110001 00010110 11010100 01110100 00010110 11010100 00110101 00000100 11000101 01110100 10010110 10110101 00000100 01010111 11010111 00010101 01010110 11010100 00110101 00000100 10010110 01010111 00000100 01110100 00010110 11010100 00000100 11010110 10010110 01010111 01010100 00000100 01110100 11010111 00000100 10110101 11110100 01010101 01010101 11010100 00110101 00000011 01110000 00010110 11010100 00000100 10110101 01010110 10010110 01010111 11010101 10110101 00000100 10010100 01010111 01010100 00000100 10010100 00110101 00110101 11010111 11110101 10110101 00000100 11010111 01010101 00000100 11010111 11110100 01110100 00110101 10010100 11010101 11010100 11010111 11110100 10110101 00000100 01010101 11010111 00110101 01110100 11110100 01010111 11010100 01000110 William Shakespeare (approx 1600)

Binary and Computers In a modern computer, everything is stored as a lists of the bits (binary digits) 0 and 1. For example, the number 12 could be stored as 1100, corresponding to the sequence of answers Yes, Yes, No, No. Books, music, videos, computer programs, bitcoins..., are all stored as bits. 01110000 11010111 00000100 00010101 11010100 01000110 00000100 11010111 00110101 00000100 01010111 11010111 01110100 00000100 01110100 11010111 00000100 00010101 11010100 00100111 00000100 01110100 00010110 10010100 01110100 00000100 10010110 10110101 00000100 01110100 00010110 11010100 00000100 10110100 11110100 11010100 10110101 01110100 10010110 11010111 01010111 00100111 00000011 11110001 00010110 11010100 01110100 00010110 11010100 00110101 00000100 11000101 01110100 10010110 10110101 00000100 01010111 11010111 00010101 01010110 11010100 00110101 00000100 10010110 01010111 00000100 01110100 00010110 11010100 00000100 11010110 10010110 01010111 01010100 00000100 01110100 11010111 00000100 10110101 11110100 01010101 01010101 11010100 00110101 00000011 01110000 00010110 11010100 00000100 10110101 01010110 10010110 01010111 11010101 10110101 00000100 10010100 01010111 01010100 00000100 10010100 00110101 00110101 11010111 11110101 10110101 00000100 11010111 01010101 00000100 11010111 11110100 01110100 00110101 10010100 11010101 11010100 11010111 11110100 10110101 00000100 01010101 11010111 00110101 01110100 11110100 01010111 11010100 01000110 William Shakespeare (approx 1600) To be, or not to be: that is the question: Whether tis nobler in the mind to suffer The slings and arrows of outrageous fortune,

Binary and Computers In a modern computer, everything is stored as a lists of the bits (binary digits) 0 and 1. For example, the number 12 could be stored as 1100, corresponding to the sequence of answers Yes, Yes, No, No. Books, music, videos, computer programs, bitcoins..., are all stored as bits. 01110000 11010111 00000100 00010101 11010100 01000110 00000100 11010111 00110101 00000100 01010111 11010111 01110100 00000100 01110100 11010111 00000100 00010101 11010100 00100111 00000100 01110100 00010110 10010100 01110100 00000100 10010110 10110101 00000100 01110100 00010110 11010100 00000100 10110100 11110100 11010100 10110101 01110100 10010110 11010111 01010111 00100111 00000011 11110001 00010110 11010100 01110100 00010110 11010100 00110101 00000100 11000101 01110100 10010110 10110101 00000100 01010111 11010111 00010101 01010110 11010100 00110101 00000100 10010110 01010111 00000100 01110100 00010110 11010100 00000100 11010110 10010110 01010111 01010100 00000100 01110100 11010111 00000100 10110101 11110100 01010101 01010101 11010100 00110101 00000011 01110000 00010110 11010100 00000100 10110101 01010110 10010110 01010111 11010101 10110101 00000100 10010100 01010111 01010100 00000100 10010100 00110101 00110101 11010111 11110101 10110101 00000100 11010111 01010101 00000100 11010111 11110100 01110100 00110101 10010100 11010101 11010100 11010111 11110100 10110101 00000100 01010101 11010111 00110101 01110100 11110100 01010111 11010100 01000110 William Shakespeare (approx 1600) To be, or not to be: that is the question: Whether tis nobler in the mind to suffer The slings and arrows of outrageous fortune,

Binary and Computers In a modern computer, everything is stored as a lists of the bits (binary digits) 0 and 1. For example, the number 12 could be stored as 1100, corresponding to the sequence of answers Yes, Yes, No, No. Books, music, videos, computer programs, bitcoins..., are all stored as bits. 00110000 01110111 01000110 10000000 00011000 00000001 01011101 00011110 10101100 00000000 10101110 00001011 10101100 00101011 01101011 01101001 00001110 00101110 10101100 00101001 00101110 10001101 00100100 00100101 10101100 00101011 01101011 01101001 00001110 00001111 10001000 01001011 01100100 11001010 11001100 11001111 11001111 00001000 00000101 00010100 00001100 00110000 01000000 01011010 00110000 11000010 00110000 00110000 10000000 00011010 00111010 00110000 10000110 10111101 00011010 10101100 00000000 00001011 00101110 10101001 00101011 11101000 10101000 11001011 10001001 10100111 10101001 10101010 11001011 10100101 11001010 01001001 00001110 11001100 11001111 11001111 00001000 00010100 10000001 01011010 00110000 01000101 00010001 01111010 00110000 10100101 01011010 10101100 00000000 00001011 11101010 11101011 01101001 00101110 00101100 00101011 10101001 01101100 00001011 10101111 11101011 01101010 10101010 10101100 00101011 10101110 11001011 10101100 00101011 10101011 00101011 00101110 11101010 01001001 10001001 00100111 10100100 10101001 10101010 11001011 10100101 11001010 01001001 00001110 11001100 11001111 11001111 00001000 00010100 Anonymous Microsoft Programmer (2010?) Part of the machine code for Microsoft Word 2011.

Binary and Computers In a modern computer, everything is stored as a lists of the bits (binary digits) 0 and 1. For example, the number 12 could be stored as 1100, corresponding to the sequence of answers Yes, Yes, No, No. Books, music, videos, computer programs, bitcoins..., are all stored as bits.

Why Coding Theory? A bit gives a single piece of information: NO or YES ; on or off ; 0 or 1. A number between 0 and 15: A small QR-code: 4 bits Text on this slide Full text of Hamlet Pictures of Royal Holloway Compact disc of Beethoven 9th Bluray disc of 3 hour film Large Hadron Collider, per second

Why Coding Theory? A bit gives a single piece of information: NO or YES ; on or off ; 0 or 1. A number between 0 and 15: 4 bits A small QR-code: 441 bits Text on this slide Full text of Hamlet Pictures of Royal Holloway Compact disc of Beethoven 9th Bluray disc of 3 hour film Large Hadron Collider, per second

Why Coding Theory? A bit gives a single piece of information: NO or YES ; on or off ; 0 or 1. A number between 0 and 15: 4 bits A small QR-code: 441 bits Text on this slide Full text of Hamlet Pictures of Royal Holloway Compact disc of Beethoven 9th Bluray disc of 3 hour film Large Hadron Collider, per second 10000 bits

Why Coding Theory? A bit gives a single piece of information: NO or YES ; on or off ; 0 or 1. A number between 0 and 15: 4 bits A small QR-code: 441 bits Text on this slide Full text of Hamlet Pictures of Royal Holloway Compact disc of Beethoven 9th Bluray disc of 3 hour film Large Hadron Collider, per second 10000 bits 1.5 million bits

Why Coding Theory? A bit gives a single piece of information: NO or YES ; on or off ; 0 or 1. A number between 0 and 15: 4 bits A small QR-code: 441 bits Text on this slide Full text of Hamlet Pictures of Royal Holloway Compact disc of Beethoven 9th Bluray disc of 3 hour film Large Hadron Collider, per second 10000 bits 1.5 million bits 5 million bits each

Why Coding Theory? A bit gives a single piece of information: NO or YES ; on or off ; 0 or 1. A number between 0 and 15: 4 bits A small QR-code: 441 bits Text on this slide Full text of Hamlet Pictures of Royal Holloway Compact disc of Beethoven 9th Bluray disc of 3 hour film Large Hadron Collider, per second 10000 bits 1.5 million bits 5 million bits each

Why Coding Theory? A bit gives a single piece of information: NO or YES ; on or off ; 0 or 1. A number between 0 and 15: 4 bits A small QR-code: 441 bits Text on this slide Full text of Hamlet Pictures of Royal Holloway Compact disc of Beethoven 9th Bluray disc of 3 hour film Large Hadron Collider, per second 10000 bits 1.5 million bits 5 million bits each 6 billion bits

Why Coding Theory? A bit gives a single piece of information: NO or YES ; on or off ; 0 or 1. A number between 0 and 15: 4 bits A small QR-code: 441 bits Text on this slide Full text of Hamlet Pictures of Royal Holloway Compact disc of Beethoven 9th Bluray disc of 3 hour film Large Hadron Collider, per second 10000 bits 1.5 million bits 5 million bits each 0.7 GB

Why Coding Theory? A bit gives a single piece of information: NO or YES ; on or off ; 0 or 1. A number between 0 and 15: 4 bits A small QR-code: 441 bits Text on this slide Full text of Hamlet Pictures of Royal Holloway Compact disc of Beethoven 9th Bluray disc of 3 hour film Large Hadron Collider, per second 10000 bits 1.5 million bits 5 million bits each 0.7 GB 50 GB

Why Coding Theory? A bit gives a single piece of information: NO or YES ; on or off ; 0 or 1. A number between 0 and 15: 4 bits A small QR-code: 441 bits Text on this slide Full text of Hamlet Pictures of Royal Holloway Compact disc of Beethoven 9th Bluray disc of 3 hour film Large Hadron Collider, per second 10000 bits 1.5 million bits 5 million bits each 0.7 GB 50 GB 300 GB

Why Coding Theory? A bit gives a single piece of information: NO or YES ; on or off ; 0 or 1. A number between 0 and 15: 4 bits A small QR-code: 441 bits Text on this slide Full text of Hamlet Pictures of Royal Holloway Compact disc of Beethoven 9th Bluray disc of 3 hour film Large Hadron Collider, per second 10000 bits 1.5 million bits 5 million bits each 0.7 GB 50 GB 300 GB Errors in reading and writing are inevitable. The 3G specification for mobile phones expects one bit in a thousand to be received wrongly.

Mariner 9 The Mariner 9 probe, launched in 1971, took the first images of Mars. The images were grey-scale, with 64 possible shades of grey for each pixel. The pictures were transmitted back to Earth by sending one pixel at a time. Since 64 = 2 2 2 2 2 2, each pixel needs 6 bits to send. The probability of each bit being flipped in the channel was about 5%. Encoding each pixel using 6 bits, about 26% of every image would be wrong.

Mariner 9 The Mariner 9 probe, launched in 1971, took the first images of Mars. The images were grey-scale, with 64 possible shades of grey for each pixel. The pictures were transmitted back to Earth by sending one pixel at a time. Since 64 = 2 2 2 2 2 2, each pixel needs 6 bits to send. The probability of each bit being flipped in the channel was about 5%. Encoding each pixel using 6 bits, about 26% of every image would be wrong. Instead each pixel was encoded using 32 bits, increasing the length of the transmitted message over five times.

Mariner 9 Image: Improvement Due to Error Correction

Mariner 9 Image: Improvement Due to Error Correction

The Mariner 9 Code: 32 of the 64 Mariner 9 codewords 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 0 1 1 1 1 0 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 1 1 0 1 0 0 1 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 1 1 0 0 1 1 1 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 1 0 0 1 1 0 0 1 1 0 0 1 0 1 1 0 0 1 1 0 0 0 0 0 1 1 1 1 1 1 1 1 0 0 0 0 1 1 1 1 0 0 0 0 0 0 0 0 1 1 1 1 0 1 0 1 1 0 1 0 1 0 1 0 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 0 0 1 1 1 1 0 0 1 1 0 0 0 0 1 1 1 1 0 0 0 0 1 1 0 0 1 1 1 1 0 0 0 1 1 0 1 0 0 1 1 0 0 1 0 1 1 0 1 0 0 1 0 1 1 0 0 1 1 0 1 0 0 1

The Mariner 9 Code: 32 of the 64 Mariner 9 codewords

The Liar Game: Dealing with Deliberate Errors Ask a friend to think of a number between 0 and 15. How many NO/YES questions do you need to ask, if your friend is permitted to lie at most once? It is not compulsory to lie.

The Liar Game: Dealing with Deliberate Errors Ask a friend to think of a number between 0 and 15. How many NO/YES questions do you need to ask, if your friend is permitted to lie at most once? It is not compulsory to lie. Any interesting strategies?

The Liar Game: Dealing with Deliberate Errors Ask a friend to think of a number between 0 and 15. How many NO/YES questions do you need to ask, if your friend is permitted to lie at most once? It is not compulsory to lie. Any interesting strategies? (For example, asking if someone has lied so far?)

The Liar Game: Dealing with Deliberate Errors Ask a friend to think of a number between 0 and 15. How many NO/YES questions do you need to ask, if your friend is permitted to lie at most once? It is not compulsory to lie. Any interesting strategies? (For example, asking if someone has lied so far?) Claim. No strategy can guarantee to use fewer than 7 questions.

The Liar Game: Dealing with Deliberate Errors Ask a friend to think of a number between 0 and 15. How many NO/YES questions do you need to ask, if your friend is permitted to lie at most once? It is not compulsory to lie. Any interesting strategies? (For example, asking if someone has lied so far?) Claim. No strategy can guarantee to use fewer than 7 questions. Coding theory can be used to find a good strategy. Lies correspond to errors in transmission.

The Hamming Code Richard Hamming discovered a one-error correcting binary code of length 7 with 16 codewords. He invented it because he was fed up with the paper tape reader on his early computer misreading his programs. It gives an optimal solution to the Liar Game using 7 questions. Remarkably, it is possible to specify all the questions in advance.

The Hamming Code Find the binary codeword corresponding to your secret number. 0 0000000 8 1110000 1 1101001 9 0011001 2 0101010 10 1011010 3 1000011 11 0110011 4 1001100 12 0111100 5 0100101 13 1010101 6 1100110 14 0010110 7 0001111 15 1111111 The questions are: Is there a 1 in the first position (far left) of the codeword?, Is there a 1 in the second position of the codeword?, and so on. If there is one lie, then the questioner will write down one wrong bit. But because the Hamming code can correct one error, the questioner can still work out what the number is.

The Square Code To encode a number between 0 and 15 in the square code Write it in binary as b 1 b 2 b 3 b 4 Make a square with these bits. Put in four check bits around the edges, computed using modulo 2 arithmetic: 0 + 0 = 0, 1 + 0 = 1, 0 + 1 = 1, 1 + 1 = 0.

The Square Code To encode a number between 0 and 15 in the square code Write it in binary as b 1 b 2 b 3 b 4 Make a square with these bits. Put in four check bits around the edges, computed using modulo 2 arithmetic: 0 + 0 = 0, 1 + 0 = 1, 0 + 1 = 1, 1 + 1 = 0. Imagine you receive this. 0 0 1 1 1 0 1 0 What number do you think was sent? (A) 3 = 0011 (B) 5 = 0101 (C) 6 = 0110 (D) 7 = 0111

Square Code

Square Code

Square Code

Square Code

Double Square Code (16 bits) Versus No Coding (4 bits)

Double Square Code (16 bits) Versus No Coding (4 bits)

A Hat Game Related to Coding Theory You and two friends are on your way to a party. At the party a black or blue hat will be put on each person s head. You can see your friends hats, but not your own.

A Hat Game Related to Coding Theory You and two friends are on your way to a party. At the party a black or blue hat will be put on each person s head. You can see your friends hats, but not your own. When the host shouts go!, you may either say a colour or remain silent. Everyone who speaks must speak at the same time. If everyone who speaks gets the colour of his or her hat correct, you all win some cake. If no-one speaks, or someone gets it wrong, there is no cake.

A Hat Game Related to Coding Theory You and two friends are on your way to a party. At the party a black or blue hat will be put on each person s head. You can see your friends hats, but not your own. When the host shouts go!, you may either say a colour or remain silent. Everyone who speaks must speak at the same time. If everyone who speaks gets the colour of his or her hat correct, you all win some cake. If no-one speaks, or someone gets it wrong, there is no cake. Question: What is a good strategy?

011 111 010 110 001 101 000 100

Another Hat Game You and four friends are lined up. A black or blue hat is put on each person s head. You can see all the hats in front of you, but not your own, or those behind. So the person at the back of the line can see four hats, the next person can see three, and so on.

Another Hat Game You and four friends are lined up. A black or blue hat is put on each person s head. You can see all the hats in front of you, but not your own, or those behind. So the person at the back of the line can see four hats, the next person can see three, and so on. Starting at the back of the line, each person is asked to guess the colour of his or her hat.

Another Hat Game You and four friends are lined up. A black or blue hat is put on each person s head. You can see all the hats in front of you, but not your own, or those behind. So the person at the back of the line can see four hats, the next person can see three, and so on. Starting at the back of the line, each person is asked to guess the colour of his or her hat. Question: What is a good strategy?

Thank you! Any questions?

Thank you! Any questions? Why is maths a good subject to study? What do maths lecturers do all day? How does maths at university differ from A-level maths? Are women just as good as men at maths? (Answer: Yes!)