@ স্যুয়োশিআইটো অনুসারে, এডেলস ব্রুনার এবং প্রেপারটার কারণে এই সমস্যার জন্য একটি -কালীন অ্যালগরিদম রয়েছে। প্রকৃতপক্ষে, তাদের অ্যালগোরিদমটি ন্যূনতম সম্ভাব্য সংখ্যার প্রান্তের সাথে একটি উত্তল বহুভুজ খুঁজে বের করে যা দুটি পয়েন্ট সেটকে পৃথক করে। বীজগণিত সংক্রান্ত সিদ্ধান্ত গাছের মডেলটিতে আরও সাধারণ সমস্যার জন্য তারা একটি নীচু বাঁধাই প্রমাণ করে ; যাইহোক, এটি পরিষ্কার নয় যে এই নিম্ন সীমাটি ত্রিভুজ ক্ষেত্রে প্রযোজ্য কিনা।Ω ( ঢ লগ ইন করুন এন )O(nlogn)Ω(nlogn)
অ্যালগরিদমের সম্পূর্ণ বিবরণ এখানে পোস্ট করা খুব দীর্ঘ, তবে এখানে মূল ধারণাটি। যাক ইতিবাচক পয়েন্ট উত্তল জাহাজের কাঠাম হও। প্রতিটি নেতিবাচক পয়েন্টের জন্য মাধ্যমে লাইন বিবেচনা যে স্পর্শক হয় । এই রেখাগুলি বিমানটিকে চারটি ভাগে ভাগ করেছে, যার একটিতে রয়েছে ; দিন কীলক হতে বিপরীত এক যে রয়েছে । অবশেষে, ("নিষিদ্ধ অঞ্চল") সমস্ত বিবাহের এর মিলন হতে দিন । কোন পৃথক ত্রিভুজ আলাদা নয় থেকে । এবং উভয়ইq q C C W ( q ) C FCqqCCW(q)CFC F C F O ( n লগ এন )W(q)CFCFনির্মাণ করা যেতে পারে সময়।O(nlogn)
এর প্রান্তটি পর্যায়ক্রমে ঘড়ির কাঁটার দিকে এবং ঘড়ির কাঁটার দিকে লেবেল করুন । এডেলস ব্রুনার এবং প্রেপাটার আরও প্রমাণ করে যে বিভাজক ত্রিভুজ যদি বিদ্যমান থাকে তবে একটি পৃথক ত্রিভুজ রয়েছে যার প্রান্তগুলি ঘড়ির কাঁটার প্রান্তের সাথে প্রান্তরেখাযুক্ত । ইন অতিরিক্ত সময়, আমরা (অগত্যা ঘড়ির কাঁটার দিকে) প্রান্ত জানতে পারেন থেকে প্রতিটি ঘড়ির কাঁটার দিকে প্রান্ত একটি রশ্মি প্রথম হিট ; এই প্রান্তটিকে এর "উত্তরসূরি" বলুন । উত্তরসূরিটি ঘড়ির কাঁটার প্রান্তকে চক্রের দিকে বিভক্ত করে; যদি পৃথক পৃথক ত্রিভুজ থাকে তবে এই উত্তরসূরি চক্রগুলির একটির দৈর্ঘ্য 3 (এবং কারও দৈর্ঘ্য 4 এর বেশি নয়)।F O ( n ) F e eFFO(n)Fee
আরও তথ্যের জন্য মূল কাগজ দেখুন:
- হারবার্ট এডেলসবারুনার এবং ফ্রাঙ্কো পি। প্রেপাটারা। ন্যূনতম বহুভুজ বিচ্ছেদ । তথ্য এবং গণনা 77 (3): 218–232, 1988।