{"id":"https://openalex.org/W4405117115","doi":"https://doi.org/10.4086/toc.2024.v020a007","title":"","display_name":"","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4405117115","doi":"https://doi.org/10.4086/toc.2024.v020a007"},"language":"en","primary_location":{"id":"doi:10.4086/toc.2024.v020a007","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2024.v020a007","pdf_url":"https://theoryofcomputing.org/articles/v020a007/v020a007.pdf","source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://theoryofcomputing.org/articles/v020a007/v020a007.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5037749474","display_name":"Ivan Hu","orcid":"https://orcid.org/0000-0003-4607-7700"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ivan Hu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5111961315","display_name":"Dieter van Melkebeek","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dieter van Melkebeek","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5084390618","display_name":"Andrew Morgan","orcid":"https://orcid.org/0000-0002-2765-0404"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Andrew Morgan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.38461538,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"20","issue":"1","first_page":"1","last_page":"62"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.23929999768733978,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10948","display_name":"Advanced Combinatorial Mathematics","score":0.23929999768733978,"subfield":{"id":"https://openalex.org/subfields/2607","display_name":"Discrete Mathematics and Combinatorics"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.13750000298023224,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.12349999696016312,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4989757537841797},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3258950710296631}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4989757537841797},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3258950710296631}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.4086/toc.2024.v020a007","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2024.v020a007","pdf_url":"https://theoryofcomputing.org/articles/v020a007/v020a007.pdf","source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.4086/toc.2024.v020a007","is_oa":true,"landing_page_url":"https://doi.org/10.4086/toc.2024.v020a007","pdf_url":"https://theoryofcomputing.org/articles/v020a007/v020a007.pdf","source":{"id":"https://openalex.org/S142665794","display_name":"Theory of Computing","issn_l":"1557-2862","issn":["1557-2862"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310315690","host_organization_name":"University of Chicago","host_organization_lineage":["https://openalex.org/P4310315690"],"host_organization_lineage_names":["University of Chicago"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory of Computing","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G5877555282","display_name":"Graduate Research Fellowship Program (GRFP)","funder_award_id":"2137424","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5953527776","display_name":"AF: Small: The Power of Randomness in Decision and Verification","funder_award_id":"2312540","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4405117115.pdf","grobid_xml":"https://content.openalex.org/works/W4405117115.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W4391375266","https://openalex.org/W1979597421","https://openalex.org/W2007980826","https://openalex.org/W2061531152","https://openalex.org/W3002753104","https://openalex.org/W2077600819","https://openalex.org/W2142036596","https://openalex.org/W2072657027"],"abstract_inverted_index":{"$":[0,1],"Given":[2],"a":[3,7,59,158,162,170,361,365,378,427],"rooted":[4],"tree":[5,156,194,312],"and":[6,81,238,328,371,377,411,417],"ranking":[8],"of":[9,17,19,32,36,49,66,91,96,123,139,165,173,180,209,211,253,257,272,276,285,293,309,322,325,335,339,364,391,405,435,438,445,452,468,485,492],"its":[10],"leaves,":[11],"what":[12],"is":[13,101,195,442],"the":[14,20,28,33,47,50,64,67,70,73,89,92,99,113,117,120,142,155,166,193,235,254,258,265,273,277,279,286,290,294,299,307,320,330,336,340,355,392,397,420,432,436,443,446,450,453,459,463,466,472,490,493],"minimum":[15],"number":[16,321],"inversions":[18,38],"leaves":[21,133],"that":[22,160,306],"can":[23,248],"be":[24,249,316],"attained":[25],"by":[26,225,282,344,353,471],"ordering":[27],"tree?":[29],"This":[30,168],"variation":[31],"well-known":[34],"problem":[35,68,100,232],"counting":[37,383],"in":[39,42,69,116,136,191,234,251,270,368,396,408,449,462,489],"arrays":[40],"originated":[41],"mathematical":[43],"psychology.":[44],"It":[45],"has":[46,157],"evaluation":[48],"Mann--Whitney":[51,447],"statistic":[52,448],"for":[53,76,94,103,125,178,206,230,313,382],"detecting":[54],"differences":[55],"between":[56,296],"distributions":[57],"as":[58,264,386,388,465,478],"special":[60],"case.":[61],"We":[62,304],"study":[63],"complexity":[65,85,350,370,410],"comparison-query":[71,236,398],"model,":[72,118],"standard":[74],"model":[75,237],"problems":[77],"like":[78],"sorting,":[79],"selection,":[80],"heap":[82],"construction.":[83],"The":[84,220],"depends":[86],"heavily":[87],"on":[88,244,348,431,497],"shape":[90],"tree:":[93],"trees":[95,130,179,210,216],"unit":[97],"depth,":[98],"trivial;":[102],"many":[104],"other":[105],"shapes,":[106],"we":[107,134,425],"establish":[108,375,415],"lower":[109,121,144,171,221,380,394],"bounds":[110,222,347,395],"close":[111],"to":[112,141,241,374,414,422,457],"strongest":[114],"known":[115,393,477],"namely":[119],"bound":[122,172,381,430],"$\\log_2(n!)$":[124],"sorting":[126,143],"$n$":[127,132],"items.":[128],"For":[129],"with":[131,217,261,298],"show,":[135],"increasing":[137],"order":[138],"closeness":[140],"bound:":[145],"[(a)]":[146],"$\\log_2((\\alpha(1-\\alpha)n)!)":[147],"-":[148,175,185,199],"O(\\log":[149,176,186],"n)$":[150,177,187],"queries":[151,188,203],"are":[152,189,204,223],"needed":[153,190,205],"whenever":[154],"subtree":[159],"contains":[161],"fraction":[163],"$\\alpha$":[164],"leaves.":[167],"implies":[169],"$\\log_2((\\frac{k}{(k+1)^2}n)!)":[174],"degree":[181,212,338],"$k$.":[182,219],"[(b)]":[183],"$\\log_2(n!)":[184,198],"case":[192,451],"binary.":[196],"[(c)]":[197],"O(k":[200],"\\log":[201],"k)$":[202],"certain":[207],"classes":[208],"$k$,":[213],"including":[214],"perfect":[215],"even":[218],"obtained":[224],"developing":[226],"two":[227],"new":[228],"techniques":[229,247],"any":[231,310],"$\\Pi$":[233,314],"applying":[239],"them":[240],"inversion":[242],"minimization":[243],"trees.":[245],"Both":[246],"described":[250],"terms":[252,271],"Cayley":[255],"graph":[256,275],"symmetric":[259],"group":[260],"adjacent-rank":[262],"transpositions":[263],"generating":[266],"set,":[267],"or":[268],"equivalently,":[269],"edge":[274],"permutahedron,":[278],"polytope":[280],"spanned":[281],"all":[283],"permutations":[284],"vector":[287],"$(1,2,\\dots,n)$.":[288],"Consider":[289],"subgraph":[291],"consisting":[292],"edges":[295],"vertices":[297],"same":[300],"value":[301],"under":[302],"$\\Pi$.":[303],"show":[305],"size":[308],"decision":[311],"must":[315],"at":[317],"least":[318],"[(i)]":[319],"connected":[323],"components":[324],"this":[326,486],"subgraph,":[327,342],"[(ii)]":[329],"factorial":[331],"(or":[332],"$\\Gamma$":[333],"function)":[334],"average":[337],"complementary":[341],"divided":[343],"$n$.":[345],"Lower":[346],"query":[349],"then":[351],"follow":[352],"taking":[354],"base-2":[356],"logarithm.":[357],"Technique":[358,400],"(i)":[359],"represents":[360,402],"discrete":[362],"analog":[363,404],"classical":[366],"technique":[367],"algebraic":[369],"allows":[372,412],"us":[373,413],"(c)":[376],"tight":[379,428],"cross":[384,439],"inversions,":[385,440],"well":[387],"unify":[389],"several":[390],"model.":[399],"(ii)":[401],"an":[403],"sensitivity":[406],"arguments":[407],"Boolean":[409],"(a)":[416],"(b).":[418],"Along":[419],"way":[421],"proving":[423],"(b),":[424],"derive":[426],"upper":[429],"maximum":[433],"probability":[434],"distribution":[437,444],"which":[441],"null":[454],"hypothesis.":[455],"Up":[456],"normalization,":[458],"probabilities":[460],"appear":[461],"literature":[464],"coefficients":[467],"polynomials":[469],"formed":[470],"Gaussian":[473,479],"binomial":[474],"coefficients,":[475],"also":[476],"polynomials.":[480],"------------------":[481],"A":[482],"conference":[483],"version":[484],"paper":[487],"appeared":[488],"Proceedings":[491],"34th":[494],"ACM-SIAM":[495],"Symposium":[496],"Discrete":[498],"Algorithms":[499],"(SODA'23).":[500]},"counts_by_year":[],"updated_date":"2026-07-31T08:31:51.225901","created_date":"2024-12-07T00:00:00"}