Partial cyclic order
ریاضی میں، جزوی چکور ترتیب ایک سہ رخی تعلق ہے جو چکور ترتیب کو اسی طرح عام کرتا ہے جس طرح جزوی ترتیب لکیری ترتیب کو عام کرتی ہے۔ تعریف کسی دیئے گئے سیٹ پر، ایک جزوی چکور ترتیب ایک سہ رخی تعلق ہے جو ہے: چکور، یعنی۔ یہ ایک چکور ترتیب کے تحت غیر متغیر ہے: غیر متناسب: عارضی: اور تعمیرات براہ راست مجموعہ براہ راست پروڈکٹ پاور ڈیڈیکائنڈ-میک نیل تکمیل توسیعات لکیری توسیع، زیپل راجن توسیعی تھیوریم معیاری مثال جزوی اور کل چکور ترتیبات کے درمیان تعلق جزوی اور کل لکیری ترتیبات کے درمیان تعلقات سے زیادہ پیچیدہ ہے۔ شروع کرنے کے لیے، ہر جزوی چکور ترتیب کو کل چکور ترتیب تک نہیں بڑھایا جا سکتا۔ ایک مثال حروف تہجی کے پہلے تیرہ حروف پر درج ذیل تعلق ہے: {ACD, BDE, CEF, DFG, EGH, FHA, GAC, HCB} ≤ {abi, cij, bjk, ikl, jlm, kma, لیب, mbc}۔ یہ تعلق ایک جزوی چکور ترتیب ہے، لیکن اسے اے بی سی یا سی بی اے کے ساتھ بڑھایا نہیں جا سکتا ؛ کسی بھی کوشش کے نتیجے میں تضاد پیدا ہوگا۔ مندرجہ بالا ایک نسبتا ہلکی مثال تھی۔ کوئی بھی اعلی درجے کی رکاوٹوں کے ساتھ جزوی چکور ترتیبات بھی بنا سکتا ہے جیسے کہ، مثال کے طور پر، کسی بھی 15 ٹرپل کو شامل کیا جا سکتا ہے لیکن 16 واں نہیں کر سکتا۔ در حقیقت، چکور ترتیب NP مکمل ہے، کیونکہ یہ 3SAT کو حل کرتا ہے۔ یہ لکیری آرڈرز کے لیے شناخت کے مسئلے کے بالکل برعکس ہے، جسے لکیری وقت میں حل کیا جا سکتا ہے۔ نوٹس حوالہ جات مزید پڑھنے آرڈر تھیوری سرکلز