Deciding the Bell Number for Hereditary Graph Properties (Extended Abstract)

被引:0
|
作者
Atminas, Aistis [1 ]
Collins, Andrew
Foniok, Jan
Lozin, Vadim V.
机构
[1] Univ Warwick, DIMAP, Coventry CV4 7AL, W Midlands, England
基金
英国工程与自然科学研究理事会;
关键词
Hereditary class of graphs; Speed of hereditary properties; Bell number; Decidability; EXCLUDING INDUCED SUBGRAPHS;
D O I
10.1007/978-3-319-12340-0_6
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
The paper [J. Balogh, B. Bollobas, D. Weinreich, A jump to the Bell number for hereditary graph properties, J. Combin. Theory Ser. B 95 (2005) 29-48] identifies a jump in the speed of hereditary graph properties to the Bell number B-n and provides a partial characterisation of the family of minimal classes whose speed is at least Bn. In the present paper, we give a complete characterisation of this family. Since this family is infinite, the decidability of the problem of determining if the speed of a hereditary property is above or below the Bell number is questionable. We answer this question positively for properties defined by finitely many forbidden induced subgraphs. In other words, we show that there exists an algorithm which, given a finite set F of graphs, decides whether the speed of the class of graphs containing no induced subgraphs from the set F is above or below the Bell number.
引用
收藏
页码:69 / 80
页数:12
相关论文
共 50 条
  • [21] Fast Parallel Path Concatenation for Graph Extraction (Extended Abstract)
    Shao, Yingxia
    Lei, Kai
    Chen, Lei
    Huang, Zi
    Cui, Bin
    Liu, Zhongyi
    Tong, Yunhai
    Xu, Jin
    2018 IEEE 34TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE), 2018, : 1753 - 1754
  • [22] Learning Node Label Controlled Graph Grammars (Extended Abstract)
    Florencio, Christophe Costa
    GRAMMATICAL INFERENCE: ALGORITHMS AND APPLICATIONS, PROCEEDINGS, 2008, 5278 : 286 - 288
  • [23] A note on the speed of hereditary graph properties
    Lozin, Vadim V.
    Mayhill, Colin
    Zamaraev, Victor
    ELECTRONIC JOURNAL OF COMBINATORICS, 2011, 18 (01):
  • [24] DECIDING WHETHER GRAPH-G HAS PAGE NUMBER ONE IS IN NC
    MASUYAMA, S
    NAITO, S
    INFORMATION PROCESSING LETTERS, 1992, 44 (01) : 7 - 10
  • [25] Properties of the extended graph permanent
    Crump, Iain
    COMMUNICATIONS IN NUMBER THEORY AND PHYSICS, 2017, 11 (04) : 791 - 836
  • [26] Efficient parallel algorithms on distance-hereditary graphs (extended abstract)
    Hsieh, SY
    Ho, CW
    Hsu, TS
    Ko, MT
    Chen, GH
    PROCEEDINGS OF THE 1997 INTERNATIONAL CONFERENCE ON PARALLEL PROCESSING, 1997, : 20 - 23
  • [27] The Asymptotic Number of Spanning Trees in Circulant Graphs (Extended Abstract)
    Golin, Mordecai J.
    Yong, Xuerong
    Zhang, Yuanping
    PROCEEDINGS OF THE NINTH WORKSHOP ON ALGORITHM ENGINEERING AND EXPERIMENTS AND THE FOURTH WORKSHOP ON ANALYTIC ALGORITHMICS AND COMBINATORICS, 2007, : 242 - +
  • [28] Busy Time Scheduling on a Bounded Number of Machines (Extended Abstract)
    Koehler, Frederic
    Khuller, Samir
    ALGORITHMS AND DATA STRUCTURES: 15TH INTERNATIONAL SYMPOSIUM, WADS 2017, 2017, 10389 : 521 - 532
  • [29] PROPERTIES OF THIONYL CHLORIDE SOLUTIONS (EXTENDED ABSTRACT)
    COHEN, R
    KIMEL, J
    ELSTER, E
    PELED, E
    EFRIMA, S
    JOURNAL OF POWER SOURCES, 1989, 26 (1-2) : 5 - 7
  • [30] Proving Reachability Properties by Coinduction (Extended Abstract)
    Lucanu, Dorel
    2018 20TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2018), 2019, : 6 - 7