{"schema_version":"ocme-site-results-v1","locale":"en","page_type":"derivations","facts":{"questions":36000,"reviewed":36000,"display_candidates":0,"knowledge":302,"guides":299,"paths":59,"batches":360,"families":1441,"atlas":302,"core":80,"evidence":9,"formal_evidence":5,"formal_subjects":4,"lean_files":6,"lean_toolchain":"leanprover/lean4:v4.30.0","question_state":"candidate","english_state":"ai_candidate","question_Lean":"NOT_RUN","canonical_truth_promotion":false},"filters":{"q":"mko-optimization-problem"},"kind":"guides","total":1,"pages":1,"page":1,"entries":[{"id":"derivation-mko-optimization-problem-01","title":{"zh-Hant":"最佳化問題：在九個整數候選中先判可行、再比較目標值","en":"Optimization problem: feasibility first, then objective values, over nine integer candidates"},"summary":{"zh-Hant":"候選集合 C={0,1,2}² 共九點，限制 x+2y≥3，目標函數 f(x,y)=x+y。以「先判定可行性、再逐一比較」的掃描演算法求最小值，並以不變量證明結果：最優值 m=2，argmin={(0,2),(1,1)}（兩個平手）；說明 (0,0) 與 (2,0) 雖然目標值不大於 2 卻不能入選；求最大值；並說明同一限制在實數非負象限上的最小值為 3/2，其達到點 (0,3/2) 不在宣告的有限候選集合中。","en":"The candidate set C={0,1,2}² has nine points, the constraint is x+2y≥3 and the objective is f(x,y)=x+y. Minimize with a scan algorithm that first decides feasibility and then compares values one by one, and prove the result with an invariant: optimal value m=2, argmin={(0,2),(1,1)} (a tie of two); explain why (0,0) and (2,0) are excluded although their objective values do not exceed 2; find the maximum; and show that under the same constraint over the real nonnegative quadrant, the minimum is 3/2, attained at (0,3/2), which is not in the declared finite candidate set."},"mko_ids":["mko-optimization-problem"]}],"title":"Concept derivation guides"}