Chordal Graphs

被引：3
|
作者：
Arneson, Broderick [1 ]
Rudnicki, Piotr [1 ]
机构：
[1] Univ Alberta, Edmonton, AB, Canada
来源：
FORMALIZED MATHEMATICS | 2006年 / 14卷 / 03期
基金：
加拿大自然科学与工程研究理事会;
关键词：
D O I：
10.2478/v10037-006-0010-3
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
We are formalizing [9, pp. 81-84] where chordal graphs are defined and their basic characterization is given. This formalization is a part of the M.Sc. work of the first author under supervision of the second author.
引用
收藏
页码：79 / 92
页数：14
相关论文
共 50 条
  • [1] Reconfiguration graphs for vertex colourings of chordal and chordal bipartite graphs
    Marthe Bonamy
    Matthew Johnson
    Ioannis Lignos
    Viresh Patel
    Daniël Paulusma
    [J]. Journal of Combinatorial Optimization, 2014, 27 : 132 - 143
  • [2] Chordal multipartite graphs and chordal colorings
    McKee, Terry A.
    [J]. DISCRETE MATHEMATICS, 2007, 307 (17-18) : 2309 - 2314
  • [3] Reconfiguration graphs for vertex colourings of chordal and chordal bipartite graphs
    Bonamy, Marthe
    Johnson, Matthew
    Lignos, Ioannis
    Patel, Viresh
    Paulusma, Daniel
    [J]. JOURNAL OF COMBINATORIAL OPTIMIZATION, 2014, 27 (01) : 132 - 143
  • [4] Chordal graphs and their clique graphs
    Galinier, P
    Habib, M
    Paul, C
    [J]. GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 1995, 1017 : 358 - 371
  • [5] Chordal bipartite, strongly chordal, and strongly chordal bipartite graphs
    McKee, TA
    [J]. DISCRETE MATHEMATICS, 2003, 260 (1-3) : 231 - 238
  • [6] Graph isomorphism completeness for chordal bipartite graphs and strongly chordal graphs
    Uehara, R
    Toda, S
    Nagoya, T
    [J]. DISCRETE APPLIED MATHEMATICS, 2005, 145 (03) : 479 - 482
  • [7] On the complexity of the sandwich problems for strongly chordal graphs and chordal bipartite graphs
    de Figueiredo, C. M. H.
    Faria, L.
    Klein, S.
    Sritharan, R.
    [J]. THEORETICAL COMPUTER SCIENCE, 2007, 381 (1-3) : 57 - 67
  • [8] What Is between Chordal and Weakly Chordal Graphs?
    Cohen, Elad
    Golumbie, Martin Charles
    Lipshteyn, Marina
    Stern, Michal
    [J]. GRAPH-THEORETIC CONCEPTS IN COMPUTER SCIENCE, 2008, 5344 : 275 - 286
  • [9] A GENERALIZATION OF CHORDAL GRAPHS
    SEYMOUR, PD
    WEAVER, RW
    [J]. JOURNAL OF GRAPH THEORY, 1984, 8 (02) : 241 - 251
  • [10] On chordal phylogeny graphs
    Eoh, Soogang
    Kim, Suh-Ryung
    [J]. DISCRETE APPLIED MATHEMATICS, 2021, 302 : 80 - 91
12345