थ्रैकल

एक थ्रैकल तल में एक ग्राफ का एक अंतःस्थापन (एम्बेडिंग) है, जैसे कि प्रत्येक किनारा एक जॉर्डन चाप है और और किनारों का हर युग्म बिल्कुल एक बार मिलता है। किनारे या तो एक सामान्य अंत बिंदु पर मिल सकते हैं, या, यदि उनके पास कोई अंत बिंदु नहीं है, तो उनके आंतरिक भाग में एक बिंदु पर मिल सकते हैं। बाद की स्थिति में, क्रॉसिंग अनुप्रस्थ होना चाहिए।

रैखिक थ्रैकल्स
एक रैखिक थ्रैकल इस तरह से खींचा गया थ्रैकल है कि इसके किनारे सीधी रेखा खंड हैं। जैसा कि पॉल एर्डोस ने देखा, प्रत्येक रैखिक थ्रैकल में अधिक से अधिक किनारों के रूप में शीर्ष होते हैं। यदि एक शीर्ष v तीन या अधिक किनारों vw, vx, और vy से जुड़ा है, तो उन किनारों में से कम से कम एक किनारा (जैसे vw ) एक रेखा पर स्थित है जो दो अन्य किनारों को अलग करता है। फिर, w की कोटि एक होनी चाहिए, क्योंकि vw के अलावा w पर समाप्त होने वाला कोई भी रेखा खंड, vx और vy दोनों को नहीं स्पर्श सकता है। किनारों और शीर्षों की संख्या के बीच के अंतर को परिवर्तन किए बिना w और vw को हटाने से एक छोटे थ्रैकल की उत्पत्ति होती है। इस तरह से हटाने के बाद एक थ्रैकल होता है जिसमें प्रत्येक शीर्ष पर अधिकतम दो सहवासी होते हैं, हैंडशेकिंग लेम्मा द्वारा किनारों की संख्या अधिक से अधिक शीर्षों की संख्या होती है। एर्डोस के प्रमाण के आधार पर, कोई भी अनुमान लगा सकता है कि प्रत्येक रैखिक थ्रैकल एक स्यूडोफ़ॉरेस्ट है। विषम लंबाई के प्रत्येक चक्र को एक रेखीय थ्रैकल बनाने के लिए व्यवस्थित किया जा सकता है, लेकिन यह सम-लंबाई वाले चक्र के लिए संभव नहीं है, क्योंकि यदि चक्र के एक किनारे को स्वेच्छतः से चुना जाता है, तो चक्र के अन्य शीर्षों को बारी-बारी से इस किनारे के माध्यम से रेखा के विपरीत दिशा में स्थित होना चाहिए।

मीका मोती ने एक और सरल प्रमाण प्रदान किया कि रैखिक थ्रैकल्स में अधिकांश n किनारे होते हैं, इस तथ्य के आधार पर कि एक रेखीय थ्रैकल में प्रत्येक किनारे का एक समापन बिंदु होता है, जिस पर किनारे अधिकतम 180 ° के कोण पर फैले होते हैं, और जिसके लिए यह सबसे अधिक दक्षिणावर्त होता है। इस अवधि के भीतर बढ़त। इसके लिए, यदि नहीं, तो दो किनारे होंगे, किनारे के विपरीत छोरों के लिए घटना और किनारे के माध्यम से रेखा के विपरीत किनारों पर झूठ बोलना, जो एक दूसरे को पार नहीं कर सके। लेकिन प्रत्येक शीर्ष में केवल एक किनारे के संबंध में यह गुण हो सकता है, इसलिए किनारों की संख्या अधिक से अधिक वर्टिकल की संख्या के बराबर होती है।

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

कम्प्यूटेशनल ज्यामिति में, कैलीपर्स को घुमाने की विधि का उपयोग उत्तल स्थिति में बिंदुओं के किसी भी सेट से एक रैखिक थ्रैकल बनाने के लिए किया जा सकता है, बिंदुओं के जोड़े को जोड़कर जो बिंदुओं के उत्तल हल को समानांतर रेखाओं का समर्थन करते हैं। इस ग्राफ में व्यास जोड़े के थ्रैकल को सबग्राफ के रूप में शामिल किया गया है। रेनहार्ड्ट बहुभुजों के व्यास रैखिक थ्रैकल बनाते हैं। सबसे बड़ी छोटी बहुभुज समस्या को हल करने के लिए रैखिक थ्रैकल्स की गणना का उपयोग किया जा सकता है, इसके व्यास के सापेक्ष अधिकतम क्षेत्र के साथ एन-गॉन खोजने के लिए।

थ्रैकल अनुमान
जॉन हॉर्टन कॉनवे|जॉन एच. कॉनवे ने अनुमान लगाया कि, किसी भी थ्रैकल में, किनारों की संख्या अधिक से अधिक शीर्षों की संख्या के बराबर होती है। कॉनवे ने खुद शब्दावली पथ और स्पॉट (क्रमशः किनारों और शीर्षके लिए) का इस्तेमाल किया, इसलिए 'कॉनवे का थ्रैकल अनुमान' मूल रूप से कहा गया था रूप में हर थ्रैकल में कम से कम उतने ही धब्बे होते हैं जितने पथ होते हैं। कॉनवे ने इस अनुमान को साबित करने या अस्वीकार करने के लिए $ 1000 पुरस्कार की पेशकश की, जिसमें कॉनवे की 99-ग्राफ की समस्या, डांसर सेट  की न्यूनतम रिक्ति, और चाल 16 के बाद चाँदी का सिक्का के विजेता सहित पुरस्कार समस्याओं का एक हिस्सा भी शामिल है। समतुल्य रूप से, थ्रैकल अनुमान को कहा जा सकता है क्योंकि प्रत्येक थ्रैकल एक स्यूडोफॉरेस्ट है। अधिक विशेष रूप से, यदि थ्रैकल अनुमान सत्य है, तो थ्रैकल्स को वुडाल के परिणाम से सटीक रूप से चित्रित किया जा सकता है: वे छद्म वन हैं जिनमें लंबाई चार का कोई चक्र नहीं है और अधिक से अधिक एक विषम चक्र है। यह सिद्ध हो चुका है कि C के अलावा हर चक्र का ग्राफ4 एक थ्रैकल एम्बेडिंग है, जो दर्शाता है कि अनुमान गणितीय शब्दजाल की सूची#sharp है। यानी, पथ के समान स्पॉट वाले थ्रैकल हैं। दूसरे चरम पर, सबसे खराब स्थिति यह है कि स्पॉट की संख्या पथों की संख्या से दोगुनी है; यह भी प्राप्य है।

थ्रैकल अनुमान इस तरह से खींचे गए थ्रैकल्स के लिए सही माना जाता है कि प्रत्येक किनारा एक एक्स-मोनोटोन वक्र है, जो प्रत्येक ऊर्ध्वाधर रेखा द्वारा अधिकतम एक बार पार किया जाता है।

ज्ञात सीमा
ने साबित किया कि प्रत्येक द्विपक्षीय ग्राफ थ्रैकल एक प्लेनर ग्राफ  है, हालांकि प्लानर तरीके से नहीं खींचा गया है। परिणामस्वरूप, वे दिखाते हैं कि n शीर्षों वाले प्रत्येक थ्रैकलीबल ग्राफ़ में अधिक से अधिक 2n − 3 किनारे होते हैं। तब से, इस सीमा में कई बार सुधार किया गया है। सबसे पहले, इसे 3(n − 1)/2 में सुधारा गया था, और एक अन्य सुधार के कारण मोटे तौर पर 1.428n का बाउंड हुआ। इसके अलावा, बाद के परिणाम को साबित करने के लिए इस्तेमाल की जाने वाली विधि किसी भी ε > 0 के लिए एक परिमित एल्गोरिथ्म है जो या तो (1 + ε)n की सीमा में सुधार करता है या अनुमान को गलत साबित करता है। वर्तमान रिकॉर्ड के कारण है, जिन्होंने 1.3984n की सीमा सिद्ध की। यदि अनुमान गलत है, तो एक न्यूनतम प्रति उदाहरण में एक शीर्ष साझा करने वाले दो समान चक्रों का रूप होगा। इसलिए, अनुमान को सिद्ध करने के लिए, यह साबित करना पर्याप्त होगा कि इस प्रकार के ग्राफ़ को थ्रैकल्स के रूप में नहीं खींचा जा सकता है।

बाहरी संबंध

 * thrackle.org—website about the problem