{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003902758,0.001036888,0.001948854,0.002443833,0.001991143,0.005893752,0.002901484,0.002215802,0.01153347],"category_scores_gemma":[0.03120684,0.0008549906,0.001493759,0.003118336,0.005459513,0.01468831,0.004663679,0.007726382,0.0007935113],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002874847,"about_ca_system_score_gemma":0.001553036,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002743904,"about_ca_topic_score_gemma":0.002715902,"domain_scores_codex":[0.9959609,0.001354525,0.0002135342,0.0005015325,0.001544427,0.00042505],"domain_scores_gemma":[0.9656445,0.02870548,0.001469644,0.00192309,0.001305464,0.0009517838],"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":[0.00013001,0.00007738533,0.000662442,0.0001841445,0.00003451015,0.00008366152,0.0002676296,0.03839554,0.0002726768,0.9385156,0.004439658,0.01693679],"study_design_scores_gemma":[0.00001509766,0.000007832786,0.0001305962,0.00001339478,0.000006745782,0.00002403131,0.00004385658,0.04939287,0.00008867498,0.9490485,0.001220117,0.000008474495],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.319847,0.007522875,0.5427045,0.02233583,0.0005696719,0.0002008697,0.001705384,0.0004595415,0.1046543],"genre_scores_gemma":[0.8586324,0.004353886,0.1104874,0.001087666,0.001017143,0.0002844187,0.001889941,0.0002950711,0.02195212],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.01153347,"threshold_uncertainty_score":0.03858328,"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."}}