আমি এটি প্রমাণ করতে চেষ্টা করতে যাচ্ছি যে এটি করা যাচ্ছে না।
মনে করুন যে একটি সারি Q আছে যা 3 টি স্ট্যাক, এ, বি এবং সি দ্বারা সিমুলেটেড হয়
গবেষকেরা
ASRT0: = তদুপরি, ধরে নিও যে Q ও (1) এ ক্রিয়াকলাপগুলি {সারি, ডিকুই sim সিমুলেট করতে পারে। এর অর্থ হ'ল প্রতিটি সারি / ডিক্যু অপারেশন সিমুলেট করার জন্য স্ট্যাক পুশ / পপগুলির একটি নির্দিষ্ট ক্রম বিদ্যমান exists
সাধারণতার ক্ষতি ছাড়াই, ধরে নিন যে সারি ক্রিয়াকলাপগুলি নির্বিচারক।
কিউতে সারিবদ্ধ উপাদানগুলিকে তাদের ক্যুয়ের ক্রমের উপর ভিত্তি করে 1, 2, ... সংখ্যাযুক্ত করা উচিত, প্রথম উপাদানটি যে Q তে সারিবদ্ধ করা হয়েছে তাকে 1, দ্বিতীয়টি 2 হিসাবে সংজ্ঞায়িত করা হবে ইত্যাদি।
নির্ধারণ করা
Q(0) :=
Q- তে 0 টি উপাদান থাকা অবস্থায় Q (এবং এভাবে A, B এবং C তে 0 উপাদান থাকে)
Q(1) :=
1 সারি ক্রিয়াকলাপের পরে কিউ (এবং এ, বি এবং সি) এর রাজ্য Q(0)
Q(n) :=
কিউ (এবং এ, বি এবং সি) এর রাজ্যের উপর n সারির ক্রিয়াকলাপ চলছে Q(0)
নির্ধারণ করা
|Q(n)| :=
উপাদানগুলির সংখ্যা Q(n)
(অতএব |Q(n)| = n
)
A(n) :=
স্ট্যাকের রাষ্ট্র এ যখন কিউ এর রাজ্য হয় Q(n)
|A(n)| :=
উপাদান সংখ্যা A(n)
এবং স্ট্যাক বি এবং সি এর জন্য অনুরূপ সংজ্ঞা
trivially,
|Q(n)| = |A(n)| + |B(n)| + |C(n)|
---
|Q(n)|
স্পষ্টতই এন উপর আনবাউন্ডেড।
অতএব, কমপক্ষে একটি |A(n)|
, |B(n)|
বা |C(n)|
এন থেকে সীমাহীন।
WLOG1
, ধরুন স্ট্যাক এ আনবাউন্ডেড এবং স্ট্যাকগুলি বি এবং সি সীমাবদ্ধ।
* B_u :=
বি * এর C_u :=
উপরের সীমানা সি * এর উপরের একটি সীমানা নির্ধারণ করুনK := B_u + C_u + 1
WLOG2
, এমন কোনও এনের জন্য |A(n)| > K
, কে উপাদানগুলি নির্বাচন করুন Q(n)
। মনে করুন যে elements উপাদানগুলির মধ্যে 1 রয়েছে A(n + x)
, সকলের জন্য x >= 0
, যেমন উপাদানটি সর্বদা স্ট্যাক এ থাকে যতই সারি অপারেশন করা হোক না কেন।
তারপরে আমরা সংজ্ঞা দিতে পারি
ASRT1 :=
X টি থেকে বের করার জন্য প্রয়োজনীয় পপ সংখ্যা Q(n)
কমপক্ষেAbv(n)
( ASRT0
) এবং ( ASRT1
) থেকে, ASRT2 := Abv(n)
আবদ্ধ হতে হবে।
যদি Abv(n)
আনবাউন্ডড হয়, তবে যদি 20 টি ডীকু X এর থেকে ডি চিহ্নিত করতে হয় তবে Q(n)
এটির জন্য কমপক্ষে Abv(n)/20
পপগুলি লাগবে । যা সীমাহীন। 20 যে কোনও ধ্রুবক হতে পারে।
অতএব,
ASRT3 := Blo(n) = |A(n)| - Abv(n)
আনবাউন্ড করা আবশ্যক।
WLOG3
, আমরা নীচের অংশ থেকে কে উপাদানগুলি নির্বাচন করতে পারি এবং সেগুলির A(n)
মধ্যে একটি সবার A(n + x)
জন্য রয়েছেx >= 0
X(n) :=
যে উপাদান, কোনও প্রদত্ত এন
ASRT4 := Abv(n) >= |A(n)| - K
যখনই কোনও উপাদানকে সারিবদ্ধ করা হয় Q(n)
...
WLOG4
, ধরুন বি এবং সি ইতিমধ্যে তাদের উপরের সীমানায় পূর্ণ হয়ে গেছে। মনে করুন উপরের উপাদানগুলির জন্য উপরের সীমাটি X(n)
পৌঁছে গেছে। তারপরে, একটি নতুন উপাদান এ প্রবেশ করে A.
WLOG5
, ধরুন ফলস্বরূপ, নতুন উপাদানটি অবশ্যই নীচে প্রবেশ করা উচিত X(n)
।
ASRT5 :=
নীচে একটি উপাদান রাখার জন্য প্রয়োজনীয় পপ সংখ্যা X(n) >= Abv(X(n))
থেকে (ASRT4)
, Abv(n)
এন উপর আনবাউন্ডেড হয়।
অতএব, নীচে একটি উপাদান রাখার জন্য প্রয়োজনীয় পপ সংখ্যা X(n)
আনবাউন্ডেড নয়।
এটি বিপরীতে ASRT1
, সুতরাং, O(1)
3 টি স্ট্যাকের সাথে একটি সারি অনুকরণ করা সম্ভব নয় ।
অর্থাত
কমপক্ষে 1 স্ট্যাক আনবাউন্ড করা আবশ্যক।
সেই স্ট্যাকটিতে থাকা কোনও উপাদানের জন্য, এটির উপরে উপাদানগুলির সংখ্যা অবশ্যই সীমাবদ্ধ করা উচিত, বা সেই উপাদানটি সরিয়ে ফেলতে শিরোনাম ক্রিয়াকলাপ সীমাহীন হবে।
যাইহোক, যদি এটির উপরে উপাদানগুলির সংখ্যা সীমিত হয়, তবে এটি একটি সীমাতে পৌঁছে যাবে। কিছু সময়ে, তার নীচে একটি নতুন উপাদান প্রবেশ করতে হবে।
যেহেতু আমরা সর্বদা সেই স্ট্যাকের সর্বনিম্ন কয়েকটি উপাদানগুলির মধ্যে একটি থেকে পুরানো উপাদানটি বেছে নিতে পারি, সুতরাং এটির উপরে একটি আনবাউন্ড সংখ্যক উপাদান থাকতে পারে (আনবাউন্ডেড স্ট্যাকের আনবাউন্ডেড আকারের উপর ভিত্তি করে)।
এটির নীচে একটি নতুন উপাদান প্রবেশ করতে, যেহেতু এটির উপরে সীমাহীন সংখ্যক উপাদান রয়েছে, তাই নতুন উপাদানটিকে নীচে রাখার জন্য একটি আনবাউন্ড নম্বর পপ প্রয়োজন।
এবং এইভাবে দ্বন্দ্ব।
এখানে 5 টি ডাব্লুএলওজি (সাধারণের ক্ষতি ছাড়াই) বিবৃতি রয়েছে। কিছুটা অর্থে, এগুলি স্বজ্ঞাতভাবে সত্য বলে বোঝা যায় (তবে তাদের বয়স যখন 5, এটি কিছুটা সময় নিতে পারে)। কোনও সাধারণত্ব নষ্ট না হওয়ার আনুষ্ঠানিক প্রমাণ প্রাপ্ত করা যেতে পারে তবে এটি অত্যন্ত দীর্ঘ। এগুলি বাদ দেওয়া হয়েছে।
আমি স্বীকার করি যে এই জাতীয় বাদ দেওয়া ডাব্লুএলওজি বিবৃতিটিকে প্রশ্নবিদ্ধ রেখে দিতে পারে। বাগগুলির জন্য কোনও প্রোগ্রামারের প্যারানিয়া দিয়ে, দয়া করে ডাব্লুএলওজি বিবৃতি যাচাই করুন।
তৃতীয় স্ট্যাকটিও অপ্রাসঙ্গিক। কী গুরুত্বপূর্ণ তা হল সীমিত স্ট্যাকের সেট এবং আনবাউন্ডেড স্ট্যাকের একটি সেট। উদাহরণের জন্য সর্বনিম্ন প্রয়োজনীয় 2 স্ট্যাক। স্ট্যাকের সংখ্যা অবশ্যই সসীম হতে হবে।
শেষ অবধি, যদি আমি ঠিকই থাকি যে কোনও প্রমাণ নেই, তবে সেখানে আরও সহজ সূচক প্রমাণ পাওয়া উচিত। সম্ভবত প্রতিটি কাতারের পরে কী ঘটে তার উপর ভিত্তি করে (কাতারে সমস্ত উপাদানগুলির সেট দেওয়ার পরে এটি ডিক্যুর সবচেয়ে খারাপ ক্ষেত্রে কীভাবে প্রভাব ফেলবে তা ট্র্যাক রাখুন)।