{"id":"W2163325295","doi":"10.2478/v10037-006-0022-z","title":"Recognizing Chordal Graphs: Lex BFS and MCS1","year":2006,"lang":"en","type":"article","venue":"Formalized Mathematics","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":7,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Alberta","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Chordal graph; Mathematics; Computer science; Combinatorics; Graph","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.0006102479,0.0006794701,0.0006400888,0.001301199,0.0008340548,0.001780967,0.001231406,0.0008038584,0.00584332],"category_scores_gemma":[0.005245468,0.0003459266,0.0006063241,0.002314643,0.001371094,0.004924473,0.002021878,0.001334332,0.00116248],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.001453297,"about_ca_system_score_gemma":0.001403623,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.008532653,"about_ca_topic_score_gemma":0.01116588,"domain_scores_codex":[0.99905,0.0001579659,0.00008771312,0.0002310367,0.0003370948,0.0001363249],"domain_scores_gemma":[0.997624,0.0009149356,0.0002336536,0.0005793564,0.0005076242,0.0001404382],"domain_codex":null,"domain_gemma":null,"domain_candidate":null,"domain_consensus":null,"study_design_codex":"design_other","study_design_gemma":"theoretical_or_conceptual","study_design_scores_codex":[0.0004930281,0.0001815685,0.003291084,0.0004102023,0.00004596644,0.0002723,0.0008155603,0.05398605,0.01917294,0.4266188,0.0164247,0.4782879],"study_design_scores_gemma":[0.00005566698,0.00008461498,0.001000417,0.0000658565,0.0000304206,0.0003386104,0.0004943127,0.2127464,0.01899305,0.7418328,0.02429921,0.00005876377],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.05035382,0.0002652491,0.9345851,0.0007009972,0.00006139026,0.0001658052,0.001465226,0.002060816,0.01034162],"genre_scores_gemma":[0.3017494,0.0002374171,0.6878146,0.0002167898,0.00006156603,0.0001463238,0.003418519,0.0002949593,0.006060479],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.008532653,"threshold_uncertainty_score":0.01954782,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.00848656058205855,"score_gpt":0.2081372526272673,"score_spread":0.1996506920452087,"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."}}