子集合補缺:阻擋點、嚴格資格、鏈與反例候選基礎 · 脈衝 R05

本批已通過 Schema、去重、來源快照與獨立答案重算;仍未標記為人工審定。

本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留;AI 覆核、有限計算與 Lean 形式證明分開標示。

batch-20261008-advance-20261011-r05-subset-foundations · 2026-10-08 · 100 題

1. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[]、B=[1]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[]

全部阻擋元素=[]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

2. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-1]、B=[]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-1]

全部阻擋元素=[-1]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

3. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-2, 2, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-2, 2]

全部阻擋元素=[-2, 2]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

4. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-3, 3, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-3, 3]

全部阻擋元素=[-3, 3]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

5. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-4, 4, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-4, 4]

全部阻擋元素=[-4, 4]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

6. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-5, 5, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-5, 5]

全部阻擋元素=[-5, 5]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

7. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-6, 6, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-6, 6]

全部阻擋元素=[-6, 6]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

8. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-7, 7, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-7, 7]

全部阻擋元素=[-7, 7]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

9. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-8, 8, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-8, 8]

全部阻擋元素=[-8, 8]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

10. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-9, 9, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-9, 9]

全部阻擋元素=[-9, 9]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

11. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-10, 10, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-10, 10]

全部阻擋元素=[-10, 10]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

12. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-11, 11, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-11, 11]

全部阻擋元素=[-11, 11]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

13. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-12, 12, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-12, 12]

全部阻擋元素=[-12, 12]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

14. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-13, 13, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-13, 13]

全部阻擋元素=[-13, 13]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

15. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-14, 14, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-14, 14]

全部阻擋元素=[-14, 14]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

16. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-15, 15, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-15, 15]

全部阻擋元素=[-15, 15]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

17. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-16, 16, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-16, 16]

全部阻擋元素=[-16, 16]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

18. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-17, 17, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-17, 17]

全部阻擋元素=[-17, 17]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

19. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-18, 18, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-18, 18]

全部阻擋元素=[-18, 18]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

20. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-19, 19, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-19, 19]

全部阻擋元素=[-19, 19]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

21. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-20, 20, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-20, 20]

全部阻擋元素=[-20, 20]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

22. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-21, 21, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-21, 21]

全部阻擋元素=[-21, 21]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

23. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-22, 22, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-22, 22]

全部阻擋元素=[-22, 22]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

24. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-23, 23, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-23, 23]

全部阻擋元素=[-23, 23]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

25. 非嚴格包含的全部阻擋元素

有限整數集合;同一整數型別;A=[-24, 24, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。

查看答案與解釋

[-24, 24]

全部阻擋元素=[-24, 24]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-obstruction-list · candidate

26. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(是, 否, [], [])

非嚴格嚴格資格與見證=(是, 否, [], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

27. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[]、B=[-1]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(是, 是, [], [-1])

非嚴格嚴格資格與見證=(是, 是, [], [-1])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

28. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-2]、B=[]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-2], [])

非嚴格嚴格資格與見證=(否, 否, [-2], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

29. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[0]、B=[0, 3]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(是, 是, [], [3])

非嚴格嚴格資格與見證=(是, 是, [], [3])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

30. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-4, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-4], [])

非嚴格嚴格資格與見證=(否, 否, [-4], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

31. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-5, 0]、B=[0, 5]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-5], [5])

非嚴格嚴格資格與見證=(否, 否, [-5], [5])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

32. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[0]、B=[0, 6]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(是, 是, [], [6])

非嚴格嚴格資格與見證=(是, 是, [], [6])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

33. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-7, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-7], [])

非嚴格嚴格資格與見證=(否, 否, [-7], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

34. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-8, 0]、B=[0, 8]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-8], [8])

非嚴格嚴格資格與見證=(否, 否, [-8], [8])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

35. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[0]、B=[0, 9]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(是, 是, [], [9])

非嚴格嚴格資格與見證=(是, 是, [], [9])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

36. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-10, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-10], [])

非嚴格嚴格資格與見證=(否, 否, [-10], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

37. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-11, 0]、B=[0, 11]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-11], [11])

非嚴格嚴格資格與見證=(否, 否, [-11], [11])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

38. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[0]、B=[0, 12]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(是, 是, [], [12])

非嚴格嚴格資格與見證=(是, 是, [], [12])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

39. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-13, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-13], [])

非嚴格嚴格資格與見證=(否, 否, [-13], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

40. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-14, 0]、B=[0, 14]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-14], [14])

非嚴格嚴格資格與見證=(否, 否, [-14], [14])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

41. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[0]、B=[0, 15]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(是, 是, [], [15])

非嚴格嚴格資格與見證=(是, 是, [], [15])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

42. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-16, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-16], [])

非嚴格嚴格資格與見證=(否, 否, [-16], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

43. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-17, 0]、B=[0, 17]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-17], [17])

非嚴格嚴格資格與見證=(否, 否, [-17], [17])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

44. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[0]、B=[0, 18]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(是, 是, [], [18])

非嚴格嚴格資格與見證=(是, 是, [], [18])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

45. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-19, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-19], [])

非嚴格嚴格資格與見證=(否, 否, [-19], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

46. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-20, 0]、B=[0, 20]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-20], [20])

非嚴格嚴格資格與見證=(否, 否, [-20], [20])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

47. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[0]、B=[0, 21]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(是, 是, [], [21])

非嚴格嚴格資格與見證=(是, 是, [], [21])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

48. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-22, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-22], [])

非嚴格嚴格資格與見證=(否, 否, [-22], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

49. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[-23, 0]、B=[0, 23]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(否, 否, [-23], [23])

非嚴格嚴格資格與見證=(否, 否, [-23], [23])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

50. 非嚴格與嚴格包含的資格見證

有限整數集合;同一整數型別;A=[0]、B=[0, 24]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。

查看答案與解釋

(是, 是, [], [24])

非嚴格嚴格資格與見證=(是, 是, [], [24])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-strict-witnesses · candidate

51. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[]、B=[0]、C=[0, 1]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([], [], [])

三段包含阻擋=([], [], [])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

52. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[1]、B=[]、C=[1]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([1], [], [])

三段包含阻擋=([1], [], [])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

53. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[0]、B=[0, 2]、C=[0]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([], [2], [])

三段包含阻擋=([], [2], [])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

54. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-3, 0]、B=[0, 3]、C=[0, 4]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-3], [3], [-3])

三段包含阻擋=([-3], [3], [-3])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

55. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-4, 0]、B=[0, 4]、C=[0, 5]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-4], [4], [-4])

三段包含阻擋=([-4], [4], [-4])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

56. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-5, 0]、B=[0, 5]、C=[0, 6]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-5], [5], [-5])

三段包含阻擋=([-5], [5], [-5])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

57. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-6, 0]、B=[0, 6]、C=[0, 7]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-6], [6], [-6])

三段包含阻擋=([-6], [6], [-6])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

58. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-7, 0]、B=[0, 7]、C=[0, 8]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-7], [7], [-7])

三段包含阻擋=([-7], [7], [-7])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

59. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-8, 0]、B=[0, 8]、C=[0, 9]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-8], [8], [-8])

三段包含阻擋=([-8], [8], [-8])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

60. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-9, 0]、B=[0, 9]、C=[0, 10]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-9], [9], [-9])

三段包含阻擋=([-9], [9], [-9])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

61. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-10, 0]、B=[0, 10]、C=[0, 11]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-10], [10], [-10])

三段包含阻擋=([-10], [10], [-10])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

62. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-11, 0]、B=[0, 11]、C=[0, 12]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-11], [11], [-11])

三段包含阻擋=([-11], [11], [-11])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

63. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-12, 0]、B=[0, 12]、C=[0, 13]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-12], [12], [-12])

三段包含阻擋=([-12], [12], [-12])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

64. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-13, 0]、B=[0, 13]、C=[0, 14]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-13], [13], [-13])

三段包含阻擋=([-13], [13], [-13])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

65. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-14, 0]、B=[0, 14]、C=[0, 15]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-14], [14], [-14])

三段包含阻擋=([-14], [14], [-14])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

66. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-15, 0]、B=[0, 15]、C=[0, 16]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-15], [15], [-15])

三段包含阻擋=([-15], [15], [-15])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

67. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-16, 0]、B=[0, 16]、C=[0, 17]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-16], [16], [-16])

三段包含阻擋=([-16], [16], [-16])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

68. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-17, 0]、B=[0, 17]、C=[0, 18]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-17], [17], [-17])

三段包含阻擋=([-17], [17], [-17])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

69. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-18, 0]、B=[0, 18]、C=[0, 19]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-18], [18], [-18])

三段包含阻擋=([-18], [18], [-18])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

70. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-19, 0]、B=[0, 19]、C=[0, 20]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-19], [19], [-19])

三段包含阻擋=([-19], [19], [-19])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

71. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-20, 0]、B=[0, 20]、C=[0, 21]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-20], [20], [-20])

三段包含阻擋=([-20], [20], [-20])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

72. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-21, 0]、B=[0, 21]、C=[0, 22]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-21], [21], [-21])

三段包含阻擋=([-21], [21], [-21])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

73. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-22, 0]、B=[0, 22]、C=[0, 23]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-22], [22], [-22])

三段包含阻擋=([-22], [22], [-22])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

74. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-23, 0]、B=[0, 23]、C=[0, 24]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-23], [23], [-23])

三段包含阻擋=([-23], [23], [-23])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

75. 三段包含的有序阻擋集

有限整數集合;同一整數型別;A=[-24, 0]、B=[0, 24]、C=[0, 25]。依序列 (A\B, B\C, A\C),各遞增,保留空段。

查看答案與解釋

([-24], [24], [-24])

三段包含阻擋=([-24], [24], [-24])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-chain-obstructions · candidate

76. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[]、B=[]、有序候選=[100, 101, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 否, 否]

包含反例候選資格=[否, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

77. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 101, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[是, 否, 否]

包含反例候選資格=[是, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

78. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 2, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 否, 否]

包含反例候選資格=[否, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

79. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 2, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[是, 否, 否]

包含反例候選資格=[是, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

80. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, -2, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 是, 否]

包含反例候選資格=[否, 是, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

81. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, -2, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 是, 否]

包含反例候選資格=[否, 是, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

82. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, -2, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[是, 是, 否]

包含反例候選資格=[是, 是, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

83. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, 101, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 否, 否]

包含反例候選資格=[否, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

84. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 101, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 否, 否]

包含反例候選資格=[否, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

85. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 101, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[是, 否, 否]

包含反例候選資格=[是, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

86. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, 2, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 否, 否]

包含反例候選資格=[否, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

87. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 2, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 否, 否]

包含反例候選資格=[否, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

88. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 2, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[是, 否, 否]

包含反例候選資格=[是, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

89. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, -2, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 是, 否]

包含反例候選資格=[否, 是, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

90. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, -2, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 是, 否]

包含反例候選資格=[否, 是, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

91. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, -2, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[是, 是, 否]

包含反例候選資格=[是, 是, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

92. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, 101, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 否, 是]

包含反例候選資格=[否, 否, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

93. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 101, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 否, 是]

包含反例候選資格=[否, 否, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

94. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 101, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[是, 否, 是]

包含反例候選資格=[是, 否, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

95. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, 2, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 否, 是]

包含反例候選資格=[否, 否, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

96. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 2, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 否, 是]

包含反例候選資格=[否, 否, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

97. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 2, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[是, 否, 是]

包含反例候選資格=[是, 否, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

98. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, -2, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 是, 是]

包含反例候選資格=[否, 是, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

99. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, -2, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[否, 是, 是]

包含反例候選資格=[否, 是, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

100. 三個候選的包含反例資格

有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[]、有序候選=[-1, -2, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。

查看答案與解釋

[是, 是, 是]

包含反例候選資格=[是, 是, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。

本題逐步詳解(AI 二次覆核)

子集合 · qf-density11-subset-candidate-witness-mask · candidate

原始題目 JSONL · 驗收報告