{"id":"W2156111468","doi":"10.1016/j.dam.2005.05.003","title":"On the complexity of unfrozen problems","year":2005,"lang":"en","type":"article","venue":"Discrete Applied Mathematics","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":8,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Alberta","funders":"","keywords":"Monotonic function; Mathematics; Monotone polygon; Property (philosophy); Sequence (biology); Set (abstract data type); Combinatorics; Point (geometry); Discrete mathematics; Computer science; Mathematical analysis; Geometry","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.0001837112,0.00008917031,0.0001178837,0.00003606918,0.00007714953,0.00004354262,0.0003646061,0.00002834392,0.0001198324],"category_scores_gemma":[0.00002077029,0.00005816286,0.0000394629,0.0001638318,0.000142361,0.00006929346,0.00007723573,0.00007763896,0.00007601652],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00001688105,"about_ca_system_score_gemma":0.00001762017,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000001193035,"about_ca_topic_score_gemma":0.000005890047,"domain_scores_codex":[0.9993067,0.0000102428,0.0002272536,0.0001283804,0.0002152692,0.0001121425],"domain_scores_gemma":[0.999245,0.0001252096,0.0001398955,0.0004301748,0.00002939911,0.00003031131],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[8.275935e-7,0.00003400608,0.000001868164,0.00001660237,0.000007250022,5.129133e-8,0.00105722,0.001901975,0.0004892768,0.9915835,0.0002892657,0.004618219],"study_design_scores_gemma":[0.0003120876,0.00003253171,0.0002315538,0.0000416836,0.00001054408,0.000004306587,0.000236909,0.443492,0.006601967,0.5479721,0.0008671219,0.000197169],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.003511341,0.000003860621,0.9285735,0.002721523,0.00002795672,0.0003032696,0.000003512493,0.0000832864,0.06477178],"genre_scores_gemma":[0.7833481,0.000003453578,0.2162842,0.0002603626,0.00001378882,0.00001860206,0.000002371068,0.000005987401,0.00006309571],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.7798368,"threshold_uncertainty_score":0.2371813,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03838997093697345,"score_gpt":0.2434952825889067,"score_spread":0.2051053116519333,"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."}}