Jgrapht: علة في NaiveLcaFinder

ماذا فعلت لتصحيح هذه المشكلة؟

نظرًا لأن مُنشئ فئة NaiveLcaFinder يضمن فقط أنه يجب توجيه الرسم البياني ولكنه لا يتحقق مما إذا كان يحتوي على دورة. يجب العثور على LCAs في DAGs ولكن بالنسبة للاختبار المحدد ، أدركت لاحقًا أنه لم يكن DAG. كان من المفترض أن تكون DAG لكنها لم تكن كذلك. هل يجب علي المضي قدمًا وتنفيذ هذا الفحص؟

لا ، لن يكون من الجيد إضافة هذا كشيك. هناك دائمًا مفاضلة بين: إنفاق الجهد الحسابي على التحقق من صحة الإدخال ، وفقط افتراض أن المستخدم يوفر المدخلات الصحيحة. لا يمكنني حاليًا الوصول إلى الرمز ، ولكن ما يمكنك فعله هو:

1. تحقق مما إذا كانت اختبارات الرسم البياني تحتوي على طريقة هيDirectedAcyclicGraph. إذا لم يكن كذلك ، قم بإضافته.
2. في التعليمات البرمجية NaiveLCAs ، أضف تأكيدًا: تأكيد GraphTests.isDirectedAcyclicGraph (g) ؛ ربما في NaiveLCA يجب على المرء أن يجعل الأمر أكثر وضوحًا في مواصفات التوثيق / المعلمة أن الرسم البياني للإدخال يحتاج إلى DAG.
3. هناك الكثير من الخوارزميات في jgrapht والتي يمكن استخدامها لتأكيد ما إذا كان الرسم البياني غير دوري ، لذلك لا داعي لتطبيق ذلك.

ومع ذلك ، تحقق مرة أخرى مما إذا كان لا توجد بالفعل طريقة معادلة لاختبار isDirectedAcyclicGraph (لا أعرف هذا عن ظهر قلب).

بالنسبة لمشروعي مبدئيًا ، قمت بتعديل المُنشئ NaiveLcaFinder لطلب DAG. سأعمل على كتابة الطريقة isDirectedAcyclicGraph . لدينا بالفعل تنفيذ كلاهما إذا تم توجيه الرسم البياني وإذا كان الرسم البياني يحتوي على دورات ، فهل يمكنني المضي قدمًا في تنفيذ isDirectedAcyclicGraph ؟

@ hulk-baba توجد مشكلة في ملف الإدخال. أحصل على Cersei عندما أقوم بتشغيل تطبيقي باستخدام "Robert Cersei" (وهو ليس صحيحًا حقًا ولكن هناك ميزة من Cersei إلى Robert ؛ كما هو الحال من Robert إلى Cersei في ملف الإدخال) كمدخل لها مع نسختي من الإدخال ملف.

يرجى التحقق من ملف الإدخال الخاص بك مرة أخرى وإخباري إذا وجدت شيئًا ما (أو ربما جرب رسمًا بيانيًا أصغر يحاكي جزءًا من الرسم البياني الفرعي Lannister / Baratheon ويسهل تصحيحه).

AlexandruValeanu يرجى المحاولة بنفس ملف الإدخال مع وسائط مختلفة Joffrey Tommen كما في الكود checkLcas(graphFinder, "Joffrey", "Tommen", Arrays.asList("Robert"));

@ hulk-baba أنت على حق. إنه لا يعمل في هذه الحالة.

مجموعة الأجداد المشتركة ستكون [Robert, Cersei, Jaime] . ولكن بعد ذلك يحدث هذا. هذا الجزء من الكود يزيل جميع العقد التي لديها طفل في مجموعة الأجداد. نظرًا لوجود حواف من Cersei إلى Robert و Jaime ومن روبرت إلى Cersei ، يمكن (وسيتم) التخلص من الثلاثة من مجموعة الأجداد المشتركين (يتم التخلص من Cersei بسبب Robert و Jaime بسبب Cersei و Robert بسبب Cersei) .

هذه ليست مشكلة في التنفيذ الفعلي لأن الرسم البياني ليس DAG (الدورة بين روبرت وسيرسي تخلق مشاكل في الرسم البياني الفرعي لانيستر / باراثيون).

الإصلاحات الممكنة:

• قم بإزالة الحافة من روبرت إلى سيرسي ؛ أحصل على "روبرت" بعد أن أزلت الحافة
• في هذه الحالة ، يعمل findLca. قد لا يعمل في دورات أخرى ولكن يبدو أنه يعمل على هذه الدورة
• هناك إصلاح صغير يمكنني إجراؤه بحيث يؤدي بشكل أفضل على الرسوم البيانية ذات الدورات ولكن هذا ليس الغرض من هذا التنفيذ

AlexandruValeanu إذن هل نفترض أن الرسم البياني المحدد غير صحيح ثم نزيل الحافة من Robert إلى Cersei ؟
ما أعتقد أنه لا ينبغي أن تكون هناك مخرجات في حالة الرسوم البيانية الدورية التي تقوم بها الكود في الوقت الحالي ، نعم ولكن عندما نقوم بإدخال Joffrey و Cersei فإن الناتج يكون Cersei وهو ما أعتقد أنه لا ينبغي أن يكون لأن Cersei جزء من دورة وبالتالي لا نتأكد مما إذا كانت هذه العقدة عبارة عن LCA أم لا.
لذا ما أقترحه هو أنه يمكننا التحقق مما إذا كانت عقد الإدخال جزء من دورة أم لا عن طريق استدعاء الوظيفة detectCyclesContainingVertex وإذا كان أي منها صحيحًا ، فيمكننا العودة بدون أي LCA. هذا ما أفعله في تمرين الإحماء.
يرجى إعلامي إذا فهمت هذا بشكل غير صحيح وساعدني في فهمه بشكل صحيح.

@ TibRanalPratik17.
الرسم البياني في ملف pdf هذا ليس DAG لذا لا يتعين عليك افتراض أي شيء: فهو ليس إدخالًا صالحًا لـ NaiveLcaFinder .

بالنسبة لتحدي الإحماء ، من الأفضل تعديل الرسم البياني ببساطة بحيث لا يحتوي على أي دورات. يمكنك استخدام CycleDetector للتحقق مما إذا كانت هناك أي دورات في إصدارك من الرسم البياني.

لا يحاول تطبيقي لـ findLcas اكتشاف الدورات أو القيام بأي شيء ذكي لإنتاج إجابة معقولة عند إعطائك رسمًا بيانيًا دوريًا (أي تحصل على undefined behaviour ). لذلك لا فائدة من تحليل الناتج إذا تم كسر الشرط المسبق.

AlexandruValeanu حسنًا ... ولكن ماذا لو أدخل المستخدم رسمًا بيانيًا دوريًا وتوقع مخرجات ، لذا يجب أن يكون الناتج الصالح في هذه الحالة فارغًا إذا كان أي من الأسلاف الحديثة للعقد المعينة أو قد تكون العقد نفسها متورطة في دورة حق؟

يجب ألا يتوقع المستخدم إجابة ، في هذه الحالة ، يجب على المستخدم التحقق من صحة المدخلات الخاصة به ، فهو مجرد قول ما هو f (x) للإدخال x ، وليس في مجال f ، فإن الإجابة ليست فارغة ولكنها غير محددة.

@ TibRanalPratik17.
يقوم NaiveLcaFinder بإرجاع قائمة lcas الصحيحة فقط إذا تم تمريرها DAG.

إذا لم يكن الإدخال DAG ، فلا ينبغي الوثوق في الإخراج. يمكن أن يكون أي شيء حرفيًا. في هذه الحالة ، أعتقد أن تطبيقي يُرجع فقط lcas التي ليست جزءًا من دورة ولكني لست متأكدًا حقًا لأنني لم أختبر كيف تكون الإجابة undefined .

هل يمكن لأي شخص أن يغلق هذا لأنه ليس خطأ؟