{"id":"W2342108770","doi":"10.1016/j.tcs.2016.04.016","title":"An alternative proof for the equivalence of ∞-searcher and 2-searcher","year":2016,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Optimization and Search Problems","field":"Computer Science","cited_by":2,"is_retracted":false,"has_abstract":false,"ca_institutions":"Simon Fraser University","funders":"","keywords":"Visibility; Equivalence (formal languages); Conjecture; Computer science; Mathematics; Theoretical computer science; Discrete mathematics","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":["sts"],"consensus_categories":[],"category_scores_codex":[0.003094347,0.0001061861,0.0001255792,0.0001033842,0.0002881522,0.0002818125,0.002490771,0.00002849034,0.00003545347],"category_scores_gemma":[0.0002830948,0.00005159757,0.00003404623,0.0005059222,0.004976913,0.00105222,0.0007860721,0.00008895531,0.00000527327],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00002593558,"about_ca_system_score_gemma":0.0001432399,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.000003077435,"about_ca_topic_score_gemma":4.125854e-7,"domain_scores_codex":[0.9980159,0.0001613174,0.0001930519,0.0005185814,0.0006558916,0.0004552009],"domain_scores_gemma":[0.9972827,0.001277051,0.00005516636,0.0006857226,0.0004697454,0.0002296256],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"theoretical_or_conceptual","study_design_gemma":"simulation_or_modeling","study_design_scores_codex":[0.00001078294,0.00003600565,0.00003692339,0.000006977741,0.000003336855,4.483843e-7,0.0005384496,0.0001249886,0.002780168,0.834769,0.00001137086,0.1616816],"study_design_scores_gemma":[0.0003137644,0.0004813593,0.0004073298,0.00003108556,0.000001788503,0.000004955906,0.000009524446,0.794253,0.01683017,0.1874749,0.00009306255,0.00009908713],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.005767834,0.00002821281,0.9886567,0.004592671,0.0001143679,0.000431971,0.000002838187,0.00003992003,0.0003655079],"genre_scores_gemma":[0.8491029,0.00002182349,0.1505733,0.0001936538,0.0000499487,0.0000233399,9.0503e-8,0.000005191887,0.00002974187],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.843335,"threshold_uncertainty_score":0.997731,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.03990573698417783,"score_gpt":0.333457973346182,"score_spread":0.2935522363620042,"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."}}