An example of goal-directed, calculational proof

被引:0
|
作者
Backhouse, Roland carl [1 ]
Guttmann, Walter [2 ]
Winter, Michael [3 ]
机构
[1] Univ Nottingham, Sch Comp Sci, Nottingham NG8 1BB, England
[2] Univ Canterbury, Comp Sci & Software Engn, Christchurch, New Zealand
[3] Brock Univ, Dept Comp Sci, St Catharines, ON, Canada
关键词
D O I
10.1017/S095679682400011X
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
An equivalence relation can be constructed from a given (homogeneous, binary) relation in two steps: first, construct the smallest reflexive and transitive relation containing the given relation (the "star" of the relation) and, second, construct the largest symmetric relation that is included in the result of the first step. The fact that the final result is also reflexive and transitive (as well as symmetric), and thus an equivalence relation, is not immediately obvious, although straightforward to prove. Rather than prove that the defining properties of reflexivity and transitivity are satisfied, we establish reflexivity and transitivity constructively by exhibiting a starth root-in a way that emphasises the creative process in its construction. The resulting construction is fundamental to algorithms that determine the strongly connected components of a graph as well as the decomposition of a graph into its strongly connected components together with an acyclic graph connecting such components.
引用
收藏
页数:9
相关论文
共 50 条
  • [41] Guiding Goal-Directed Therapy
    Suehiro K.
    Joosten A.
    Alexander B.
    Cannesson M.
    Current Anesthesiology Reports, 2014, 4 (4) : 360 - 375
  • [42] Critical care ultrasound goal-directed versus early goal-directed therapy in septic shock
    Yu, Kun
    Zhang, Shucheng
    Chen, Ni
    Chen, Miao
    Zhang, Wei
    INTENSIVE CARE MEDICINE, 2022, 48 (01) : 121 - 123
  • [43] Early goal-directed therapy versus “early”, “goal-directed” therapy: response to comments by Saleh
    Sandra Peake
    Derek Angus
    Kathy Rowan
    Intensive Care Medicine, 2015, 41 : 1725 - 1726
  • [44] Early goal-directed therapy versus "early", "goal-directed" therapy: response to comments by Saleh
    Peake, Sandra
    Angus, Derek
    Rowan, Kathy
    INTENSIVE CARE MEDICINE, 2015, 41 (09) : 1725 - +
  • [45] Critical care ultrasound goal-directed versus early goal-directed therapy in septic shock
    Kun Yu
    Shucheng Zhang
    Ni Chen
    Miao Chen
    Wei Zhang
    Intensive Care Medicine, 2022, 48 : 121 - 123
  • [46] Neural correlates of goal-directed and non-goal-directed movements
    Sendhilnathan, Naveen
    Basu, Debaleena
    Goldberg, Michael E.
    Schall, Jeffrey D.
    Murthy, Aditya
    PROCEEDINGS OF THE NATIONAL ACADEMY OF SCIENCES OF THE UNITED STATES OF AMERICA, 2021, 118 (06)
  • [47] Learning and transfer across different effector systems: The example of goal-directed displacement tasks
    Camachon, C
    Montagne, G
    Buekers, MJ
    Laurent, M
    STUDIES IN PERCEPTION AND ACTION VII, 2003, 7 : 45 - 48
  • [48] Simple translation of goal-directed evaluation
    Proebsting, TA
    ACM SIGPLAN NOTICES, 1997, 32 (05) : 1 - 6
  • [49] Goal-directed treatment of osteoporosis in Europe
    J. A. Kanis
    E. McCloskey
    J. Branco
    M.-L. Brandi
    E. Dennison
    J.-P. Devogelaer
    S. Ferrari
    J.-M. Kaufman
    S. Papapoulos
    J.-Y. Reginster
    R. Rizzoli
    Osteoporosis International, 2014, 25 : 2533 - 2543
  • [50] Goal-directed revamp for Japanese research
    Cyranoski, D
    NATURE, 2001, 410 (6824) : 7 - 7