थ्रैकल

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

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

मीका मोती ने एक और सरल प्रमाण प्रदान किया कि रैखिक थ्रैकल्स में अधिकांश 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