{"DOI":"10.1145/3543686","abstract":"Graph Isomorphism is the prime example of a computational problem with a wide difference between the best known lower and upper bounds on its complexity. The gap between the known upper and lower bounds continues to be very significant for many subclasses of graphs as well.\n \n We bridge the gap for a natural and important class of graphs, namely planar graphs, by presenting a log-space upper bound which matches the known log-space hardness. In fact, we show a stronger result that planar graph\n canonization\n is in log-space.\n ","author":[{"family":"Datta","given":"Samir"},{"family":"Limaye","given":"Nutan"},{"family":"Nimbhorkar","given":"Prajakta"},{"family":"Thierauf","given":"Thomas"},{"family":"Wagner","given":"Fabian"}],"id":"unknown","issued":{"date-parts":[[2022,7,26]]},"language":"en","publisher":"Association for Computing Machinery (ACM)","title":"Planar Graph Isomorphism is in Log-Space","type":"article-journal"}