এটি একটি খুব সুন্দর প্রশ্ন যা আমি অনেক কিছু নিয়ে ভেবেছিলাম: সমস্যাটি কী কমপ্লিট বা -সম্পূর্ণরূপে আসলেই সমস্যার সবচেয়ে খারাপ সময়ের সময় জটিলতাকে প্রভাবিত করে? পি এস পি এ সি ইNPPSPACEআরও আশ্চর্যের বিষয়, এই ধরনের পার্থক্য কি বাস্তবে সমস্যার "জটিল ক্ষেত্রে" জটিলতায় প্রভাব ফেলে?
অন্তর্দৃষ্টি বলে যে আপনি কী জটিলতা পরিমাপ করেন তা নির্বিশেষে কমপ্লিট সমস্যা কমপ্লিট সমস্যাটির চেয়ে শক্ত is তবে পরিস্থিতিটি সূক্ষ্ম। উদাহরণস্বরূপ, এটি হতে পারে যে (কোয়ান্টিফাইড বুলিয়ান ফর্মুলা , ক্যানোনিকাল কমপ্লিট সমস্যা) যদি কেবলমাত্র (সন্তুষ্টিযোগ্যতা, ক্যানোনিকাল কমপ্লিট সমস্যা) সুপ এক্সপোনশিয়াল সময়ে হয়। (একটি দিক সুস্পষ্ট; অন্য দিকটি একটি বড় ফলাফল হতে পারে!) যদি এটি সত্য হয়, তবে সম্ভবত "আমি এই সমস্যাটি সমাধান করতে চাই" দৃষ্টিকোণ থেকে, সমস্যাটি অসম্পূর্ণ কিনা তা বড় কথা নয় not বাএন পি প্রশ্ন বি এফ পি এস পি একটি সি ই এস একজন টি এন পি পি এস পি একটি সি ই এন পিPSPACENPQBFPSPACESATNPPSPACENP-সমম্পূর্ণ: যে কোনও উপায়ে, একটির জন্য একটি সুপ এক্সপেনসিয়াল অ্যালগরিদম অন্যটির জন্য একটি সুব্যাক্স্ফেনসিয়াল অ্যালগরিদমকে বোঝায়।
আমাকে শয়তানের উকিল হতে দাও এবং আপনাকে একটি উদাহরণ দিই যেখানে একটি সমস্যা অন্যটির চেয়ে "শক্ত" হয়ে ওঠে তবে এটি অন্যটির চেয়ে "আরও ট্র্যাকটেবল" হিসাবে পরিণত হয়।
যাক একটি বুলিয়ান সূত্র হতে ভেরিয়েবল, যেখানে এমনকি হল। ধরুন আপনি সিদ্ধান্ত নিতে চান এমন দুটি সূত্রের মধ্যে আপনার একটি পছন্দ রয়েছে:এন এনF(x1,…,xn)nn
Φ1=(∃x1)(∃x2)⋯(∃xn−1)(∃xn)F(x1,…,xn) ।
Φ2=(∃x1)(∀x2)⋯(∃xn−1(∀xn)F(x1,…,xn)
(এটি, , বিকল্প পরিমাণে কোয়ান্টিফায়ার।Φ2
আপনি কোনটিকে সমাধান করা সহজ বলে মনে করেন? টাইপের সূত্রগুলি, বা টাইপের সূত্রগুলি ?Φ1Φ2
কেউ ভাবেন যে সুস্পষ্ট পছন্দটি হ'ল , কারণ এটি সিদ্ধান্ত নেওয়া কেবল নয়, যেখানে। একটি সমস্যা। তবে বাস্তবে, আমাদের সেরা পরিচিত অ্যালগরিদম অনুসারে, একটি সহজ সমস্যা। than পদক্ষেপের চেয়ে কম পদক্ষেপে সাধারণ জন্য কীভাবে সমাধান করবেন আমাদের কোনও ধারণা নেই(আমরা যদি এটি করতে পারতাম তবে আমাদের নতুন সূত্রের আকারটি নিম্ন সীমানা ছিল!) তবে এলোমেলোভাবে সময়ের যেকোন জন্য সহজেই সমাধান করা যেতে পারে , এলোমেলোভাবে গেম ট্রি অনুসন্ধান ব্যবহার করে! একটি রেফারেন্সের জন্য, মোতওয়ানি এবং রাঘাওয়ানে অধ্যায় 2, বিভাগ 2.1 দেখুন। এন পি Φ 2 পি এস পি এ সি ই Φ 2 Φ 1 এফ 2 এন Φ 2 এফ ও ( 2 .793 এন )Φ1NPΦ2PSPACEΦ2Φ1F2nΦ2FO(2.793n)
অন্তর্নিহিততা হ'ল সার্বজনীন কোয়ান্টিফায়ার যুক্ত করার ফলে সমস্যাটি বরং জটিলতার চেয়ে সমাধান করা সহজতর করে তোলে actually গেম ট্রি ট্রি অনুসন্ধান অ্যালগরিদম বিকল্প কোয়ানটিফায়ার্সের উপর প্রচুর নির্ভর করে এবং যথেচ্ছ পরিমাণকে পরিচালনা করতে পারে না। তবুও, বক্তব্যটি রয়ে গেছে যে সমস্যাগুলি কখনও কখনও একটি জটিলতার পরিমাপের অধীনে "সহজ" পেতে পারে, যদিও তারা অন্য ব্যবস্থার অধীনে "শক্ত" দেখতে পারে।