All about flooble | fun stuff | Get a free chatterbox | Free JavaScript | Avatars    
perplexus dot info

Home > Logic > Liars and Knights
Inherited Veracity II (Posted on 2014-09-12) Difficulty: 4 of 5
As you may recall from the original Inherited Veracity puzzle, the land of Kivel is inhabited by 4 types of people:

  1. Knight: (produced by KK homozygous and KO heterozygous genotypes),
  2. Liar: (produced by LL homozygous and LO heterozygous genotypes),
  3. Knave: (produced by the KL heterozygous genotype), and
  4. Transposer: (produced by the OO homozygous genotype).

Knights always tell the truth, liars always lie, knaves' statements strictly alternate between truth and lie, and a transposer's statements are always of opposite truth-value to the person who spoke immediately before. (If a transposer is the first to make a statement, he or she will randomly choose between telling the truth or lying for their first statement.

Given the following statements from Zander, Yvette, Xerxes, and Willow, can you determine the genotype of each Kivelian, as well who is related to whom?

Willow: Exactly three of us are homozygous.
Zander: I have an L allele.
Xerxes: I am homozygous.
Yvette: I am a knight.

Zander: I am a knight.
Yvette: One of us is not directly related to the other three.
Willow: I am heterozygous.
Xerxes: I am a transposer.

Yvette: Two of us share the same genotype, and I'm not one of them.
Xerxes: I have a K allele.
Zander: I am homozygous.
Willow: Yvette is heterozygous.

Xerxes: Willow is heterozygous.
Willow: Xerxes is heterozygous.
Yvette: Between the four of us, we have exactly two K alleles.
Zander: At least one of us is a knave.

Note: The spacing used is only for readability; you may assume all statements were said consecutively in the order shown.

No Solution Yet Submitted by Dustin    
Rating: 5.0000 (1 votes)

Comments: ( Back to comment list | You must be logged in to post comments.)
re: computer solution Comment 2 of 2 |
(In reply to computer solution by Charlie)

Although this doesn't affect the answer, the following lines of code should have been placed between the evaluations of the first four statements and the second set of four:

   If wtype = "kv" Then wtrue = 1 - wtrue
   If xtype = "kv" Then xtrue = 1 - wtrue
   If ytype = "kv" Then ytrue = 1 - wtrue
   If ztype = "kv" Then ztrue = 1 - wtrue
Without these, although any potential knaves were considered to be truthful or lying, it was the same test for both their statements instead of opposite tests.

Again, the solution is unaffected and there are no knaves.

  Posted by Charlie on 2014-09-14 07:47:05
Please log in:
Remember me:
Sign up! | Forgot password

Search body:
Forums (0)
Newest Problems
Random Problem
FAQ | About This Site
Site Statistics
New Comments (0)
Unsolved Problems
Top Rated Problems
This month's top
Most Commented On

Copyright © 2002 - 2021 by Animus Pactum Consulting. All rights reserved. Privacy Information