{"id":"https://openalex.org/W2169536939","doi":"https://doi.org/10.1137/s0097539705447013","title":"The Complexity of Computing the Size of an Interval","display_name":"The Complexity of Computing the Size of an Interval","publication_year":2006,"publication_date":"2006-12-26","ids":{"openalex":"https://openalex.org/W2169536939","doi":"https://doi.org/10.1137/s0097539705447013","mag":"2169536939"},"language":"en","primary_location":{"id":"doi:10.1137/s0097539705447013","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539705447013","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088546793","display_name":"Lane A. Hemaspaandra","orcid":"https://orcid.org/0000-0003-0659-5204"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Lane A. Hemaspaandra","raw_affiliation_strings":["Department of Computer Science, University of Rochester, Rochester, NY 14627 (www.cs"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Rochester, Rochester, NY 14627 (www.cs","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089269353","display_name":"Christopher M. Homan","orcid":"https://orcid.org/0000-0003-1821-5125"},"institutions":[{"id":"https://openalex.org/I155173764","display_name":"Rochester Institute of Technology","ror":"https://ror.org/00v4yb702","country_code":"US","type":"education","lineage":["https://openalex.org/I155173764"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Christopher M. Homan","raw_affiliation_strings":["Department of Computer Science, Rochester Institute of Technology, Rochester, NY 14623"],"affiliations":[{"raw_affiliation_string":"Department of Computer Science, Rochester Institute of Technology, Rochester, NY 14623","institution_ids":["https://openalex.org/I155173764"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5049639443","display_name":"Sven Kosub","orcid":"https://orcid.org/0000-0001-6316-8546"},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sven Kosub","raw_affiliation_strings":["Institut f\u00fcr Informatik, Technische Universit\u00e4t, M\u00fcnchen, D-85748 Germany"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Technische Universit\u00e4t, M\u00fcnchen, D-85748 Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5031190525","display_name":"Klaus W. Wagner","orcid":null},"institutions":[{"id":"https://openalex.org/I25974101","display_name":"University of W\u00fcrzburg","ror":"https://ror.org/00fbnyb24","country_code":"DE","type":"education","lineage":["https://openalex.org/I25974101"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Klaus W. Wagner","raw_affiliation_strings":["Institut f\u00fcr Informatik, Julius-Maximilians-Universit\u00e4t W\u00fcrzburg, D-97074 W\u00fcrzburg, Germany"],"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Informatik, Julius-Maximilians-Universit\u00e4t W\u00fcrzburg, D-97074 W\u00fcrzburg, Germany","institution_ids":["https://openalex.org/I25974101"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5088546793"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.3972,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.8578923,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"36","issue":"5","first_page":"1264","last_page":"1300"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9997000098228455,"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/T11567","display_name":"semigroups and automata theory","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9990000128746033,"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/mathematics","display_name":"Mathematics","score":0.7421847581863403},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6447519063949585},{"id":"https://openalex.org/keywords/interval","display_name":"Interval (graph theory)","score":0.6348457932472229},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.5944105386734009},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.5292686223983765},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.5186668634414673},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.516453742980957},{"id":"https://openalex.org/keywords/computable-function","display_name":"Computable function","score":0.5086020231246948},{"id":"https://openalex.org/keywords/bounded-function","display_name":"Bounded function","score":0.49244627356529236},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.4809224307537079},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4136314392089844}],"concepts":[{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7421847581863403},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6447519063949585},{"id":"https://openalex.org/C2778067643","wikidata":"https://www.wikidata.org/wiki/Q166507","display_name":"Interval (graph theory)","level":2,"score":0.6348457932472229},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5944105386734009},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.5292686223983765},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.5186668634414673},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.516453742980957},{"id":"https://openalex.org/C54271186","wikidata":"https://www.wikidata.org/wiki/Q1148456","display_name":"Computable function","level":2,"score":0.5086020231246948},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.49244627356529236},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.4809224307537079},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4136314392089844},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C78458016","wikidata":"https://www.wikidata.org/wiki/Q840400","display_name":"Evolutionary biology","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1137/s0097539705447013","is_oa":false,"landing_page_url":"https://doi.org/10.1137/s0097539705447013","pdf_url":null,"source":{"id":"https://openalex.org/S153560523","display_name":"SIAM Journal on Computing","issn_l":"0097-5397","issn":["0097-5397","1095-7111"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320508","host_organization_name":"Society for Industrial and Applied Mathematics","host_organization_lineage":["https://openalex.org/P4310320508"],"host_organization_lineage_names":["Society for Industrial and Applied Mathematics"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"SIAM Journal on Computing","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2644450447","display_name":"U.S. - Germany Cooperative Research: Parallel Access to NP: Complexity and Applicability","funder_award_id":"9815095","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G4551048729","display_name":null,"funder_award_id":"CCF-0426761","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5480449587","display_name":"Structural Complexity Theory","funder_award_id":"9322513","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5850434138","display_name":"ITR - (ECS+ASE+NHS) - (dmc):    Richer Understanding of the Complexity of Election Systems","funder_award_id":"0426761","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G6777017359","display_name":null,"funder_award_id":"unknown","funder_id":"https://openalex.org/F4320320875","funder_display_name":"Deutscher Akademischer Austauschdienst"},{"id":"https://openalex.org/G8464818906","display_name":null,"funder_award_id":"932251","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","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"},{"id":"https://openalex.org/F4320310246","display_name":"University of Rochester","ror":"https://ror.org/022kthw22"},{"id":"https://openalex.org/F4320320875","display_name":"Deutscher Akademischer Austauschdienst","ror":"https://ror.org/039djdh30"},{"id":"https://openalex.org/F4320325356","display_name":"Julius-Maximilians-Universit\u00e4t W\u00fcrzburg","ror":"https://ror.org/00fbnyb24"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":37,"referenced_works":["https://openalex.org/W116064160","https://openalex.org/W178840757","https://openalex.org/W1537974932","https://openalex.org/W1553952730","https://openalex.org/W1600132007","https://openalex.org/W1668431675","https://openalex.org/W1937848486","https://openalex.org/W1982406523","https://openalex.org/W1982538209","https://openalex.org/W1983784492","https://openalex.org/W1987205876","https://openalex.org/W1993180032","https://openalex.org/W2000819002","https://openalex.org/W2002089154","https://openalex.org/W2007464118","https://openalex.org/W2012182522","https://openalex.org/W2012857639","https://openalex.org/W2022212237","https://openalex.org/W2033323875","https://openalex.org/W2036265926","https://openalex.org/W2044504659","https://openalex.org/W2052053866","https://openalex.org/W2052582609","https://openalex.org/W2059442002","https://openalex.org/W2065251436","https://openalex.org/W2065703771","https://openalex.org/W2065939997","https://openalex.org/W2069139349","https://openalex.org/W2080370600","https://openalex.org/W2083553352","https://openalex.org/W2083557874","https://openalex.org/W2085634981","https://openalex.org/W2115826669","https://openalex.org/W2137438459","https://openalex.org/W2159341052","https://openalex.org/W2178192088","https://openalex.org/W2912962911"],"related_works":["https://openalex.org/W2331020993","https://openalex.org/W2972379433","https://openalex.org/W4383764068","https://openalex.org/W1481826604","https://openalex.org/W1797057780","https://openalex.org/W1501430220","https://openalex.org/W2617189160","https://openalex.org/W1602107066","https://openalex.org/W2398738602","https://openalex.org/W2965171438"],"abstract_inverted_index":{"Given":[0],"a":[1,5,10,152,193,229],"p\u2010order":[2,197,233],"A":[3,34],"over":[4],"universe":[6],"of":[7,33,45,72,77,93,101,141,178,181,192,214,217,228,244],"strings":[8,46,51],"(i.e.,":[9],"transitive,":[11],"reflexive,":[12],"antisymmetric":[13],"relation":[14,162],"such":[15],"that":[16,65,98,117,145,185,221],"if":[17],"$(x,":[18],"y)":[19],"\\in":[20],"A$,":[21],"then":[22],"$|x|$":[23],"is":[24,112,137,187,223],"polynomially":[25],"bounded":[26],"by":[27],"$|y|$),":[28],"an":[29,147,188,224],"interval":[30,49,78,103,119,148,164,189,225],"size":[31,79,104,120,149,165,190,226],"function":[32,150,168,191,203,227],"returns,":[35],"for":[36,85,122],"each":[37,171,206],"string":[38],"x":[39],"in":[40,47,69,161],"the":[41,43,48,70,99,118,132,139,176,212,241],"universe,":[42],"number":[44,173,177,213],"between":[50],"$b(x)$":[52,60],"and":[53,61],"$t(x)$":[54,62],"(with":[55],"respect":[56],"to":[57,131,163,175,211],"A),":[58],"where":[59],"are":[63,66,109,128,146],"functions":[64,80,105,121,144,160],"polynomial\u2010time":[67,110,125,153,194,199,230,235],"computable":[68,154],"length":[71],"x.":[73],"By":[74],"choosing":[75],"sets":[76],"based":[81],"on":[82],"feasibility":[83],"requirements":[84],"their":[86],"underlying":[87,107],"p\u2010orders,":[88],"we":[89,239],"obtain":[90],"new":[91],"characterizations":[92],"complexity":[94],"classes.":[95],"We":[96,115,156,183,219],"prove":[97],"set":[100],"all":[102,142],"whose":[106],"p\u2010orders":[108],"decidable":[111,195,231],"exactly":[113,138],"#P.":[114],"show":[116,184,220],"orders":[123],"with":[124,198,234],"adjacency":[126,200,236],"checks":[127],"closely":[129],"related":[130,242],"class":[133,140],"FPSPACE(poly).":[134],"Indeed,":[135],"FPSPACE(poly)":[136],"nonnegative":[143],"minus":[151],"function.":[155],"study":[157],"two":[158],"important":[159],"functions.":[166],"The":[167,202],"#DIV":[169,186],"maps":[170,205],"natural":[172],"n":[174],"nontrivial":[179],"divisors":[180],"n.":[182],"partial":[196],"checks.":[201,237],"#MONSAT":[204,222],"monotone":[207],"boolean":[208],"formula":[209],"F":[210],"satisfying":[215],"assignments":[216],"F.":[218],"total":[232],"Finally,":[238],"explore":[240],"notion":[243],"cluster":[245],"computation.":[246]},"counts_by_year":[{"year":2022,"cited_by_count":2},{"year":2020,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2}],"updated_date":"2026-04-16T08:26:57.006410","created_date":"2025-10-10T00:00:00"}