{"id":"W2076508696","doi":"10.1016/j.tcs.2005.11.008","title":"Efficient transitive closure of sparse matrices over closed semirings","year":2005,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Constraint Satisfaction and Optimization","field":"Computer Science","cited_by":34,"is_retracted":false,"has_abstract":false,"ca_institutions":"University of Toronto","funders":"","keywords":"Transitive closure; Semiring; Transitive relation; Closure (psychology); Transitive reduction; Kleene algebra; Mathematics; Data structure; Sparse matrix; Combinatorics; Computer science; Discrete mathematics; Algorithm; Programming language","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":[],"consensus_categories":[],"category_scores_codex":[0.0008126767,0.0001463574,0.0001842729,0.0002312853,0.0001835509,0.0001497734,0.0009638992,0.00004937944,0.0001240719],"category_scores_gemma":[0.0000320135,0.000125394,0.00007964885,0.001147289,0.001553694,0.0003340972,0.0002527258,0.0001349971,0.00003525054],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00005521308,"about_ca_system_score_gemma":0.0001155367,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00000258462,"about_ca_topic_score_gemma":0.00000105098,"domain_scores_codex":[0.9981048,0.00006959432,0.000311823,0.0004996391,0.0006662791,0.0003479296],"domain_scores_gemma":[0.9989286,0.0001566661,0.0001021346,0.0004349794,0.000203384,0.000174258],"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.000009148631,0.0000697478,0.0001909454,0.000006499822,0.000003860387,0.000002872699,0.001090461,0.02942936,0.001210714,0.9000697,0.00001977804,0.06789695],"study_design_scores_gemma":[0.000328949,0.00008352429,0.007352962,0.00002824567,0.000005519383,0.00002132044,0.00000765453,0.9817249,0.007175139,0.003031502,0.00007446316,0.0001658375],"study_design_candidate":"simulation_or_modeling","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.2190309,0.00001742147,0.7776124,0.0008294412,0.0001985438,0.0001230227,0.000002123062,0.0001095626,0.002076577],"genre_scores_gemma":[0.823087,0.000003828939,0.1765401,0.0002989827,0.00005928176,0.000001743701,3.358134e-7,0.000004015798,0.000004651895],"genre_candidate":"empirical","genre_consensus":null,"teacher_disagreement_score":0.9522955,"threshold_uncertainty_score":0.5724649,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.005652773324240412,"score_gpt":0.2308221720461556,"score_spread":0.2251693987219152,"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."}}