উত্তর:
জটিলতার তত্ত্বে (তথাকথিত জেনেরিক ওরাকলগুলির মাধ্যমে) জোর করার আরও ব্যবহারের জন্য , ফেনার, ফোর্টনউ, কুর্তজ এবং লি দ্বারা দ্য ওরাকল বিল্ডারের টুলকিট ( ফোর্টের হোমপেজ থেকে অবাধে উপলব্ধ ) দেখুন available তারা জেনেরিক ওরাকলগুলির একটি সাধারণ তত্ত্ব দেয় এবং জটিলতার ক্ষেত্রে এর অনেকগুলি প্রয়োগ দেখায়।
জটিলতায় ওরাকলগুলি কীভাবে সেট থিওরিতে স্বাধীনতার প্রমাণের মতো তা আগ্রহী, আপনি নিম্নলিখিত কাগজগুলির প্রতি আগ্রহী হতে পারেন:
অরোরা, ইম্পাগলিয়াজো, ভিজিরানি। নন-রিলেটিভাইজিং কৌশলগুলির তুলনায় পুনরায় সংযুক্তকরণ: স্থানীয় পরীক্ষারযোগ্যতার ভূমিকা ।
ইম্পাগলিয়াজো, কাবানেটস, কোলোকোলোভা। Algebrization করার একটি সর্বজনবিদিত এপ্রোচ । ( সম্পূর্ণ সংস্করণ কাবনেটসের হোমপেজ থেকে অবাধে উপলভ্য )
সেট থিয়োরিটিতে জোর করার ব্যবহারের জন্য, জেচের সেট থিওরি ( সেট থিওরি অন অ্যামাজন ) বইটি দেখুন , বিশেষত বইয়ের দ্বিতীয় এবং তৃতীয় অংশ (হ্রিবেক এবং জেচের "সেট থিয়োরি" দিয়ে বিভ্রান্ত হবেন না)।
সেট থিয়োরিটিতে জোর করে দেওয়ার জন্য একটি দুর্দান্ত পরিচিতির জন্য, টিমোথি চৌ'র বিখ্যাত ইউসেনেট পোস্ট "ফোর্সিং ফর ডামি" রয়েছে এবং এর থেকে আরও যে আনুষ্ঠানিক কাগজটি উঠেছিল, "জোর করে তোলার জন্য শিক্ষানবিশ গাইড" ।
প্রুফ জটিলতায় কৌশলগুলির মতো জোর করে ব্যবহারের জন্য আপনি এটি দেখতে চাইতে পারেন:
এম আজতাই। পায়রাহোল নীতির জটিলতা । কম্পিউটার বিজ্ঞানের ফাউন্ডেশন অন হোয়াইট প্লেনস, এনওয়াই, 1988, পিপি 346-355 এর 29 তম বার্ষিক আইইইই সিম্পোজিয়ামের কার্যক্রমে; এবং
এম আজতাই। পায়রাহোল নীতির জটিলতা । সংমিশ্রণকারী 14 (1994), নং। 4, 417–433।
প্রমাণের পদ্ধতিটি জোর করে দেওয়ার একটি পাটিগণিত অ্যানালগ (প্যারিস এবং উইলকি দ্বারা ইতিমধ্যে ব্যবহৃত এক ধরণের)। আরও কম্বিনেটরিয়াল (এবং উন্নত নিম্ন সীমানা) জে। ক্রাজেকেক, পি। পুডলক এবং এ। উডস, কবুতরের গভীরতার আকারের ঘনিষ্ঠ নিম্ন সীমানা কবুতরের নীতিটির ফ্রেজ প্রমাণ , র্যান্ডম স্ট্রাকচারস অ্যালগোরিদম, 7 (1995), পিপিতে রয়েছে। 15-39। এবং টি। পিটাসি, পিডব্লিউ বিম এবং আর ইম্পাগলিয়াজো, কবুতর নীতির জন্য ক্ষতিকারক নিম্ন সীমানা , কম্পিউট। জটিলতা, 3 (1993), পৃষ্ঠা 97-140।
আরো দেখুন:
সোরেন রিস বাউন্ডেড অ্যারিমেটিক ইন ফিনাইটিসেশন । 1994, ব্রিকস, আরহুস কম্পিউটার সায়েন্স ইউনিভার্সিটি বিভাগ।
সম্প্রতি, জেন ক্রাজিসেক এই বাধ্যতামূলক কৌশলগুলিকে এক করে একটি বই প্রকাশ করেছে:
আরো দেখুন প্রমাণ তত্ত্ব অত্যাচার Avigad, 30pp, 2004. তিনি BGS75 উল্লেখ কিন্তু বিস্তারিত না। বুলিয়ান-মূল্যবান মডেলগুলিতে জোর করে চাপিয়ে দেওয়ার জন্য স্কট / সলোভেয়ের কিছু উল্লেখ রয়েছে।
বাধ্যতামূলক ধারণা গণনা জটিলতায় প্রভাবশালী হয়েছে; উদাহরণস্বরূপ, জটিল ক্লাসগুলির পৃথকীকরণকে একটি ওরাকলে পুনরায় সংযুক্ত করা (যেমন, বিজিএস 75 এর মতো) প্রায়শই বল প্রয়োগের সংস্থান-সীমাবদ্ধ সংস্করণ হিসাবে দেখা যেতে পারে।