{"id":"https://openalex.org/W3025901616","doi":"https://doi.org/10.1007/s00453-021-00823-w","title":"Compact Distributed Certification of Planar Graphs","display_name":"Compact Distributed Certification of Planar Graphs","publication_year":2020,"publication_date":"2020-07-31","ids":{"openalex":"https://openalex.org/W3025901616","doi":"https://doi.org/10.1007/s00453-021-00823-w","mag":"3025901616"},"language":"en","primary_location":{"id":"doi:10.1007/s00453-021-00823-w","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00453-021-00823-w","pdf_url":null,"source":{"id":"https://openalex.org/S89324355","display_name":"Algorithmica","issn_l":"0178-4617","issn":["0178-4617","1432-0541"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithmica","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2005.05863","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5080881555","display_name":"Laurent Feuilloley","orcid":"https://orcid.org/0000-0002-3994-0898"},"institutions":[{"id":"https://openalex.org/I69737025","display_name":"University of Chile","ror":"https://ror.org/047gc3g35","country_code":"CL","type":"education","lineage":["https://openalex.org/I69737025"]}],"countries":["CL"],"is_corresponding":true,"raw_author_name":"Laurent Feuilloley","raw_affiliation_strings":["Universidad de Chile, Chile"],"affiliations":[{"raw_affiliation_string":"Universidad de Chile, Chile","institution_ids":["https://openalex.org/I69737025"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5071967017","display_name":"Pierre Fraigniaud","orcid":"https://orcid.org/0000-0003-4534-4803"},"institutions":[{"id":"https://openalex.org/I204730241","display_name":"Universit\u00e9 Paris Cit\u00e9","ror":"https://ror.org/05f82e368","country_code":"FR","type":"education","lineage":["https://openalex.org/I204730241"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Pierre Fraigniaud","raw_affiliation_strings":["Universit\u00e9 de Paris, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Paris, France","institution_ids":["https://openalex.org/I204730241"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028025649","display_name":"Pedro Montealegre","orcid":"https://orcid.org/0000-0002-2508-5907"},"institutions":[{"id":"https://openalex.org/I21067949","display_name":"Adolfo Ib\u00e1\u00f1ez University","ror":"https://ror.org/0326knt82","country_code":"CL","type":"education","lineage":["https://openalex.org/I21067949"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"Pedro Montealegre","raw_affiliation_strings":["Universidad Adolfo Iba\u00f1ez, Santiago, Chile"],"affiliations":[{"raw_affiliation_string":"Universidad Adolfo Iba\u00f1ez, Santiago, Chile","institution_ids":["https://openalex.org/I21067949"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045992675","display_name":"Iv\u00e1n Rapaport","orcid":"https://orcid.org/0000-0002-2969-5083"},"institutions":[{"id":"https://openalex.org/I69737025","display_name":"University of Chile","ror":"https://ror.org/047gc3g35","country_code":"CL","type":"education","lineage":["https://openalex.org/I69737025"]}],"countries":["CL"],"is_corresponding":false,"raw_author_name":"Ivan Rapaport","raw_affiliation_strings":["Universidad de Chile, Chile"],"affiliations":[{"raw_affiliation_string":"Universidad de Chile, Chile","institution_ids":["https://openalex.org/I69737025"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003956330","display_name":"\u00c9ric R\u00e9mila","orcid":"https://orcid.org/0000-0002-9265-9907"},"institutions":[{"id":"https://openalex.org/I4210147622","display_name":"Groupe d'Analyse et de Th\u00e9orie Economique Lyon St Etienne","ror":"https://ror.org/042fmc481","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I188626449","https://openalex.org/I203339264","https://openalex.org/I203339264","https://openalex.org/I4210147622","https://openalex.org/I4405259976","https://openalex.org/I51195161"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"\u00c9ric R\u00e9mila","raw_affiliation_strings":["GATE Lyon St-Etienne, France"],"affiliations":[{"raw_affiliation_string":"GATE Lyon St-Etienne, France","institution_ids":["https://openalex.org/I4210147622"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5081733098","display_name":"Ioan Todinca","orcid":"https://orcid.org/0000-0002-3466-859X"},"institutions":[{"id":"https://openalex.org/I12449238","display_name":"Universit\u00e9 d'Orl\u00e9ans","ror":"https://ror.org/014zrew76","country_code":"FR","type":"education","lineage":["https://openalex.org/I12449238"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ioan Todinca","raw_affiliation_strings":["Universit\u00e9 d'Orl\u00e9ans, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 d'Orl\u00e9ans, France","institution_ids":["https://openalex.org/I12449238"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5080881555"],"corresponding_institution_ids":["https://openalex.org/I69737025"],"apc_list":{"value":2290,"currency":"EUR","value_usd":2890},"apc_paid":null,"fwci":0.1612,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.51698659,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":93},"biblio":{"volume":"83","issue":"7","first_page":"2215","last_page":"2244"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9979000091552734,"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"}},"topics":[{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9979000091552734,"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"}},{"id":"https://openalex.org/T10720","display_name":"Complexity and Algorithms in Graphs","score":0.9970999956130981,"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/T10237","display_name":"Cryptography and Data Security","score":0.9886000156402588,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/planarity-testing","display_name":"Planarity testing","score":0.9517378807067871},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.6599639654159546},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6183713674545288},{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.5822416543960571},{"id":"https://openalex.org/keywords/binary-logarithm","display_name":"Binary logarithm","score":0.5122898817062378},{"id":"https://openalex.org/keywords/node","display_name":"Node (physics)","score":0.5105301141738892},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.44151005148887634},{"id":"https://openalex.org/keywords/certification","display_name":"Certification","score":0.41207146644592285},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.3392476439476013},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3295826315879822}],"concepts":[{"id":"https://openalex.org/C68260962","wikidata":"https://www.wikidata.org/wiki/Q7200967","display_name":"Planarity testing","level":2,"score":0.9517378807067871},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.6599639654159546},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6183713674545288},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.5822416543960571},{"id":"https://openalex.org/C63553672","wikidata":"https://www.wikidata.org/wiki/Q581168","display_name":"Binary logarithm","level":2,"score":0.5122898817062378},{"id":"https://openalex.org/C62611344","wikidata":"https://www.wikidata.org/wiki/Q1062658","display_name":"Node (physics)","level":2,"score":0.5105301141738892},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.44151005148887634},{"id":"https://openalex.org/C46304622","wikidata":"https://www.wikidata.org/wiki/Q374814","display_name":"Certification","level":2,"score":0.41207146644592285},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.3392476439476013},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3295826315879822},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"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":9,"locations":[{"id":"doi:10.1007/s00453-021-00823-w","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00453-021-00823-w","pdf_url":null,"source":{"id":"https://openalex.org/S89324355","display_name":"Algorithmica","issn_l":"0178-4617","issn":["0178-4617","1432-0541"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithmica","raw_type":"journal-article"},{"id":"doi:10.1145/3382734.3404505","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3382734.3404505","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 39th Symposium on Principles of Distributed Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2005.05863","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2005.05863","pdf_url":"https://arxiv.org/pdf/2005.05863","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":"text"},{"id":"mag:3025901616","is_oa":true,"landing_page_url":"https://arxiv.org/pdf/2005.05863.pdf","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":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"mag:3098264850","is_oa":false,"landing_page_url":"https://ideas.repec.org/p/hal/journl/halshs-02991868.html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"RePEc: Research Papers in Economics","raw_type":null},{"id":"pmh:oai:HAL:hal-03540582v1","is_oa":true,"landing_page_url":"https://hal.science/hal-03540582","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Algorithmica, 2021, 83 (7), pp.2215-2244. ⟨10.1007/s00453-021-00823-w⟩","raw_type":"Journal articles"},{"id":"pmh:oai:HAL:halshs-02991868v1","is_oa":true,"landing_page_url":"https://shs.hal.science/halshs-02991868","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://www.podc.org/history/#history","raw_type":"Conference papers"},{"id":"pmh:oai:RePEc:hal:journl:halshs-02991868","is_oa":false,"landing_page_url":"https://shs.hal.science/halshs-02991868v1/document","pdf_url":null,"source":{"id":"https://openalex.org/S4306401271","display_name":"RePEc: Research Papers in Economics","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I77793887","host_organization_name":"Federal Reserve Bank of St. Louis","host_organization_lineage":["https://openalex.org/I77793887"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"preprint"},{"id":"doi:10.48550/arxiv.2005.05863","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2005.05863","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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2005.05863","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2005.05863","pdf_url":"https://arxiv.org/pdf/2005.05863","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":"text"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":48,"referenced_works":["https://openalex.org/W168739660","https://openalex.org/W1521888058","https://openalex.org/W1568961751","https://openalex.org/W1869515244","https://openalex.org/W1901784050","https://openalex.org/W1973059108","https://openalex.org/W1987374783","https://openalex.org/W1989666671","https://openalex.org/W1990389251","https://openalex.org/W1999120866","https://openalex.org/W2006135590","https://openalex.org/W2015819397","https://openalex.org/W2015849324","https://openalex.org/W2045385016","https://openalex.org/W2047489708","https://openalex.org/W2048769918","https://openalex.org/W2056295140","https://openalex.org/W2077158870","https://openalex.org/W2078400655","https://openalex.org/W2083323175","https://openalex.org/W2090508342","https://openalex.org/W2099633481","https://openalex.org/W2165441947","https://openalex.org/W2184633425","https://openalex.org/W2294674552","https://openalex.org/W2493557058","https://openalex.org/W2561474155","https://openalex.org/W2605289172","https://openalex.org/W2774187765","https://openalex.org/W2794948599","https://openalex.org/W2811088724","https://openalex.org/W2889545431","https://openalex.org/W2903797494","https://openalex.org/W2960251115","https://openalex.org/W2962735094","https://openalex.org/W2962736685","https://openalex.org/W2962803529","https://openalex.org/W2963272893","https://openalex.org/W2963948964","https://openalex.org/W2964244269","https://openalex.org/W2964248905","https://openalex.org/W2968391807","https://openalex.org/W2981544750","https://openalex.org/W2982383058","https://openalex.org/W4205300528","https://openalex.org/W4205780172","https://openalex.org/W4254419859","https://openalex.org/W6602685996"],"related_works":["https://openalex.org/W3098264850","https://openalex.org/W3003031258","https://openalex.org/W1607280525","https://openalex.org/W2098538209","https://openalex.org/W2346111487","https://openalex.org/W2100847176","https://openalex.org/W2167589540","https://openalex.org/W1582538828","https://openalex.org/W2154276597","https://openalex.org/W1552114350","https://openalex.org/W2572551486","https://openalex.org/W2594206091","https://openalex.org/W1878594160","https://openalex.org/W3127540631","https://openalex.org/W2405010435","https://openalex.org/W3144048024","https://openalex.org/W2121677621","https://openalex.org/W2407977113","https://openalex.org/W3133660689","https://openalex.org/W2983717261"],"abstract_inverted_index":{"Naor":[0],"M.,":[1,3],"Parter":[2],"Yogev":[4],"E.:":[5],"(The":[6],"power":[7],"of":[8,32,73,77,134],"distributed":[9,34,54,71,96],"verifiers":[10],"in":[11,112],"interactive":[12,35,63],"proofs.":[13],"In:":[14],"31st":[15],"ACM-SIAM":[16],"symposium":[17],"on":[18,58,69,108,143,166],"discrete":[19],"algorithms":[20],"(SODA),":[21],"pp":[22],"1096\u2013115,":[23],"2020.":[24],"https://doi.org/10.1137/1.9781611975994.67":[25],")":[26],"have":[27],"recently":[28],"demonstrated":[29],"the":[30,74,91,94,122],"existence":[31],"a":[33,43,48,70,101,118,135],"proof":[36,64],"for":[37,40,52,65,83,138],"planarity":[38,66,84,163],"(i.e.,":[39,98],"certifying":[41],"that":[42,117,151],"network":[44],"is":[45,67,100,127],"planar),":[46],"using":[47,141,164],"sophisticated":[49],"generic":[50],"technique":[51],"constructing":[53],"IP":[55,60],"protocols":[56],"based":[57,68],"sequential":[59,80],"protocols.":[61],"The":[62],"certification":[72],"correct":[75],"execution":[76],"any":[78],"given":[79],"linear-time":[81],"algorithm":[82],"testing.":[85],"It":[86],"involves":[87],"three":[88],"interactions":[89],"between":[90],"prover":[92,123],"and":[93,104,125],"randomized":[95],"verifier":[97],"it":[99],"dMAM":[102],"protocol),":[103],"uses":[105],"small":[106],"certificates,":[107],"$$O(\\log":[109,145],"n)$$":[110,146,168],"bits":[111],"n-node":[113],"networks.":[114],"We":[115,148],"show":[116,150],"single":[119],"interaction":[120],"with":[121],"suffices,":[124],"randomization":[126],"unecessary,":[128],"by":[129],"providing":[130],"an":[131],"explicit":[132],"description":[133],"proof-labeling":[136,155],"scheme":[137],"planarity,":[139],"still":[140],"certificates":[142,165],"just":[144],"bits.":[147,169],"also":[149],"there":[152],"are":[153],"no":[154,159],"schemes\u2014in":[156],"fact,":[157],"even":[158],"locally":[160],"checkable":[161],"proofs\u2014for":[162],"$$o(\\log":[167]},"counts_by_year":[{"year":2021,"cited_by_count":1}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2025-10-10T00:00:00"}