مسألة kk مركز ←

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

يُشار عادة إلى هذه العملية بـ "عنقدة البيانات"، وقد حظيت مسألة التوصّل إلى تصنيفات فعالة ومناسبة لهذه العناقيد بدراسات مستفيضة.

نتناول هنا نمطً محدداً من أنماط العنقدة يسمى "مسألة kk مركز".

حيث يعطى في هذه المسألة - كمدخل - بياناً تاماً غير موجهاً G=(V,E)G = (V, E)، مع وجود مسافة di,j>=0d_{i,j} >= 0 بين كل زوج من العقد i,j∈Vi, j \in V. ونفترض أن dii=0d_{ii} = 0 وأن dij=djid_{ij} = d_{ji} لأي i,j∈Vi, j \in V، وأن المسافات تخضع لمتارجحة المثلث، أي أنه لكل ثلاثية من العقد i,j,l∈Vi, j, l \in V يتحقق الشرط dij+djl>=dild_{ij} + d_{jl} >= d_{il}.

حيث تعبر المسافات في هذه المسألة عن مدى التشابه، فالعقد المتقاربة تكون أكثر تشابهاً، بينما تكون العقد المتباعدة أقل تشابهاً.

يعطي في هذه المسألة - كمدخل إضافي - عدد صحيحاً kk، ويكون الهدف في هذه المسألة هو تحديد kk عنقوداً من خلال تجميع العقد الأكثر تشابهاً (تقارباً) مع بعضها البعض من عنقود واحد.

سنختار في هذه المسألة مجموعة S⊆VS \subseteq V (بحيث يكون حجمها ∣S∣=k|S| = k) لتكون مراكزاً ل kk عنقود.

ستقوم كل عقد بتحديد أقرب مركز مجموعة للإنضمام إليها، مما يؤدي إلى تقسيم العقد إلى kk عنقود مختلف.

يتمثل الهدف في مسألة "kk مركز" في تصغير أقصى مسافة تفصل أي عقدة عن مركز مجموعتها إلى أدنى حد ممكن.

يكمن الهدف من الناحية الهندسة في إيجاد مركز لـ kk دائرة متساوية نصف القطر تغطي جميع العقد، بحيث يكون نصف القطر أصغر ما يمكن.

وبصيغة أكثر دقة، نعرّف المسافة التي تفصل العقدة ii عن مجموعة العقد S subseteqVS \ subseteq V بأنها d(i,S)=minj∈Sdijd(i, S) = min_{j \in S}d_{ij}.