আমার প্রশ্ন সীমাবদ্ধ মডেল তত্ত্ব / বর্ণনামূলক জটিলতা সম্পর্কে, তাই এর অর্থ হবে "সীমাবদ্ধ বাইনারি শব্দের উপর প্রথম অর্ডার, ব্যবহারের পূর্বাভাস ব্যবহার করে এবং শব্দের মধ্যে 1 এর অবস্থানের ভিত্তিতে একটি অ্যানারি প্রিডিকেট পি সত্য"।
আমি জানতে চাই, সেখানে কি কোনও কর্কশীকরণ রয়েছে? আর এর সাথে কোনও প্রিকিকেট চালু আছে কিছু আর জন্য? উদাহরণস্বরূপ, বা কোথায় 2 এর শক্তির সেট Especially বিশেষত, এটি আমার সমান হওয়া উচিত বলে মনে হয় কিছু অভিন্নতার শর্ত সহ, তবে আমি এর ফলাফল বলে কোন ফলাফল খুঁজে পাই না।
এখানে আমি ইতিমধ্যে জানি কিছু মূল্য জন্য ।
এইটা সুপরিচিত যে , একটি অর্ডার এবং কিছুটা প্রিডিকেট দিয়ে শব্দের উপর প্রথম ক্রমের যুক্তিটি সমান -অভিন্ন। এর অর্থ এই যে তারা উভয়ই একই ভাষা চিনে। উদাহরণস্বরূপ ইমারম্যানের "বর্ণনামূলক জটিলতা", পৃষ্ঠা 82২ দেখুন ((এটি অন্যান্য ক্যারেক্টেরাইজেশন যেমন অনেকের সমান, যেমন-লগটাইম ইউনিফর্ম এবং ধ্রুবক সমান্তরাল র্যান্ডম অ্যাক্সেস মেশিন, তবে আমি এখানে যা অনুসন্ধান করছি তা নয় is)
আমরা যদি আমাদের প্রথম ক্রমের যুক্তিতে স্বেচ্ছাসেবী সংখ্যাসূচক ব্যবহার করতে পারি, তবে আমাদের আছে (অ ইউনিফর্ম), যদি লগ-সময় গণনাযোগ্য ফাংশন সমন্বিত ফাংশনের একটি শ্রেণি, তারপরে সমান ইউনিফর্ম (এই দুটি ফলাফলের জন্য ব্যারিংটন দেখুন, " ম্যাক- নফটনের একটি আইডিয়া এক্সটেনশনস ", 1993)।
পরিশেষে তারা-মুক্ত ভাষার শ্রেণি (কোনও ক্লেইন তারকা ব্যবহার না করে নিয়মিত প্রকাশের মাধ্যমে সংজ্ঞা দেওয়া যায় এমন ভাষা) তবে এটি সার্কিট জটিলতার ক্ষেত্রে কোনও তথ্য দেয় না।