Given a word $w$, what is the maximum possible number of appearances of $w$ reading contiguously along any of the directions in $\{-1, 0, 1\}^d \setminus \{\mathbf{0}\}$ in a large $d$-dimensional grid (as in a word search)? Patchell and Spiro first posed a version of this question, which Alon and Kravitz completely answered for a large class of ``well-behaved" words, including those with no repeated letters. We study the general case, which exhibits greater variety and is often more complicated (even for $d=1$). We also discuss some connections to other problems in combinatorics, including the storied $n$-queens problem.
প্রবন্ধ ID : 2511.19678শিরোনাম : Words with Repeated Letters in a Gridলেখক : Zachary Halberstam, Carl Schildkrautশ্রেণীবিভাগ : math.CO (সমন্বয়বিদ্যা)প্রকাশনার সময় : ২০২৫ সালের ২৪ নভেম্বর (arXiv প্রাক-প্রিন্ট)প্রবন্ধ লিঙ্ক : https://arxiv.org/abs/2511.19678 এই প্রবন্ধটি d-মাত্রিক গ্রিডে, "শব্দ অনুসন্ধান" দিকনির্দেশনা বরাবর (অর্থাৎ দিক ভেক্টর {-1,0,1}^d{0}-তে) ক্রমাগত পড়ার সময় প্রদত্ত শব্দ w-এর সর্বাধিক উপস্থিতির সংখ্যা সম্পর্কে গবেষণা করে। Patchell এবং Spiro প্রথম এই সমস্যাটি প্রস্তাব করেছিলেন, এবং Alon এবং Kravitz সম্পূর্ণভাবে পুনরাবৃত্তিহীন অক্ষর সহ শব্দের ক্ষেত্রটি সমাধান করেছিলেন। এই প্রবন্ধটি পুনরাবৃত্ত অক্ষর সহ সাধারণ ক্ষেত্রটি অধ্যয়ন করে, যা আরও সমৃদ্ধ কাঠামো এবং জটিলতা প্রদর্শন করে (এমনকি d=1 এর ক্ষেত্রেও), এবং n-রানী সমস্যার মতো ক্লাসিক সমন্বয় সমস্যাগুলির সাথে গভীর সংযোগ প্রকাশ করে।
প্রদত্ত শব্দ w এবং মাত্রা d-এর জন্য, একটি n₁×n₂×...×n_d d-মাত্রিক বৃত্তাকার গ্রিডে (প্রতিটি স্থানাঙ্ক মডিউলো n_i) অক্ষর স্থাপন করে w-এর উপস্থিতি সর্বাধিক করতে হবে। এখানে "উপস্থিতি" মানে 3^d-1 অনুসন্ধান দিকনির্দেশনার একটি বরাবর ক্রমাগত পড়া w পাওয়া।
তাত্ত্বিক তাৎপর্য : এই সমস্যাটি সংযোজক সমন্বয়বিদ্যা, ফুরিয়ার বিশ্লেষণ এবং গ্রাফ তত্ত্বের মতো একাধিক গাণিতিক শাখাকে সংযুক্ত করেসমন্বয় অপ্টিমাইজেশন : সীমাবদ্ধতার অধীনে চরম কনফিগারেশন সমস্যা জড়িতক্লাসিক সমস্যার সংযোগ : পর্যায়ক্রমিক টাইলিং অনুমান, n-রানী সমস্যা ইত্যাদি বিখ্যাত সমস্যার সাথে গভীর সংযোগAlon এবং Kravitz 1 "সুষম আচরণ" শব্দের ক্ষেত্রটি সম্পূর্ণভাবে সমাধান করেছেন, যার মধ্যে রয়েছে:
পুনরাবৃত্তিহীন অক্ষর সহ শব্দ নির্দিষ্ট সীমাবদ্ধতা সন্তুষ্ট করে এমন শব্দ (যেমন অক্ষর শুধুমাত্র বিজোড় বা জোড় অবস্থানে প্রদর্শিত হয় এবং পুনরাবৃত্তিহীন দুই-অক্ষর ব্লক নেই) কিন্তু সাধারণ পুনরাবৃত্ত অক্ষর সহ শব্দের জন্য, সমস্যাটি এখনও অমীমাংসিত এবং আরও জটিল কাঠামো প্রদর্শন করে।
পুনরাবৃত্ত অক্ষর শব্দের চরম কনফিগারেশন অন্বেষণ করা কোন শব্দগুলি "d-স্ট্যাকযোগ্য" বা "d-ঝোলানো যোগ্য" তা শ্রেণীবদ্ধ করা অন্যান্য সমন্বয় সমস্যার সাথে সংযোগ স্থাপন করা এক-মাত্রিক ক্ষেত্র সম্পূর্ণভাবে সমাধান (উপপাদ্য 1.2): যেকোনো শব্দের জন্য এক-মাত্রিক ক্ষেত্রে ঘনত্ব C₁(w)-এর বন্ধনী রূপ প্রদান করুন এবং সমস্ত চরম গ্রিড শ্রেণীবদ্ধ করুনমাত্রা সীমানা প্রতিষ্ঠা (প্রস্তাব 1.3): যেকোনো শব্দ w এবং মাত্রা d-এর জন্য প্রমাণ করুন:
3 d − 1 C 1 ( w ) ≤ C d ( w ) ≤ 3 d − 1 2 C 1 ( w ) 3^{d-1}C_1(w) \leq C_d(w) \leq \frac{3^d-1}{2}C_1(w) 3 d − 1 C 1 ( w ) ≤ C d ( w ) ≤ 2 3 d − 1 C 1 ( w ) d-স্ট্যাকযোগ্যতা বৈশিষ্ট্য (উপপাদ্য 1.4):বিজোড়-জোড় শব্দ (অক্ষর একযোগে বিজোড় এবং জোড় অবস্থানে প্রদর্শিত হয় না) সমস্ত মাত্রায় d-স্ট্যাকযোগ্য অক্ষর পুনরাবৃত্তি d-স্ট্যাকযোগ্যতা বজায় রাখে চার-অক্ষর শব্দের 2-স্ট্যাকযোগ্যতা সম্পূর্ণভাবে বৈশিষ্ট্যযুক্ত করুন AB^(ℓ-1) (ℓ>3) 2-স্ট্যাকযোগ্য নয় প্রমাণ করুন d-ঝোলানো যোগ্যতা সীমানা (উপপাদ্য 1.5):দৈর্ঘ্য ℓ-এর শব্দ d≥8log₂ℓ+47 হলে d-ঝোলানো যোগ্য হতে পারে না যখন ℓ-এর সমস্ত মূল উৎপাদক ≥2^d হয়, AB^(ℓ-1) d-ঝোলানো যোগ্য পদ্ধতিগত অবদান : চারটি প্রধান কৌশল বিকাশ করুনসংযোজক পুনর্নির্মাণ পদ্ধতি সমন্বয় হ্রাস কৌশল স্থানীয় রৈখিক প্রোগ্রামিং বিশ্লেষণ ফুরিয়ার বিশ্লেষণ পদ্ধতি মূল ধারণা :
গ্রিড Γ : G=∏ᵢ₌₁ᵈ Z/nᵢZ থেকে বর্ণমালা Σ-তে ফাংশনউপস্থিতি : (p,v)∈G×({-1,0,1}^d{0})-এর জন্য, যদি Γ অবস্থান {p+iv}_^{len(w)-1}-এ w-এর অক্ষরগুলি ক্রমাগত থাকে, তাহলে (p,v) কে w-এর উপস্থিতি বলা হয়ঘনত্ব : cd(w,Γ) = ct(w,Γ)/|Γ|, অর্থাৎ উপস্থিতির সংখ্যা গ্রিড আকার দ্বারা বিভক্তসর্বাধিক ঘনত্ব : Cd(w) = sup_Γ cd(w,Γ)মূল সমস্যা : প্রদত্ত শব্দ w এবং মাত্রা d-এর জন্য, Cd(w)-এর মান নির্ধারণ করুন।
সমস্যাটি সেট সংযোজন সমস্যায় রূপান্তরিত করুন। দিক v-এর জন্য, সংজ্ঞায়িত করুন:
S v = { p ∈ G : ( p , v ) হল w-এর উপস্থিতি } S_v = \{p \in G : (p,v) \text{হল w-এর উপস্থিতি}\} S v = { p ∈ G : ( p , v ) হল w- এর উপস্থিতি }
মূল পর্যবেক্ষণ:
( S u − S v ) ∩ I u , v = ∅ (S_u - S_v) \cap I_{u,v} = \emptyset ( S u − S v ) ∩ I u , v = ∅
যেখানে I u , v = { i v − j u : 0 ≤ i , j < l e n ( w ) , w i ≠ w j } I_{u,v} = \{iv - ju : 0 \leq i,j < len(w), w_i \neq w_j\} I u , v = { i v − j u : 0 ≤ i , j < l e n ( w ) , w i = w j }
এটি গণনা সমস্যাটিকে সংযোজক সীমাবদ্ধতার অধীনে ∑ v ∣ S v ∣ / ∣ G ∣ \sum_v |S_v|/|G| ∑ v ∣ S v ∣/∣ G ∣ সর্বাধিক করতে রূপান্তরিত করে।
এক-মাত্রিক ক্ষেত্রের সম্পূর্ণ সমাধান :
তিনটি প্যারামিটার সংজ্ঞায়িত করুন:
c_left: দীর্ঘতম প্যালিনড্রোম উপসর্গ দৈর্ঘ্য c_right: দীর্ঘতম প্যালিনড্রোম প্রত্যয় দৈর্ঘ্য c_repeat: যা সত্য উপসর্গ এবং সত্য প্রত্যয় উভয়ই এমন দীর্ঘতম সাবস্ট্রিং দৈর্ঘ্য উপপাদ্য 3.1 : দৈর্ঘ্য ℓ-এর শব্দ w-এর জন্য:
যদি w প্যালিনড্রোম না হয়: C 1 ( w ) = max ( 1 ℓ − c r e p e a t , 1 ℓ − c l e f t + c r i g h t 2 ) C_1(w) = \max\left(\frac{1}{\ell-c_{repeat}}, \frac{1}{\ell-\frac{c_{left}+c_{right}}{2}}\right) C 1 ( w ) = max ( ℓ − c re p e a t 1 , ℓ − 2 c l e f t + c r i g h t 1 ) যদি w প্যালিনড্রোম হয়: C 1 ( w ) = 2 ℓ − c r e p e a t C_1(w) = \frac{2}{\ell-c_{repeat}} C 1 ( w ) = ℓ − c re p e a t 2 দুটি চরম নির্মাণ :
নির্মাণ 1 (একই দিকে ওভারল্যাপ): যখন c_repeat বড় হয়, w=vs (s হল দৈর্ঘ্য c_repeat-এর পুনরাবৃত্ত সাবস্ট্রিং) এর v অংশ পুনরাবৃত্তি করুননির্মাণ 2 (বিকল্প দিক): যখন c_left+c_right বড় হয়, w-কে এগিয়ে এবং পিছিয়ে পড়া বিকল্প করুন, প্যালিনড্রোম অংশ ওভারল্যাপ করুনপ্রজেকশন হ্রাস প্রস্তাব 4.2 : যদি ম্যাপিং π:Σ→Σ' এবং এক-মাত্রিক গ্রিড Γ₀ বিদ্যমান থাকে যেমন:
Γ₀ হল w-চরম π(Γ₀) হল w'-চরম যেকোনো গ্রিড Γ-এর জন্য: ct(w,Γ)/ct(w',π(Γ)) ≤ ct(w,Γ₀)/ct(w',π(Γ₀)) তাহলে যেকোনো d-এর জন্য: Cd(w)/C₁(w) ≤ Cd(w')/C₁(w')
প্রয়োগের উদাহরণ :
বিজোড়-জোড় শব্দ (উপপাদ্য 1.4a): অক্ষর {বিজোড়,জোড়}-এ প্রজেক্ট করুন, AB-এর ক্ষেত্রে হ্রাস করুনঅক্ষর পুনরাবৃত্ত শব্দ (উপপাদ্য 1.4b): সাব-স্যাম্পলিং কৌশল দ্বারা w^(k) d-স্ট্যাকযোগ্যতা বজায় রাখে প্রমাণ করুনছোট শব্দ হ্রাস : ABCA, ABBC, ABBA, BABB কে ABB-এ হ্রাস করুনমূল ধারণা : স্থির স্থানীয় অঞ্চল S⊂Z^d-এর জন্য, ওজন ফাংশন F অপ্টিমাইজ করুন।
প্রস্তাব 5.2 : যদি ওজন ফাংশন F সন্তুষ্ট করে:
(i) প্রতিটি দিক ধরনের জন্য, গড় ওজন K (ii) যেকোনো অসীম গ্রিড G-এর জন্য: ∑ ( p , v ) ∈ A ( w , G ) F ( p , v ) ≤ M \sum_{(p,v)\in A(w,G)} F(p,v) \leq M ∑ ( p , v ) ∈ A ( w , G ) F ( p , v ) ≤ M তাহলে Cd(w) ≤ M/K
রৈখিক প্রোগ্রামিং নির্মাণ :
স্থানীয় অঞ্চল S নির্বাচন করুন (যেমন 3×3 বা 5×5 গ্রিড) অক্ষর A নির্বাচন করুন, সম্ভাব্য দিক সেট F সংজ্ঞায়িত করুন অপ্টিমাইজ করুন:
min M s.t. ∑ ( p , v ) ∈ A ( w , G ) F ( p , v ) ≤ M , ∀ G ∈ G \min M \text{ s.t. } \sum_{(p,v)\in A(w,G)} F(p,v) \leq M, \forall G\in\mathcal{G} min M s.t. ∑ ( p , v ) ∈ A ( w , G ) F ( p , v ) ≤ M , ∀ G ∈ G
যেখানে G হল S-এর বাইরে সম্পূর্ণ A সহ গ্রিড সেট মূল অপ্টিমাইজেশন :
প্রতিসাম্য ব্যবহার করে ভেরিয়েবল সংখ্যা হ্রাস করুন পুনরাবৃত্তিমূলকভাবে লঙ্ঘন করা সীমাবদ্ধতা যোগ করুন 2^|S| গ্রিডের জন্য গণনা যাচাইকরণ সফল ক্ষেত্র :
ABB 2-স্ট্যাকযোগ্য প্রমাণ করুন (C₂(ABB)≤2) ABCC 2-স্ট্যাকযোগ্য প্রমাণ করুন (C₂(ABCC)≤6/5) C₂(BABBB)=8/5 গণনা করুন (2-স্ট্যাকযোগ্য বা 2-ঝোলানো যোগ্য নয়) প্রয়োগ 1: আকৃতি (Z/3Z)^d গ্রিডে ABB
লেম্মা 7.1 : f:(Z/3Z)^d→0,1 -এর জন্য, α=𝔼f:
E x , y f ( x ) ( 1 − f ( x + y ) ) ( 1 − f ( x + 2 y ) ) ≤ 3 2 α ( 1 − α ) 2 \mathbb{E}_{x,y} f(x)(1-f(x+y))(1-f(x+2y)) \leq \frac{3}{2}\alpha(1-\alpha)^2 E x , y f ( x ) ( 1 − f ( x + y )) ( 1 − f ( x + 2 y )) ≤ 2 3 α ( 1 − α ) 2
প্রমাণ কৌশল:
প্রত্যাশা ফুরিয়ার সহগে প্রসারিত করুন ω=e^(2πi/3)-এর বৈশিষ্ট্য ব্যবহার করুন লেম্মা 7.2 প্রয়োগ করুন: যদি ℜ(z),ℜ(ωz),ℜ(ω²z)≤β, তাহলে ℜ(z³)≤β³ প্রয়োগ 2: d-ঝোলানো যোগ্যতার মাত্রা সীমানা
মূল কৌশল (উপপাদ্য 1.5a প্রমাণ):
নিকট-চরম গ্রিড Θ নির্মাণ করুন (লেম্মা 7.3) স্থিতিশীলতা ফলাফল প্রয়োগ করুন (উপপাদ্য 3.2): নিকট-চরম অনুসন্ধান লাইনে প্রায় একই অক্ষর বিতরণ আছে ফুরিয়ার বিশ্লেষণ বিরোধিতা (লেম্মা 7.4): (Z/nZ)^d (n<2^d)-এ, সমস্ত অনুসন্ধান লাইনে একই অক্ষর বিতরণ থাকা সম্ভব নয় লেম্মা 7.4 : আকৃতি (Z/nZ)^d (n<2^d)-এর গ্রিডে, যদি অক্ষর A α অনুপাত দখল করে, তাহলে দুটি অনুসন্ধান লাইনের A সংখ্যা কমপক্ষে পার্থক্য রয়েছে:
min ( α , 1 − α ) 3 d / 2 n \frac{\sqrt{\min(\alpha,1-\alpha)}}{3^{d/2}}n 3 d /2 m i n ( α , 1 − α ) n
প্রমাণ দ্বিতীয়-ক্রম মুহূর্ত পদ্ধতি এবং ফুরিয়ার রূপান্তর ব্যবহার করে।
একীভূত কাঠামো : প্রথমবারের মতো সিস্টেমেটিকভাবে পুনরাবৃত্ত অক্ষর শব্দ অধ্যয়ন করুন, পর্যায়ক্রমিক টাইলিং-এর সাথে সংযোগ প্রকাশ করুনসংযোজক দৃষ্টিভঙ্গি : গ্রিড সমস্যাটিকে সংযোজক সমন্বয় সমস্যায় রূপান্তরিত করুন, পর্যায়ক্রমিক টাইলিং-এর সাথে সংযোগ স্থাপন করুনবহু-স্তরের হ্রাস : বিভিন্ন শব্দ ধরনের সাথে মোকাবেলা করতে পারে এমন নমনীয় সমন্বয় হ্রাস কৌশল বিকাশ করুনস্থানীয়-বৈশ্বিক নীতি : স্থানীয় সীমাবদ্ধতার রৈখিক প্রোগ্রামিং দ্বারা বৈশ্বিক উপরের সীমানা পান এবং কিছু ক্ষেত্রে কঠোর সীমানা অর্জন করুনফুরিয়ার-স্থিতিশীলতা সমন্বয় : এক-মাত্রিক স্থিতিশীলতা ফলাফল এবং উচ্চ-মাত্রিক ফুরিয়ার বিশ্লেষণ সৃজনশীলভাবে সমন্বয় করুন, মাত্রা সীমানা পানn-রানী সংযোগ : AB^(ℓ-1)-এর d-ঝোলানো যোগ্যতা এবং মডিউলার n-রানী সমস্যার মধ্যে গভীর সংযোগ প্রকাশ করুনএই প্রবন্ধটি বিশুদ্ধ তাত্ত্বিক গণিত প্রবন্ধ, ঐতিহ্যবাহী অর্থে পরীক্ষা জড়িত নয়, কিন্তু বিস্তৃত গণনামূলক যাচাইকরণ অন্তর্ভুক্ত করে:
এক-মাত্রিক ক্ষেত্র : সমস্ত দৈর্ঘ্য ≤5 শব্দের জন্য সম্পূর্ণভাবে C₁(w) গণনা করুনদ্বি-মাত্রিক ছোট শব্দ :সমস্ত চার-অক্ষর শব্দের 2-স্ট্যাকযোগ্যতা সম্পূর্ণভাবে নির্ধারণ করুন (10 সমরূপ শ্রেণী) পাঁচ-অক্ষর শব্দ আংশিকভাবে নির্ধারণ করুন (31 সমরূপ শ্রেণীর মধ্যে 16) রৈখিক প্রোগ্রামিং গণনা :ABB: 3×3 অঞ্চলে 512 গ্রিড কনফিগারেশন যাচাই করুন (লেম্মা A.1 হাতে যাচাই করুন) ABCC: 5×5 অঞ্চলে যাচাই করুন (লেম্মা A.2 হাতে যাচাই করুন) BABBB: বৃহত্তর অঞ্চলে কম্পিউটার যাচাই করুন ABBB: উপরের সীমানা C₂(ABBB)≤59526/35459≈1.679 পান রৈখিক প্রোগ্রামিং অপ্টিমাইজেশন কৌশল :
প্রতিসাম্য গ্রুপ (Z/2Z)^d⋊Sd দ্বারা ভেরিয়েবল হ্রাস করুন Π-কক্ষপথে গ্রিড একটি একক সীমাবদ্ধতায় একত্রিত করুন পুনরাবৃত্তিমূলক নমুনা সীমাবদ্ধতা সমাধান করুন প্রতিসাম্য গণনা 2^|S| থেকে পরিচালনাযোগ্য স্কেলে হ্রাস করে ফলাফল প্রদর্শন :
SALSA: c_repeat=2, C₁(SALSA)=1/3 (নির্মাণ: ...SALSALSALSAL...) ELEPHANT: c_left=1, c_right=1, c_repeat=0, C₁(ELEPHANT)=1/7 (নির্মাণ: ...HPELEPHANTNAHPELEPH...) ABABAB: c_repeat=4, C₁(ABABAB)=1 (নির্মাণ: ...ABABABABAB..., প্রতিটি অক্ষর 6 বার ব্যবহৃত) কাঠামো বৈশিষ্ট্য (প্রস্তাব 3.3):
যদি c_left+c_right<2c_repeat: শুধুমাত্র নির্মাণ 1 চরম যদি c_left+c_right>2c_repeat: শুধুমাত্র নির্মাণ 2 চরম যদি c_left+c_right=2c_repeat: উভয় নির্মাণ চরম, এবং সমস্ত চরম তাদের সমন্বয় সমরূপ শ্রেণী প্রতিনিধি 2-স্ট্যাকযোগ্যতা পদ্ধতি AB ✓ (d-স্ট্যাকযোগ্য) Alon-Kravitz ABA ✓ (d-স্ট্যাকযোগ্য) উপপাদ্য 1.4a (বিজোড়-জোড় শব্দ) ABB ✓ স্থানীয় রৈখিক প্রোগ্রামিং (লেম্মা 5.4) ABC ✓ (d-স্ট্যাকযোগ্য) Alon-Kravitz AABB ✓ (d-স্ট্যাকযোগ্য) উপপাদ্য 1.4b ABAB ✓ (d-স্ট্যাকযোগ্য) উপপাদ্য 1.4a ABBA ✓ ABB-এ হ্রাস (লেম্মা 4.3) BABB ✓ ABB-এ হ্রাস (লেম্মা 4.3) AAAB ✗ প্রতিউদাহরণ গ্রিড (চিত্র 5) AABC ✓ স্থানীয় রৈখিক প্রোগ্রামিং (লেম্মা 5.5) ABAC ✓ (d-স্ট্যাকযোগ্য) উপপাদ্য 1.4a ABBC ✓ ABB-এ হ্রাস (লেম্মা 4.3) ABCA ✓ ABB-এ হ্রাস (লেম্মা 4.3) ABCD ✓ (d-স্ট্যাকযোগ্য) Alon-Kravitz
মূল আবিষ্কার : ABBB (AAAB-এর সমরূপ) একমাত্র অ-2-স্ট্যাকযোগ্য চার-অক্ষর শব্দ।
d-স্ট্যাকযোগ্য (8টি):
ABABA, ABABC, ABACA, ABACD, ABCBA, ABCBD, ABCDA, ABCDE (উপপাদ্য 1.4a)
AABBA (AABB-এ হ্রাস)
2-স্ট্যাকযোগ্য (অতিরিক্ত 5টি):
AABCC, AABAA (AAB-এ হ্রাস)
ABCAB (ABB-এ হ্রাস)
AABCB, ABBAC (ABCC-এ হ্রাস)
অ-2-স্ট্যাকযোগ্য (2টি):
ABBBB: C₂(ABBBB)=8/5>6/5=3C₁(ABBBB) BABBB: C₂(BABBB)=8/5>3/2=3C₁(BABBB) (লেম্মা 5.6) অমীমাংসিত : 31 সমরূপ শ্রেণীর মধ্যে 15টি
উপপাদ্য 1.5 যাচাইকরণ :
উপরের সীমানা: দৈর্ঘ্য ℓ শব্দের জন্য, d≥8log₂ℓ+47 হলে d-ঝোলানো যোগ্য নয় নিম্ন সীমানা: যখন ℓ-এর সমস্ত মূল উৎপাদক ≥2^d হয়, AB^(ℓ-1) d-ঝোলানো যোগ্য কঠোরতা: Bertrand পোস্টুলেট দ্বারা, উপরের সীমানা ধ্রুবক ফ্যাক্টরে সর্বোত্তম নির্দিষ্ট উদাহরণ :
ℓ=5, gcd(5,6)=1: AB⁴ 2-ঝোলানো যোগ্য (C₂(AB⁴)=8/5=4C₁(AB⁴)) ℓ=7, gcd(7,6)=1: AB⁶ 2-ঝোলানো যোগ্য (7-রানী সমস্যার সাথে সংশ্লিষ্ট) যদিও ঐতিহ্যবাহী বিলোপন নয়, কিন্তু প্রবন্ধটি প্রতিটি প্রযুক্তি উপাদানের প্রয়োজনীয়তা প্রদর্শন করে:
সংযোজক পদ্ধতির প্রয়োজনীয়তা : এক-মাত্রিক ক্ষেত্রে যদি সংযোজক পুনর্নির্মাণ ব্যবহার না করা হয়, বন্ধনী রূপ এবং কাঠামো বৈশিষ্ট্য পাওয়া কঠিনসমন্বয় হ্রাসের শক্তি :হ্রাস ছাড়া: 14টি চার-অক্ষর শব্দ আলাদাভাবে বিশ্লেষণ করতে হবে হ্রাস সহ: শুধুমাত্র ABB, ABCC ইত্যাদি কয়েকটি মৌলিক ক্ষেত্র সরাসরি বিশ্লেষণ করতে হবে স্থানীয় পদ্ধতির অপরিহার্যতা :ABB-এর 2-স্ট্যাকযোগ্যতা: অন্যান্য পদ্ধতি পরিচালনা করতে পারে না মূল বিষয় হল কঠোর সীমানা পাওয়া (C₂(ABB)=2 ঠিক 3C₁(ABB)-এর সমান) ফুরিয়ার বিশ্লেষণের সীমাবদ্ধতা এবং সুবিধা :সীমাবদ্ধতা: শুধুমাত্র বিশেষ কাঠামো পরিচালনা করতে পারে (যেমন (Z/3Z)^d আকৃতি) সুবিধা: সাধারণ মাত্রা সীমানা পান, যা স্থানীয় পদ্ধতি করতে পারে না কেস 1: CROC-এর জটিলতা (মন্তব্য 3.8)
CROC c_left+c_right=2c_repeat সন্তুষ্ট করে, উপপাদ্য 3.3-এর ক্ষেত্র (c) অন্তর্গত।
v=CROC, v'=CORO চরম গ্রিড Grid(v₁...vₘ) হতে পারে, যেখানে vᵢ∈{v,v'} আকার 3n-এর চরম গ্রিড সংখ্যা n-এর সাপেক্ষে সূচকীয়ভাবে বৃদ্ধি পায় উদাহরণ: Grid(CROCROCOR) চরম কিন্তু নির্মাণ 1 বা 2-এর সমতুল্য নয় কেস 2: BABBB-এর অ-একঘেয়েতা (লেম্মা 5.6)
গ্রিড Γ (5×5):
A B B B B
B B B A B
B A B B B
B B B B A
B B A B B
c₂(BABBB,Γ)=8/5 3C₁(BABBB)=3×(1/2)=3/2<8/5 4C₁(BABBB)=2>8/5 উপসংহার: 2-স্ট্যাকযোগ্য বা 2-ঝোলানো যোগ্য নয়, মধ্যবর্তী আচরণ প্রদর্শন করে কেস 3: AB⁶ এবং 7-রানী সমস্যা (চিত্র 6-7)
7টি অ-আক্রমণকারী রানী কনফিগারেশন C₂(AB⁶)=4C₁(AB⁶)-এর চরম গ্রিডের সাথে সংশ্লিষ্ট:
A B B B B B B
B B A B B B B
B B B B A B B
B B B B B B A
B A B B B B B
B B B A B B B
B B B B B A B
প্রতিটি A-এর চারপাশে 8টি দিকে 6টি ক্রমাগত B আছে, মোট 56 বার উপস্থিতি।
জটিলতা লাফ : পুনরাবৃত্তিহীন অক্ষর থেকে পুনরাবৃত্ত অক্ষরে, সমস্যার জটিলতা উল্লেখযোগ্যভাবে বৃদ্ধি পায়পুনরাবৃত্তিহীন: সমস্ত শব্দ d-স্ট্যাকযোগ্য পুনরাবৃত্ত: অ-d-স্ট্যাকযোগ্য, d-ঝোলানো যোগ্য, মধ্যবর্তী ক্ষেত্র তিন ধরনের উপস্থিতি মাত্রা প্রভাব :নিম্ন মাত্রা (d=1,2): প্রতিটি শব্দের সূক্ষ্ম বিশ্লেষণ প্রয়োজন উচ্চ মাত্রা (d≥8log₂ℓ): সাধারণ ফলাফল দেখায় কোনো শব্দ d-ঝোলানো যোগ্য নয় পদ্ধতি পরিপূরকতা :সমন্বয় পদ্ধতি: কাঠামোগত শব্দ পরিচালনা করে রৈখিক প্রোগ্রামিং: কয়েকটি মূল কঠিন ক্ষেত্র পরিচালনা করে ফুরিয়ার বিশ্লেষণ: অ্যাসিম্পটোটিক সীমানা প্রদান করে খোলা সমস্যার সমৃদ্ধি :31টি পাঁচ-অক্ষর শব্দের মধ্যে 15টি অমীমাংসিত ABB-এর d≥3 সময়ের আচরণ অজানা ABBB-এর সঠিক C₂ মান অজানা Patchell-Spiro 14 (2022) :
প্রথমবারের মতো সিস্টেমেটিকভাবে সমস্যা প্রস্তাব করুন আংশিক ফলাফল এবং অনুমান প্রদান করুন Alon-Kravitz 1 (2024) :
পুনরাবৃত্তিহীন অক্ষর শব্দ সম্পূর্ণভাবে সমাধান করুন প্রধান ফলাফল: "সুষম আচরণ" শব্দ w-এর জন্য, Cd(w)=3^(d-1)/(len(w)-1) চরম নির্মাণ: এগিয়ে এবং পিছিয়ে পড়া বিকল্প, যেমন ...w₂w₁w₂...wℓwℓ...w₂w₁... পদ্ধতি: ফুরিয়ার বিশ্লেষণ + সমন্বয় যুক্তি এই প্রবন্ধের সম্প্রসারণ :
সাধারণ পুনরাবৃত্ত অক্ষর শব্দ পরিচালনা করুন আরও সমৃদ্ধ কাঠামো প্রকাশ করুন (তিন ধরনের: d-স্ট্যাকযোগ্য, d-ঝোলানো যোগ্য, মধ্যবর্তী) নতুন পদ্ধতি বিকাশ করুন (স্থানীয় রৈখিক প্রোগ্রামিং) পর্যায়ক্রমিক টাইলিং অনুমান :
Greenfeld-Tao 8 (2024) প্রতিউদাহরণ: অ-পর্যায়ক্রমিক টাইলিং বিদ্যমান এই প্রবন্ধের সমস্যা 2.5: চরম গ্রিড বিদ্যমান? টাইলিং অনুমানের সাথে সমান সংযোগ: টাইলিং S+T=Z^d প্রয়োজন, এই প্রবন্ধ (S-S)∩I=∅ প্রয়োজন Kravitz সেট ঘনত্ব 11 :
নির্দিষ্ট পার্থক্য সেট এড়ানো সেটের ঘনত্ব অধ্যয়ন করুন এই প্রবন্ধের সংযোজক সীমাবদ্ধতার সাথে সম্পর্কিত ফ্ল্যাগ বীজগণিত 16 :
Razborov-এর আধা-নির্দিষ্ট প্রোগ্রামিং পদ্ধতি সাবগ্রাফ ঘনত্ব ইত্যাদি সমস্যায় ব্যবহৃত এই প্রবন্ধের রৈখিক প্রোগ্রামিং একই চিন্তাভাবনার সরলীকৃত সংস্করণ জ্যামিতিক চরম সমস্যা :
একক দূরত্ব মুক্ত সেট 2,17 অর্থোগোনাল ভেক্টর মুক্ত গোলক সেট 3,7 সাধারণ বিষয়: স্থানীয় সীমাবদ্ধতার অধীনে বৈশ্বিক চরম ক্লাসিক n-রানী 4 :
1848 সাল থেকে ক্লাসিক সমস্যা Bell-Stevens সমীক্ষা মডিউলার n-রানী :
Pólya 15 (1921): gcd(n,6)=1 হলে n অ-আক্রমণকারী রানী বিদ্যমান Klarner 9 , Kunt 10 : উচ্চ-মাত্রিক সম্প্রসারণ Nudelman 13 : বিভিন্ন আক্রমণ সম্মেলন এই প্রবন্ধের অবদান :
অনুসিদ্ধান্ত 8.2: gcd(n,(2d)!)=1-এর জন্য, n^(d-1) অ-আক্রমণকারী রানী বিদ্যমান এটি Bell-Stevens অনুমান 25-এর একটি দিক প্রমাণ করে উপপাদ্য 1.4d এবং 1.5b AB^(ℓ-1) এবং ℓ-রানী সমস্যার সমতুল্যতা প্রতিষ্ঠা করে পাটিগণিত অগ্রগতি :
Roth উপপাদ্য (3-AP), Szemerédi উপপাদ্য (k-AP) উচ্চ-ক্রম ফুরিয়ার বিশ্লেষণ 18 এই প্রবন্ধের সমস্যা সীমাবদ্ধ পার্থক্য AP সমস্যার সাথে সমান, কিন্তু আরও কঠিন সর্বশেষ অগ্রগতি 5 :
সীমাবদ্ধ 3-AP-এর কার্যকর সীমানা এই প্রবন্ধের সমস্যা ℓ>3-এর জন্য উচ্চ-ক্রম ফুরিয়ার বিশ্লেষণ প্রয়োজন হতে পারে এক-মাত্রিক সম্পূর্ণ সমাধান : যেকোনো শব্দের C₁(w) বন্ধনী রূপ এবং চরম গ্রিড সম্পূর্ণ শ্রেণীবিভাগ প্রদান করুনদ্বি-মাত্রিক ছোট শব্দ : চার-অক্ষর শব্দ সম্পূর্ণভাবে সমাধান করুন, পাঁচ-অক্ষর শব্দ আংশিকভাবে সমাধান করুনমাত্রা সীমানা :সাধারণ সীমানা: 3^(d-1)C₁(w) ≤ Cd(w) ≤ (3^d-1)/2·C₁(w) d-ঝোলানো যোগ্যতা: দৈর্ঘ্য ℓ শব্দ d≥8log₂ℓ+47 হলে d-ঝোলানো যোগ্য নয় কাঠামো উপপাদ্য :বিজোড়-জোড় শব্দ সর্বদা d-স্ট্যাকযোগ্য অক্ষর পুনরাবৃত্তি d-স্ট্যাকযোগ্যতা বজায় রাখে AB^(ℓ-1) (ℓ>3) 2-স্ট্যাকযোগ্য নয় পদ্ধতিবিদ্যা : চারটি পরিপূরক কৌশলের সরঞ্জাম বাক্স প্রতিষ্ঠা করুনগণনামূলক জটিলতা :রৈখিক প্রোগ্রামিং পদ্ধতি |S|>25 অঞ্চলের জন্য অসম্ভব হাতে যাচাইকরণ (যেমন ABB, ABCC) অত্যন্ত ক্লান্তিকর পরিচালনাযোগ্য শব্দ দৈর্ঘ্য সীমাবদ্ধ করে কভারেজ পরিসীমা :পাঁচ-অক্ষর শব্দ এখনও 48% অমীমাংসিত ছয় অক্ষর এবং তার বেশি প্রায় সম্পূর্ণভাবে অস্পৃশ্য ABB-এর d≥3 সময়ের আচরণ অজানা পদ্ধতি সীমাবদ্ধতা :ফুরিয়ার বিশ্লেষণ বিশেষ কাঠামো প্রয়োজন (যেমন আকৃতি (Z/3Z)^d) সমন্বয় হ্রাস উপযুক্ত "মৌলিক শব্দ" খুঁজে পেতে প্রয়োজন স্থানীয় পদ্ধতি অ-কঠোর সীমানা প্রমাণ করা কঠিন তাত্ত্বিক শূন্যস্থান :সমস্যা 2.5 (চরম গ্রিড অস্তিত্ব) শুধুমাত্র d=1 সময় সমাধান উচ্চ-মাত্রিক স্থিতিশীলতা ফলাফল (সমস্যা 9.6) সম্পূর্ণভাবে অজানা সাধারণ শব্দের "সাধারণ আচরণ" অস্পষ্ট প্রবন্ধ স্পষ্টভাবে প্রস্তাবিত সমস্যা :
চরম গ্রিড অস্তিত্ব (সমস্যা 2.5):প্রতিটি (w,d)-এর জন্য, w-চরম গ্রিড বিদ্যমান? সাদৃশ্য: পর্যায়ক্রমিক টাইলিং অনুমান অস্বীকৃত, এই সমস্যা উচ্চ-মাত্রায় সম্ভবত অস্বীকৃত ছোট শব্দ সম্পূর্ণ শ্রেণীবিভাগ :সমস্যা 9.1: কোন পাঁচ-অক্ষর শব্দ 2-স্ট্যাকযোগ্য? সমস্যা 9.2: ABB সব d-এর জন্য d-স্ট্যাকযোগ্য? সমস্যা 9.3: C₂(ABBB)=8/5? উচ্চ-মাত্রিক কাঠামো (সমস্যা 9.5-9.6):সমস্ত w-চরম গ্রিড একই অক্ষর বিতরণ আছে? উপপাদ্য 3.2-এর মতো স্থিতিশীলতা ফলাফল বিদ্যমান? অ্যাসিম্পটোটিক আচরণ (সমস্যা 9.4):দীর্ঘ শব্দে d-স্ট্যাকযোগ্য/d-ঝোলানো যোগ্যের অনুপাত? "সাধারণ" শব্দের আচরণ? সম্ভাব্য গবেষণা দিকনির্দেশনা :
উচ্চ-ক্রম ফুরিয়ার বিশ্লেষণ প্রয়োগ :Gowers নর্ম দীর্ঘ শব্দ পরিচালনা করতে পারে? সীমাবদ্ধ পার্থক্য AP সমস্যার সাথে সঠিক সংযোগ? গণনামূলক পদ্ধতি উন্নতি :আরও দক্ষ রৈখিক প্রোগ্রামিং সমাধান চরম কনফিগারেশন খুঁজে পেতে মেশিন লার্নিং সহায়তা প্রতীকী গণনা যাচাইকরণ অন্যান্য সমন্বয় সমস্যা সংযোগ :Ramsey তত্ত্বের সাথে সংযোগ কোডিং তত্ত্বের সাথে সংযোগ অ-গ্রিড কাঠামোতে সাধারণীকরণ (যেমন গ্রাফ, বহুগুণ) অ্যালগরিদম সমস্যা :প্রদত্ত (w,d), Cd(w) অনুমান করার অ্যালগরিদম জটিলতা? নিকট-চরম গ্রিড নির্মাণের দক্ষ অ্যালগরিদম? সমস্যা নির্বাচন চমৎকার :প্রাকৃতিক এবং চ্যালেঞ্জিং একাধিক গাণিতিক শাখা সংযুক্ত করে তাত্ত্বিক গভীরতা এবং নির্দিষ্ট গণনাযোগ্যতা উভয়ই আছে পদ্ধতিগত উদ্ভাবন :বৈচিত্র্য : চারটি পরিপূরক কৌশল প্রতিটি শক্তিশালীএকতা : সংযোজক পুনর্নির্মাণের মাধ্যমে একীভূত দৃষ্টিভঙ্গি প্রদান করুনব্যবহারিকতা : রৈখিক প্রোগ্রামিং পদ্ধতি কিছু ক্ষেত্রে কঠোর সীমানা পায়ফলাফল গভীরতা :এক-মাত্রিক সম্পূর্ণ সমাধান সূক্ষ্ম কাঠামো বৈশিষ্ট্য অন্তর্ভুক্ত করে (উপপাদ্য 3.3) স্থিতিশীলতা ফলাফল (উপপাদ্য 3.2) উচ্চ-মাত্রিক বিশ্লেষণের ভিত্তি স্থাপন করে n-রানী সমস্যার সাথে সংযোগ স্বাধীন মূল্য আছে (অনুসিদ্ধান্ত 8.2) প্রযুক্তিগত কঠোরতা :সমস্ত প্রধান উপপাদ্যের সম্পূর্ণ প্রমাণ গণনামূলক যাচাইকরণ স্বচ্ছ (সংযোজন A হাতে যাচাইকরণ প্রদান করে) সীমাবদ্ধতা এবং খোলা সমস্যা সম্পর্কে সৎ লেখার গুণমান :স্পষ্ট কাঠামো, প্রযুক্তিগত পদ্ধতি দ্বারা সংগঠিত প্রচুর উদাহরণ এবং চিত্র (চিত্র 5-9) বিস্তারিত প্রেরণা এবং স্বজ্ঞাত ব্যাখ্যা গণনামূলক বাধা :রৈখিক প্রোগ্রামিং পদ্ধতির স্কেলেবিলিটি সীমাবদ্ধ ABB-এর হাতে যাচাইকরণ (লেম্মা A.1) অত্যন্ত ক্লান্তিকর, সাধারণীকরণ কঠিন BABBB ইত্যাদি ক্ষেত্রে কম্পিউটার নির্ভর, সহজ প্রমাণ নেই কভারেজ অসম্পূর্ণ :পাঁচ-অক্ষর শব্দ এখনও 15/31 অমীমাংসিত দীর্ঘ শব্দে প্রায় কোনো ফলাফল নেই উচ্চ-মাত্রিক ক্ষেত্র (d≥3) ফলাফল বিরল তাত্ত্বিক শূন্যস্থান :সমস্যা 2.5 (চরম অস্তিত্ব) d≥2 সময় সম্পূর্ণভাবে খোলা সাধারণ শব্দের অ্যাসিম্পটোটিক ফলাফল অনুপস্থিত উচ্চ-মাত্রিক স্থিতিশীলতা তত্ত্ব অনুপস্থিত পদ্ধতি সীমাবদ্ধতা :ফুরিয়ার বিশ্লেষণ শুধুমাত্র বিশেষ আকৃতি গ্রিডে প্রযোজ্য সমন্বয় হ্রাস "মৌলিক শব্দ" চিহ্নিত করতে প্রয়োজন, পদ্ধতিগত নেই স্থানীয় পদ্ধতি অ-কঠোর সীমানা পরিচালনা করা কঠিন কিছু প্রমাণ জটিলতা :উপপাদ্য 3.3(c) প্রমাণ অত্যন্ত প্রযুক্তিগত উপপাদ্য 7.4 প্রমাণ একাধিক সূক্ষ্ম অনুমান নির্ভর করে পাঠযোগ্যতা কখনও কখনও প্রভাবিত হয় তাত্ত্বিক অবদান :
পুনরাবৃত্ত অক্ষর শব্দের জন্য সিস্টেমেটিক গবেষণা শুরু করুন বিকশিত কৌশল (বিশেষত স্থানীয় রৈখিক প্রোগ্রামিং) অন্যান্য চরম সমস্যায় প্রযোজ্য হতে পারে n-রানী সমস্যার সাথে সংযোগ নতুন গবেষণা অনুপ্রাণিত করতে পারে পদ্ধতিগত মূল্য :
একাধিক কৌশলের পরিপূরকতা প্রদর্শন করুন সংযোজক পুনর্নির্মাণ দৃষ্টিভঙ্গি সম্পর্কিত সমস্যা অনুপ্রাণিত করতে পারে স্থানীয়-বৈশ্বিক নীতির সফল প্রয়োগ খোলা সমস্যা :
বিভিন্ন কঠিনতা স্তরের সুনির্দিষ্ট, আক্রমণযোগ্য সমস্যা প্রস্তাব করুন বিভিন্ন পটভূমির গবেষকদের জন্য উপযুক্ত গণনা-সহায়ক প্রমাণের জন্য স্থান সীমাবদ্ধতা :
স্বল্পমেয়াদে সম্পূর্ণ সমাধান কঠিন (যেমন সাধারণ শব্দের Cd(w)) গণনামূলক বাধা অতিক্রম করতে নতুন ধারণা প্রয়োজন স্পষ্ট ব্যবহারিক প্রয়োগ দৃশ্য নেই (বিশুদ্ধ তাত্ত্বিক সমস্যা) সরাসরি প্রয়োগ :
সমন্বয় অপ্টিমাইজেশন: সীমাবদ্ধতার অধীনে কনফিগারেশন সংখ্যা সর্বাধিক করুন কোডিং তত্ত্ব: সম্ভবত কোড শব্দ বিতরণের সাথে সম্পর্কিত গেম ডিজাইন: শব্দ অনুসন্ধান গেমের চরম কনফিগারেশন তাত্ত্বিক সরঞ্জাম :
সমন্বয় অপ্টিমাইজেশন গবেষকদের জন্য: নতুন চরম সমস্যা ধরনের উদাহরণ ফুরিয়ার বিশ্লেষণ: নির্দিষ্ট প্রয়োগ কেস স্টাডি রৈখিক প্রোগ্রামিং: স্থানীয় পদ্ধতির প্রদর্শনী শিক্ষা মূল্য :
একাধিক কৌশলের সমন্বিত ব্যবহার প্রদর্শন করুন সহজ থেকে জটিল পর্যন্ত স্পষ্ট অগ্রগতি ব্যাখ্যার জন্য উপযুক্ত অসংখ্য নির্দিষ্ট উদাহরণ ভবিষ্যত গবেষণা :
সম্পর্কিত চরম সমস্যা গবেষণার জন্য ট্রাম্পোলিন হিসাবে কাজ করুন নতুন গণনামূলক পদ্ধতি পরীক্ষার প্ল্যাটফর্ম অন্যান্য ক্ষেত্রের সাথে ইন্টারফেস (যেমন উচ্চ-ক্রম ফুরিয়ার বিশ্লেষণ) মূল রেফারেন্স :
1 N. Alon and N. Kravitz. Cats in cubes . Electron. J. Combin., 31(3):Paper No. 3.29, 2024.
এই প্রবন্ধের সরাসরি পূর্বসূরী, পুনরাবৃত্তিহীন অক্ষর ক্ষেত্র সমাধান করুন 14 G. Patchell and S. Spiro. The maximum number of appearances of a word in a grid . Amer. Math. Monthly, 129(5):415–434, 2022.
8 R. Greenfeld and T. Tao. A counterexample to the periodic tiling conjecture . Ann. of Math., 200(1):301–363, 2024.
সমস্যা 2.5-এর সাথে সম্পর্কিত গুরুত্বপূর্ণ প্রতিউদাহরণ 4 J. Bell and B. Stevens. A survey of known results and research areas for n-queens . Discrete Math., 309(1):1–31, 2009.
n-রানী সমস্যার সম্পূর্ণ সমীক্ষা 16 A. A. Razborov. Flag algebras . J. Symbolic Logic, 72(4):1239–1282, 2007.
চরম সমন্বয়বিদ্যার শক্তিশালী সরঞ্জাম, এই প্রবন্ধের রৈখিক প্রোগ্রামিং পদ্ধতির সাথে সম্পর্কিত 18 T. Tao. Higher order Fourier analysis . Graduate Studies in Mathematics, vol. 142, AMS, 2012.
উচ্চ-ক্রম ফুরিয়ার বিশ্লেষণের মান রেফারেন্স, প্রবন্ধ সম্ভাব্য প্রয়োগ আলোচনা করে সামগ্রিক মূল্যায়ন : এটি একটি চমৎকার সমন্বয় গণিত প্রবন্ধ, একটি প্রাকৃতিক এবং গভীর সমস্যা সিস্টেমেটিকভাবে অধ্যয়ন করে। একাধিক পরিপূরক কৌশল বিকাশের মাধ্যমে, লেখক উল্লেখযোগ্য অগ্রগতি অর্জন করেছেন, বিশেষত এক-মাত্রিক ক্ষেত্র সম্পূর্ণভাবে সমাধান করে এবং দ্বি-মাত্রিক ছোট শব্দ আংশিকভাবে সমাধান করে। প্রবন্ধটি n-রানী সমস্যার মতো ক্লাসিক সমস্যার সাথে অপ্রত্যাশিত সংযোগ প্রকাশ করে, প্রচুর খোলা সমস্যা প্রস্তাব করে। প্রধান সীমাবদ্ধতা গণনামূলক জটিলতা যা পদ্ধতির স্কেলেবিলিটা সীমাবদ্ধ করে, এবং দীর্ঘ শব্দ এবং উচ্চ-মাত্রিক ক্ষেত্রের বোঝাপড়া এখনও সীমাবদ্ধ। তবুও, এই প্রবন্ধটি ক্ষেত্রের জন্য একটি দৃঢ় ভিত্তি স্থাপন করে এবং এর পদ্ধতি এবং ফলাফল ভবিষ্যত গবেষণাকে অনুপ্রাণিত করবে।