हस्से आरेख

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

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

वाक्यांश हस्से आरेख भी उस ग्राफ़ के किसी भी चित्र से स्वतंत्र रूप से अमूर्त निर्देशित एसाइक्लिक ग्राफ़ के रूप में सकर्मक कमी को संदर्भित कर सकता है, किन्तु यह उपयोग यहाँ से बच गया है।

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

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

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

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

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