126 research outputs found
The possible values of critical points between varieties of lattices
We denote by Conc(L) the semilattice of all finitely generated congruences of
a lattice L. For varieties (i.e., equational classes) V and W of lattices such
that V is contained neither in W nor its dual, and such that every simple
member of W contains a prime interval, we prove that there exists a bounded
lattice A in V with at most aleph 2 elements such that Conc(A) is not
isomorphic to Conc(B) for any B in W. The bound aleph 2 is optimal. As a
corollary of our results, there are continuum many congruence classes of
locally finite varieties of (bounded) modular lattices
Beyond Hypergraph Dualization
International audienceThis problem concerns hypergraph dualization and generalization to poset dualization. A hypergraph H = (V, E) consists of a finite collection E of sets over a finite set V , i.e. E ⊆ P(V) (the powerset of V). The elements of E are called hyperedges, or simply edges. A hypergraph is said simple if none of its edges is contained within another. A transversal (or hitting set) of H is a set T ⊆ V that intersects every edge of E. A transversal is minimal if it does not contain any other transversal as a subset. The set of all minimal transversal of H is denoted by T r(H). The hypergraph (V, T r(H)) is called the transversal hypergraph of H. Given a simple hypergraph H, the hypergraph dualization problem (Trans-Enum for short) concerns the enumeration without repetitions of T r(H). The Trans-Enum problem can also be formulated as a dualization problem in posets. Let (P, ≤) be a poset (i.e. ≤ is a reflexive, antisymmetric, and transitive relation on the set P). For A ⊆ P , ↓ A (resp. ↑ A) is the downward (resp. upward) closure of A under the relation ≤ (i.e. ↓ A is an ideal and ↑ A a filter of (P, ≤)). Two antichains (B + , B −) of P are said to be dual if ↓ B + ∪ ↑ B − = P and ↓ B + ∩ ↑ B − = ∅. Given an implicit description of a poset P and an antichain B + (resp. B −) of P , the poset dualization problem (Dual-Enum for short) enumerates the set B − (resp. B +), denoted by Dual(B +) = B − (resp. Dual(B −) = B +). Notice that the function dual is self-dual or idempotent, i.e. Dual(Dual(B)) = B
On the Complexity of Mining Itemsets from the Crowd Using Taxonomies
We study the problem of frequent itemset mining in domains where data is not
recorded in a conventional database but only exists in human knowledge. We
provide examples of such scenarios, and present a crowdsourcing model for them.
The model uses the crowd as an oracle to find out whether an itemset is
frequent or not, and relies on a known taxonomy of the item domain to guide the
search for frequent itemsets. In the spirit of data mining with oracles, we
analyze the complexity of this problem in terms of (i) crowd complexity, that
measures the number of crowd questions required to identify the frequent
itemsets; and (ii) computational complexity, that measures the computational
effort required to choose the questions. We provide lower and upper complexity
bounds in terms of the size and structure of the input taxonomy, as well as the
size of a concise description of the output itemsets. We also provide
constructive algorithms that achieve the upper bounds, and consider more
efficient variants for practical situations.Comment: 18 pages, 2 figures. To be published to ICDT'13. Added missing
acknowledgemen
Generalized Integer Partitions, Tilings of Zonotopes and Lattices
In this paper, we study two kinds of combinatorial objects, generalized
integer partitions and tilings of two dimensional zonotopes, using dynamical
systems and order theory. We show that the sets of partitions ordered with a
simple dynamics, have the distributive lattice structure. Likewise, we show
that the set of tilings of zonotopes, ordered with a simple and classical
dynamics, is the disjoint union of distributive lattices which we describe. We
also discuss the special case of linear integer partitions, for which other
dynamical systems exist. These results give a better understanding of the
behaviour of tilings of zonotopes with flips and dynamical systems involving
partitions.Comment: See http://www.liafa.jussieu.fr/~latapy
- …