{"id":"https://openalex.org/W2066821207","doi":"https://doi.org/10.1145/1998196.1998258","title":"On the structure and composition of forbidden sequences, with geometric applications","display_name":"On the structure and composition of forbidden sequences, with geometric applications","publication_year":2011,"publication_date":"2011-06-13","ids":{"openalex":"https://openalex.org/W2066821207","doi":"https://doi.org/10.1145/1998196.1998258","mag":"2066821207"},"language":"en","primary_location":{"id":"doi:10.1145/1998196.1998258","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1998196.1998258","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-seventh annual symposium on Computational geometry","raw_type":"proceedings-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/A5076564426","display_name":"Seth Pettie","orcid":"https://orcid.org/0000-0002-0495-3904"},"institutions":[{"id":"https://openalex.org/I27837315","display_name":"University of Michigan\u2013Ann Arbor","ror":"https://ror.org/00jmfr291","country_code":"US","type":"education","lineage":["https://openalex.org/I27837315"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Seth Pettie","raw_affiliation_strings":["University of Michigan, Ann Arbor, MI, USA"],"affiliations":[{"raw_affiliation_string":"University of Michigan, Ann Arbor, MI, USA","institution_ids":["https://openalex.org/I27837315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5076564426"],"corresponding_institution_ids":["https://openalex.org/I27837315"],"apc_list":null,"apc_paid":null,"fwci":8.8944,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.97084143,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":99},"biblio":{"volume":null,"issue":null,"first_page":"370","last_page":"379"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T10996","display_name":"Computational Geometry and Mesh Generation","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1704","display_name":"Computer Graphics and Computer-Aided Design"},"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/T12923","display_name":"Digital Image Processing Techniques","score":0.9983999729156494,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"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/T11797","display_name":"graph theory and CDMA systems","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/subsequence","display_name":"Subsequence","score":0.7906348705291748},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.6436075568199158},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.6299266815185547},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6021860837936401},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.5787129998207092},{"id":"https://openalex.org/keywords/substructure","display_name":"Substructure","score":0.5623314380645752},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.47836655378341675},{"id":"https://openalex.org/keywords/composition","display_name":"Composition (language)","score":0.4671252369880676},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.4650000333786011},{"id":"https://openalex.org/keywords/function","display_name":"Function (biology)","score":0.4638836979866028},{"id":"https://openalex.org/keywords/constant","display_name":"Constant (computer programming)","score":0.4177207350730896},{"id":"https://openalex.org/keywords/bounding-overwatch","display_name":"Bounding overwatch","score":0.4100416302680969},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4061809182167053},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.22118571400642395}],"concepts":[{"id":"https://openalex.org/C137877099","wikidata":"https://www.wikidata.org/wiki/Q1332977","display_name":"Subsequence","level":3,"score":0.7906348705291748},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.6436075568199158},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.6299266815185547},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6021860837936401},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.5787129998207092},{"id":"https://openalex.org/C99679407","wikidata":"https://www.wikidata.org/wiki/Q56761637","display_name":"Substructure","level":2,"score":0.5623314380645752},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.47836655378341675},{"id":"https://openalex.org/C40231798","wikidata":"https://www.wikidata.org/wiki/Q1333743","display_name":"Composition (language)","level":2,"score":0.4671252369880676},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.4650000333786011},{"id":"https://openalex.org/C14036430","wikidata":"https://www.wikidata.org/wiki/Q3736076","display_name":"Function (biology)","level":2,"score":0.4638836979866028},{"id":"https://openalex.org/C2777027219","wikidata":"https://www.wikidata.org/wiki/Q1284190","display_name":"Constant (computer programming)","level":2,"score":0.4177207350730896},{"id":"https://openalex.org/C63584917","wikidata":"https://www.wikidata.org/wiki/Q333286","display_name":"Bounding overwatch","level":2,"score":0.4100416302680969},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4061809182167053},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.22118571400642395},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.0},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C66938386","wikidata":"https://www.wikidata.org/wiki/Q633538","display_name":"Structural engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/1998196.1998258","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1998196.1998258","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the twenty-seventh annual symposium on Computational geometry","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.187.4462","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.187.4462","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.eecs.umich.edu/%7Epettie/papers/GenDS-applications.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.352.7059","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.352.7059","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://web.eecs.umich.edu/~pettie/papers/GenDS-applications.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":38,"referenced_works":["https://openalex.org/W1586795908","https://openalex.org/W1705251487","https://openalex.org/W1768195728","https://openalex.org/W1965230032","https://openalex.org/W1970068162","https://openalex.org/W1970472222","https://openalex.org/W1983216950","https://openalex.org/W1983781820","https://openalex.org/W1984412539","https://openalex.org/W1991201317","https://openalex.org/W1992585484","https://openalex.org/W1994055767","https://openalex.org/W1996753354","https://openalex.org/W1998230386","https://openalex.org/W2007311757","https://openalex.org/W2010497691","https://openalex.org/W2019176509","https://openalex.org/W2021309017","https://openalex.org/W2021551335","https://openalex.org/W2025410851","https://openalex.org/W2028747718","https://openalex.org/W2037022974","https://openalex.org/W2055488506","https://openalex.org/W2060876340","https://openalex.org/W2061475873","https://openalex.org/W2063372577","https://openalex.org/W2069400461","https://openalex.org/W2080876227","https://openalex.org/W2091015960","https://openalex.org/W2095927210","https://openalex.org/W2131628389","https://openalex.org/W2153204081","https://openalex.org/W2320799707","https://openalex.org/W2728705381","https://openalex.org/W2730912875","https://openalex.org/W3136790239","https://openalex.org/W3148691794","https://openalex.org/W6740788516"],"related_works":["https://openalex.org/W2132137594","https://openalex.org/W2069783012","https://openalex.org/W2085967955","https://openalex.org/W4256335355","https://openalex.org/W3098612666","https://openalex.org/W2138867060","https://openalex.org/W2023859141","https://openalex.org/W2182290077","https://openalex.org/W1499116563","https://openalex.org/W3207033120"],"abstract_inverted_index":{"Forbidden":[0],"substructure":[1,84],"theorems":[2,85],"have":[3,165],"proved":[4],"to":[5,88,122,133],"be":[6,134],"among":[7],"of":[8,17,24,70,82,94,97,110,135,177,226,248,255,258,273,290],"the":[9,15,21,63,67,95,107,136,150,182,191,227,253,256,281],"most":[10],"versatile":[11],"tools":[12],"in":[13,181,195],"bounding":[14],"complexity":[16,96,254],"geometric":[18,25,37,98,202],"objects":[19],"and":[20,91,103,179,185,222,276],"running":[22],"time":[23],"algorithms.":[26],"To":[27],"apply":[28],"them":[29],"one":[30,176],"typically":[31],"transcribes":[32],"an":[33,61,174],"algorithm":[34],"execution":[35],"or":[36,45,56],"object":[38,52],"as":[39],"a":[40,46,72,76,166,270,287],"sequence":[41,125],"over":[42],"some":[43,54,123],"alphabet":[44],"0-1":[47],"matrix,":[48],"proves":[49],"that":[50,145,252],"this":[51,249],"avoids":[53],"subsequence":[55],"submatrix":[57],"\u03c3,":[58],"then":[59],"uses":[60],"off":[62],"shelf":[64],"bound":[65,200,272],"on":[66,106,201,217],"maximum":[68,108],"size":[69],"such":[71],"\u03c3-free":[73],"object.":[74],"As":[75],"historical":[77],"trend,":[78],"expanding":[79],"our":[80],"library":[81],"forbidden":[83,147],"has":[86],"led":[87],"better":[89],"bounds":[90,105,216],"simpler":[92],"analyses":[93],"objects.":[99],"We":[100,143,212,285],"establish":[101],"new":[102],"tight":[104,214],"length":[109],"generalized":[111],"Davenport-Schinzel":[112,129],"sequences,":[113],"which":[114,267],"are":[115,119],"those":[116],"whose":[117],"subsequences":[118,148],"not":[120],"isomorphic":[121],"fixed":[124],"\u03c3.":[126],"(The":[127],"standard":[128],"sequences":[130,218,225],"restrict":[131],"\u03c3":[132],"form":[137,151,228],"abab":[138],"\u00b7":[139,140,153,154,155,157,158,159,161,162,163,230,231,232,234,235,236,238,239,240,242,243,244],"\u00b7.)":[141],"1.":[142],"prove":[144,213],"N-shaped":[146],"(of":[149],"abc":[152],"xyzyx":[156],"cbabc":[160],"xyz)":[164],"linear":[167,292],"extremal":[168],"function.":[169,283],"Our":[170],"proof":[171],"dramatically":[172],"improves":[173],"earlier":[175],"Klazar":[178],"Valtr":[180],"leading":[183,193],"constants":[184,194],"overall":[186],"simplicity.":[187],"This":[188],"result":[189,250],"tightens":[190],"(astronomical)":[192],"Valtr\u2019s":[196],"O(n":[197,263],"log":[198,264],"n)":[199],"graphs":[203],"without":[204],"k":[205],"=":[206],"O(1)":[207],"mutually":[208],"crossing":[209],"edges.":[210],"2.":[211],"\u0398(n\u03b1(n))":[215],"avoiding":[219],"both":[220],"ababab":[221],"all":[223],"M-shaped":[224],"ab":[229],"yzzy":[233,241],"baab":[237],"ba.":[245],"A":[246],"consequence":[247],"is":[251,262,280],"union":[257],"n":[259],"\u03b4-fat":[260],"triangles":[261],"\u2217":[265],"n\u03b1(n)),":[266],"improves,":[268],"slightly,":[269],"recent":[271],"Ezra,":[274],"Aronov,":[275],"Sharir.":[277],"Here":[278],"\u03b1":[279],"inverse-Ackermann":[282],"3.":[284],"give":[286],"complete":[288],"characterization":[289],"3-letter":[291]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2019,"cited_by_count":3},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":6},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":3},{"year":2012,"cited_by_count":2}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}