嘘つき族と正直族の問題

Question

ある村に，Ａさん，Ｂさん，Ｃさん，Ｄさんの4人がいました．このうち2人は嘘つき族であり，このうち2人は正直族であることが分かっています．嘘つき族は必ずうそをつき，正直族は必ず正直に答えます．彼らは，論理的であり，ミスはありません．
あなたの手元には， １，２，３，４と書かれた4枚のカードがあります．同じ数字が書かれたカードはありません．そこからランダムに選んで，一人1枚ずつ，彼らに渡しました． 彼らは，以下のように発言しました．
Ａさん：私のカードは，偶数です．
Ｂさん：私のカードは，３か４のどちらかです．
Ｃさん：Ｂさんは，正直族です．
Ｄさん：私のカードは，１です．
彼らに配られた可能性のあるカードの数字と，誰が嘘つき族／正直族かを表示するプログラムを作成します．
以下が現在のコードです．

#include<iostream>
#include<string>
using namespace std;

int card_a, card_b, card_c, card_d;
int liar_a, liar_b, liar_c, liar_d;

void output() {
	cout << "配られたカード： ";
	cout << card_a << ", " << card_b << ", " << card_c << ", " << card_d << ", ";
	cout << "正直族[1]，嘘つき族[0]：";
	cout << liar_a << ", " << liar_b << ", " << liar_c << ", " << liar_d << endl;
}

int check() {

}

int main() {
	for (card_a = 1; card_a < 5; card_a++) {
		for (card_b = 1; card_b < 5; card_b++) {
			if (card_b != card_a) {
				for (card_c = 1; card_c < 5; card_c++) {
					if (card_c != card_a && card_c != card_b) {
						for (card_d = 1; card_d < 5; card_d++) {
							if (card_d != card_a && card_d != card_b && card_d != card_c) {
								if (check() == true) {
									output();
								}
							}
						}
					}
				}
			}
		}
	}
	cout << "プログラム終了時は何かを入力" << endl;
	int x;	cin >> x;
	return 0;
}

ここまでできたのですが，条件を満たすかどうかを判定する関数checkをどのように書けばいいのかわからないので教えてください．よろしくお願いします．

Comments

[LouiS0616]

この問題の出典を追記して下さい。

[退会済みユーザー]

プログラミング演習支援システムというサイトです。

[Zuishin]

佐賀大学の課題ですか。

Answer 1

４人のうちの誰が正直で誰が嘘つきなのか？という点に関しての取り得るすべての組み合わせに関して，総当たりで
パターン{card_a, card_b, card_c, card_d}が矛盾するかしないかをチェックすればよいのではないでしょうか．

---

上記をコード化すると，例えばこんなかと．

//※戻り値がintである意味がわからんのでboolにしたが．
bool check()
{
    static const bool Hypothesis[][4] =
    {
        { true, true, false, false }, { true, false, true, false }, { true, false, false, true },
        { false, true, true, false }, { false, true, false, true },
        { false, false, true, true }
    };

    for( const auto &H : Hypothesis )
    {
        if( ((card_a&0x01)==0) != H[0] )continue;   //A
        if( (card_b==3 || card_b==4) != H[1] )continue; //B
        if( (H[1]) != H[2] )continue;   //C
        if( (card_d==1) != H[3] )continue;  //D
        //liar_a等の値の仕様がわからんが，こうすればいいのか？
        liar_a = H[0];  liar_b = H[1];  liar_c = H[2];  liar_d = H[3];
        return true;
    }
    return false;
}

Comments

[退会済みユーザー]

どのようなコードを書いたらいいでしょうか？教えてください。よろしくお願いします。

[fana]

低評価理由を明記願いたいです．
話が間違っているのであれば，質問者に対してこれ以上この回答内容に即した話を続けるわけにもいきませんので．

[fana]

（というわけで，ダメな理由がわかるまでサスペンド）

[SaitoAtsushi]

質問者は Teratail の趣旨をわかっていないように見えます。
Teratail は質問に対して回答することを趣旨とするサービスであり、解となるコードを求めることは推奨されません。 それは質問というよりは代わりにやって欲しいという要求です。
https://teratail.com/help/avoid-asking
説明のためにコードを提示することはありますが、質問者の替わりに課題を解くことはしません。

[fana]

時間を設けてみたが，低評価理由は書かれない模様．
質問者のコメントや雑すぎるマルチポストなどの様子を鑑みると，正直，コード(のようなもの)を書くことはためらわれるのだが，無言低評価君（何故か増えている）が少しでも理由を書きやすくなるよう，あえて私の回答内容をコード化してみた．
コード内容の間違いがあれば指摘願いたい．
コードを記す行為自体に否定的評価を下すのであればその旨を明記されたい．

To質問者様：提示したコードは全く動作(というかコンパイルすら)確認されていない殴り書きである点に注意されたい．

[fana]

（仮に，低評価理由が「お前の態度がなんとなく気に入らない」みたいな理由だとしても，やはり明記願いたい．
そういう理由によるものなのだとわかるだけでも，理由が書かれないよりはずっと良い．）

Answer 2

ヒントです。

int check() {
	static bool t[6][4] = { /* ここに嘘つき族2人、正直族2人の全パターンを書く */ };
	for (bool *p = *t; p < t[6]; p += 4)
		if (!(card_a&1)==p[0] && (card_b>=3)==p[1] && !p[1]==p[2] && (card_d==1)==p[3]) {
			liar_a = p[0], liar_b = p[1], liar_c = p[2], liar_d = p[3];
			return 1;
		}
	return 0;
}

理解できたら、解答を書いてください。
理解できなかったら、どこが分からないのかを質問してください。

Comments

[退会済みユーザー]

全パターンを書くとありますが，どのような形式で書けばいいのでしょうか？教えてください．お願いします．

Answer 3

嘘つきなら反対を答える関数を用いると簡潔に実装できるかと思います。

// 嘘つきなら反対を答える
bool get_answer( 答える人, 嘘つきな人たち, 答え){
    if( 答える人が嘘つきな人たちに含まれる){
        答え = !答え;
    }
    return 答え;
}


bool check( 嘘つきな人たち, 各人のカード)
{
    return get_answer( A, 嘘つきな人たち, Aさんの命題) &
           get_answer( B, 嘘つきな人たち, Bさんの命題) &
           get_answer( C, 嘘つきな人たち, Cさんの命題) &
           get_answer( D, 嘘つきな人たち, Dさんの命題);
}

Comments

[退会済みユーザー]

int型のcheck関数のみで成立させるにはどうしたらよいでしょうか？

[8524ba23]

戻り値がintでもboolでも中身は変えなくてもよいです。
引数を渡すのがいやなら外部変数を使えばよいのでは？