بستار جبری یک میدان

[ریاضی] ← بستار جبری یک هیأت

💡 نظریه‌های آزاد را می‌توان با جستجو برای زیرعبارات مشترک با هدف ساخت بستار همنهشت حل کرد. این حل‌کننده‌ها شامل حل کننده رضایت بر پیمانه نظریه هم هستند.

💡 در ریاضیات بستار تعدی (تراگذری) یک رابطه دوتایی R در مجموعه X، کوچکترین رابطه از X، شامل R که متعدی باشد.

💡 آپریوری بهترین الگوریتم برای کاوش قوانین وابستگی است. این الگوریتم از استراتژی جستجوی اول-سطح برای شمارش پشتیبان مجموعه آیتم‌ها استفاده می‌کند و با استفاده از یک تابع تولید کاندید، از خصوصیت بستار رو به پایین پشتیبان بهره می‌برد.

💡 مجموعه بالا، مجموعه قطعه کامل شماره ۰ نیست. هر مجموعه قطعه‌ها باید بسته باشد، یعنی تمام قوانین تولید برای هر غیرپایانه که بعد از '•' بیاید باید به صورت بازگشتی در مجموعه قطعه‌ها قرار داده شود تا همه غیرپایانه مورد بررسی قرار گیرد. نتیجه این عملیات را بستار آن قطعه می‌گوییم.

💡 الگوریتم‌های کارآمد برای محاسبه بستار تعدی یک گراف را می‌توان در Nuutila (1995) پیدا کرد. سریعترین و بدترین روش که عملی نیست، تبدیل مسئله به ضرب ماتریس است. این مشکل نیز حل می‌شود با الگوریتم وارشال یا با تکرار breadth-first search یا جستجو ی اول عمق با شروع از هر گره از گراف است.