{"id":"https://openalex.org/W3184438018","doi":"https://doi.org/10.4230/lipics.mfcs.2021.65","title":"Griddings of Permutations and Hardness of Pattern Matching","display_name":"Griddings of Permutations and Hardness of Pattern Matching","publication_year":2021,"publication_date":"2021-01-01","ids":{"openalex":"https://openalex.org/W3184438018","doi":"https://doi.org/10.4230/lipics.mfcs.2021.65","mag":"3184438018"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:2107.10897","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2107.10897","pdf_url":"https://arxiv.org/pdf/2107.10897","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"type":"preprint","indexed_in":["arxiv","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2107.10897","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005488534","display_name":"V\u00edt Jel\u00ednek","orcid":"https://orcid.org/0000-0003-4831-4079"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Jel\u00ednek, V\u00edt","raw_affiliation_strings":["Computer Science Institute, Charles University, Prague, Czech Republic","Charles University in Prague"],"affiliations":[{"raw_affiliation_string":"Computer Science Institute, Charles University, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University in Prague","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5006649123","display_name":"Michal Opler","orcid":"https://orcid.org/0000-0002-4389-5807"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Opler, Michal","raw_affiliation_strings":["Computer Science Institute, Charles University, Prague, Czech Republic","Charles University in Prague"],"affiliations":[{"raw_affiliation_string":"Computer Science Institute, Charles University, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University in Prague","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5022568179","display_name":"Jakub Pek\u00e1rek","orcid":"https://orcid.org/0000-0002-5409-3930"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Pek\u00e1rek, Jakub","raw_affiliation_strings":["Department of Applied Mathematics, Charles University, Prague, Czech Republic","Charles University in Prague"],"affiliations":[{"raw_affiliation_string":"Department of Applied Mathematics, Charles University, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Charles University in Prague","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5005488534"],"corresponding_institution_ids":["https://openalex.org/I21250087"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.09558813,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Algorithms and Data Compression","score":0.9994000196456909,"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.9994000196456909,"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.9980000257492065,"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/T12029","display_name":"DNA and Biological Computing","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/permutation","display_name":"Permutation (music)","score":0.8184655904769897},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.7638944387435913},{"id":"https://openalex.org/keywords/monotone-polygon","display_name":"Monotone polygon","score":0.6838319897651672},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5843538641929626},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.5444045066833496},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5242241621017456},{"id":"https://openalex.org/keywords/matching","display_name":"Matching (statistics)","score":0.4865657389163971},{"id":"https://openalex.org/keywords/subsequence","display_name":"Subsequence","score":0.48079219460487366},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.45971181988716125},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4304421544075012},{"id":"https://openalex.org/keywords/upper-and-lower-bounds","display_name":"Upper and lower bounds","score":0.41547173261642456},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2144254446029663},{"id":"https://openalex.org/keywords/statistics","display_name":"Statistics","score":0.07957065105438232},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.06877240538597107}],"concepts":[{"id":"https://openalex.org/C21308566","wikidata":"https://www.wikidata.org/wiki/Q7169365","display_name":"Permutation (music)","level":2,"score":0.8184655904769897},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.7638944387435913},{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.6838319897651672},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5843538641929626},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.5444045066833496},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5242241621017456},{"id":"https://openalex.org/C165064840","wikidata":"https://www.wikidata.org/wiki/Q1321061","display_name":"Matching (statistics)","level":2,"score":0.4865657389163971},{"id":"https://openalex.org/C137877099","wikidata":"https://www.wikidata.org/wiki/Q1332977","display_name":"Subsequence","level":3,"score":0.48079219460487366},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.45971181988716125},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4304421544075012},{"id":"https://openalex.org/C77553402","wikidata":"https://www.wikidata.org/wiki/Q13222579","display_name":"Upper and lower bounds","level":2,"score":0.41547173261642456},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2144254446029663},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.07957065105438232},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.06877240538597107},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","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/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:arXiv.org:2107.10897","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2107.10897","pdf_url":"https://arxiv.org/pdf/2107.10897","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},{"id":"doi:10.48550/arxiv.2107.10897","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2107.10897","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"},{"id":"doi:10.4230/lipics.mfcs.2021.65","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.mfcs.2021.65","pdf_url":null,"source":{"id":"https://openalex.org/S7407052059","display_name":"Dagstuhl Research Online Publication Server","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":""}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2107.10897","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2107.10897","pdf_url":"https://arxiv.org/pdf/2107.10897","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":null},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.7900000214576721}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":15,"referenced_works":["https://openalex.org/W1487872891","https://openalex.org/W1539052607","https://openalex.org/W1574446493","https://openalex.org/W1803235859","https://openalex.org/W1926319616","https://openalex.org/W1995725694","https://openalex.org/W1997435682","https://openalex.org/W2014678176","https://openalex.org/W2052359455","https://openalex.org/W2083354900","https://openalex.org/W2092807942","https://openalex.org/W2963940845","https://openalex.org/W2964102155","https://openalex.org/W2997069702","https://openalex.org/W3082275196"],"related_works":["https://openalex.org/W2996768723","https://openalex.org/W4212895949","https://openalex.org/W4230102134","https://openalex.org/W4247866870","https://openalex.org/W2112772040","https://openalex.org/W3216774880","https://openalex.org/W2078387789","https://openalex.org/W2051502035","https://openalex.org/W4299823074","https://openalex.org/W4250527476"],"abstract_inverted_index":{"We":[0],"study":[1],"the":[2,5,33,73,158,173,182,210,215,220,228,248],"complexity":[3],"of":[4,17,20,23,57,70,102,118,146,154,161,172,187,191,223,231],"decision":[6],"problem":[7],"known":[8,50,87,207],"as":[9,42,88,163,165],"Permutation":[10],"Pattern":[11],"Matching,":[12],"or":[13],"PPM.":[14],"The":[15],"input":[16],"PPM":[18,48,71,212,244],"consists":[19],"a":[21,43,55,79,115,126,136,253],"pair":[22],"permutations":[24,175],"$\u03c4$":[25,39],"(the":[26,30],"`text')":[27],"and":[28,32,60,178,225,233],"$\u03c0$":[29,41],"`pattern'),":[31],"goal":[34],"is":[35,49,75,86,97,109,141,245,250],"to":[36,51,77,133,170,235,252],"decide":[37],"whether":[38],"contains":[40],"subpermutation.":[44],"On":[45,214],"general":[46],"inputs,":[47],"be":[52,194],"NP-complete":[53],"by":[54],"result":[56],"Bose,":[58],"Buss":[59],"Lubiw.":[61],"In":[62,121],"this":[63,84,122],"paper,":[64,123],"we":[65,124,218],"focus":[66],"on":[67],"restricted":[68,251],"instances":[69],"where":[72],"text":[74,249],"assumed":[76],"avoid":[78],"fixed":[80],"(small)":[81],"pattern":[82],"$\u03c3$;":[83],"restriction":[85],"Av($\u03c3$)-PPM.":[89],"It":[90],"has":[91],"been":[92],"previously":[93],"shown":[94],"that":[95,139,237],"Av($\u03c3$)-PPM":[96,140,192],"polynomial":[98,246],"for":[99,111,143,151,166,209,238],"any":[100,112,239],"$\u03c3$":[101,113,145,153,168],"size":[103,147,155],"at":[104,148],"most":[105],"3,":[106],"while":[107],"it":[108],"NP-hard":[110],"containing":[114],"monotone":[116],"subsequence":[117],"length":[119],"four.":[120],"present":[125],"new":[127],"hardness":[128],"reduction":[129],"which":[130],"allows":[131],"us":[132],"show,":[134],"in":[135,196],"uniform":[137],"way,":[138],"hard":[142,189],"every":[144,152,167],"least":[149],"6,":[150],"5":[156],"except":[157],"symmetry":[159],"class":[160,242],"$41352$,":[162],"well":[164],"symmetric":[169],"one":[171],"three":[174],"$4321$,":[176],"$4312$":[177],"$4231$.":[179],"Moreover,":[180],"assuming":[181],"exponential":[183],"time":[184,197],"hypothesis,":[185],"none":[186],"these":[188],"cases":[190],"can":[193],"solved":[195],"$2^{o(n/\\log":[198],"n)}$.":[199],"Previously,":[200],"such":[201],"conditional":[202],"lower":[203],"bound":[204],"was":[205],"not":[206],"even":[208],"unconstrained":[211],"problem.":[213],"tractability":[216],"side,":[217],"combine":[219],"CSP":[221],"approach":[222],"Guillemot":[224],"Marx":[226],"with":[227],"structural":[229],"results":[230],"Huczynska":[232],"Vatter":[234],"show":[236],"monotone-griddable":[240],"permutation":[241,254],"C,":[243],"when":[247],"from":[255],"C.":[256]},"counts_by_year":[],"updated_date":"2025-11-06T06:51:31.235846","created_date":"2021-08-02T00:00:00"}