{"id":"https://openalex.org/W4415710487","doi":"https://doi.org/10.46298/lmcs-21(4:15)2025","title":"On guarded extensions of MMSNP","display_name":"On guarded extensions of MMSNP","publication_year":2025,"publication_date":"2025-10-30","ids":{"openalex":"https://openalex.org/W4415710487","doi":"https://doi.org/10.46298/lmcs-21(4:15)2025"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-21(4:15)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(4:15)2025","pdf_url":"https://lmcs.episciences.org/16820/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/16820/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5005347947","display_name":"Alexey Barsukov","orcid":"https://orcid.org/0000-0001-7627-4823"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Alexey Barsukov","raw_affiliation_strings":[],"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5044720498","display_name":"Florent Madelaine","orcid":"https://orcid.org/0000-0002-8528-7105"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Florent R. Madelaine","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5005347947"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.32544484,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"Volume 21, Issue 4","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.489300012588501,"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"}},"topics":[{"id":"https://openalex.org/T10374","display_name":"Advanced Graph Theory Research","score":0.489300012588501,"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.1754000037908554,"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/T11596","display_name":"Constraint Satisfaction and Optimization","score":0.11089999973773956,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/monotone-polygon","display_name":"Monotone polygon","score":0.7847999930381775},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.6539000272750854},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.38850000500679016},{"id":"https://openalex.org/keywords/characterization","display_name":"Characterization (materials science)","score":0.3783999979496002},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.3301999866962433},{"id":"https://openalex.org/keywords/monotonic-function","display_name":"Monotonic function","score":0.31360000371932983}],"concepts":[{"id":"https://openalex.org/C2834757","wikidata":"https://www.wikidata.org/wiki/Q4925424","display_name":"Monotone polygon","level":2,"score":0.7847999930381775},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.7049000263214111},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.6539000272750854},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.5612000226974487},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.39169999957084656},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.38850000500679016},{"id":"https://openalex.org/C2780841128","wikidata":"https://www.wikidata.org/wiki/Q5073781","display_name":"Characterization (materials science)","level":2,"score":0.3783999979496002},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.3301999866962433},{"id":"https://openalex.org/C72169020","wikidata":"https://www.wikidata.org/wiki/Q194404","display_name":"Monotonic function","level":2,"score":0.31360000371932983},{"id":"https://openalex.org/C106487976","wikidata":"https://www.wikidata.org/wiki/Q685816","display_name":"Matrix (chemical analysis)","level":2,"score":0.30630001425743103},{"id":"https://openalex.org/C45555294","wikidata":"https://www.wikidata.org/wiki/Q28113351","display_name":"Inequality","level":2,"score":0.2985999882221222},{"id":"https://openalex.org/C134026603","wikidata":"https://www.wikidata.org/wiki/Q846354","display_name":"P","level":3,"score":0.29510000348091125},{"id":"https://openalex.org/C39637292","wikidata":"https://www.wikidata.org/wiki/Q908207","display_name":"Complexity class","level":3,"score":0.2921999990940094},{"id":"https://openalex.org/C144237770","wikidata":"https://www.wikidata.org/wiki/Q747534","display_name":"Mathematical economics","level":1,"score":0.2867000102996826},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.2556000053882599}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.46298/lmcs-21(4:15)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(4:15)2025","pdf_url":"https://lmcs.episciences.org/16820/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-21(4:15)2025","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-21(4:15)2025","pdf_url":"https://lmcs.episciences.org/16820/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1146863932","display_name":null,"funder_award_id":"ANR-20-CE48-0002","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G1304993860","display_name":null,"funder_award_id":"101071674","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"},{"id":"https://openalex.org/G2402987151","display_name":null,"funder_award_id":"ANR-20-CE","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G3345493962","display_name":null,"funder_award_id":"ANR-20-CE48-000","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"},{"id":"https://openalex.org/F4320338463","display_name":"CHIST-ERA","ror":"https://ror.org/00rbzpz17"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415710487.pdf","grobid_xml":"https://content.openalex.org/works/W4415710487.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Feder":[0,229],"and":[1,20,72,91,112,114,122,144,161,165,174,184,209,230],"Vardi":[2],"showed":[3,35],"that":[4,36,116,157,166,193,234],"the":[5,39,47,68,79,87,98,140,172,180,195,215,226,235,257,264],"class":[6,99,152,196,236,260],"Monotone":[7,92,101],"Monadic":[8,185],"SNP":[9,93,102,186],"without":[10,94,103,187],"inequality":[11,104,164],"(MMSNP)":[12],"has":[13,56,118,176],"a":[14,24,57,82,119,125,135,150,177,191,201,218,245],"P":[15],"vs":[16],"NP-complete":[17],"dichotomy":[18,25,83,120,126,219,255],"if":[19,22,121,124],"only":[21,123],"such":[23],"holds":[26,127],"for":[27,128,220,256],"finite-domain":[28,207],"Constraint":[29],"Satisfaction":[30],"Problems":[31],"(CSPs).":[32],"Moreover,":[33],"they":[34],"none":[37],"of":[38,46,50,62,74,81,134,197,217,228,248,261,263],"three":[40,76,265],"classes":[41],"obtained":[42],"by":[43,107],"removing":[44],"one":[45],"defining":[48],"properties":[49],"MMSNP":[51,71,90,143,145,153,160,162,183,205,240],"(monotonicity,":[52],"monadicity,":[53],"no":[54,254],"inequality)":[55],"dichotomy.":[58,178],"The":[59],"overall":[60],"objective":[61],"this":[63,221,249],"paper":[64],"is":[65,167],"to":[66],"study":[67,97],"gaps":[69],"between":[70,89,142,159,182],"each":[73,262],"these":[75],"superclasses,":[77],"where":[78],"existence":[80,216],"remains":[84],"unknown.":[85],"For":[86,139,179],"gap":[88,141,181],"inequality,":[95,147,156,188],"we":[96,148,189,224],"Guarded":[100],"(GMSNP)":[105],"introduced":[106],"Bienvenu,":[108],"ten":[109],"Cate,":[110],"Lutz,":[111],"Wolter,":[113],"prove":[115],"GMSNP":[117,129],"problems":[130],"over":[131],"signatures":[132],"consisting":[133],"unique":[136],"relation":[137],"symbol.":[138],"with":[146,154,163,241],"introduce":[149,190],"new":[151],"guarded":[155],"lies":[158],"strictly":[168],"more":[169],"expressive":[170],"than":[171],"former":[173],"still":[175],"logic":[192],"extends":[194,206],"Matrix":[198],"Partitions":[199],"in":[200],"similar":[202],"way":[203],"how":[204],"CSP,":[208],"pose":[210],"an":[211],"open":[212],"question":[213],"about":[214],"class.":[222],"Finally,":[223],"revisit":[225],"theorem":[227,250],"Vardi,":[231],"which":[232],"claims":[233],"NP":[237],"embeds":[238],"into":[239],"inequality.":[242],"We":[243],"give":[244],"detailed":[246],"proof":[247],"as":[251],"it":[252],"ensures":[253],"right-hand":[258],"side":[259],"gaps.":[266]},"counts_by_year":[],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-10-10T00:00:00"}