{"id":"W320568238","doi":"10.1007/s00224-005-1279-2","title":"Dichotomies in the Complexity of Solving Systems of Equations over Finite Semigroups","year":2005,"lang":"en","type":"article","venue":"Theory of Computing Systems","topic":"Numerical Methods and Algorithms","field":"Computer Science","cited_by":4,"is_retracted":false,"has_abstract":false,"ca_institutions":"McGill University; Université Laval","funders":"","keywords":"Semigroup; Mathematics; Monoid; Commutative property; Constraint satisfaction problem; Dichotomy; Polynomial; Domain (mathematical analysis); Finite set; Special classes of semigroups; Pure mathematics; Discrete mathematics; Mathematical analysis","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.004487166,0.0008229017,0.00185909,0.002077388,0.001957615,0.006781885,0.002071132,0.002590131,0.00971865],"category_scores_gemma":[0.04003581,0.0009846268,0.001750517,0.001589909,0.005551072,0.01654587,0.004211955,0.006430801,0.0005443432],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.003395755,"about_ca_system_score_gemma":0.002081207,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001539025,"about_ca_topic_score_gemma":0.001214513,"domain_scores_codex":[0.9935348,0.002268934,0.0003739891,0.0007929511,0.002486847,0.0005424823],"domain_scores_gemma":[0.9178762,0.07425249,0.002105483,0.002378231,0.001700365,0.001687224],"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.0002168291,0.0001140717,0.001122794,0.0001778797,0.00003554214,0.000102576,0.0006080059,0.0205495,0.0006281121,0.9665403,0.002011696,0.007892749],"study_design_scores_gemma":[0.00003290737,0.00001518602,0.0002971387,0.00001318896,0.000007742308,0.00003207819,0.00006854914,0.06894277,0.0001475034,0.9300138,0.0004182555,0.00001099263],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.5631189,0.003130841,0.3513575,0.02093002,0.0003330667,0.0001662809,0.001009693,0.0005790977,0.05937456],"genre_scores_gemma":[0.9615524,0.000943838,0.02909102,0.0005700862,0.0005893275,0.0002378027,0.0006220201,0.000134007,0.006259647],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.00971865,"threshold_uncertainty_score":0.03251213,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.06024260000202616,"score_gpt":0.3048558017418451,"score_spread":0.244613201739819,"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."}}