{"id":"W1983531822","doi":"10.1007/s11590-014-0828-5","title":"On the empirical time complexity of finding optimal solutions vs proving optimality for Euclidean TSP instances","year":2014,"lang":"en","type":"article","venue":"Optimization Letters","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of British Columbia","funders":"","keywords":"Computational intelligence; Euclidean geometry; Mathematical optimization; Mathematics; Computer science; Artificial intelligence","routes":{"ca_aff":true,"ca_fund":false,"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":[],"consensus_categories":[],"category_scores_codex":[0.0007851807,0.0001697378,0.000210136,0.0001391672,0.0005220009,0.0001386977,0.0004606718,0.00006139755,0.0001594937],"category_scores_gemma":[0.0004428769,0.000141202,0.0001198493,0.0004081276,0.0002547044,0.0004602297,0.0001001213,0.0001284276,0.00001178116],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00007733026,"about_ca_system_score_gemma":0.0000557331,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000629441,"about_ca_topic_score_gemma":0.000003174045,"domain_scores_codex":[0.9984058,0.0002151725,0.0004261091,0.0003756727,0.0002875071,0.0002897501],"domain_scores_gemma":[0.9984177,0.0006240058,0.0003160051,0.0004229198,0.0001525475,0.00006680866],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"simulation_or_modeling","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00002101281,0.00003761205,0.0001807728,0.00001167745,0.00001496064,1.04332e-7,0.0002835051,0.9287043,0.0002541658,0.06650166,0.003194901,0.0007953268],"study_design_scores_gemma":[0.0003563478,0.00008203961,0.0007122887,0.00002831266,0.00001066827,0.000002054321,0.00002125568,0.9974992,0.0002697782,0.0003839213,0.0004688007,0.0001653171],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"methods","genre_gemma":"methods","genre_scores_codex":[0.007454974,0.00000248268,0.9680938,0.02233171,0.0002186329,0.0004702686,0.00001456465,0.000139045,0.001274544],"genre_scores_gemma":[0.3891044,0.000003128288,0.6072199,0.003401222,0.0000721105,0.00005331335,0.00004243936,0.00001783361,0.0000856284],"genre_candidate":"methods","genre_consensus":"methods","teacher_disagreement_score":0.3816495,"threshold_uncertainty_score":0.5758051,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.1034845285315682,"score_gpt":0.2886102378094453,"score_spread":0.1851257092778771,"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."}}