11 关于推理算法是否健全和完整，以下示例是否正确？ 假设我们在大海捞针中有针a，b，c，并且还有一个旨在查找针的推理算法。 声音 -仅获得针a，b和c。 完成 -获得针头a，b和c。也可以获得其他干草。 logic — 艾萨克 source
10 您几乎完全正确，但是您对声音的定义不太正确，或者可能太微妙了。 我要说的是，如果返回的所有东西都是针（因此可能会遗漏一些针），则推理算法是正确的；如果所有针都被归还（因此也可能会返还一些干草），则推理算法是正确的。 — 戴夫·克拉克 source 这可能是语言语义问题。假设干草旁边只有三个针，OP的措辞是正确的。 — 拉斐尔 1 无论如何，我的回答都清楚地说明了这一点。 — 戴夫·克拉克 1 事实上，如果措辞是“只针A，B和C ，可以得到”我不会给一个答案。 — 戴夫·克拉克 因此，听起来似乎很合理，意味着算法功能的范围是针刺，而完成则意味着该功能 — 对大海捞针中