1. 非嚴格包含的全部阻擋元素
有限整數集合;同一整數型別;A=[]、B=[1]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
查看答案與解釋
[]
全部阻擋元素=[]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
本批已通過 Schema、去重、來源快照與獨立答案重算;仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留;AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261008-advance-20261011-r05-subset-foundations · 2026-10-08 · 100 題
有限整數集合;同一整數型別;A=[]、B=[1]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[]
全部阻擋元素=[]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-1]、B=[]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-1]
全部阻擋元素=[-1]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-2, 2, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-2, 2]
全部阻擋元素=[-2, 2]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-3, 3, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-3, 3]
全部阻擋元素=[-3, 3]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-4, 4, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-4, 4]
全部阻擋元素=[-4, 4]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-5, 5, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-5, 5]
全部阻擋元素=[-5, 5]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-6, 6, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-6, 6]
全部阻擋元素=[-6, 6]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-7, 7, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-7, 7]
全部阻擋元素=[-7, 7]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-8, 8, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-8, 8]
全部阻擋元素=[-8, 8]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-9, 9, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-9, 9]
全部阻擋元素=[-9, 9]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-10, 10, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-10, 10]
全部阻擋元素=[-10, 10]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-11, 11, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-11, 11]
全部阻擋元素=[-11, 11]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-12, 12, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-12, 12]
全部阻擋元素=[-12, 12]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-13, 13, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-13, 13]
全部阻擋元素=[-13, 13]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-14, 14, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-14, 14]
全部阻擋元素=[-14, 14]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-15, 15, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-15, 15]
全部阻擋元素=[-15, 15]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-16, 16, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-16, 16]
全部阻擋元素=[-16, 16]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-17, 17, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-17, 17]
全部阻擋元素=[-17, 17]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-18, 18, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-18, 18]
全部阻擋元素=[-18, 18]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-19, 19, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-19, 19]
全部阻擋元素=[-19, 19]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-20, 20, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-20, 20]
全部阻擋元素=[-20, 20]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-21, 21, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-21, 21]
全部阻擋元素=[-21, 21]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-22, 22, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-22, 22]
全部阻擋元素=[-22, 22]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-23, 23, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-23, 23]
全部阻擋元素=[-23, 23]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[-24, 24, 0]、B=[0]。完整列A⊆B的阻擋元素,即所有屬A但不屬B者,遞增且去重。
[-24, 24]
全部阻擋元素=[-24, 24]。阻擋者正是A\B;沒有阻擋才通過包含,空A不產生反例。
子集合 · qf-density11-subset-obstruction-list · candidate
有限整數集合;同一整數型別;A=[0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(是, 否, [], [])
非嚴格嚴格資格與見證=(是, 否, [], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[]、B=[-1]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(是, 是, [], [-1])
非嚴格嚴格資格與見證=(是, 是, [], [-1])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-2]、B=[]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-2], [])
非嚴格嚴格資格與見證=(否, 否, [-2], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[0]、B=[0, 3]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(是, 是, [], [3])
非嚴格嚴格資格與見證=(是, 是, [], [3])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-4, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-4], [])
非嚴格嚴格資格與見證=(否, 否, [-4], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-5, 0]、B=[0, 5]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-5], [5])
非嚴格嚴格資格與見證=(否, 否, [-5], [5])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[0]、B=[0, 6]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(是, 是, [], [6])
非嚴格嚴格資格與見證=(是, 是, [], [6])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-7, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-7], [])
非嚴格嚴格資格與見證=(否, 否, [-7], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-8, 0]、B=[0, 8]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-8], [8])
非嚴格嚴格資格與見證=(否, 否, [-8], [8])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[0]、B=[0, 9]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(是, 是, [], [9])
非嚴格嚴格資格與見證=(是, 是, [], [9])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-10, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-10], [])
非嚴格嚴格資格與見證=(否, 否, [-10], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-11, 0]、B=[0, 11]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-11], [11])
非嚴格嚴格資格與見證=(否, 否, [-11], [11])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[0]、B=[0, 12]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(是, 是, [], [12])
非嚴格嚴格資格與見證=(是, 是, [], [12])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-13, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-13], [])
非嚴格嚴格資格與見證=(否, 否, [-13], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-14, 0]、B=[0, 14]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-14], [14])
非嚴格嚴格資格與見證=(否, 否, [-14], [14])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[0]、B=[0, 15]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(是, 是, [], [15])
非嚴格嚴格資格與見證=(是, 是, [], [15])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-16, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-16], [])
非嚴格嚴格資格與見證=(否, 否, [-16], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-17, 0]、B=[0, 17]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-17], [17])
非嚴格嚴格資格與見證=(否, 否, [-17], [17])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[0]、B=[0, 18]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(是, 是, [], [18])
非嚴格嚴格資格與見證=(是, 是, [], [18])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-19, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-19], [])
非嚴格嚴格資格與見證=(否, 否, [-19], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-20, 0]、B=[0, 20]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-20], [20])
非嚴格嚴格資格與見證=(否, 否, [-20], [20])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[0]、B=[0, 21]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(是, 是, [], [21])
非嚴格嚴格資格與見證=(是, 是, [], [21])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-22, 0]、B=[0]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-22], [])
非嚴格嚴格資格與見證=(否, 否, [-22], [])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[-23, 0]、B=[0, 23]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(否, 否, [-23], [23])
非嚴格嚴格資格與見證=(否, 否, [-23], [23])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[0]、B=[0, 24]。依序答 (A⊆B是否, A⊊B是否, A\B, B\A),兩個見證集遞增。
(是, 是, [], [24])
非嚴格嚴格資格與見證=(是, 是, [], [24])。左差空才非嚴格包含,再要求右差非空才嚴格;集合相等只通過非嚴格欄。
子集合 · qf-density11-subset-strict-witnesses · candidate
有限整數集合;同一整數型別;A=[]、B=[0]、C=[0, 1]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([], [], [])
三段包含阻擋=([], [], [])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[1]、B=[]、C=[1]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([1], [], [])
三段包含阻擋=([1], [], [])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[0]、B=[0, 2]、C=[0]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([], [2], [])
三段包含阻擋=([], [2], [])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-3, 0]、B=[0, 3]、C=[0, 4]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-3], [3], [-3])
三段包含阻擋=([-3], [3], [-3])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-4, 0]、B=[0, 4]、C=[0, 5]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-4], [4], [-4])
三段包含阻擋=([-4], [4], [-4])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-5, 0]、B=[0, 5]、C=[0, 6]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-5], [5], [-5])
三段包含阻擋=([-5], [5], [-5])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-6, 0]、B=[0, 6]、C=[0, 7]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-6], [6], [-6])
三段包含阻擋=([-6], [6], [-6])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-7, 0]、B=[0, 7]、C=[0, 8]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-7], [7], [-7])
三段包含阻擋=([-7], [7], [-7])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-8, 0]、B=[0, 8]、C=[0, 9]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-8], [8], [-8])
三段包含阻擋=([-8], [8], [-8])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-9, 0]、B=[0, 9]、C=[0, 10]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-9], [9], [-9])
三段包含阻擋=([-9], [9], [-9])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-10, 0]、B=[0, 10]、C=[0, 11]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-10], [10], [-10])
三段包含阻擋=([-10], [10], [-10])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-11, 0]、B=[0, 11]、C=[0, 12]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-11], [11], [-11])
三段包含阻擋=([-11], [11], [-11])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-12, 0]、B=[0, 12]、C=[0, 13]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-12], [12], [-12])
三段包含阻擋=([-12], [12], [-12])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-13, 0]、B=[0, 13]、C=[0, 14]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-13], [13], [-13])
三段包含阻擋=([-13], [13], [-13])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-14, 0]、B=[0, 14]、C=[0, 15]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-14], [14], [-14])
三段包含阻擋=([-14], [14], [-14])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-15, 0]、B=[0, 15]、C=[0, 16]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-15], [15], [-15])
三段包含阻擋=([-15], [15], [-15])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-16, 0]、B=[0, 16]、C=[0, 17]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-16], [16], [-16])
三段包含阻擋=([-16], [16], [-16])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-17, 0]、B=[0, 17]、C=[0, 18]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-17], [17], [-17])
三段包含阻擋=([-17], [17], [-17])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-18, 0]、B=[0, 18]、C=[0, 19]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-18], [18], [-18])
三段包含阻擋=([-18], [18], [-18])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-19, 0]、B=[0, 19]、C=[0, 20]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-19], [19], [-19])
三段包含阻擋=([-19], [19], [-19])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-20, 0]、B=[0, 20]、C=[0, 21]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-20], [20], [-20])
三段包含阻擋=([-20], [20], [-20])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-21, 0]、B=[0, 21]、C=[0, 22]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-21], [21], [-21])
三段包含阻擋=([-21], [21], [-21])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-22, 0]、B=[0, 22]、C=[0, 23]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-22], [22], [-22])
三段包含阻擋=([-22], [22], [-22])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-23, 0]、B=[0, 23]、C=[0, 24]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-23], [23], [-23])
三段包含阻擋=([-23], [23], [-23])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[-24, 0]、B=[0, 24]、C=[0, 25]。依序列 (A\B, B\C, A\C),各遞增,保留空段。
([-24], [24], [-24])
三段包含阻擋=([-24], [24], [-24])。分別枚舉三段隸屬條件;某一鏈節失敗不自動決定另一段,三段不能互相替代。
子集合 · qf-density11-subset-chain-obstructions · candidate
有限整數集合;同一整數型別;A=[]、B=[]、有序候選=[100, 101, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 否, 否]
包含反例候選資格=[否, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 101, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[是, 否, 否]
包含反例候選資格=[是, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 2, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 否, 否]
包含反例候選資格=[否, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 2, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[是, 否, 否]
包含反例候選資格=[是, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, -2, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 是, 否]
包含反例候選資格=[否, 是, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, -2, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 是, 否]
包含反例候選資格=[否, 是, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, -2, 102]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[是, 是, 否]
包含反例候選資格=[是, 是, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, 101, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 否, 否]
包含反例候選資格=[否, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 101, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 否, 否]
包含反例候選資格=[否, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 101, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[是, 否, 否]
包含反例候選資格=[是, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, 2, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 否, 否]
包含反例候選資格=[否, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 2, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 否, 否]
包含反例候選資格=[否, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 2, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[是, 否, 否]
包含反例候選資格=[是, 否, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, -2, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 是, 否]
包含反例候選資格=[否, 是, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, -2, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 是, 否]
包含反例候選資格=[否, 是, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, -2, 3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[是, 是, 否]
包含反例候選資格=[是, 是, 否]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, 101, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 否, 是]
包含反例候選資格=[否, 否, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 101, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 否, 是]
包含反例候選資格=[否, 否, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 101, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[是, 否, 是]
包含反例候選資格=[是, 否, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, 2, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 否, 是]
包含反例候選資格=[否, 否, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, 2, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 否, 是]
包含反例候選資格=[否, 否, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[-1, 2, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[是, 否, 是]
包含反例候選資格=[是, 否, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[100, -2, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 是, 是]
包含反例候選資格=[否, 是, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[1, 2, 3]、有序候選=[1, -2, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[否, 是, 是]
包含反例候選資格=[否, 是, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate
有限整數集合;同一整數型別;A=[-3, -2, -1, 1, 2, 3]、B=[]、有序候選=[-1, -2, -3]。逐項答是否c∈A且c∉B,域外A的候選不算阻擋見證。
[是, 是, 是]
包含反例候選資格=[是, 是, 是]。先要求屬A,再排除屬B;共有元素與A外元素都不是反例,不只看候選未進B。
子集合 · qf-density11-subset-candidate-witness-mask · candidate