কাগজটি
- লরি হেল্লা এবং জোস মারিয়া টারুল-টরেস, উচ্চতর অর্ডার যুক্তির সাথে কম্পিউটারের ক্যোয়ারীগুলি , টিসিএস 355 197–214, 2006. ডয়ি: 10.1016 / j.tcs.2006.01.009
লজিক ভিও, ভেরিয়েবল-অর্ডার লজিকের প্রস্তাব দেয়। এটি ভেরিয়েবলের উপর অর্ডারের পরিমাণ নির্ধারণ করতে দেয়। ভিও বেশ শক্তিশালী এবং কিছু অ-গণনাযোগ্য প্রশ্ন প্রকাশ করতে পারে। (নীচে আর্থার মিলিশিয়রের দ্বারা নির্দেশিত হিসাবে, এটি আসলে বিশ্লেষণাত্মক শ্রেণিবিন্যাসের পুরো অংশটি ধারণ করে ।) লেখকরা দেখান যে অর্ডার ভেরিয়েবলগুলির উপর কেবল সীমিত সর্বজনীন পরিমাপের অনুমতি দিয়ে প্রাপ্ত ভিওর খণ্ডগুলি সমস্ত সিআর প্রশ্নের সঠিকভাবে প্রকাশ করে। ভিও অর্ডার ভেরিয়েবলগুলিকে প্রাকৃতিক সংখ্যার তুলনায় সীমার অনুমতি দেয়, সুতরাং আদেশের ভেরিয়েবলগুলিকে বেঁধে দেওয়া স্পষ্টভাবে একটি চাপিয়ে দেওয়া একটি প্রাকৃতিক শর্ত।
ভিও এর একটি (সুন্দর) টুকরা রয়েছে যা পি বা এনপি ক্যাপচার করে?
সাদৃশ্য হিসাবে, ধ্রুপদী প্রথম-ক্রমের যুক্তিতে বস্তুর সেটগুলিতে পরিমাণ নির্ধারণের অনুমতি দেয় আরও শক্তিশালী যুক্তি যা দ্বিতীয়-ক্রমের যুক্তি বা এসও নামে পরিচিত । বহির্মুখী শ্রেণিবিন্যাসের পুরো অংশটি এসও গ্রহণ করে ; এটি সাধারণত পিএইচ = এসও হিসাবে লেখা হয়। গুরুত্বপূর্ণ জটিলতা শ্রেণিগুলি ক্যাপচারের জন্য এসওর সীমাবদ্ধ ফর্ম রয়েছে: এনপি = এসও, পি = এসও-হর্ন এবং এনএল = এসও-ক্রোম। এগুলি অনুমোদিত সূত্রগুলির সিনট্যাক্সের উপর বিধিনিষেধ আরোপের মাধ্যমে প্রাপ্ত হয়।
So there are straightforward ways to restrict SO to obtain interesting classes. I would like to know if there are similar straightforward restrictions of VO that are roughly the right level of expressivity for P or NP. If such restrictions are not known I would be interested in suggestions for likely candidates, or in some arguments why such restrictions are unlikely to exist.
আমি এটি কয়েকটি (কয়েকটি) কাগজপত্র যাচাই করেছিলাম এবং এটি গুগল এবং স্কলারের স্পষ্ট বাক্যাংশগুলি পরীক্ষা করে দেখেছি, তবে কিছুই প্রাসঙ্গিকভাবে খুঁজে পাওয়া যায়নি। প্রথম অর্ডারের তুলনায় বেশিরভাগ কাগজপত্রে যুক্তিবিজ্ঞানের সাথে আলোচনা করা শক্তিকে "যুক্তিসঙ্গত" গণনাগুলির ক্ষেত্রের মধ্যে নামিয়ে আনার জন্য বিধিনিষেধকে মোকাবেলা করে না বলে মনে হয়, তবে গাণিতিক এবং বিশ্লেষণাত্মক শ্রেণীর সিই মহাবিশ্বে থাকার বিষয়বস্তু বলে মনে হয়। আমি অনুসন্ধানের জন্য কোনও পয়েন্টার বা একটি সুস্পষ্ট বাক্যাংশ দিয়ে খুশি হব; এটি উচ্চ-অর্ডার লজিকগুলিতে কাজ করা কারও পক্ষে সুপরিচিত হতে পারে।