Arboricity: An acyclic hypergraph decomposition problem motivated by database theory
نویسندگان
چکیده
The arboricity of a hypergraph H is the minimum number of acyclic hypergraphs that partition H . The determination of the arboricity of hypergraphs is a problem motivated by database theory. The exact arboricity of the complete k-uniform hypergraph of order n is previously known only for k ∈ {1, 2, n − 2, n − 1, n}. The arboricity of the complete k-uniform hypergraph of order n is determined asymptotically when k = n − O(log1−δ n), δ positive, and determined exactly when k = n − 3. This proves a conjecture of Wang (2008) [20] in the asymptotic sense. © 2011 Elsevier B.V. All rights reserved.
منابع مشابه
The α-Arboricity of Complete Uniform Hypergraphs
α-acyclicity is an important notion in database theory. The α-arboricity of a hypergraphH is the minimum number of α-acyclic hypergraphs that partition the edge set of H. The α-arboricity of the complete 3-uniform hypergraph is determined completely.
متن کاملIdentifying the Minimal Transversals of a Hypergraph and Related Problems
The paper considers two decision problems on hypergraphs, hypergraph saturation and recognition of the transversal hypergraph, and discusses their significance for several search problems in applied computer science. Hypergraph saturation, i.e., given a hypergraph H, decide if every subset of vertices is contained in or contains some edge of H, is shown to be co-NP-complete. A certain subproble...
متن کاملA Comparison of Structural CSP Decomposition Methods
We compare tractable classes of constraint satisfaction problems (CSPs). We first give a uniform presentation of the major structural CSP decomposition methods. We then introduce a new class of tractable CSPs based on the concept of hypertree decomposition recently developed in Database Theory. We introduce a framework for comparing parametric decomposition-based methods according to tractabi l...
متن کاملA Structural Decomposition for HypergraphsPETER JEAVONS ,
Hypergraphs arise in a variety of applications and are commonly classiied as cyclic or acyclic. In this paper we develop a more reened classiication scheme for cyclic hypergraphs based on a natural decomposition strategy. The fundamental building blocks in our decompositions are subsets of edges known as k-hinges. For any hypergraph, a set of more than k of its edges is deened to be a k-hinge i...
متن کاملGreedy Strategies and Larger Islands of Tractability for Conjunctive Queries
Structural decomposition methods have been developed for identifying tractable classes of instances of fundamental problems in databases, such as conjunctive queries and query containment, of the constraint satisfaction problem in artificial intelligence, or more generally of the homomorphism problem over relational structures. These methods work on the hypergraph structure of problem instances...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Discrete Applied Mathematics
دوره 160 شماره
صفحات -
تاریخ انتشار 2012