हस्से आरेख

क्रम सिद्धांत में, एक हस्से आरेख एक प्रकार का गणितीय आरेख है जिसका उपयोग परिमित आंशिक रूप से क्रमबद्ध सेट का प्रतिनिधित्व करने के लिए किया जाता है, इसकी सकर्मक कमी के ग्राफ ड्राइंग के रूप में। कंक्रीट से, आंशिक रूप से ऑर्डर किए गए सेट के लिए $$(S,\le)$$ एक के प्रत्येक तत्व का प्रतिनिधित्व करता है $$S$$ विमान में एक शीर्ष (ग्राफ सिद्धांत) के रूप में और एक रेखा खंड या वक्र खींचता है जो एक शीर्ष से ऊपर की ओर जाता है $$x$$ दूसरे शीर्ष पर $$y$$ जब कभी भी $$y$$ आवरण संबंध $$x$$ (यानी जब भी $$x\ne y$$, $$x\le y$$ और नहीं है $$z$$ से अलग $$x$$ और $$y$$ साथ $$x\le z\le y$$). ये वक्र एक दूसरे को काट सकते हैं लेकिन अपने अंतिम बिंदु के अलावा किसी भी कोने को नहीं छूना चाहिए। इस तरह का एक आरेख, लेबल वाले कोने के साथ, विशिष्ट रूप से इसका आंशिक क्रम निर्धारित करता है।

हस्से आरेखों का नाम हेल्मुट हास (1898-1979) के नाम पर रखा गया है; गैरेट बिरखॉफ के अनुसार, उनसे बने हस के प्रभावी उपयोग के कारण उन्हें तथाकथित कहा जाता है। हालांकि, हस्से इन आरेखों का उपयोग करने वाले पहले व्यक्ति नहीं थे। एक उदाहरण जो हस्से से पहले का है, में पाया जा सकता है. हालांकि हासे आरेखों को मूल रूप से हाथ से आंशिक रूप से आदेशित सेटों के चित्र बनाने के लिए एक तकनीक के रूप में तैयार किया गया था, वे हाल ही में ग्राफ़ आरेखण तकनीकों का उपयोग करके स्वचालित रूप से बनाए गए हैं। वाक्यांश हस्से आरेख भी उस ग्राफ़ के किसी भी चित्र से स्वतंत्र रूप से एक अमूर्त निर्देशित एसाइक्लिक ग्राफ़ के रूप में सकर्मक कमी को संदर्भित कर सकता है, लेकिन यह उपयोग यहाँ से बचा गया है।

आरेख डिजाइन
हालांकि हास आरेख सरल और साथ ही आंशिक रूप से आदेशित सेट से निपटने के लिए सहज ज्ञान युक्त उपकरण हैं, लेकिन यह अच्छा चित्र बनाने के लिए मुश्किल हो जाता है। इसका कारण यह है कि किसी दिए गए पॉसेट के लिए हास आरेख बनाने के लिए आम तौर पर कई संभावित तरीके होंगे। एक आदेश के न्यूनतम तत्वों के साथ शुरू करने और फिर अधिक से अधिक तत्वों को बढ़ाने की सरल तकनीक अक्सर बहुत खराब परिणाम उत्पन्न करती है: समरूपता और आदेश की आंतरिक संरचना आसानी से खो जाती है।

निम्न उदाहरण समस्या प्रदर्शित करता है। समावेशन द्वारा आदेशित 4-तत्व सेट के पावर सेट पर विचार करें $$\subseteq$$. इस आंशिक क्रम के लिए नीचे चार अलग-अलग हास आरेख हैं। प्रत्येक सबसेट में एक बाइनरी एन्कोडिंग के साथ लेबल किया गया एक नोड होता है जो दिखाता है कि एक निश्चित तत्व सबसेट (1) में है या नहीं (0):

पहला आरेख स्पष्ट करता है कि पावर सेट एक वर्गीकृत पोसेट  है। दूसरे आरेख में एक ही श्रेणीबद्ध संरचना है, लेकिन कुछ किनारों को दूसरों की तुलना में लंबा बनाकर, यह जोर देता है कि  tesseract  | 4-आयामी घन दो 3-आयामी क्यूब्स का संयोजन संघ है, और एक टेट्राहेड्रॉन (सार पॉलीटॉप | सार 3- पॉलीटॉप) इसी तरह दो त्रिकोणों को मिलाता है (सार पॉलीटोप | सार 2-पॉलीटोप्स)। तीसरा आरेख संरचना की कुछ आंतरिक समरूपता दिखाता है। चौथे आरेख में शीर्षों को 4×4 मैट्रिक्स (गणित) के तत्वों की तरह व्यवस्थित किया गया है।

ऊपर की ओर समतलता
यदि एक आंशिक क्रम को हस्से आरेख के रूप में खींचा जा सकता है जिसमें कोई भी दो किनारों को पार नहीं किया जाता है, तो इसके कवरिंग ग्राफ को ऊपर की तरफ प्लानर कहा जाता है। ऊपर की ओर की योजना और क्रॉसिंग-फ्री हस्स आरेख निर्माण पर कई परिणाम ज्ञात हैं:
 * यदि खींचा जाने वाला आंशिक क्रम एक जाली (आदेश) है, तो इसे क्रॉसिंग के बिना खींचा जा सकता है यदि और केवल तभी जब इसमें अधिकतम दो आयाम हों। इस मामले में, ऑर्डर आयाम को साकार करने वाले दो रैखिक आदेशों में तत्वों के लिए कार्टेशियन निर्देशांक प्राप्त करके एक गैर-क्रॉसिंग ड्राइंग पाया जा सकता है, और फिर ड्राइंग को 45 डिग्री के कोण से वामावर्त घुमाया जा सकता है।
 * यदि आंशिक क्रम में अधिकतम एक न्यूनतम तत्व है, या इसमें अधिकतम एक अधिकतम तत्व है, तो यह रैखिक समय में परीक्षण किया जा सकता है कि क्या इसमें एक गैर-क्रॉसिंग हासे आरेख है।
 * यह निर्धारित करने के लिए एनपी-पूर्ण है कि क्या कई स्रोतों और सिंक के साथ एक आंशिक आदेश को क्रॉसिंग-फ्री हस आरेख के रूप में तैयार किया जा सकता है। हालांकि, एक क्रॉसिंग-फ्री हस्स आरेख का पता लगाना फिक्स्ड-पैरामीटर ट्रैक्टेबल है, जब आर्टिक्यूलेशन पॉइंट्स की संख्या और आंशिक ऑर्डर के ट्रांजिटिव रिडक्शन के ट्राइकनेक्टेड घटकों द्वारा पैरामीट्रिज किया जाता है।
 * यदि आंशिक क्रम के तत्वों के y-निर्देशांक निर्दिष्ट किए गए हैं, तो उन समन्वय कार्यों के संबंध में एक क्रॉसिंग-मुक्त हासे आरेख रैखिक समय में पाया जा सकता है, यदि ऐसा आरेख मौजूद है। विशेष रूप से, यदि इनपुट पोसेट एक ग्रेडेड पॉसेट है, तो रैखिक समय में यह निर्धारित करना संभव है कि क्या क्रॉसिंग-फ्री हस आरेख है जिसमें प्रत्येक शीर्ष की ऊंचाई उसके रैंक के लिए आनुपातिक है।

यूएमएल संकेतन
सॉफ्टवेयर इंजीनियरिंग में, एक सॉफ्टवेयर सिस्टम का वर्ग (कंप्यूटर प्रोग्रामिंग) और इन वर्गों के बीच वंशानुक्रम (ऑब्जेक्ट-ओरिएंटेड प्रोग्रामिंग) संबंध को अक्सर एक वर्ग आरेख का उपयोग करके चित्रित किया जाता है, हस्से आरेख का एक रूप जिसमें वर्गों को जोड़ने वाले किनारों को ठोस के रूप में खींचा जाता है। सुपरक्लास अंत में एक खुले त्रिभुज के साथ रेखा खंड।