জোরপূর্বক পদ্ধতিটি বাকের-গিল-সলোভে পুনঃনির্মাণের কাগজে এবং কোহেনের কন্টিনাম হাইপোথেসিসের স্বাধীনতার প্রমাণ হিসাবে ব্যবহৃত হয়


15

আমি সাধারণত বাকের-গিল-সলোভে এবং কোহেন দ্বারা ব্যবহৃত জোর করে পদ্ধতিতে আগ্রহী। কৌশলটি নিজেই বা এর ব্যবহার সম্পর্কে আমি যতটা উত্স পেতে পারি তার জন্য আমি সন্ধান করছি। কারও কি পরামর্শ আছে?


1
তার একই কৌশলটি কে দেখায়?
vzn

উত্তর:


17

জটিলতার তত্ত্বে (তথাকথিত জেনেরিক ওরাকলগুলির মাধ্যমে) জোর করার আরও ব্যবহারের জন্য , ফেনার, ফোর্টনউ, কুর্তজ এবং লি দ্বারা দ্য ওরাকল বিল্ডারের টুলকিট ( ফোর্টের হোমপেজ থেকে অবাধে উপলব্ধ ) দেখুন available তারা জেনেরিক ওরাকলগুলির একটি সাধারণ তত্ত্ব দেয় এবং জটিলতার ক্ষেত্রে এর অনেকগুলি প্রয়োগ দেখায়।

জটিলতায় ওরাকলগুলি কীভাবে সেট থিওরিতে স্বাধীনতার প্রমাণের মতো তা আগ্রহী, আপনি নিম্নলিখিত কাগজগুলির প্রতি আগ্রহী হতে পারেন:

সেট থিয়োরিটিতে জোর করার ব্যবহারের জন্য, জেচের সেট থিওরি ( সেট থিওরি অন অ্যামাজন ) বইটি দেখুন , বিশেষত বইয়ের দ্বিতীয় এবং তৃতীয় অংশ (হ্রিবেক এবং জেচের "সেট থিয়োরি" দিয়ে বিভ্রান্ত হবেন না)।


11

সেট থিয়োরিটিতে জোর করে দেওয়ার জন্য একটি দুর্দান্ত পরিচিতির জন্য, টিমোথি চৌ'র বিখ্যাত ইউসেনেট পোস্ট "ফোর্সিং ফর ডামি" রয়েছে এবং এর থেকে আরও যে আনুষ্ঠানিক কাগজটি উঠেছিল, "জোর করে তোলার জন্য শিক্ষানবিশ গাইড"


9

প্রুফ জটিলতায় কৌশলগুলির মতো জোর করে ব্যবহারের জন্য আপনি এটি দেখতে চাইতে পারেন:

প্রমাণের পদ্ধতিটি জোর করে দেওয়ার একটি পাটিগণিত অ্যানালগ (প্যারিস এবং উইলকি দ্বারা ইতিমধ্যে ব্যবহৃত এক ধরণের)। আরও কম্বিনেটরিয়াল (এবং উন্নত নিম্ন সীমানা) জে। ক্রাজেকেক, পি। পুডলক এবং এ। উডস, কবুতরের গভীরতার আকারের ঘনিষ্ঠ নিম্ন সীমানা কবুতরের নীতিটির ফ্রেজ প্রমাণ , র‌্যান্ডম স্ট্রাকচারস অ্যালগোরিদম, 7 (1995), পিপিতে রয়েছে। 15-39। এবং টি। পিটাসি, পিডব্লিউ বিম এবং আর ইম্পাগলিয়াজো, কবুতর নীতির জন্য ক্ষতিকারক নিম্ন সীমানা , কম্পিউট। জটিলতা, 3 (1993), পৃষ্ঠা 97-140।

আরো দেখুন:

সম্প্রতি, জেন ক্রাজিসেক এই বাধ্যতামূলক কৌশলগুলিকে এক করে একটি বই প্রকাশ করেছে:


আকর্ষণীয় লাফানো কিন্তু কাগজপত্র / বইগুলিতে কাউকে বাস্তবে কবুতরের নীতি / প্রমাণগুলির সাথে তুলনা করতে দেখেনি ...?
vzn

পায়রাহোলের নীতি এখানে একটি বিবৃতিটির নাম। এই বিবৃতিটি একটি নির্দিষ্ট তত্ত্বের চেয়ে পৃথক যে জোর-মত নির্মাণগুলি ব্যবহার করে independent উপরোক্ত রেফারেন্সগুলি কীভাবে এটি করতে হয় তা দেখায়।
ইড্ডো টাজামেরেট

ঠিক আছে, তবে রেজোলিউশন (পিগনহোল নির্মাণের মাধ্যমে) ব্যবহার করে স্যাট এর ক্ষতিকারক আকারের প্রমাণগুলি "স্বাধীন" নয় বলে মনে হচ্ছে ... এগুলি কেবল "বড়" ... সংযোগের আঙ্গুল দেখিয়ে দিচ্ছে যে কোনও অনলাইন রেফ? স্বীকার করে খানিকটা অবাক হলাম কারণ স্যাট-এর কবুতরের বড় প্রমাণগুলির অনেকগুলি রেফারেন্স "জোর করে" সম্পর্কে কোনও উল্লেখ করে না ....
ভিজএনএন

1
ভী0একজনসি0

1
(অবিরত) জ্যান ক্রাজিসেকের বই "বাউন্ডেড এরিটিমেটিক, প্রপোজিশনাল লজিক, অ্যান্ড কমপ্লেক্সিটি থিওরি", কেমব্রিজ, ১৯৯৫ এও দেখুন। উপরের সমস্ত উল্লেখ (ক্রাজিসেকের 1995 বইটি বাদে) অনলাইনে উপলব্ধ line জোর করার সাথে সংযোগটি উদাহরণস্বরূপ ব্যাখ্যা করা হয়েছে, উপরে আজতাইয়ের দ্বিতীয় রেফারেন্স।
ইড্ডো টাজামেরেট

4

আরো দেখুন প্রমাণ তত্ত্ব অত্যাচার Avigad, 30pp, 2004. তিনি BGS75 উল্লেখ কিন্তু বিস্তারিত না। বুলিয়ান-মূল্যবান মডেলগুলিতে জোর করে চাপিয়ে দেওয়ার জন্য স্কট / সলোভেয়ের কিছু উল্লেখ রয়েছে।

বাধ্যতামূলক ধারণা গণনা জটিলতায় প্রভাবশালী হয়েছে; উদাহরণস্বরূপ, জটিল ক্লাসগুলির পৃথকীকরণকে একটি ওরাকলে পুনরায় সংযুক্ত করা (যেমন, বিজিএস 75 এর মতো) প্রায়শই বল প্রয়োগের সংস্থান-সীমাবদ্ধ সংস্করণ হিসাবে দেখা যেতে পারে।

আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.