{"id":"W6966475010","doi":"10.4230/lipics.cp.2025.5","title":"Transition Dominance in Domain-Independent Dynamic Programming","year":2025,"lang":"en","type":"article","venue":"Monash University Research Portal (Monash University)","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Toronto","funders":"Natural Sciences and Engineering Research Council of Canada; Chinese University of Hong Kong","keywords":"Computation; Dynamic programming; Dominance (genetics); Transition (genetics); Heuristic; State (computer science)","routes":{"ca_aff":true,"ca_fund":true,"ca_venue":false,"about_ca":false,"invisible_to_affiliation_only":false},"retraction":null,"screen":null,"direct_labels":[],"prediction":{"model_version":"codex-gemma-dda1882f352a","candidate_categories":["metaepi_narrow"],"consensus_categories":[],"category_scores_codex":[0.0006138536,0.0001839947,0.0002213214,0.002229658,0.0005707408,0.0001155488,0.001039148,0.0001747982,0.0000656585],"category_scores_gemma":[0.00002519605,0.0002489708,0.0001255048,0.004034952,0.0002947185,0.001246614,0.0004631119,0.0006029871,0.00002769297],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.0007219065,"about_ca_system_score_gemma":0.0005312116,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.0003907745,"about_ca_topic_score_gemma":0.003204912,"domain_scores_codex":[0.9975281,0.0003718742,0.0001811834,0.0007179274,0.0005902507,0.000610675],"domain_scores_gemma":[0.9988759,0.0001281183,0.00007011815,0.0004540154,0.0002961686,0.0001756834],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"not_applicable","study_design_scores_codex":[0.0005767496,0.0009307363,0.02061471,0.0001595591,0.0001637757,0.01006249,0.003721863,0.005141683,0.001520196,0.768183,0.001345607,0.1875797],"study_design_scores_gemma":[0.0180907,0.0007437158,0.293775,0.001008089,0.00009811989,0.0001431584,0.0530139,0.1506113,0.000888037,0.01070468,0.4681534,0.002769968],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2880524,0.00006079471,0.6037883,0.004082724,0.0003010004,0.001203703,0.00002222,0.0003909122,0.102098],"genre_scores_gemma":[0.9796476,0.0001683747,0.008603203,0.00003922482,0.000007347017,6.78311e-7,0.00002238118,0.000007454135,0.01150375],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.7574783,"threshold_uncertainty_score":0.9999962,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.01283230100144341,"score_gpt":0.2579455366113462,"score_spread":0.2451132356099028,"validation_status":"score_only:v0-immature-baseline","note":"Baseline scores from an immature model (maturity gate not passed). Scores rank; they never assert a category."}}