{"id":"W4410091070","doi":"10.1016/j.tcs.2025.115280","title":"Maximal universal width of an AFA is NP-hard","year":2025,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":1,"is_retracted":false,"has_abstract":false,"ca_institutions":"Queen's University","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Combinatorics; Mathematics; Computer science; Algorithm; Discrete mathematics","routes":{"ca_aff":true,"ca_fund":true,"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.002007623,0.001451742,0.003063446,0.001215869,0.003199714,0.007482368,0.003589297,0.002921603,0.01143613],"category_scores_gemma":[0.01298668,0.00178383,0.003438844,0.002124833,0.002927754,0.01606903,0.004356355,0.005823614,0.001245769],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.002448266,"about_ca_system_score_gemma":0.002296525,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.002271458,"about_ca_topic_score_gemma":0.003241488,"domain_scores_codex":[0.9974769,0.0003377472,0.0002473357,0.0009638812,0.0003452308,0.0006289834],"domain_scores_gemma":[0.9788629,0.01656619,0.001018239,0.001374402,0.0006998933,0.001478261],"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.004566738,0.001329812,0.0145013,0.003948234,0.001045803,0.00173157,0.004693275,0.1077456,0.04023916,0.6116365,0.03382067,0.1747413],"study_design_scores_gemma":[0.0002696952,0.0001514686,0.00108392,0.0001597887,0.0003243421,0.0008631229,0.001041742,0.1016866,0.008913507,0.87856,0.006866231,0.00007968496],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.6607831,0.002028217,0.2755311,0.009858514,0.0004576556,0.0004299475,0.006802767,0.004936641,0.03917208],"genre_scores_gemma":[0.91591,0.0006860005,0.07037992,0.0009359143,0.0003737748,0.0002676251,0.002547998,0.0006388105,0.008259919],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.01143613,"threshold_uncertainty_score":0.03825766,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.006597708026147521,"score_gpt":0.2374176688564213,"score_spread":0.2308199608302738,"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."}}