کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
437741 690181 2010 26 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Controlled non-uniform random generation of decomposable structures
موضوعات مرتبط
مهندسی و علوم پایه مهندسی کامپیوتر نظریه محاسباتی و ریاضیات
پیش نمایش صفحه اول مقاله
Controlled non-uniform random generation of decomposable structures
چکیده انگلیسی

Consider a class of decomposable combinatorial structures, using different types of atoms Z={Z1,…,Z∣Z∣}. We address the random generation of such structures with respect to a size n and a targeted distribution in k of its distinguished atoms. We consider two variations on this problem.In the first alternative, the targeted distribution is given by k real numbers μ1,…,μk such that 0<μi<1 for all i and μ1+⋯+μk≤1. We aim to generate random structures among the whole set of structures of a given size n, in such a way that the expected frequency of any distinguished atom Zi equals μi. We address this problem by weighting the atoms with a k-tuple of real-valued weights, inducing a weighted distribution over the set of structures of size n. We first adapt the classical recursive random generation scheme into an algorithm taking O(n1+o(1)+mnlogn) arithmetic operations to draw m structures from the -weighted distribution. Secondly, we address the analytical computation of weights such that the targeted frequencies are achieved asymptotically, i.e. for large values of n. We derive systems of functional equations whose resolution gives an explicit relationship between and μ1,…,μk. Lastly, we give an algorithm in O(kn4) for the inverse problem, i.e. computing the frequencies associated with a given k-tuple of weights, and an optimized version in O(kn2) in the case of context-free languages. This allows for a heuristic resolution of the weights/frequencies relationship suitable for complex specifications.In the second alternative, the targeted distribution is given by k natural numbers n1,…,nk such that n1+⋯+nk+r=n where r≥0 is the number of undistinguished atoms. The structures must be generated uniformly among the set of structures of size n that contain exactly ni atoms Zi (1≤i≤k). We give a algorithm for generating m structures, which simplifies into a for regular specifications.

ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Theoretical Computer Science - Volume 411, Issues 40–42, 6 September 2010, Pages 3527-3552