TL;DR
- چکیده:.
- ما UCPDL+ را معرفی و مطالعه میکنیم،.
- خانوادهای از منطقهای بیانی که ریشه در منطق پویای گزارهای (PDL) با حالت معکوس (CPDL) و روش جهانی.
چه اتفاقی افتاد
چکیده:. ما UCPDL+ را معرفی و مطالعه میکنیم،.
خانوادهای از منطقهای بیانی که ریشه در منطق پویای گزارهای (PDL) با حالت معکوس (CPDL) و روش جهانی. (UCPDL) دارد.
از نظر قدرت بیان،. UCPDL+ بهطور دقیق شامل PDL گسترش یافته با تقاطع و مکالمه (معروف به ICPDL)،.
و همچنین پرس و جوهای پیوندی (CQ)،. کوئریهای مسیر منظم پیوسته (CRPQ)،.
یا برخی از پسوندهای شناخته شده آنها (پرس و جوهای منظم و CQPDL) است. بهعلاوه،.
معادل بسط قطعه انکارناپذیر منطق مرتبه اول (UNFO) با بسته شدن متعدی یکنواخت است،. که ما آن را با UNFO* نشان میدهیم،.
که به نوبه خود شامل یک پسوند قبلاً مطالعه شده از UNFO با عبارات منظم معروف به UNFO^reg. است.
ما قدرت بیان،. عدم تمایز را از طریق شبیهسازیها،.
رضایتپذیری و بررسی مدل برای UCPDL+ و CPDL+ بررسی میکنیم. ما استدلال میکنیم که زیر کلاسها طبیعی CPDL+ را میتوان در آن تعریف کرد شرایط.
عرض درخت نمودارهای زیرین فرمولها. ما نشان میدهیم که کلاس فرمولهای CPDL+ پهنای درخت 2 معادل ICPDL است،.
و همچنین با فرمولهای CPDL+ پهنای درخت 1 منطبق است. با این حال، فراتر از عرض درخت 2، افزایش عرض درخت به شدت قدرت بیانی را افزایش میدهد.
ما قدرت بیانی را برای هر کلاس از فرمولهای با عرض درخت ثابت در قالب یک بازی شبیهسازی. با سنگریزه مشخص میکنیم.
بر اساس این خصوصیات، نشان میدهیم که CPDL+ دارای ویژگی مدل درختی است. ما ثابت میکنیم که مشکل رضایتپذیری برای UCPDL+ در 2ExpTime قابل تصمیمگیری است، همزمان با پیچیدگی ICPDL.
در نتیجه، مشکل رضایتپذیری برای UNFO* نیز 2ExpTime-complete نشان داده میشود. ما همچنین کلاسهای را به نمایش میگذاریم که رضایتمندی آنها به ExpTime کاهش مییابد.
در نهایت،. ما ثابت میکنیم که مشکل بررسی مدل برای فرمولهای عرض درخت ثابت است PTtime،.
برخلاف کلاس کامل CPDL+. توجه ادمین arXiv: همپوشانی متن با منطق در علوم کامپیوتر (cs.
LO); پایگاههای داده (cs. DB) استناد بهعنوان: (یا v2 [cs.
LO] برای این نسخه) https:. // شده توسط arXiv از طریق DataCite تاریخچه ارسال از:.
Diego Figueira [مشاهده ایمیل] [v1] دوشنبه،. 20 ژانویه 2025،.
18:. 14:.
13 UTC (11,. 835 KB) [v2] پنجشنبه،.
2 آوریل 2026،. ساعت 21:.
18:. 56 UTC (10,.
457 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.