AXIOMath
AXIOMath
  • 1
  • 33 003
Ulam's Game: Liar's Mathematics (#SoME2)
Ulam's game is an extension of the popular game 20 Questions, allowing the responding player to lie for one of their answers. Here we explore an intuitive approach to finding the optimal strategy for this new game.
0:00 Introduction
1:20 Defining the Problem
5:00 20 Questions
9:13 Ulam's Game
11:41 Back to the Tree
14:36 Concluding Remarks
Sources
doi.org/10.48550/arXiv.0705.1220
doi.org/10.1016/S0304-3975(01)00303-6
Submitted as part of #SoME2.
มุมมอง: 33 005

วีดีโอ

ความคิดเห็น

  • @mayukhintesarislam306
    @mayukhintesarislam306 4 หลายเดือนก่อน

    Really underrated channel bruh! You deserve way more subs

  • @blackboxlearning
    @blackboxlearning 5 หลายเดือนก่อน

    "Hot Garbage, to borrow from scientific terminology" hahaha yeah thats the best scientific terminology ive heard. well done !

  • @rotemlv
    @rotemlv ปีที่แล้ว

    Still, in order to win any realistic sized game (either in 20 questions or the Ulam variant) you need probabilistic knowledge (about the category), even then the result is non-deterministic, as one could rarely choose a very rare choice for an animal or something. Might be a good idea for a video to see how this optimal strategy along optimal probabilistic knowledge (assuming some natural distribution of true answers) would work on either variant. I'm almost curious enough to get going with it by hand but it's almost 2 AM.

  • @askcaralice
    @askcaralice ปีที่แล้ว

    at 4:30 i had a thought of asking about eqch bit of the number and some kind of an error correction code

  • @Moinsdeuxcat
    @Moinsdeuxcat ปีที่แล้ว

    Here's my take : we're searching for a N-bit binary number (for simplicity we kind of assume N is a power of 2 but this changes little). First ask for each bit individually (this takes N questions). Then ask if the sum mod 2 of the N/2 first bits is the one you computed. If no, there is a lie, and it's within the first half, then continue this way. If yes, there either isn't a lie or it's located in the second half. So ask if the sum mod 2 of the N/4 first bits of the second half is the one you computed. Etc... When you've narrowed it down to a single bit there are two possibilities : either you at some point learned that there was indeed a lie, so you can tell the correct number by flipping that bit, or this was never revealed and you have to ask which makes one more question. Final worst-case complexity is N+log_2(N). I imagine it's optimal. Funnily, if you have to find the object in a set of n objects (N=log(n)), the complexity is log(n)+log(log(n)). Quite cute to see an appearance of log(log(n)) in the wild :)

  • @izaactheberean6860
    @izaactheberean6860 ปีที่แล้ว

    What # of items gives you 20 as the optimal strategy, as that's the name of the game & the max number of questions/guesses you can have?

  • @izaactheberean6860
    @izaactheberean6860 ปีที่แล้ว

    Would a 20 Q strategy be similar to a Guess Who strategy?

  • @palmberry5576
    @palmberry5576 ปีที่แล้ว

    I think I have the ultimate, most meta strategy “When will you lie” Obviously not a great strategy, but it was so horrendously meta that I thought I ought to mention it

  • @dickbandanaken
    @dickbandanaken ปีที่แล้ว

    I'm sorry man the detractors in the comments are correct- this is objectively bad

  • @clehaxze
    @clehaxze ปีที่แล้ว

    There's a easier solution. Use self referencing to force the correct answer. Ex: Does your answer correctly answer the following question AND <insert question here>. If the responder decides not to lie. Then it devolves into a normal question. If they decide to lie and the real solution is true. They shall reply false. But replying false makes the first statement false. Which makes the entire expression false. That means they actually have to reply true... It's a paradox. The responder have no option but to reply truthfully. Same solution applies for the false case

  • @argothiel
    @argothiel ปีที่แล้ว

    Is exactly one of these statements true: "you are using your lie on this question", "the number is bigger than 8"? If they are using their lie on this question and the number is bigger than 8, the true answer is no, but they'll answer yes. If they are using their lie on this question and the number is not bigger than 8, the true answer is yes, but they'll answer no. If they are not using their lie on this question and the number is bigger than 8, the true answer is yes, and they'll answer yes. If they are not using their lie on this question and the number is not bigger than 8, the true answer is no, and they'll answer no. So, no matter if they're lying or not, if the number is bigger than 8, they'll answer 'yes', and if the number is not bigger than 8, they'll answer 'no'. Repeat with every question and you've got yourself the optimal strategy. :)

  • @thekilla1234
    @thekilla1234 2 ปีที่แล้ว

    I always love reading comments on videos like these that get so hyper focused on the original premise (in this case guessing an animal) rather than understanding the point of the premise is to serve as a jumping point for the mathematics being demonstrated in the video. My favourite ones on this video are a phD dissertation on choice bias, an article about the Linnaeus system, and another asking about a blind person that can't see the list of animals.

    • @pellenanpaut3667
      @pellenanpaut3667 ปีที่แล้ว

      This is definitely the best comment I could have come across! Happy to know I have company 😁

  • @eda6654
    @eda6654 2 ปีที่แล้ว

    I thought you would bring it up because this may help lower the number of questions (maybe, I'm not that good at math): what if we go all meta and ask about the lie itself?

    • @Moinsdeuxcat
      @Moinsdeuxcat ปีที่แล้ว

      This essentially changes nothing. Once you have the bits, asking "did you lie? " can be equivalently replaced by "is the sum mod 2 of all digits the one I can compute with your digits?". And "did you lie among bits 1,4,7,8?" can be replaced with "is the sum mod 2 of bits 1,4,7,8 the one I compute?" etc.

  • @vkvk7113
    @vkvk7113 2 ปีที่แล้ว

    There's a bunch of logic puzzles that I could never solve that involves self-references and ANDs and ORs. I wonder if asking those type of questions could make it faster

  • @christopherg2347
    @christopherg2347 2 ปีที่แล้ว

    Nice, I figured out the idea of just "adding the lie to he tree" myself. Granted, the exact tree design still eluded me.

  • @AstralShot
    @AstralShot 2 ปีที่แล้ว

    Me who can't even comprehend simple high-school math: 👁👄👁 Also it's me from the disc

  • @p.zansei3280
    @p.zansei3280 2 ปีที่แล้ว

    Maybe I'm too sleep deprived or ill to understand but how exactly do I to apply numbers, letters and binary to trying to guess the animal in Ulam's game? Am I wrong to assume that quizzing about seemingly arbitrary numbers to represent the subject matter won't help because that's not in the premise of the game itself? The logic sounds right but the premise feels off. I'm now frazxled.

  • @sashabell9997
    @sashabell9997 2 ปีที่แล้ว

    whats the maximum number of categories you could have while still being able to win with 20 questions? Really love the video btw

  • @WilliamWizer
    @WilliamWizer 2 ปีที่แล้ว

    nice trick. now, to add an extra twist. what if he can lie twice? I believe the rules more or less still apply but will require a few modifications to take into account a second lie.

  • @petersmythe6462
    @petersmythe6462 2 ปีที่แล้ว

    Of course, there's some real world factors to consider here. 1. If someone picks a beluga whale and you ask if it's bigger than a microwave oven, they will answer confidently and immediately yes. 2. If someone picks a beluga whale and you ask if it's bigger than a Greenland shark, they will look at their phone or give you the very helpful "I don't know" or "sometimes" or "clarify the question." If they have to do any of these you are definitely extracting more than 1 bit of information from them. And if they don't, you also get more than 1 bit of information. 3. It takes a lot longer to compare entities which are similar in the dimension being compared but don't follow a strict cached ordering when it comes to that quantity. Everyone knows the relative size of an elk and a caribou but what about an alligator and a caribou? Whether they have to think about it / say I don't know / use their phone / etc also tells you whether your reference point is similar in TYPE to the object and not just dimension. Even a small pause to think could be worth extra information. Note also that it's possible for them to lie by taking longer but not shorter to answer a question. So if you're usually answering instantly and they have to think all of the sudden you may be on to something. You know not just the yes or no answer but also whether or not it was ambiguous or uncertain and how long they took to answer. Finally, there is choice bias. Try as you might, you are not gonna pick a random animal. You are either gonna pick an animal that's well known and nonspecific in type, or one which is "weirdly specific" but probably not actually arbitrary from the several hundred to several thousand animals you might be aware of. Biasing questions to the distribution of how people pick things is a very powerful optimization. For much the same reason it's a powerful optimization for guessing passwords.

  • @petersmythe6462
    @petersmythe6462 2 ปีที่แล้ว

    Also keep in mind with the "asking twice" that just locates the lie. It doesn't tell you what the truth is. If you want the truth you'd need to ask that question thrice.

  • @leesweets4110
    @leesweets4110 2 ปีที่แล้ว

    Youre assuming there is a one-to-one correspondence between a set of integers and any and all arbitrary lists. Perhaps if the list were infinite this may not be true; its not clear. Did you perhaps want to clarify the rules of the game?

  • @leesweets4110
    @leesweets4110 2 ปีที่แล้ว

    Is the list of animals a prescribed list that both players can know ahead of time? Does only the one player know the list from which he chose the animal, and the other player is blind? Youve been very vague about the rules of the game.

  • @leesweets4110
    @leesweets4110 2 ปีที่แล้ว

    1:52 But once youve identified the lie you dont have to keep asking questions twice.

  • @78Mathius
    @78Mathius 2 ปีที่แล้ว

    Animals are fairy well categorized by the Linnaeus system. Much thought would have to be put into what the best question would be based not just on number of animals in each category. In classification there are 7 phyla but cordata includes all animals with backbones. Despite being no where near 1/7th of animal species, I would guess that half or more selected answers will be in thus category. Therefore I would ask "Does it have a backbone?" First.

  • @vevericac3294
    @vevericac3294 2 ปีที่แล้ว

    why is this so underrated

  • @grantofat6438
    @grantofat6438 2 ปีที่แล้ว

    It is not correct that you guarantee the correct answer in 4 questions. You need 5. In your example, there is a branch that ends with the numbers 1 and 2, and the question is "is it 2". You only get that correct in 4 guesses if the answer actualy is 2. If it is not, then you have to ask again "is it 1", which is your fifth question. Otherwise you never gave the correct answer.

  • @oida10000
    @oida10000 2 ปีที่แล้ว

    What if only one lie can be told, but a lie once told can or even must be repeated?

  • @Arthur-qj5ch
    @Arthur-qj5ch 2 ปีที่แล้ว

    The quality and everything is so good. You'll grow to be one of the best out there. Keep it up mate!

  • @darbyl3872
    @darbyl3872 2 ปีที่แล้ว

    I'll add something here that wasn't included in the video. The answers to the last three questions give the following results: NNN => 6 NNY => 10 NYN => 15 YNN => 13 YYN => 14 YNY => 14 NYY => 14 YYY => 14

  • @C0MPLEXITY
    @C0MPLEXITY 2 ปีที่แล้ว

    Amazing video, thankyou

  • @GeorgeDCowley
    @GeorgeDCowley 2 ปีที่แล้ว

    Adjacent questions. I like how <5? and even would best fit the others.

  • @ADHD기원
    @ADHD기원 2 ปีที่แล้ว

    We can ask twice on Question q if they've lied before q YY-> lied previously YN-> didn't lie until q NN-> haven't lied yet NY-> didn't lie until q+1

  • @byeguyssry
    @byeguyssry 2 ปีที่แล้ว

    This is kinda incorrect though. The optimal strategy is not necessarily the strategy that has the best worst case scenario. It is instead the strategy that, well, wins more often, ie. Guesses the right answer in less than 20 questions more often. Say we have a strategy that has a 51% chance of getting it right in 20 questions, but then they have a 0% chance to get it right in the next 80 questions, and finally the remaining 49% chance to get it right in only 101 questions (ignore how this doesn't make sense). Compare that to a strategy that gets it right 50% of the time in 20 questions and 50% of the time in 21 questions. Even though this strategy's worse case scenario is 80 questions shorter, it's a worse strategy because you only win 50% of the time, instead of the 51% of the time the first strategy gave.

    • @darbyl3872
      @darbyl3872 2 ปีที่แล้ว

      I was thinking that too.

  • @lancecoleman7440
    @lancecoleman7440 2 ปีที่แล้ว

    Okay now do 20 answers.

  • @stevebabiak6997
    @stevebabiak6997 2 ปีที่แล้ว

    What if the responder never uses the one lie? Should the rules state one lie must be used?

  • @tulliusexmisc2191
    @tulliusexmisc2191 2 ปีที่แล้ว

    Your algorithm involves playing a complete game of twenty questions and only then trying to detect the lie. Can you prove that is optimal, rather than some other strategy that incorporates error correction from the beginning? Come to that, are you even claiming it's optimal?

  • @nevokrien95
    @nevokrien95 2 ปีที่แล้ว

    The doubke ask fails if they lie on the second

  • @QwDragon
    @QwDragon 2 ปีที่แล้ว

    Great first video! Waiting for the next one!

  • @CamerTheDragon
    @CamerTheDragon 2 ปีที่แล้ว

    14:49 Isn't 15 (all yes) impossible for that set of questions (as in the true answer being all yes, if the no on the 3rd question was the lie) since the 4th question (which must be truthful) says it's not 15 (caused by 15 being only 3 layers down in the binary tree rather than 4 so it can't be in the "yes" set of the 4th layer) I don't think it makes any difference(?) assuming it's there for the next step looking at the tree of t, a, b, c, and d for the number of questions, but that's only if the true answer isn't 15 11:01 would all be possible though Cool topic tho I remember this in error correction

  • @user255
    @user255 2 ปีที่แล้ว

    - Is it a duck? - Yes. - So I won. - No, I lied.

    • @ScorpioneOrzion
      @ScorpioneOrzion 2 ปีที่แล้ว

      its even more sneaky because you could have lied on the second one...

    • @HyperFocusMarshmallow
      @HyperFocusMarshmallow ปีที่แล้ว

      Well, the third line was more of a statement than a question so… only the usual rules of conversation applies,… which I guess still means that it could be a lie if you have an annoying friend.

  • @user255
    @user255 2 ปีที่แล้ว

    Is it duck, horse, platypus, crocodile, ... 1582 items later ... , or a cat?

  • @Seth0326
    @Seth0326 2 ปีที่แล้ว

    I'm amazed that even with a lie, you could still win 20 questions for 1000 items. What's the most number of items for which you could still win in 20 questions?

  • @platinummyrr
    @platinummyrr 2 ปีที่แล้ว

    One thing I think you should have clarified is the simplification to numbers. Questions which are directly asking "is it X" remain valid but questions like "is it less than 5" don't remain valid in the switch back from numbers to animals. That's ok because the general strategy you have works for any set of answers but it wasn't clear at that point in the video

  • @tafazzi-on-discord
    @tafazzi-on-discord 2 ปีที่แล้ว

    Can you ask "have you lied yet?" in Ulam's game?

  • @desden0va
    @desden0va 2 ปีที่แล้ว

    fantastic video!

  • @davishall
    @davishall 2 ปีที่แล้ว

    6:52 Slight correction, but that is not a binary search tree (BST). It is just a binary tree. A binary tree is just a tree where nodes have at most 2 children. A BST additionally requires that the left subtree contains only nodes lesser than the root, the right subtree contains only nodes greater than the root, and that both subtrees are BSTs. The advantage of a BST is that at every node it can be determined which child to recursively search to find a target node. This property is not present (nor does it appear useful) in the example in the video.

    • @samwalko
      @samwalko 2 ปีที่แล้ว

      It's still sort of a binary search tree, perhaps in a non-CS context. It's obviously not a data structure either way, but we could just define our ordering function based on what the answers are. In fact, let's do that. Let's assign a key to each entry with k bits, where k is ceil(log(set size)) (base 2 log of course). The first (most significant) bit is set to 1 if the answer to the first question is yes, 0 otherwise. The second bit is set to 1 if the answer to the second question is yes, 0 otherwise. Continue this pattern, and it's pretty clear to see that these keys fulfill the BST property.

  • @clodolcmidnights837
    @clodolcmidnights837 2 ปีที่แล้ว

    Ask a question, ask “was the previous answer a lie?” ,repeat until they say “yes” , then ask on more time to make sure that the “yes” wasn’t a lie, then continue as normal

    • @FaranAiki
      @FaranAiki 2 ปีที่แล้ว

      That is very optimal, indeed, because if The Responder is very smart, he would not lie.

    • @proloycodes
      @proloycodes 2 ปีที่แล้ว

      but then, could not the responder simply not lie until the end and reply "no" until the end?

  • @HyperFocusMarshmallow
    @HyperFocusMarshmallow 2 ปีที่แล้ว

    Oh yes, the social annoyance you get when you play 20 questions in the car and ask your friend to provide a numbered list of all people on earth. That’s what people get for being friends with mathematicians. It’s a blessing and a curse…

    • @HyperFocusMarshmallow
      @HyperFocusMarshmallow 2 ปีที่แล้ว

      Modeling problems abstractly is pretty fun but to actually play the game you also need to construct relevant questions quick enough. Typically it’s quite expensive to construct questions that cut the set in half. Usually one of the best ways of doing it is to draw on information you already have. Like, if you figure out the person is an actor you might then try genre or something like that. It is quite expensive to form questions that would halve both the set of actors and the set of athletes at the same time. Well you could ask for gender but people typically start with that and are they a real person and are they alive, and age etc. Given such complications it might be worth it to make sure certain pieces of information are not lies, early. I was thinking that one might try questions that condition on the earlier questions. Like: Q1: Is the person an actor? Yes Q2: Is the person an actor and in fantasy movies? Yes Q3: Is the person an actor and in fantasy movies and in Game of thrones? No Since it can’t be the case that both Q1 and Q2 are lies, Q1 can’t be a lie. Essentially if you manage to get a series of Yes answers you’re safe. That only works on Yes answers. But if you get a No answer you could invert the last question and add it to the conjunction. I’m not sure how to make it optimal exactly but if you’re starting to get an unlikely series of no you might check for the lie, root out where it is and then just play regular 20 questions after that.

  • @fibbooo1123
    @fibbooo1123 2 ปีที่แล้ว

    What a great video!