Let $G$ be a graph. An acyclic $k$-coloring of $G$ is a map $c:V(G)\rightarrow \{1,\dots,k\}$ such that $c(u)\neq c(v)$ for any $uv\in E(G)$ and the subgraph induced by the vertices of any two colors $i,j\in \{1,\dots,k\}$ is a forest. If every vertex $v$ of a color class $V_i$ misses a color $\ell_v\in\{1,\dots,k\}$ in its closed neighborhood, then every $v\in V_i$ can be recolored with $\ell_v$ and we obtain a $(k-1)$-coloring of $G$. If a new coloring $c'$ is also acyclic, then such a recoloring is an acyclic recoloring step and $c'$ is in relation $\triangleleft_a$ with $c$. The acyclic b-chromatic number $A_b(G)$ of $G$ is the maximum number of colors in an acyclic coloring where no acyclic recoloring step is possible. Equivalently, it is the maximum number of colors in a minimum element of the transitive closure of $\triangleleft_a$. In this paper, we consider $A_b(G)$ of cubic graphs.
এই পত্রটি ঘন গ্রাফ (ত্রিমাত্রিক গ্রাফ) এর উপর অ-চক্রীয় b-বর্ণসংখ্যার (acyclic b-chromatic number) বৈশিষ্ট্য অধ্যয়ন করে। অ-চক্রীয় k-বর্ণায়ন প্রয়োজন করে যে সন্নিহিত শীর্ষবিন্দুগুলির বিভিন্ন রঙ থাকে এবং যেকোনো দুটি রঙ দ্বারা প্ররোচিত উপগ্রাফ একটি বন। অ-চক্রীয় b-বর্ণসংখ্যা Ab(G) হল এমন একটি অ-চক্রীয় বর্ণায়নে ব্যবহৃত সর্বোচ্চ রঙের সংখ্যা যেখানে কোনো অ-চক্রীয় পুনর্বর্ণায়ন পদক্ষেপ সম্পাদন করা যায় না। এই পত্রটি প্রমাণ করে যে একটি ব্যতিক্রম ছাড়া সমস্ত ঘন গ্রাফের অ-চক্রীয় b-বর্ণসংখ্যা 4 বা 5, এবং সাধারণীকৃত পেটারসেন গ্রাফ এবং (0,j)-প্রিজম গ্রাফের অ-চক্রীয় b-বর্ণসংখ্যা বিস্তারিতভাবে অধ্যয়ন করে।
এই পত্রটি গ্রাফের অ-চক্রীয় b-বর্ণসংখ্যা সমস্যা অধ্যয়ন করে, যা দুটি ক্লাসিক্যাল গ্রাফ বর্ণায়ন ধারণার সমন্বয়:
b-বর্ণায়ন (b-coloring): ইরভিং এবং ম্যানলাভ দ্বারা 1999 সালে প্রস্তাবিত, পুনরাবৃত্তিমূলক পুনর্বর্ণায়ন পদক্ষেপের মাধ্যমে তুচ্ছ বর্ণায়ন থেকে শুরু করে চূড়ান্ত বর্ণায়নে ব্যবহৃত রঙের সংখ্যা সর্বাধিক করে
অ-চক্রীয় বর্ণায়ন (acyclic coloring): গ্রুনবাউম দ্বারা প্রস্তাবিত, যেকোনো দুটি রঙ দ্বারা প্ররোচিত উপগ্রাফ একটি বন (চক্রমুক্ত) হওয়া প্রয়োজন
b-বর্ণসংখ্যা φ(G) এর জন্য, 4টি ব্যতিক্রম ছাড়া সমস্ত ঘন গ্রাফে φ(G)=4 থাকে বলে জানা যায় (জাকোভাক এবং ক্লাভজার, 2010)
অ-চক্রীয় b-বর্ণসংখ্যা Ab(G) এর জন্য, পূর্ববর্তী কাজ 3 শুধুমাত্র মৌলিক তাত্ত্বিক কাঠামো প্রতিষ্ঠা করেছে, নির্দিষ্ট গ্রাফ শ্রেণীর পদ্ধতিগত অধ্যয়নের অভাব রয়েছে
Ab(G) এবং অন্যান্য গ্রাফ পরামিতির সম্পর্ক (যেমন Δ(G), φ(G), A(G)) এখনও স্পষ্ট নয়
লেখকরা ঘন গ্রাফের অ-চক্রীয় b-বর্ণসংখ্যা পদ্ধতিগতভাবে অধ্যয়ন করার লক্ষ্য রাখেন, যা নিয়মিত গ্রাফের সাধারণ ফলাফলের দিকে একটি গুরুত্বপূর্ণ পদক্ষেপ। ঘন গ্রাফ সবচেয়ে সহজ অ-তুচ্ছ নিয়মিত গ্রাফ শ্রেণী হিসাবে, এর গবেষণা ফলাফল আরও সাধারণ ক্ষেত্রের জন্য অন্তর্দৃষ্টি প্রদান করতে পারে।
ঘন গ্রাফের অ-চক্রীয় b-বর্ণসংখ্যার মৌলিক পরিসীমা প্রতিষ্ঠা: প্রমাণ করে যে প্রিজম K2□K3 ছাড়া সমস্ত ঘন গ্রাফ G সন্তুষ্ট করে 4≤Ab(G)≤5
b-বর্ণসংখ্যার সাথে মৌলিক পার্থক্য প্রকাশ: প্রমাণ করে যে অসীম অনেক ঘন গ্রাফ G বিদ্যমান যা Ab(G)=4 সন্তুষ্ট করে, যা b-বর্ণসংখ্যার সীমিততা ফলাফলের সাথে তীব্র বৈপরীত্য তৈরি করে
বিশেষ গ্রাফ শ্রেণীর অ-চক্রীয় b-বর্ণসংখ্যা সম্পূর্ণভাবে নির্ধারণ করা:
সাধারণীকৃত পেটারসেন গ্রাফ G(n,k): যখন k≥3 এবং n যথেষ্ট বড়, Ab(G(n,k))=5
প্রিজম G(n,1): n≥4 এর জন্য, Ab(G(n,1))=4; Ab(K2□K3)=3
(0,j)-প্রিজম: যখন j>0 এবং n≥5(j+2), Ab(Prn(0,j))=5
গঠনমূলক প্রমাণ পদ্ধতি: স্পষ্ট 5-বর্ণায়ন গঠন প্রদান করে, অ-চক্রীয় b-শীর্ষবিন্দুর দুটি প্রকার (A প্রকার এবং B প্রকার) প্রদর্শন করে
খোলা সমস্যা প্রস্তাব করা: গণনাগত জটিলতা, স্নার্ক গ্রাফের অ-চক্রীয় b-বর্ণসংখ্যা ইত্যাদি অন্তর্ভুক্ত
অ-চক্রীয় বর্ণায়ন: গ্রাফ G এর একটি k-বর্ণায়ন c:V(G)→[k] অ-চক্রীয় বর্ণায়ন বলা হয় যদি:
সন্নিহিত শীর্ষবিন্দুগুলির বিভিন্ন রঙ থাকে (স্বাভাবিক বর্ণায়ন শর্ত)
যেকোনো i,j∈[k] এর জন্য, রঙ i এবং j দ্বারা প্ররোচিত উপগ্রাফ G[Vi∪Vj] একটি বন
অ-চক্রীয় পুনর্বর্ণায়ন পদক্ষেপ: রঙ শ্রেণী Vi এর জন্য, যদি প্রতিটি শীর্ষবিন্দু v∈Vi তার বন্ধ প্রতিবেশে কিছু রঙ ℓv অনুপস্থিত থাকে, এবং সমস্ত v∈Vi কে ℓv এ পুনর্বর্ণায়ন করার পরে অ-চক্রীয় বর্ণায়ন বজায় থাকে, তাহলে এটি একটি অ-চক্রীয় পুনর্বর্ণায়ন পদক্ষেপ বলা হয়।
অ-চক্রীয় b-বর্ণসংখ্যাAb(G): তুচ্ছ বর্ণায়ন (প্রতিটি শীর্ষবিন্দু স্বাধীন রঙ) থেকে শুরু করে, অ-চক্রীয় পুনর্বর্ণায়ন পদক্ষেপের মাধ্যমে পুনরাবৃত্তি করে, চূড়ান্তভাবে পুনর্বর্ণায়ন চালিয়ে যেতে না পারলে সর্বোচ্চ রঙের সংখ্যা।
অ-চক্রীয় b-শীর্ষবিন্দু: পুনর্বর্ণায়ন অসম্ভব বর্ণায়নে, যদি শীর্ষবিন্দু v এর যেকোনো পুনর্বর্ণায়ন দ্বি-রঙ চক্র তৈরি করে, তাহলে v একটি অ-চক্রীয় b-শীর্ষবিন্দু।
বাধাগ্রস্ত চক্র (blocking cycle): অ-চক্রীয় b-শীর্ষবিন্দু v (রঙ i) এর জন্য, যদি রঙ j তার বন্ধ প্রতিবেশে না থাকে, v কে j তে পুনর্বর্ণায়ন করতে বাধা দেওয়া সবচেয়ে ছোট দ্বি-রঙ চক্র jv-চক্র বলা হয়।
মূল ধারণা: যেকোনো ঘন গ্রাফের 4-বর্ণায়ন স্থানীয় সমন্বয়ের মাধ্যমে সমস্ত দ্বি-রঙ চক্র দূর করা যায়।
অ্যালগরিদম প্রবাহ:
ইনপুট: ঘন গ্রাফ G এর 4-বর্ণায়ন c (সম্ভবত দ্বি-রঙ চক্র সহ)
আউটপুট: G এর অ-চক্রীয় 4-বর্ণায়ন
যখন দ্বি-রঙ চক্র C বিদ্যমান থাকে:
C = v₁v₂...vₖv₁ সেট করুন, রঙ বিকল্পভাবে 1 এবং 2
uᵢ কে vᵢ এর তৃতীয় প্রতিবেশী সেট করুন
ক্ষেত্র 1: কিছু uⱼ বিদ্যমান যেখানে c(uⱼ) ∈ {1,2}
uⱼ₋₁ এবং uⱼ₊₁ এর রঙ অনুযায়ী, vⱼ কে রঙ 3 বা 4 এ পুনর্বর্ণায়ন করুন
ক্ষেত্র 2: সমস্ত uᵢ এর রঙ {1,2} এ নেই
ধরুন c(u₂)=3, v₂ কে 4 এ পুনর্বর্ণায়ন করুন
যদি নতুন দ্বি-রঙ চক্র তৈরি হয়, v₁,v₂,v₃ এর রঙ আরও সমন্বয় করুন
মূল বৈশিষ্ট্য: প্রতিটি অপারেশন দ্বি-রঙ চক্রের সংখ্যা কঠোরভাবে হ্রাস করে, অ্যালগরিদম সমাপ্তি নিশ্চিত করে।
সাবধানে ডিজাইন করা রঙ পারমিউটেশন স্কিমের মাধ্যমে, স্থানীয় অ-চক্রীয় b-বর্ণায়ন কনফিগারেশন পর্যায়ক্রমে পুনরাবৃত্তি করা যায়, যেকোনো বড় গ্রাফ গঠন করে।
লেম্মা 3.4 প্রকাশ করে: ডিগ্রি 2 এর কাটিং বিন্দু (যেমন H3 এ w) 5-বর্ণায়নে অ-চক্রীয় b-শীর্ষবিন্দু হতে পারে না, এটি Ab(G)=4 গ্রাফ পরিবার গঠনের চাবিকাঠি।
এই পত্রটি নির্দিষ্ট নিয়মিত গ্রাফ শ্রেণী (ঘন গ্রাফ) এর অ-চক্রীয় b-বর্ণসংখ্যা পদ্ধতিগতভাবে অধ্যয়ন করার প্রথম প্রচেষ্টা, তত্ত্ব এবং নির্দিষ্ট গ্রাফ শ্রেণীর মধ্যে ফাঁক পূরণ করে।
সামগ্রিক মূল্যায়ন: এটি একটি উচ্চ মানের তাত্ত্বিক গণিত পত্র যা ঘন গ্রাফের অ-চক্রীয় b-বর্ণসংখ্যা সমস্যা পদ্ধতিগতভাবে অধ্যয়ন করে। পত্রটির প্রমাণ কঠোর, ফলাফল গভীর, বিশেষত অ-চক্রীয় b-বর্ণসংখ্যা এবং b-বর্ণসংখ্যার ঘন গ্রাফে মৌলিক পার্থক্য প্রকাশ করে। যদিও অনেক খোলা সমস্যা অবশিষ্ট থাকে, এই পত্রটি এই ক্ষেত্রের আরও গবেষণার জন্য একটি দৃঢ় ভিত্তি স্থাপন করে। গ্রাফ তত্ত্ব এবং সমন্বয় অপ্টিমাইজেশন গবেষকদের পড়ার জন্য সুপারিশ করা হয়।