[논문 리뷰] LCM is Well Implemented CbO: Study of LCM from FCA Point of View.

Radek Janostik, Jan Konečný외 1명|arXiv (Cornell University)|2020. 01. 01.

Rough Sets and Fuzzy Logic참고 문헌 4인용 수 3

한 줄 요약

이 논문은 형식개념분석(FCA)의 관점에서 빈도 높은 닫힌 항목집합 탐색을 위한 LCM 알고리즘을 재해석하며, LCM이 희박한 데이터에 특화된 고도로 최적화된 Close-by-One(CbO) 알고리즘의 구현임을 입증한다. 주요 기여는 FCA 기반의 공식적 분석을 통해 LCM의 효율성이 FCA 원칙과 부합하는 구조적 최적화에 기인함을 보여주는 것이다. 이는 FCbO 및 In-Close 유형의 유사한 FCA 기반 알고리즘들을 능가한다.

ABSTRACT

LCM is an algorithm for enumeration of frequent closed itemsets in transaction databases. It is well known that when we ignore the required frequency, the closed itemsets are exactly intents of formal concepts in Formal Concept Analysis (FCA). We describe LCM in terms of FCA and show that LCM is basically the Close-by-One algorithm with multiple speed-up features for processing sparse data. We analyze the speed-up features and compare them with those of similar FCA algorithms, like FCbO and algorithms from the In-Close family.

연구 동기 및 목표

• 형식개념분석(FCA)의 관점에서 LCM 알고리즘을 이해하기 위해.
• LCM의 성능 최적화 기능이 FCA 원칙과 어떻게 일치하는지 규명하기 위해.
• FCbO 및 In-Close 가족 알고리즘과 같은 다른 FCA 기반 알고리즘과의 LCM의 속도 향상 기능을 비교하기 위해.
• LCM이 본질적으로 FCA 프레임워크 내에서 Close-by-One(CbO) 알고리즘의 고도로 최적화된 구현임을 입증하기 위해.

제안 방법

• 특히 닫힌 항목집합을 형식개념의 의도(intent)로 간주하는 FCA 개념을 활용해 LCM의 논리를 재구성하기 위해.
• 개념 격자 구축 및 닫힘 연산의 관점에서 LCM의 데이터 구조 및 순회 전략을 분석하기 위해.
• 효율적인 후보 생성 및 정렬 기능과 같은 LCM의 속도 향상 기능을 FCA 프레임워크 내에서 식별하고 분류하기 위해.
• FCA 기반 이론적 및 구조적 분석을 통해 LCM의 최적화 기법을 FCbO 및 In-Close 알고리즘과 비교하기 위해.
• 공식적 개념 격자 성질을 활용해 LCM의 순회 및 닫힘 연산의 정확성과 효율성을 설명하기 위해.

실험 결과

연구 질문

• RQ1 형식개념분석(FCA)의 맥락에서 LCM 알고리즘이 Close-by-One(CbO) 알고리즘과 어떻게 관련이 있는가?
• RQ2 어떤 특정한 속도 향상 기능이 FCA 원칙을 사용해 공식적으로 설명되고 정당화될 수 있는가?
• RQ3 LCM의 최적화 기능은 효율성과 구조적 측면에서 FCbO 및 In-Close 가족 알고리즘과 비교해 어떻게 다른가?
• RQ4 LCM의 성능 우월성이 FCA의 이론적 기초와의 일치 정도에 얼마나 기반하는가?

주요 결과

• LCM은 FCA 프레임워크 내에서 추상화된 상태에서 Close-by-One(CbO) 알고리즘과 공식적으로 동일하다.
• LCM의 효율성은 FCA 원칙과 부합하는 구조적 최적화에 기인하며, 특히 희박한 데이터 처리에서 두드러진다.
• optimized candidate generation 및 pruning과 같은 LCM의 속도 향상 기능은 FCA 기반 계산 전략의 자연스러운 연장선으로 나타난다.
• LCM은 닫힘 연산 및 데이터의 희박성 처리 방식이 정교하게 다뤄져 FCbO 및 In-Close 알고리즘을 능가한다.
• FCA 관점은 LCM의 설계 선택이 히ュ리스틱이 아니라 공식적 개념 격자 이론에 뿌리를 두고 있음을 드러낸다.