PROJECTIVE PLANARITY IN LINEAR-TIME

被引：17
|
作者：
MOHAR, B [1 ]
机构：
[1] UNIV LJUBLJANA, DEPT MATH, 61111 LJUBLJANA, SLOVENIA
来源：
JOURNAL OF ALGORITHMS-COGNITION INFORMATICS AND LOGIC | 1993年 / 15卷 / 03期
关键词：
D O I：
10.1006/jagm.1993.1050
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
A linear time algorithm for embedding graphs in the projective plane is presented. © 1993 Academic Press, Inc.
引用
收藏
页码：482 / 502
页数：21
相关论文
共 50 条
  • [31] A Linear-Time Algorithm for Seeds Computation
    Kociumaka, Tomasz
    Kubica, Marcin
    Radoszewski, Jakub
    Rytter, Wojciech
    Walen, Tomasz
    ACM TRANSACTIONS ON ALGORITHMS, 2020, 16 (02)
  • [32] Constructive completeness for the linear-time μ-calculus
    Doumane, Amina
    2017 32ND ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2017,
  • [33] A LINEAR-TIME SCHEME FOR VERSION RECONSTRUCTION
    YU, L
    ROSENKRANTZ, DJ
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (03): : 775 - 797
  • [34] Simple Linear-Time Repetition Factorization
    Yonemoto, Yuki
    Inenaga, Shunsuke
    STRING PROCESSING AND INFORMATION RETRIEVAL, SPIRE 2024, 2025, 14899 : 348 - 361
  • [35] THE LINEAR-TIME RECOGNITION OF DIGITAL ARCS
    DAMASCHKE, P
    PATTERN RECOGNITION LETTERS, 1995, 16 (05) : 543 - 548
  • [36] Linear-time computation of local periods
    Duval, JP
    Kolpakov, R
    Kucherov, G
    Lecroq, T
    Lefebvre, A
    THEORETICAL COMPUTER SCIENCE, 2004, 326 (1-3) : 229 - 240
  • [37] Linear-Time Reductions of Resolution Proofs
    Bar-Ilan, Omer
    Fuhrmann, Oded
    Hoory, Shlomo
    Shacham, Ohad
    Strichman, Ofer
    HARDWARE AND SOFTWARE: VERIFICATION AND TESTING, PROCEEDINGS, 2009, 5394 : 114 - +
  • [38] LINEAR-TIME LOGICS - A COALGEBRAIC PERSPECTIVE
    Cirstea, Corina
    LOGICAL METHODS IN COMPUTER SCIENCE, 2024, 20 (02) : 1 - 13
  • [39] EVOLVING ALGEBRAS AND LINEAR-TIME HIERARCHY
    BLASS, A
    GUREVICH, Y
    INFORMATION PROCESSING '94, VOL I: TECHNOLOGY AND FOUNDATIONS, 1994, 51 : 383 - 390
  • [40] An efficient linear-time clustering algorithms
    Wang, L
    Zang, LJ
    Song, RF
    Proceedings of the 11th Joint International Computer Conference, 2005, : 678 - 681
12345