فيما يتعلق بنماذج التعرف التقليدية، قدمت جولد (Gold) في عام 1967 نموذج التعرف في الحدود، حيث يتم تقديم مجموعة من الأمثلة الإيجابية بشكل دوري، ويتحتم على المتعلم أن يستعيد في النهاية الفرضية المستهدفة. وفي الآونة الأخيرة، قام كلاينبرغ (Kleinberg) ومولاناثان (Mullainathan) في عام 2024 بتقديم مفهوم "التوليد في الحدود"، والذي يتطلب من المتعلم إخراج عناصر جديدة من دعم الهدف.

تركز كلتا السطور الأبحاثية على بيانات إيجابية فقط أو بيانات تحمل تسميات كاملة. ومع ذلك، فإن العديد من إشارات الإشراف الطبيعية تتعلق بالعلاقات بدلاً من المفردات، حيث تُشفر العلاقات بين الأمثلة بدلاً من تسميات الأفراد. وفي هذا السياق، بدأنا دراسة التعرف والتوليد التبايني في الحدود، حيث يلاحظ المتعلم عرضاً تباينياً للبيانات: سلسلة من الأزواج غير المرتبة {x,y} التي تلبي $h(x)
e h(y)$ لفرضية ثنائية مستهدفة غير معروفة، ولكن العنصر الإيجابي خفي عن المتعلم.

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

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