{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.01440096,0.001907617,0.002599883,0.002824843,0.001598694,0.004003251,0.00437913,0.003522263,0.01142604],"category_scores_gemma":[0.1498153,0.001364261,0.002161084,0.004853383,0.00363943,0.009169211,0.003290903,0.005791498,0.001213276],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.004611815,"about_ca_system_score_gemma":0.006127188,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.01130089,"about_ca_topic_score_gemma":0.01440077,"domain_scores_codex":[0.9833129,0.008427324,0.001320763,0.002569763,0.002863918,0.001505373],"domain_scores_gemma":[0.6414585,0.3358505,0.004548404,0.0117564,0.00369008,0.002696077],"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.004362902,0.001520179,0.0306827,0.00154561,0.0006556922,0.0003701971,0.0004294333,0.7593332,0.002474235,0.03252139,0.03302695,0.1330776],"study_design_scores_gemma":[0.0003555145,0.0002833943,0.004393812,0.00007196223,0.000116993,0.000263611,0.0002839254,0.9676138,0.001120007,0.02425292,0.001210679,0.00003333752],"study_design_candidate":"simulation_or_modeling","study_design_consensus":"simulation_or_modeling","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7444499,0.01291261,0.1803985,0.02128839,0.001313579,0.000517686,0.008749088,0.004772059,0.02559821],"genre_scores_gemma":[0.9007234,0.001476565,0.08411177,0.001230419,0.0006298213,0.0002784849,0.006553142,0.001252168,0.003744205],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01440096,"threshold_uncertainty_score":0.07616049,"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."}}