এই পত্রটি সম্পূর্ণভাবে কারো, পাটকোস এবং টুজা দ্বারা সম্প্রতি উত্থাপিত একটি সমস্যার সমাধান করে: দ্বিপক্ষীয় সংযুক্ত গ্রাফে প্রান্তের সংখ্যার সঠিক সর্বাধিক মান নির্ধারণ করা, যা গ্রাফের দীর্ঘতম পথের দৈর্ঘ্য এবং দ্বিপক্ষীয় বিভাজনের উভয় পক্ষের শীর্ষবিন্দু সংখ্যার একটি ফাংশন। পূর্বে এই সমস্যাটি শুধুমাত্র দ্বিপক্ষীয় বিভাজনের উভয় পক্ষের আকার সমান এবং দীর্ঘতম পথের দৈর্ঘ্য সর্বাধিক ৫ হওয়ার ক্ষেত্রে পরিচিত ছিল। এই পত্রটি "পথ" কে নির্দিষ্ট ধরনের গাছ দ্বারা প্রতিস্থাপনের সম্ভাব্য সাধারণীকরণও আলোচনা করে।
১. ক্লাসিক্যাল টুরান সমস্যা: টুরান উপপাদ্য নির্ধারণ করে যে প্রদত্ত ক্রমের সম্পূর্ণ উপগ্রাফ ধারণ করে না এমন n শীর্ষবিন্দু গ্রাফের সর্বাধিক প্রান্ত সংখ্যা, যা নিষিদ্ধ উপগ্রাফ চরম সমস্যার পদ্ধতিগত অধ্যয়ন শুরু করেছে।
२. Erdős-Stone উপপাদ্যের সীমাবদ্ধতা: এই উপপাদ্য সমস্ত অ-দ্বিপক্ষীয় নিষিদ্ধ গ্রাফের টুরান সংখ্যা渐近ভাবে প্রদান করে, কিন্তু দ্বিপক্ষীয় গ্রাফের ক্ষেত্রে কোনো তথ্য প্রদান করে না।
३. দ্বিপক্ষীয় গ্রাফের বিশেষত্ব: দ্বিপক্ষীয় গ্রাফের টুরান সমস্যা এখনও খোলা থাকে, যা একাধিক মূল অনুমান তৈরি করেছে, সবচেয়ে বিখ্যাত হল Erdős-Sós অনুমান: k শীর্ষবিন্দুর গাছ বাদ দেওয়া n শীর্ষবিন্দু গ্রাফের সর্বাধিক (k-2)n/2 প্রান্ত রয়েছে।
४. সংযুক্ত দ্বিপক্ষীয় গ্রাফের গবেষণা: কারো, পাটকোস এবং টুজা CPT25 সম্প্রতি এমন ক্ষেত্রে মনোনিবেশ করেছেন যেখানে হোস্ট গ্রাফ দ্বিপক্ষীয় এবং সংযুক্ত উভয়ই, exb,c(a,b,H) চিহ্ন প্রবর্তন করেছেন যা a এবং b আকারের অংশ সহ, H কে উপগ্রাফ হিসাবে ধারণ করে না এমন সংযুক্ত দ্বিপক্ষীয় গ্রাফের সর্বাধিক প্রান্ত সংখ্যা প্রতিনিধিত্ব করে।
१. পথ সমস্যার সম্পূর্ণ সমাধান: সমস্ত পথ Pₖ এর জন্য, exb,c(a,b,Pₖ) এর সঠিক মান প্রদান করা হয়েছে, শুধুমাত্র渐近মান নয়, বরং অসম দ্বিপক্ষীয় গ্রাফের জন্যও প্রযোজ্য (প্রধান উপপাদ্য 1.5)
२. ব্রুম গ্রাফে সম্প্রসারণ: ব্রুম গ্রাফ Sp,d* (পথের দৈর্ঘ্য p এবং d শাখা সহ তারকার সমন্বয়) এর জন্য, যখন তারকা পথের চেয়ে বড় হয় তখন সঠিক মান প্রদান করা হয়েছে (উপপাদ্য 1.6)
३. উপরের সীমা ফলাফল: যখন তারকা পথের আকারের সর্বাধিক অর্ধেক হয় তখন উপরের সীমা প্রদান করা হয়েছে (উপপাদ্য 1.7)
४. প্রযুক্তিগত উদ্ভাবন: সংযুক্ত দ্বিপক্ষীয় গ্রাফ পরিচালনার জন্য নতুন কৌশল বিকশিত করা হয়েছে, যার মধ্যে রয়েছে মূল শীর্ষবিন্দুর অস্তিত্ব লেম্মা এবং আবর্তক কাঠামো
সংজ্ঞা 1.1: নির্দিষ্ট পূর্ণসংখ্যা a, b এবং গ্রাফ H এর জন্য, exb,c(a,b,H) হল a এবং b আকারের অংশ সহ, H কে উপগ্রাফ হিসাবে ধারণ করে না এমন সংযুক্ত দ্বিপক্ষীয় গ্রাফের সর্বাধিক প্রান্ত সংখ্যা।
এই পত্রটি প্রধানত অধ্যয়ন করে:
উপপাদ্য 1.5 (প্রধান ফলাফল): সমস্ত k ≥ 3 এবং b ≥ a ≥ k এর জন্য,
এই সূত্রটি নির্দেশ করে:
প্রস্তাব 2.1 নির্মাণমূলক প্রমাণ প্রদান করে:
একটি গ্রাফ G নির্মাণ করুন, যার দ্বিপক্ষীয় বিভাজন A = {u₁,...,uₐ} এবং B = {v₁,...,vᵦ}:
প্রান্ত সংখ্যা গণনা:
P₂ₖ₋₁-মুক্ত সম্পত্তি প্রমাণ:
আবর্তক পদ্ধতি ব্যবহার করা হয়, মূল বিষয় তিনটি লেম্মা:
লেম্মা 3.2 (ছোট ডিগ্রি শীর্ষবিন্দুর অস্তিত্ব): বৃহত্তর অংশ B তে ডিগ্রি ≤ k-2 সহ এবং মুছে ফেলার পরে সংযুক্ত থাকে এমন একটি শীর্ষবিন্দু x বিদ্যমান।
প্রমাণের চিন্তাধারা:
লেম্মা 3.3 (ভারসাম্যপূর্ণ গ্রাফের মুছে ফেলার যোগ্য শীর্ষবিন্দু জোড়া): ভারসাম্যপূর্ণ দ্বিপক্ষীয় গ্রাফের জন্য, দুটি শীর্ষবিন্দু x, y বিদ্যমান যাতে d(x) + d(y) ≤ k-1 এবং মুছে ফেলার পরে সংযুক্ত এবং ভারসাম্যপূর্ণ থাকে।
প্রমাণ দীর্ঘতম পথ P এর শেষ বিন্দুর বিশ্লেষণ ব্যবহার করে:
লেম্মা 3.4 (ভিত্তি ক্ষেত্র): যখন a = b = k হয়, |E(G)| ≤ (k-1)² + 1।
প্রমাণ আবর্তক পদ্ধতি ব্যবহার করে, মূল পর্যবেক্ষণ:
প্রধান উপপাদ্য প্রমাণ:
উপপাদ্য 1.6: k, d ≥ 2 এর জন্য, যখন n ≥ d²/2 এবং d > 2k হয়,
মূল প্রযুক্তিগত লেম্মা:
লেম্মা 4.1: যদি গ্রাফে এমন একটি শীর্ষবিন্দু থাকে যা 2k দৈর্ঘ্যের পথের শেষ বিন্দু নয়, তাহলে |E(G)| ≤ (k-1)(b+a)
লেম্মা 4.2: যদি |E(G)| ≥ k(b+a)+1 হয়, তাহলে প্রতিটি শীর্ষবিন্দুর ডিগ্রি সর্বাধিক k+d-1
প্রমাণ এই লেম্মাগুলি একত্রিত করে, সর্বাধিক ডিগ্রি শীর্ষবিন্দু এবং এর প্রতিবেশীদের মুছে ফেলে, সংযোগ এবং ডিগ্রি সীমাবদ্ধতা ব্যবহার করে একটি বিরোধ পায়।
একটি বিশুদ্ধ তাত্ত্বিক গণিত পত্র হিসাবে, এই পত্রটিতে কোনো পরীক্ষামূলক অংশ নেই, সমস্ত ফলাফল কঠোর গাণিতিক প্রমাণের মাধ্যমে অর্জিত হয়েছে।
পথের সঠিক সূত্র:
ব্রুম গ্রাফ ফলাফল:
१. প্রস্তাব 1.2 এর সাধারণীকরণ: এই পত্রের ফলাফল সম্পূর্ণভাবে CPT25 থেকে exb,c(n,n,P₅) = 2n-1 অন্তর্ভুক্ত এবং সাধারণীকরণ করে
२. সাধারণতার উন্নতি:
१. টুরান উপপাদ্য Tur45: সম্পূর্ণ গ্রাফের চরম সমস্যা २. Erdős-Stone উপপাদ্য ES46: অ-দ্বিপক্ষীয় গ্রাফের渐近টুরান সংখ্যা ३. Gallai-Erdős GE59: নির্দিষ্ট আকারের পথ বাদ দেওয়া সংযুক্ত গ্রাফের渐近ফলাফল ४. Gyárfás-Rousseau-Schelp GRS84: নির্দিষ্ট আকারের পথ বাদ দেওয়া দ্বিপক্ষীয় গ্রাফের সঠিক টুরান সংখ্যা
Caro-Patkós-Tuza CPT25:
He-Salia-Zhu HSZ25: লেখক উল্লেখ করেছেন যে একই দিনে অনুরূপ অগ্রগতির স্বাধীন কাজ জমা দেওয়া হয়েছিল
१. প্রশ্ন 1.3 এর সম্পূর্ণ উত্তর: সমস্ত পথ Pₖ এর জন্য exb,c(n,n,Pₖ) এর সঠিক মান প্রদান করা হয়েছে, প্রশ্নের দ্বারা প্রয়োজনীয়渐近মান অতিক্রম করে
२. প্রশ্ন 1.4 এর আংশিক উত্তর: ব্রুম গ্রাফ পরিবারের জন্য, নির্দিষ্ট পরামিতি পরিসরে সঠিক মান বা উপরের সীমা প্রদান করা হয়েছে
३. পদ্ধতিগত অবদান: সংযুক্ত দ্বিপক্ষীয় গ্রাফ চরম সমস্যা পরিচালনার জন্য নতুন প্রযুক্তিগত কাঠামো বিকশিত করা হয়েছে
१. ব্রুম গ্রাফের সীমাবদ্ধতা:
२. গাছের সাধারণ ক্ষেত্র: শুধুমাত্র পথ এবং ব্রুম গ্রাফ পরিচালনা করা হয়েছে, আরও সাধারণ গাছ পরিবার এখনও খোলা
३. প্রযুক্তিগত সীমাবদ্ধতা: কিছু প্রমাণ পদক্ষেপ নির্দিষ্ট কাঠামোগত সম্পত্তির উপর নির্ভর করে, যা আরও জটিল নিষিদ্ধ উপগ্রাফে সাধারণীকরণ করা কঠিন হতে পারে
१. ব্রুম গ্রাফ ফলাফল উন্নত করা: সমস্ত পরামিতি পরিসরের সঠিক মান নির্ধারণ করা
२. অন্যান্য গাছ পরিবারে সম্প্রসারণ:
३. অসম ক্ষেত্রের গভীর গবেষণা: যদিও এই পত্রটি a ≠ b এর ক্ষেত্রে পরিচালনা করে, আরও সূক্ষ্ম ফলাফল থাকতে পারে
४. গণনামূলক জটিলতা: প্রদত্ত গ্রাফ টুরান সীমা অর্জন করে কিনা তা নির্ধারণের অ্যালগরিদমিক সমস্যা অধ্যয়ন করা
१. খোলা সমস্যার সম্পূর্ণ সমাধান:
२. প্রমাণ প্রযুক্তি মার্জিত:
३. ফলাফলের সম্পূর্ণতা:
४. লেখার গুণমান:
५. প্রযুক্তিগত উদ্ভাবন:
१. ব্রুম গ্রাফ ফলাফল অসম্পূর্ণ:
२. ভিত্তি ক্ষেত্র প্রমাণ জটিল:
३. সাধারণীকরণ সীমিত:
४. স্বাধীন কাজের সাথে সম্পর্ক:
१. তাত্ত্বিক অবদান:
२. পদ্ধতিগত মূল্য:
३. পরবর্তী গবেষণা:
४. যাচাইযোগ্যতা:
१. তাত্ত্বিক গবেষণা:
२. সম্পর্কিত সমস্যা:
३. শিক্ষামূলক মূল্য:
१. CPT25 Caro, Patkós, Tuza: দ্বিপক্ষীয় টুরান সংখ্যা গাছের - এই পত্রে সমাধানকৃত সমস্যা প্রস্তাব করেছেন
२. Tur45 Turán: গ্রাফ তত্ত্বে একটি চরম সমস্যা সম্পর্কে - টুরান সমস্যার ভিত্তি স্থাপন করেছেন
३. ES46 Erdős, Stone: রৈখিক গ্রাফের কাঠামো সম্পর্কে - Erdős-Stone উপপাদ্য
४. GRS84 Gyárfás, Rousseau, Schelp: দ্বিপক্ষীয় গ্রাফে পথের জন্য একটি চরম সমস্যা - দ্বিপক্ষীয় গ্রাফে পথের নির্ভুল টুরান সংখ্যা (সংযোগ প্রয়োজন ছাড়াই)
५. HSZ25 He, Salia, Zhu: দীর্ঘ চক্র এবং পথের জন্য সংযুক্ত দ্বিপক্ষীয় টুরান সমস্যা - স্বাধীন সম্পর্কিত কাজ
এটি একটি উচ্চমানের সমন্বয় গণিত পত্র যা একটি স্পষ্টভাবে উত্থাপিত খোলা সমস্যা সম্পূর্ণভাবে সমাধান করে এবং প্রয়োজনীয় চেয়ে শক্তিশালী ফলাফল প্রদান করে। প্রমাণ প্রযুক্তি মার্জিত এবং উদ্ভাবনী, ফলাফল সম্পূর্ণ এবং নির্ভুল। যদিও গাছের সাধারণ ক্ষেত্রে সাধারণীকরণে আরও কাজ করার আছে, পত্রটি পথের ক্ষেত্রে সিদ্ধান্তমূলক উত্তর প্রদান করে। এই কাজ সংযুক্ত দ্বিপক্ষীয় টুরান সমস্যার গবেষণায় বাস্তব অবদান রাখে এবং এই ক্ষেত্রের একটি গুরুত্বপূর্ণ রেফারেন্স হওয়ার প্রত্যাশা করা হয়।