{"id":"W2146441371","doi":"10.1142/s0129054114400103","title":"NONDETERMINISTIC STATE COMPLEXITY OF PROPORTIONAL REMOVALS","year":2014,"lang":"en","type":"article","venue":"International Journal of Foundations of Computer Science","topic":"semigroups and automata theory","field":"Computer Science","cited_by":3,"is_retracted":false,"has_abstract":true,"ca_institutions":"Queen's University; University of Waterloo","funders":"","keywords":"Nondeterministic algorithm; Monomial; Mathematics; Combinatorics; Upper and lower bounds; Time complexity; Polynomial; State (computer science); PSPACE; Matching (statistics); Discrete mathematics; Constant (computer programming); Regular language; NP; Computational complexity theory; Automaton; Computer science; Algorithm; Turing machine; Theoretical computer science","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.00151768,0.0004442516,0.0009405777,0.0007514149,0.001486175,0.003393395,0.001918717,0.001083451,0.007981237],"category_scores_gemma":[0.0104645,0.0004877132,0.001852229,0.0009093154,0.002504217,0.005610401,0.002701492,0.002388545,0.0007846424],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001857528,"about_ca_system_score_gemma":0.002469251,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001772463,"about_ca_topic_score_gemma":0.001812879,"domain_scores_codex":[0.9964538,0.0005422122,0.0002877538,0.0008683634,0.001030683,0.0008173151],"domain_scores_gemma":[0.9865031,0.008910816,0.0009319554,0.002436272,0.0007805402,0.0004372567],"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.001900005,0.0004579293,0.006564883,0.0005824356,0.0001174698,0.0004741623,0.001323825,0.1732797,0.0513704,0.6769068,0.005394259,0.08162808],"study_design_scores_gemma":[0.00008590267,0.0001418603,0.001673856,0.00002306197,0.00009776928,0.0002433137,0.0001506989,0.3631086,0.03266059,0.5975001,0.004221879,0.00009233051],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"empirical","genre_gemma":"empirical","genre_scores_codex":[0.7582104,0.0002656569,0.2188778,0.001383861,0.00009101152,0.0001750306,0.0008339919,0.001229224,0.01893307],"genre_scores_gemma":[0.9572499,0.0001667304,0.03319369,0.0001685999,0.00007457892,0.0001580042,0.000745241,0.0002914869,0.007951591],"genre_candidate":"empirical","genre_consensus":"empirical","teacher_disagreement_score":0.007981237,"threshold_uncertainty_score":0.0266999,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.0290263637453758,"score_gpt":0.3105459000499086,"score_spread":0.2815195363045328,"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."}}