{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.004186637,0.001190619,0.001043241,0.001193695,0.0008706159,0.00277427,0.001821884,0.0009649019,0.003229886],"category_scores_gemma":[0.01289574,0.0009373017,0.001567008,0.001308823,0.002382729,0.004003115,0.00331245,0.003627971,0.0004706669],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001854039,"about_ca_system_score_gemma":0.003120628,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.004744274,"about_ca_topic_score_gemma":0.005132401,"domain_scores_codex":[0.9959515,0.001627367,0.0002249151,0.0007109918,0.001074893,0.0004103137],"domain_scores_gemma":[0.9924451,0.005677654,0.0003577399,0.0006007098,0.0007103193,0.0002084823],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0001034248,0.00009327799,0.0007555917,0.0002892514,0.00006896074,0.0001741944,0.0002090744,0.5808042,0.00265061,0.3444127,0.00217104,0.06826771],"study_design_scores_gemma":[0.00002099955,0.0000364974,0.00007360271,0.00003881947,0.00001585285,0.0000474383,0.00002768129,0.8075411,0.001732455,0.1865903,0.003858731,0.00001657193],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.006786654,0.0001995545,0.9888297,0.0002014517,0.00003234108,0.0000634336,0.00009073568,0.000206895,0.00358928],"genre_scores_gemma":[0.3539086,0.0006676473,0.6389371,0.0003619556,0.00009030163,0.0004145786,0.0004726272,0.0004107633,0.004736395],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.004744274,"threshold_uncertainty_score":0.02214128,"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."}}