Unique factorization theorem and formal concept analysis

被引：0

作者：

Mihok, Peter ^{[1
,2
]}

Semanisin, Gabriel ^{[3
]}

机构：

[1] Tech Univ Kosice, Fac Econ, Dept Appl Math, B Nemcovej 32, Kosice 04001, Slovakia

[2] Slovak Acad Sci, Math Inst, Kosice 04001, Slovakia

[3] Safarik Univ, Inst Comp Sci, Fac Sci, Kosice 04154, Slovakia

来源：

CONCEPT LATTICES AND THEIR APPLICATIONS | 2008年 / 4923卷

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

In the theory of generalised colourings of graphs, the Unique Factorization Theorem (UFT) for additive induced-hereditary properties of graphs provides an analog of the well-known Fundamental Theorem of Arithmetics. The purpose of this paper is to present a new, less complicated, proof of this theorem that is based on Formal Concept Analysis. The method of the proof can be successfully applied even for more general mathematical structures known as relational structures.

引用

页码：232 / +

页数：2

共 50 条

[1] Factorization with Hierarchical Classes Analysis and with Formal Concept Analysis
Glodeanu, Cynthia Vera
[J]. FORMAL CONCEPT ANALYSIS, 2011, 6628 : 107 - 118
[2] A unique factorization theorem for matroids
Crapo, H
Schmitt, W
[J]. JOURNAL OF COMBINATORIAL THEORY SERIES A, 2005, 112 (02) : 222 - 249
[3] Formal Fibers of Unique Factorization Domains
Boocher, Adam
Daub, Michael
Johnson, Ryan K.
Lindo, H.
Loepp, S.
Woodard, Paul A.
[J]. CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 2010, 62 (04): : 721 - 736
[4] Fast factorization by similarity in formal concept analysis of data with fuzzy attributes
Belohlavek, Radim
Dvorak, Jiri
Outrata, Jan
[J]. JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 2007, 73 (06) : 1012 - 1022
[5] Data Reduction for Boolean Matrix Factorization Algorithms Based on Formal Concept Analysis
Trnecka, Martin
Trneckova, Marketa
[J]. KNOWLEDGE-BASED SYSTEMS, 2018, 158 : 75 - 80
[6] CANCELLATION LAW AND UNIQUE FACTORIZATION THEOREM FOR STRING OPERATIONS
Tonien, Dongvu
[J]. JOURNAL OF ALGEBRA AND ITS APPLICATIONS, 2006, 5 (02) : 231 - 243
[7] ON UNIQUE FACTORIZATION THEOREM IN RING OF NUMBER THEORETIC FUNCTIONS
LU, CP
[J]. ILLINOIS JOURNAL OF MATHEMATICS, 1965, 9 (01) : 40 - &
[8] Revisiting data reduction for boolean matrix factorization algorithms based on formal concept analysis
Yang, Lanzhen
Tsang, Eric C. C.
Mao, Hua
Zhang, Chengling
Wu, Jiaming
[J]. INTERNATIONAL JOURNAL OF MACHINE LEARNING AND CYBERNETICS, 2024,
[9] ELEMENTARY PROOF OF UNIQUE FACTORIZATION THEOREM IN REGULAR LOCAL RINGS
NARITA, M
[J]. PROCEEDINGS OF THE JAPAN ACADEMY, 1961, 37 (07): : 342 - &
[10] Formal Concept Analysis for Concept Collecting and Their Analysis
Jurkevicius, Darius
Vasilecas, Olegas
[J]. BALTIC JOURNAL OF MODERN COMPUTING, 2009, 751 : 22 - 39

← 1 2 3 4 5 →