{"id":"W4414001959","doi":"10.1016/j.tcs.2025.115537","title":"Succinct encodings of binary trees with application to AVL trees","year":2025,"lang":"en","type":"article","venue":"Theoretical Computer Science","topic":"Algorithms and Data Compression","field":"Computer Science","cited_by":0,"is_retracted":false,"has_abstract":true,"ca_institutions":"University of Waterloo","funders":"Natural Sciences and Engineering Research Council of Canada","keywords":"Weight-balanced tree; Binary tree; Binary number; Binary search tree; Mathematics; Random binary tree; Computer science; Combinatorics; Arithmetic","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":"codex-gemma-dda1882f352a","candidate_categories":[],"consensus_categories":[],"category_scores_codex":[0.0006871324,0.000159917,0.0002226381,0.0003248728,0.0002688663,0.0001875784,0.002705481,0.00003694193,0.000008689479],"category_scores_gemma":[0.00003268455,0.0001108759,0.00003714319,0.002171724,0.001065385,0.0005794465,0.001513841,0.0001069321,0.00001894715],"about_ca_system_candidate":false,"about_ca_system_consensus":false,"about_ca_system_score_codex":0.00003991554,"about_ca_system_score_gemma":0.0001473642,"about_ca_topic_candidate":false,"about_ca_topic_consensus":false,"about_ca_topic_score_codex":0.00001837781,"about_ca_topic_score_gemma":0.00000328494,"domain_scores_codex":[0.9980745,0.00004808922,0.0002573025,0.0007151376,0.0005512049,0.0003537351],"domain_scores_gemma":[0.9983037,0.0001888384,0.0000697478,0.00105267,0.0002094552,0.0001755949],"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.00002127275,0.00007197476,0.0002371831,0.000007350129,0.000003135082,0.000002783344,0.00020026,0.0005845967,0.00674274,0.9095429,0.0001357539,0.08245009],"study_design_scores_gemma":[0.0003286219,0.0005995078,0.01991982,0.0001615606,0.000007978855,0.00001084908,0.0000122131,0.9071655,0.02460145,0.04618914,0.0007453822,0.0002579872],"study_design_candidate":"theoretical_or_conceptual","study_design_consensus":null,"genre_codex":"methods","genre_gemma":"empirical","genre_scores_codex":[0.04936434,0.00002201525,0.9468206,0.001346654,0.0001652135,0.0002214712,0.000002445428,0.0001198482,0.001937377],"genre_scores_gemma":[0.7701979,0.000002086021,0.2293882,0.0003527316,0.00002812171,0.00001128136,9.384094e-7,0.000003195542,0.00001558722],"genre_candidate":"methods","genre_consensus":null,"teacher_disagreement_score":0.9065809,"threshold_uncertainty_score":0.5027503,"prediction_status":"machine_predicted_unvalidated"},"machine_scores":{"provisional":true,"baseline":true,"maturity_gate_passed":false,"score_opus":0.004659458754043663,"score_gpt":0.2441511637608993,"score_spread":0.2394917050068557,"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."}}