HyperBench: A Benchmark and Tool for Hypergraphs and Empirical Findings


الملخص بالعربية

للتغلب على عدم الإجابة عن الاستعلامات المركبة (CQs) وحل مشاكل الرضا القيود (CSPs)، تم اقتراح عدة مفاهيم من تقسيم الهايبرجرافات -- مما أدى إلى مفاهيم مختلفة من العرض، على وجه الخصوص، العرض العادي والعرض المشترك والعرض الجزئي لعرض الهايبرشجرة (hw، ghw، وfhw). بناءً على الاهتمام المتزايد في استخدام هذه الطرق التقسيمية في الممارسة، يطلب مخزن عام للبرامج التقسيمية، فضلاً عن مجموعة كبيرة من المعيارات، ومحطة عمل عبر الإنترنت لإدخال وتحليل واسترجاع الهايبرجرافات. نحن نتحدث إلى هذه الحاجة بتوفير (i) تنفيذات محددة لتقسيم الهايبرجرافات (بما في ذلك الخوارزميات العملية الجديدة)، (ii) معيار جديد، واسع النطاق، للهايبرجرافات التي تنبع من مجموعات مختلفة من CQ وCSP، و (iii) HyperBench، واجهتنا الجديدة عبر الإنترنت للوصول إلى المعيار ونتائج تحليلاتنا. بالإضافة إلى ذلك، نصفح عدداً من التجارب الفعلية التي قمنا بها باستخدام هذه البنية الجديدة.

تحميل البحث