न्यूनतम विषुववृत्त अपघटन


10

यह देखते हुए दो बहुकोणीय आकृति और क्यू , पी और क्यू हैं अगर वहाँ बहुकोणीय आकृति की परिमित सेट कर रहे हैं equidecomposable हैं पी 1 , ... , पी एन और क्यू 1 , ... , क्यू एन ऐसी है कि पी मैं और क्यू मैं सभी के लिए अनुकूल हैं मैं , पी = n मैं = 1 पी मैं और क्यू = n मैं = 1 क्यूPQPQP1,,PnQ1,,QnPiQiiP=i=1nPiयह ज्ञात हैकि यदि पी और क्यू समान क्षेत्र के बहुभुज हैं, तो इस तरह का एकसमानताहमेशा मौजूद होता है और यहउच्च आयामों के लिए सामान्य रूप से पकड़ में नहीं आता हैQ=i=1nQiPQ

मैं न्यूनतम समानता समस्या की जटिलता के कारण उत्सुक हूं:

दो बहुभुज के लिए और क्यू , एक equidecomposition खोजने के पी 1 , ... , पी एन और क्यू 1 , ... , क्यू एन कि कम करता nPQपी1,...,पीnक्यू1,...,क्यूnn

क्या इसके लिए एल्गोरिदम (सटीक, बहुपद, घातीय, अनुमानित) हैं? क्या जटिलता ज्ञात है?


2
आपका स्वागत है, महान ब्लॉग !
vzn

जवाबों:


6

पूर्णांक निर्देशांक वाले एक-आयामी क्षेत्रों के लिए, टुकड़ों की एक न्यूनतम संख्या में समान रूप से समतुल्यता 3SUM की आसान कमी के माध्यम से एनपी-हार्ड होती है: यदि एक आकृति में ऐसे खंड होते हैं जिनकी लंबाई 3SUM इनपुट होती है और दूसरे वे खंड होते हैं जिनकी लंबाई डिब्बे होते हैं आपको उन्हें अंदर पैक करना होगा, फिर आप इसे बिना किसी अतिरिक्त कटिंग के कर सकते हैं यदि 3SUM उदाहरण हल नहीं है। दो-आयामी बहुभुजों के लिए, यह जुड़े हुए क्षेत्रों के लिए भी कठोर बना रहता है: एक-आयामी समस्या के खंडों को इकाई-ऊंचाई आयतों से मोटा करें और उन्हें पतली "स्ट्रिंग्स" से कनेक्ट करें जो समस्या के 3SUM भाग को प्रभावित करने के लिए बहुत छोटा क्षेत्र है लेकिन अपघटन में संभालना आसान है।

(डिस्क्लेमर: मैंने इस कटौती विचार को कुछ अन्य लोगों की कठोरता पर कुछ अन्य लोगों के साथ अभी तक प्रकाशित संयुक्त काम से उधार लिया है।)


आपका अस्वीकरण वास्तव में एक पावती है! :-)
डेविड रिचरबी
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.