প্রশ্ন ট্যাগ «proof-techniques»

5
কোয়ান্টির অর্ডার বিপরীত করার কৌশলগুলি
এটি সুপরিচিত যে সাধারণভাবে, সর্বজনীন এবং অস্তিত্বের পরিমাণের ক্রমটি বিপরীত হতে পারে না। অন্য কথায়, একটি সাধারণ যৌক্তিক সূত্র for ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) অন্যদিকে, আমরা জানি ডান হাতটি বাম-হাতের চেয়ে বেশি সীমাবদ্ধ; অর্থাৎ, (∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(\exists y)(\forall x) \phi(x,y) \Rightarrow (\forall x)(\exists y) …

9
টিসিএস প্রমাণ কৌশল সম্পর্কিত রেফারেন্স
প্রমাণের কৌশল দ্বারা টিসিএস উপপাদাগুলি সংগঠিত এবং আলোচনা করে এমন কোনও রেফারেন্স রয়েছে (অনলাইন বা বই আকারে)? গ্যারি এবং জনসন এনপি-পূর্ণতা প্রমাণগুলির জন্য বিভিন্ন ধরণের উইজেট নির্মাণের জন্য এটি করেন (বিশেষত তাদের বইয়ের ৩ য় অধ্যায়ে), তবে আমি ভাবছি যে টিসিএসে প্রমাণ কৌশলগুলি আরও বিস্তৃতভাবে আচরণ করে এমন কিছু আছে …
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.