模拟算法考试训练题和答案1

模拟算法考试训练题和答案1

前三个问题应该会刷新你的记忆,最后三个问题需要一些思考。回顾命题的基础逻辑你可以阅读 Moller 和 Struth 书中的温和介绍。
热身任务：在互联网上搜索您最喜欢的计算机科学部分中的逻辑用法

问题 1.1
将下列句子翻译成命题逻辑。你的表现如何
翻译抓住了他们的意思？
(a) 史密斯不在或琼斯生病，但不是两者兼有。
(b) 如果今天有阳光，明天就不会发光。
© 如果 Fido 攻击你，他要么生气，要么沮丧。
(d) 我想要香草和草莓冰淇淋。
(e) 我喜欢编程，除非是 Java。
(f) 约翰很好，但不是很聪明。
(g) 玛丽很高兴，因为她通过了考试。

(a) 史密斯不在或琼斯生病，但不是两者兼有。
答案：(P ∨ Q) ∧ ¬(P ∧ Q)，其中“but”被翻译为“and”。
(b) 如果今天有阳光，明天就不会发光。
答案：今天 → ¬明天
(c) 如果 Fido 攻击你，他要么生气，要么沮丧。
答案：A → (B ∨ C)
(d) 我想要香草和草莓冰淇淋。
答案：V ∧ S
(e) 我喜欢编程，除非是 Java。
答案：(J ∨ P) ∧ ¬(J ∧ P)。
(f) 约翰很好，但不是很聪明。
答案：N ∧ ¬C
(g) 玛丽很高兴，因为她通过了考试。
答案：H ∧ P（这并没有真正捕捉到“因为”的因果意义......）

问题 1.2
使用真值表确定下列公式的含义。那些¬、∨、∧ 和 → 可以在 Huth 和 Ryan 的书的第 1.4 节中找到。公式 ϕ ↔ ψ 为真当且仅当 φ → ψ 和 ψ → φ 都为真。

1. p ∨ ¬p,
2. p → (q → p)，
3. (p → q) ∨ (¬p → q),
4. (p → (q → r)) → ((p → q) → (p → r))，
5. ((p ∧ q) → r) ↔ (p → (q → r))。

问题 1.3
一个公式是有效的，如果它在其命题的所有解释下都为真变量。下面的公式呢？
p ↔ (p ↔ (p ↔ (p ↔ (p ↔ (p ↔ (p ↔ (p ↔ (p ↔ (p ↔ (p ↔ p))))))))))
[提示：这看起来像一个无聊的练习，所以试着找到一个聪明的解决方案。在小子问题之间寻找模式。然后把你看到的变成证据。

答案：一个聪明的解决方案是意识到有 12 个 p，我们可以计算一个递归解决方案。 
所以调用公式 φ(12) 并观察 φ(1) = p 和 φ(n + 1) = p ↔ φ(n) 对于所有n ∈ N（最多 n = 12）。 
然后通过对 k 的归纳得出 φ(2k) 对所有 1 ≤ k ∈ N 都有效。
• 在基本情况下，φ(2) = p ↔ p，这是有效的，因为 p ↔ q 当且仅当 p 和q 具有相同的真值（你应该用真值表检查）。
• 在归纳步骤中，假设 φ(2k) 有效。 
然后我们必须证明 φ(2k + 2) =p ↔ (p ↔ φ(2k)) 是有效的。 
通过归纳假设，这简化为 p ↔ (p ↔ T)
并进一步到 p ↔ p = φ(2) 
（再次检查 (p ↔ (p ↔ T)) ↔ (p ↔ p)带有真值表）。
然后从 12 = 2 · 6 得出声明。

问题 1.4
将一排 50 枚不同价值的硬币放在一张桌子上。爱丽丝和鲍勃轮流从线的两端捡起一枚硬币。爱丽丝迈出第一步，两者都玩家可以在每次移动之前选择在哪一端选择。游戏结束时表是空的。爱丽丝能赢得至少和鲍勃一样多的钱吗？
[提示：寻找适用于所有可能游戏的简单获胜策略。不要试图最大化爱丽丝的利润。我们是逻辑学家，而不是银行家。

答案：沿线从左到右对硬币编号。
检查是奇数还是偶数会产生更多的钱。
如果偶数产生的钱至少和奇数一样多一个，那么 Alice 应该总是选择偶数。
否则她应该总是选择奇数那些。
由于以下不变量，这产生了一个获胜策略：
在每一步中，Alice 都是能够选择另一个正确的号码，而另一端的号码是
错误的种类。
然后鲍勃只能在他的动作中选择错误的数字。
为了证明不变量，假设 Alice 下的是偶数
（对于奇数，参数是相似的），
并假设游戏中有一个她不能再走的坏棋选择一个偶数。
我们的目的是证明这会产生矛盾。
如果爱丽丝有任何不好的举动，那么游戏中必须有第一个这样的举动，因此
在爱丽丝的所有动作都是好的之前。所以让我们考虑一下这一举动。
• 显然，这一步不可能是第一个，因为 Alice 可以选择硬币 50，而另一端的硬币编号为 1。所以第一步总是好的。
• 所以假设第 i 步对 i > 1 不利。
那么 Alice 的前一步（第 i - 2nd)很好：
她可以选择一个偶数的硬币，而线另一端的硬币是奇怪的。
因此，在爱丽丝的移动中选择偶数硬币给鲍勃留下了两个奇数作为他的下一个移动（第 i - 第一个），并且他的移动必须为 Alice 留下一个偶数硬币和一个奇数硬币动。
因此，与我们的假设相反，第 i 步也是好的。
这表明爱丽丝从游戏开始到结束总是可以选择一个偶数硬币，而鲍勃总是留下奇怪的硬币，最后她至少收集了同样多的硬币鲍勃的钱。

问题 1.5
考虑一个直径为 5 米的圆桌和一摞圆卡直径1米。考虑一个两人游戏，玩家 1 和玩家 2 交替进行将卡片放在桌子上，卡片需要完全放在桌子上并且不能重叠。
放置最后一张牌的玩家获胜。玩家 1 开始。
哪个玩家有获胜策略（即始终获胜的游戏方式）？直径重要吗？

答案：玩家 1 有一个获胜策略。
如果玩家 1 在他的第一个回合中正好放置了一张牌在表格的中间，我们处于第一讲中描述的情况，除了玩家角色互换（玩家 2 开始，玩家 1 下一个）。 
回想一下第二个玩家在桌上有一个洞的游戏中有一个获胜策略，玩家 1（现在正在玩第二）可以使用这种制胜策略。 
也就是说，玩家 1 将镜像（使用表) 玩家 2 的前一步。很容易检查玩家 1 总是可以响应玩家 2 以这种方式移动