{"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":"metacan-v3-hybrid-931329e0061c","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.003060912,0.000837214,0.00115991,0.001655046,0.001636961,0.003491878,0.002789124,0.003273021,0.02699859],"category_scores_gemma":[0.01651488,0.0005511391,0.002017539,0.002073958,0.004303632,0.01232049,0.005132012,0.006486883,0.002252101],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00132522,"about_ca_system_score_gemma":0.001587694,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.001216627,"about_ca_topic_score_gemma":0.0009218807,"domain_scores_codex":[0.9969999,0.0008585029,0.0002325831,0.0007096303,0.0007069905,0.0004922498],"domain_scores_gemma":[0.9901428,0.006395643,0.000411378,0.001321426,0.001372544,0.0003562123],"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.00002595792,0.00002004803,0.0001171694,0.00004360711,0.000008754004,0.00005540985,0.000106231,0.0004959173,0.0003641516,0.9908265,0.002359492,0.005576746],"study_design_scores_gemma":[0.00001974247,0.00002056917,0.0001591514,0.00001476197,0.000008423059,0.0001153529,0.00003787625,0.004308994,0.0003344224,0.9900614,0.004906612,0.0000127837],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":"theoretical_or_conceptual","genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.03546276,0.001307045,0.7769881,0.01091405,0.001762865,0.0001240585,0.0008137489,0.0007345967,0.1718928],"genre_scores_gemma":[0.7308475,0.001607535,0.2156896,0.008258612,0.002259923,0.0004353628,0.0008569717,0.00058401,0.03946047],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.02699859,"threshold_uncertainty_score":0.09031928,"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."}}