本批已通過 Schema、去重、來源快照與獨立答案重算；仍未標記為人工審定。
本題庫已有對應的中英逐步詳解。原題的 candidate 與英文 ai_candidate 狀態保留；AI 覆核、有限計算與 Lean 形式證明分開標示。
batch-20261013-advance-20261019-r06-asymptotic-resource-bound-foundations · 2026-10-13 · 100 題
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":1,"p":0,"b":1,"q":0}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(1, 0, 1, 0, 是, 是, 是, [1, 1], [1/1, 1])
第二批擴展核對=(1, 0, 1, 0, 是, 是, 是, [1, 1], [1/1, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":2,"p":1,"b":2,"q":3}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(2, 1, 2, 3, 是, 否, 否, [2, 1], 不存在)
第二批擴展核對=(2, 1, 2, 3, 是, 否, 否, [2, 1], 不存在)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":3,"p":2,"b":3,"q":0}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(3, 2, 3, 0, 否, 是, 否, 不存在, [1/3, 1])
第二批擴展核對=(3, 2, 3, 0, 否, 是, 否, 不存在, [1/3, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":4,"p":3,"b":4,"q":3}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(4, 3, 4, 3, 是, 是, 是, [4, 1], [1/4, 1])
第二批擴展核對=(4, 3, 4, 3, 是, 是, 是, [4, 1], [1/4, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":5,"p":4,"b":5,"q":0}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(5, 4, 5, 0, 否, 是, 否, 不存在, [1/5, 1])
第二批擴展核對=(5, 4, 5, 0, 否, 是, 否, 不存在, [1/5, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":6,"p":5,"b":6,"q":3}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(6, 5, 6, 3, 否, 是, 否, 不存在, [1/6, 1])
第二批擴展核對=(6, 5, 6, 3, 否, 是, 否, 不存在, [1/6, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":7,"p":0,"b":7,"q":0}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(7, 0, 7, 0, 是, 是, 是, [7, 1], [1/7, 1])
第二批擴展核對=(7, 0, 7, 0, 是, 是, 是, [7, 1], [1/7, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":8,"p":1,"b":1,"q":3}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(8, 1, 1, 3, 是, 否, 否, [8, 1], 不存在)
第二批擴展核對=(8, 1, 1, 3, 是, 否, 否, [8, 1], 不存在)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":9,"p":2,"b":2,"q":0}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(9, 2, 2, 0, 否, 是, 否, 不存在, [1/2, 1])
第二批擴展核對=(9, 2, 2, 0, 否, 是, 否, 不存在, [1/2, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":10,"p":3,"b":3,"q":3}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(10, 3, 3, 3, 是, 是, 是, [10, 1], [1/3, 1])
第二批擴展核對=(10, 3, 3, 3, 是, 是, 是, [10, 1], [1/3, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":11,"p":4,"b":4,"q":0}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(11, 4, 4, 0, 否, 是, 否, 不存在, [1/4, 1])
第二批擴展核對=(11, 4, 4, 0, 否, 是, 否, 不存在, [1/4, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":12,"p":5,"b":5,"q":3}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(12, 5, 5, 3, 否, 是, 否, 不存在, [1/5, 1])
第二批擴展核對=(12, 5, 5, 3, 否, 是, 否, 不存在, [1/5, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":13,"p":0,"b":6,"q":0}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(13, 0, 6, 0, 是, 是, 是, [13, 1], [1/6, 1])
第二批擴展核對=(13, 0, 6, 0, 是, 是, 是, [13, 1], [1/6, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":14,"p":1,"b":7,"q":3}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(14, 1, 7, 3, 是, 否, 否, [14, 1], 不存在)
第二批擴展核對=(14, 1, 7, 3, 是, 否, 否, [14, 1], 不存在)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":15,"p":2,"b":1,"q":0}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(15, 2, 1, 0, 否, 是, 否, 不存在, [1/1, 1])
第二批擴展核對=(15, 2, 1, 0, 否, 是, 否, 不存在, [1/1, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":16,"p":3,"b":2,"q":3}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(16, 3, 2, 3, 是, 是, 是, [16, 1], [1/2, 1])
第二批擴展核對=(16, 3, 2, 3, 是, 是, 是, [16, 1], [1/2, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":17,"p":4,"b":3,"q":0}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(17, 4, 3, 0, 否, 是, 否, 不存在, [1/3, 1])
第二批擴展核對=(17, 4, 3, 0, 否, 是, 否, 不存在, [1/3, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":18,"p":5,"b":4,"q":3}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(18, 5, 4, 3, 否, 是, 否, 不存在, [1/4, 1])
第二批擴展核對=(18, 5, 4, 3, 否, 是, 否, 不存在, [1/4, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":19,"p":0,"b":5,"q":0}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(19, 0, 5, 0, 是, 是, 是, [19, 1], [1/5, 1])
第二批擴展核對=(19, 0, 5, 0, 是, 是, 是, [19, 1], [1/5, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":20,"p":1,"b":6,"q":3}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(20, 1, 6, 3, 是, 否, 否, [20, 1], 不存在)
第二批擴展核對=(20, 1, 6, 3, 是, 否, 否, [20, 1], 不存在)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":21,"p":2,"b":7,"q":0}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(21, 2, 7, 0, 否, 是, 否, 不存在, [1/7, 1])
第二批擴展核對=(21, 2, 7, 0, 否, 是, 否, 不存在, [1/7, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":22,"p":3,"b":1,"q":3}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(22, 3, 1, 3, 是, 是, 是, [22, 1], [1/1, 1])
第二批擴展核對=(22, 3, 1, 3, 是, 是, 是, [22, 1], [1/1, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":23,"p":4,"b":2,"q":0}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(23, 4, 2, 0, 否, 是, 否, 不存在, [1/2, 1])
第二批擴展核對=(23, 4, 2, 0, 否, 是, 否, 不存在, [1/2, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":24,"p":5,"b":3,"q":3}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(24, 5, 3, 3, 否, 是, 否, 不存在, [1/3, 1])
第二批擴展核對=(24, 5, 3, 3, 否, 是, 否, 不存在, [1/3, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-monomial-class；資料={"a":25,"p":0,"b":4,"q":0}。請依 [a,p,b,q,bigO,bigOmega,theta,O_witness,Omega_witness] 欄序回答。
(25, 0, 4, 0, 是, 是, 是, [25, 1], [1/4, 1])
第二批擴展核對=(25, 0, 4, 0, 是, 是, 是, [25, 1], [1/4, 1])；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-monomial-class · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[0,1,0],"coeffs_g":[1,1,2,0]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([0, 1, 0], [1, 1, 2, 0], 1, 2, 是, 否, 否)
第二批擴展核對=([0, 1, 0], [1, 1, 2, 0], 1, 2, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[1,2,1],"coeffs_g":[1,2,0,1]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([1, 2, 1], [1, 2, 0, 1], 2, 3, 是, 否, 否)
第二批擴展核對=([1, 2, 1], [1, 2, 0, 1], 2, 3, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[2,3,0],"coeffs_g":[1,3,1,0]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([2, 3, 0], [1, 3, 1, 0], 1, 2, 是, 否, 否)
第二批擴展核對=([2, 3, 0], [1, 3, 1, 0], 1, 2, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[3,1,1],"coeffs_g":[1,4,2,1]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([3, 1, 1], [1, 4, 2, 1], 2, 3, 是, 否, 否)
第二批擴展核對=([3, 1, 1], [1, 4, 2, 1], 2, 3, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[4,2,0],"coeffs_g":[1,5,0,0]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([4, 2, 0], [1, 5, 0, 0], 1, 1, 是, 是, 是)
第二批擴展核對=([4, 2, 0], [1, 5, 0, 0], 1, 1, 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[5,3,1],"coeffs_g":[1,6,1,1]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([5, 3, 1], [1, 6, 1, 1], 2, 3, 是, 否, 否)
第二批擴展核對=([5, 3, 1], [1, 6, 1, 1], 2, 3, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[6,1,0],"coeffs_g":[1,7,2,0]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([6, 1, 0], [1, 7, 2, 0], 1, 2, 是, 否, 否)
第二批擴展核對=([6, 1, 0], [1, 7, 2, 0], 1, 2, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[7,2,1],"coeffs_g":[1,8,0,1]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([7, 2, 1], [1, 8, 0, 1], 2, 3, 是, 否, 否)
第二批擴展核對=([7, 2, 1], [1, 8, 0, 1], 2, 3, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[8,3,0],"coeffs_g":[1,9,1,0]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([8, 3, 0], [1, 9, 1, 0], 1, 2, 是, 否, 否)
第二批擴展核對=([8, 3, 0], [1, 9, 1, 0], 1, 2, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[9,1,1],"coeffs_g":[1,10,2,1]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([9, 1, 1], [1, 10, 2, 1], 2, 3, 是, 否, 否)
第二批擴展核對=([9, 1, 1], [1, 10, 2, 1], 2, 3, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[10,2,0],"coeffs_g":[1,11,0,0]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([10, 2, 0], [1, 11, 0, 0], 1, 1, 是, 是, 是)
第二批擴展核對=([10, 2, 0], [1, 11, 0, 0], 1, 1, 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[11,3,1],"coeffs_g":[1,12,1,1]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([11, 3, 1], [1, 12, 1, 1], 2, 3, 是, 否, 否)
第二批擴展核對=([11, 3, 1], [1, 12, 1, 1], 2, 3, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[12,1,0],"coeffs_g":[1,13,2,0]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([12, 1, 0], [1, 13, 2, 0], 1, 2, 是, 否, 否)
第二批擴展核對=([12, 1, 0], [1, 13, 2, 0], 1, 2, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[13,2,1],"coeffs_g":[1,14,0,1]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([13, 2, 1], [1, 14, 0, 1], 2, 3, 是, 否, 否)
第二批擴展核對=([13, 2, 1], [1, 14, 0, 1], 2, 3, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[14,3,0],"coeffs_g":[1,15,1,0]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([14, 3, 0], [1, 15, 1, 0], 1, 2, 是, 否, 否)
第二批擴展核對=([14, 3, 0], [1, 15, 1, 0], 1, 2, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[15,1,1],"coeffs_g":[1,16,2,1]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([15, 1, 1], [1, 16, 2, 1], 2, 3, 是, 否, 否)
第二批擴展核對=([15, 1, 1], [1, 16, 2, 1], 2, 3, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[16,2,0],"coeffs_g":[1,17,0,0]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([16, 2, 0], [1, 17, 0, 0], 1, 1, 是, 是, 是)
第二批擴展核對=([16, 2, 0], [1, 17, 0, 0], 1, 1, 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[17,3,1],"coeffs_g":[1,18,1,1]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([17, 3, 1], [1, 18, 1, 1], 2, 3, 是, 否, 否)
第二批擴展核對=([17, 3, 1], [1, 18, 1, 1], 2, 3, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[18,1,0],"coeffs_g":[1,19,2,0]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([18, 1, 0], [1, 19, 2, 0], 1, 2, 是, 否, 否)
第二批擴展核對=([18, 1, 0], [1, 19, 2, 0], 1, 2, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[19,2,1],"coeffs_g":[1,20,0,1]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([19, 2, 1], [1, 20, 0, 1], 2, 3, 是, 否, 否)
第二批擴展核對=([19, 2, 1], [1, 20, 0, 1], 2, 3, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[20,3,0],"coeffs_g":[1,21,1,0]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([20, 3, 0], [1, 21, 1, 0], 1, 2, 是, 否, 否)
第二批擴展核對=([20, 3, 0], [1, 21, 1, 0], 1, 2, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[21,1,1],"coeffs_g":[1,22,2,1]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([21, 1, 1], [1, 22, 2, 1], 2, 3, 是, 否, 否)
第二批擴展核對=([21, 1, 1], [1, 22, 2, 1], 2, 3, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[22,2,0],"coeffs_g":[1,23,0,0]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([22, 2, 0], [1, 23, 0, 0], 1, 1, 是, 是, 是)
第二批擴展核對=([22, 2, 0], [1, 23, 0, 0], 1, 1, 是, 是, 是)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[23,3,1],"coeffs_g":[1,24,1,1]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([23, 3, 1], [1, 24, 1, 1], 2, 3, 是, 否, 否)
第二批擴展核對=([23, 3, 1], [1, 24, 1, 1], 2, 3, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-polynomial-degree；資料={"coeffs_f":[24,1,0],"coeffs_g":[1,25,2,0]}。請依 [coeffs_f,coeffs_g,degree_f,degree_g,bigO,bigOmega,theta] 欄序回答。
([24, 1, 0], [1, 25, 2, 0], 1, 2, 是, 否, 否)
第二批擴展核對=([24, 1, 0], [1, 25, 2, 0], 1, 2, 是, 否, 否)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-polynomial-degree · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":0,"b":1}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(0, 1, 1, 0, 是, 0n+1≤1(n+1) 對所有 n≥0)
第二批擴展核對=(0, 1, 1, 0, 是, 0n+1≤1(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":1,"b":3}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(1, 3, 4, 0, 是, 1n+3≤4(n+1) 對所有 n≥0)
第二批擴展核對=(1, 3, 4, 0, 是, 1n+3≤4(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":2,"b":5}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(2, 5, 7, 0, 是, 2n+5≤7(n+1) 對所有 n≥0)
第二批擴展核對=(2, 5, 7, 0, 是, 2n+5≤7(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":3,"b":7}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(3, 7, 10, 0, 是, 3n+7≤10(n+1) 對所有 n≥0)
第二批擴展核對=(3, 7, 10, 0, 是, 3n+7≤10(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":4,"b":9}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(4, 9, 13, 0, 是, 4n+9≤13(n+1) 對所有 n≥0)
第二批擴展核對=(4, 9, 13, 0, 是, 4n+9≤13(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":5,"b":11}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(5, 11, 16, 0, 是, 5n+11≤16(n+1) 對所有 n≥0)
第二批擴展核對=(5, 11, 16, 0, 是, 5n+11≤16(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":6,"b":13}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(6, 13, 19, 0, 是, 6n+13≤19(n+1) 對所有 n≥0)
第二批擴展核對=(6, 13, 19, 0, 是, 6n+13≤19(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":7,"b":15}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(7, 15, 22, 0, 是, 7n+15≤22(n+1) 對所有 n≥0)
第二批擴展核對=(7, 15, 22, 0, 是, 7n+15≤22(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":8,"b":17}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(8, 17, 25, 0, 是, 8n+17≤25(n+1) 對所有 n≥0)
第二批擴展核對=(8, 17, 25, 0, 是, 8n+17≤25(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":9,"b":19}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(9, 19, 28, 0, 是, 9n+19≤28(n+1) 對所有 n≥0)
第二批擴展核對=(9, 19, 28, 0, 是, 9n+19≤28(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":10,"b":21}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(10, 21, 31, 0, 是, 10n+21≤31(n+1) 對所有 n≥0)
第二批擴展核對=(10, 21, 31, 0, 是, 10n+21≤31(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":11,"b":23}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(11, 23, 34, 0, 是, 11n+23≤34(n+1) 對所有 n≥0)
第二批擴展核對=(11, 23, 34, 0, 是, 11n+23≤34(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":12,"b":25}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(12, 25, 37, 0, 是, 12n+25≤37(n+1) 對所有 n≥0)
第二批擴展核對=(12, 25, 37, 0, 是, 12n+25≤37(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":13,"b":27}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(13, 27, 40, 0, 是, 13n+27≤40(n+1) 對所有 n≥0)
第二批擴展核對=(13, 27, 40, 0, 是, 13n+27≤40(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":14,"b":29}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(14, 29, 43, 0, 是, 14n+29≤43(n+1) 對所有 n≥0)
第二批擴展核對=(14, 29, 43, 0, 是, 14n+29≤43(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":15,"b":31}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(15, 31, 46, 0, 是, 15n+31≤46(n+1) 對所有 n≥0)
第二批擴展核對=(15, 31, 46, 0, 是, 15n+31≤46(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":16,"b":33}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(16, 33, 49, 0, 是, 16n+33≤49(n+1) 對所有 n≥0)
第二批擴展核對=(16, 33, 49, 0, 是, 16n+33≤49(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":17,"b":35}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(17, 35, 52, 0, 是, 17n+35≤52(n+1) 對所有 n≥0)
第二批擴展核對=(17, 35, 52, 0, 是, 17n+35≤52(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":18,"b":37}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(18, 37, 55, 0, 是, 18n+37≤55(n+1) 對所有 n≥0)
第二批擴展核對=(18, 37, 55, 0, 是, 18n+37≤55(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":19,"b":39}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(19, 39, 58, 0, 是, 19n+39≤58(n+1) 對所有 n≥0)
第二批擴展核對=(19, 39, 58, 0, 是, 19n+39≤58(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":20,"b":41}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(20, 41, 61, 0, 是, 20n+41≤61(n+1) 對所有 n≥0)
第二批擴展核對=(20, 41, 61, 0, 是, 20n+41≤61(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":21,"b":43}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(21, 43, 64, 0, 是, 21n+43≤64(n+1) 對所有 n≥0)
第二批擴展核對=(21, 43, 64, 0, 是, 21n+43≤64(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":22,"b":45}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(22, 45, 67, 0, 是, 22n+45≤67(n+1) 對所有 n≥0)
第二批擴展核對=(22, 45, 67, 0, 是, 22n+45≤67(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":23,"b":47}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(23, 47, 70, 0, 是, 23n+47≤70(n+1) 對所有 n≥0)
第二批擴展核對=(23, 47, 70, 0, 是, 23n+47≤70(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-linear-witness；資料={"a":24,"b":49}。請依 [a,b,C,N,valid,witness_inequality] 欄序回答。
(24, 49, 73, 0, 是, 24n+49≤73(n+1) 對所有 n≥0)
第二批擴展核對=(24, 49, 73, 0, 是, 24n+49≤73(n+1) 對所有 n≥0)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-linear-witness · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":0,"q":1,"bound":0}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(0, 1, 0, [[0, 1, 0]], 否, [是, 否, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(0, 1, 0, [[0, 1, 0]], 否, [是, 否, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":1,"q":3,"bound":1}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(1, 3, 1, [[0, 0, 0], [1, 1, 1]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(1, 3, 1, [[0, 0, 0], [1, 1, 1]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":2,"q":5,"bound":2}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(2, 5, 2, [[0, 0, 0], [1, 1, 1], [2, 4, 32]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(2, 5, 2, [[0, 0, 0], [1, 1, 1], [2, 4, 32]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":3,"q":1,"bound":3}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(3, 1, 3, [[0, 0, 0], [1, 1, 1], [2, 8, 2], [3, 27, 3]], 否, [否, 是, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(3, 1, 3, [[0, 0, 0], [1, 1, 1], [2, 8, 2], [3, 27, 3]], 否, [否, 是, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":4,"q":3,"bound":4}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(4, 3, 4, [[0, 0, 0], [1, 1, 1], [2, 16, 8], [3, 81, 27], [4, 256, 64]], 否, [否, 是, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(4, 3, 4, [[0, 0, 0], [1, 1, 1], [2, 16, 8], [3, 81, 27], [4, 256, 64]], 否, [否, 是, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":5,"q":5,"bound":5}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(5, 5, 5, [[0, 0, 0], [1, 1, 1], [2, 32, 32], [3, 243, 243], [4, 1024, 1024], [5, 3125, 3125]], 是, [是, 是, 是], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(5, 5, 5, [[0, 0, 0], [1, 1, 1], [2, 32, 32], [3, 243, 243], [4, 1024, 1024], [5, 3125, 3125]], 是, [是, 是, 是], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":0,"q":1,"bound":6}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(0, 1, 6, [[0, 1, 0], [1, 1, 1], [2, 1, 2], [3, 1, 3], [4, 1, 4], [5, 1, 5], [6, 1, 6]], 否, [是, 否, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(0, 1, 6, [[0, 1, 0], [1, 1, 1], [2, 1, 2], [3, 1, 3], [4, 1, 4], [5, 1, 5], [6, 1, 6]], 否, [是, 否, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":1,"q":3,"bound":0}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(1, 3, 0, [[0, 0, 0]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(1, 3, 0, [[0, 0, 0]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":2,"q":5,"bound":1}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(2, 5, 1, [[0, 0, 0], [1, 1, 1]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(2, 5, 1, [[0, 0, 0], [1, 1, 1]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":3,"q":1,"bound":2}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(3, 1, 2, [[0, 0, 0], [1, 1, 1], [2, 8, 2]], 否, [否, 是, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(3, 1, 2, [[0, 0, 0], [1, 1, 1], [2, 8, 2]], 否, [否, 是, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":4,"q":3,"bound":3}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(4, 3, 3, [[0, 0, 0], [1, 1, 1], [2, 16, 8], [3, 81, 27]], 否, [否, 是, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(4, 3, 3, [[0, 0, 0], [1, 1, 1], [2, 16, 8], [3, 81, 27]], 否, [否, 是, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":5,"q":5,"bound":4}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(5, 5, 4, [[0, 0, 0], [1, 1, 1], [2, 32, 32], [3, 243, 243], [4, 1024, 1024]], 是, [是, 是, 是], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(5, 5, 4, [[0, 0, 0], [1, 1, 1], [2, 32, 32], [3, 243, 243], [4, 1024, 1024]], 是, [是, 是, 是], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":0,"q":1,"bound":5}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(0, 1, 5, [[0, 1, 0], [1, 1, 1], [2, 1, 2], [3, 1, 3], [4, 1, 4], [5, 1, 5]], 否, [是, 否, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(0, 1, 5, [[0, 1, 0], [1, 1, 1], [2, 1, 2], [3, 1, 3], [4, 1, 4], [5, 1, 5]], 否, [是, 否, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":1,"q":3,"bound":6}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(1, 3, 6, [[0, 0, 0], [1, 1, 1], [2, 2, 8], [3, 3, 27], [4, 4, 64], [5, 5, 125], [6, 6, 216]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(1, 3, 6, [[0, 0, 0], [1, 1, 1], [2, 2, 8], [3, 3, 27], [4, 4, 64], [5, 5, 125], [6, 6, 216]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":2,"q":5,"bound":0}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(2, 5, 0, [[0, 0, 0]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(2, 5, 0, [[0, 0, 0]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":3,"q":1,"bound":1}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(3, 1, 1, [[0, 0, 0], [1, 1, 1]], 是, [否, 是, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(3, 1, 1, [[0, 0, 0], [1, 1, 1]], 是, [否, 是, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":4,"q":3,"bound":2}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(4, 3, 2, [[0, 0, 0], [1, 1, 1], [2, 16, 8]], 否, [否, 是, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(4, 3, 2, [[0, 0, 0], [1, 1, 1], [2, 16, 8]], 否, [否, 是, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":5,"q":5,"bound":3}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(5, 5, 3, [[0, 0, 0], [1, 1, 1], [2, 32, 32], [3, 243, 243]], 是, [是, 是, 是], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(5, 5, 3, [[0, 0, 0], [1, 1, 1], [2, 32, 32], [3, 243, 243]], 是, [是, 是, 是], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":0,"q":1,"bound":4}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(0, 1, 4, [[0, 1, 0], [1, 1, 1], [2, 1, 2], [3, 1, 3], [4, 1, 4]], 否, [是, 否, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(0, 1, 4, [[0, 1, 0], [1, 1, 1], [2, 1, 2], [3, 1, 3], [4, 1, 4]], 否, [是, 否, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":1,"q":3,"bound":5}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(1, 3, 5, [[0, 0, 0], [1, 1, 1], [2, 2, 8], [3, 3, 27], [4, 4, 64], [5, 5, 125]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(1, 3, 5, [[0, 0, 0], [1, 1, 1], [2, 2, 8], [3, 3, 27], [4, 4, 64], [5, 5, 125]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":2,"q":5,"bound":6}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(2, 5, 6, [[0, 0, 0], [1, 1, 1], [2, 4, 32], [3, 9, 243], [4, 16, 1024], [5, 25, 3125], [6, 36, 7776]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(2, 5, 6, [[0, 0, 0], [1, 1, 1], [2, 4, 32], [3, 9, 243], [4, 16, 1024], [5, 25, 3125], [6, 36, 7776]], 是, [是, 否, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":3,"q":1,"bound":0}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(3, 1, 0, [[0, 0, 0]], 是, [否, 是, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(3, 1, 0, [[0, 0, 0]], 是, [否, 是, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":4,"q":3,"bound":1}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(4, 3, 1, [[0, 0, 0], [1, 1, 1]], 是, [否, 是, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(4, 3, 1, [[0, 0, 0], [1, 1, 1]], 是, [否, 是, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":5,"q":5,"bound":2}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(5, 5, 2, [[0, 0, 0], [1, 1, 1], [2, 32, 32]], 是, [是, 是, 是], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(5, 5, 2, [[0, 0, 0], [1, 1, 1], [2, 32, 32]], 是, [是, 是, 是], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate
明示非負函數族。操作=asymptotic-benchmark-insufficiency；資料={"p":0,"q":1,"bound":3}。請依 [p,q,bound,samples,sample_le,asymptotic_class,samples_sufficient,boundary] 欄序回答。
(0, 1, 3, [[0, 1, 0], [1, 1, 1], [2, 1, 2], [3, 1, 3]], 否, [是, 否, 否], 否, 有限benchmark不足以證全尾段)
第二批擴展核對=(0, 1, 3, [[0, 1, 0], [1, 1, 1], [2, 1, 2], [3, 1, 3]], 否, [是, 否, 否], 否, 有限benchmark不足以證全尾段)；依完整明示資料重算；有限／合成資料核對不是一般形式證明；全尾段量化；有限benchmark不證Big-O或Theta；成本模型必須固定。
漸近資源界 · qf-ext19-asymptotic-benchmark-insufficiency · candidate