[논문 리뷰] Quasi-concave functions on antimatroids

Vadim E. Levit, Yulia Kempner|arXiv (Cornell University)|2004. 08. 26.

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

한 줄 요약

이 논문은 k-자uncated 앤티마트로이드 위에서 준연속 집합 함수와 단조 연결 함수 사이의 이중성을 수립한다. 이는 이러한 구조 위에서 정의된 모든 준연속 함수가 단조 연결 함수의 최소값으로 표현될 수 있으며, 반대로 임의의 단조 연결 함수의 최소값이 준연속 함수가 되는 것을 보여준다. 이는 기저 집합계가 상한이 없는 k-자uncated 간격 성질을 만족할 경우에 성립하며, 이 조건이 k-자uncated 앤티마트로이드를 특징짓는다.

ABSTRACT

In this paper we consider quasi-concave set functions defined on antimatroids. There are many equivalent axiomatizations of antimatroids, that may be separated into two categories: antimatroids defined as set systems and antimatroids defined as languages. An algorthmic characterization of antimatroids, that considers them as set systems, was given in (Kempner, Levit 2003). This characterization is based on the idea of optimization using set functions defined as minimum values of linkages between a set and the elements from the set complement. Such set functions are quasi-concave. Their behavior on antimatroids was studied in (Kempner, Muchnik 2003), where they were applied to constraint clustering. In this work we investigate a duality between quasi-concave set functions and linkage functions. Our main finding is that quasi-concave set functions on an antimatroid may be represented as minimum values of some monotone linkage functions.

연구 동기 및 목표

• k-자uncated 앤티마트로이드 위에서 준연속 집합 함수와 단조 연결 함수 사이의 이중성을 수립하기.
• 모든 단조 연결 함수의 최소값이 준연속 함수가 되는 집합계의 클래스를 특징짓기.
• 주어진 준연속 함수를 정의하는 단조 연결 함수들의 집합이 점별 최소값에 대해 반순서집합을 이룬다는 것을 보여주기.
• k-자uncated 간격 성질이 상한 없이 성립하는 것이 이중성이 성립하기 위해 필수적이고 충분한 조건임을 증명하기.

제안 방법

• 기저 교차를 통한 만남 연산을 이용해 k-자uncated 앤티마트로이드 위에서 준연속 집합 함수를 정의: F(X ∧ Y) ≥ min{F(X), F(Y)}.
• 모든 x ∈ E에 대해 X ⊆ Y ⇒ π(x,X) ≥ π(x,Y)를 만족하는 단조 연결 함수 π를 도입.
• Γ(X)를 X의 타당한 계속 확장 집합으로 정의하고, F(X) = min_{x ∈ Γ(X)} π(x,X)로 준연속 함수 F를 표현.
• k-자uncated 간격 성질과 기저 성질을 이용해 이러한 최소 함수가 준연속임을 증명.
• F로부터 π_F를 π_F(x,X) = max_{A ∈ [X, E−x]_F_{k−1}} F(A)로 정의하여, 이 함수가 F를 정의하고, 그러한 함수들 중 최소임을 보여줌.
• 모든 이러한 연결 함수들의 집합이 점별 최소값에 대해 반순서집합을 이루며, π_F가 그 최소 원소임을 보여줌.

실험 결과

연구 질문

• RQ1 k-자uncated 앤티마트로이드 위의 모든 준연속 함수는 어떤 단조 연결 함수의 최소값으로 표현될 수 있는가?
• RQ2 상한이 없는 k-자uncated 간격 성질이 임의의 단조 연결 함수의 최소값이 준연속 함수가 되기 위해 필수적이고 충분한 조건인가?
• RQ3 주어진 준연속 함수를 정의하는 단조 연결 함수들의 집합은 어떤 대수적 구조를 가진다?
• RQ4 기본 연결 함수 π_F는 동일한 F를 정의하는 다른 연결 함수들과 어떻게 관련이 있는가?
• RQ5 기저 연산자 B(X)는 타당한 계속 확장을 특징짓고, 이중성이 성립하도록 하는 데 어떤 역할을 하는가?

주요 결과

• k-자uncated 앤티마트로이드 위의 모든 준연속 함수 F는 어떤 단조 연결 함수 π에 대해 F(X) = min_{x ∈ Γ(X)} π(x,X)로 표현될 수 있다.
• π_F(x,X) = max_{A ∈ [X, E−x]_F_{k−1}} F(A)로 정의된 기초 연결 함수 π_F는 F(X) = min_{x ∈ Γ(X)} π_F(x,X)를 만족하며, 그러한 함수들 중 최소이다.
• 주어진 F를 정의하는 모든 단조 연결 함수들의 집합은 점별 최소값에 대해 반순서집합을 이루며, π_F는 그 최소 원소이다.
• 상한이 없는 k-자uncated 간격 성질은 임의의 단조 연결 함수의 최소값이 준연속 함수가 되기 위해 필수적이고 충분한 조건이다.
• 만약 k-자uncated 간격 성질이 성립하지 않으면, 최소값이 준연속 함수가 되지 않는 단조 연결 함수가 존재하므로, 이 조건이 필수적임을 보여준다.
• E = {1,2}, F = 2^E, π(2,∅) = 2, π(x,X) = 1 (기타 경우)인 예시는 F가 상수일 때조차 π_F ≠ π임을 보여주며, π_F가 유일하지 않지만 최소임을 입증한다.