پرش به محتویات

تمرین ۵

ددلاین تحویل: ۱۰ تیر ۲۳:۵۹

ثبت اولویت ویدیوی حلاگر می‌خواهید برای این تمرین ویدیوی حل ضبط کنید، اولویت سوال‌ها را ثبت کنید.
ثبت اولویت
نمایش:

مقدماتی

سوال ۱ — Hash گیگیریم

صورت سوال

الگوریتم Rabin-Karp را درنظر بگیرید.


بخش الف

الگوریتم را طوری تغییر دهید که با یک پیش‌پردازش از مرتبه‌ی زمانی \(O(n)\) روی رشته‌ی اصلی \(S\)، بتوان پس از آن هش هر بازه از رشته را در \(O(1)\) به دست آورد.

در پاسخ خود توضیح دهید چه اطلاعاتی باید از قبل محاسبه و نگه‌داری شود و چگونه از آن‌ها برای محاسبه‌ی سریع هش یک بازه استفاده می‌کنیم.


بخش ب

اگر در الگوریتم بالا، پس از برابر شدن هش‌ها، برای مطمئن شدن مقایسه‌ی حرف‌به‌حرف نیز انجام دهیم، این کار چه تأثیری روی درستی پاسخ، زمان اجرا و حافظه‌ی مصرفی الگوریتم می‌گذارد؟ طول رشته‌ها را \(m\) و \(n\) درنظر بگیرید.


بخش ج

اگر عدد \(M\) که باقی‌مانده بر آن گرفته می‌شود خیلی کوچک باشد، چه مشکلی ممکن است پیش بیاید؟

همچنین توضیح دهید چرا اصلاً در محاسبه‌ی هش از باقی‌مانده گرفتن استفاده می‌کنیم.


بخش د

روش هش رشته‌ای را از نظر زمان اجرا و مصرف حافظه با الگوریتم‌های KMP و Trie مقایسه کنید.

در چه شرایطی استفاده از هش رشته‌ای بهتر است؟ چرا؟

hash

سوال ۲ — این دفعه Trie

صورت سوال

مدیریت مجموعه‌ای از کلمات با Trie

در ابتدا یک Trie خالی داریم. سپس تعدادی کوئری به ترتیب داده می‌شود. پس از اجرای هر کوئری، وضعیت Trie ممکن است تغییر کند.

کوئری‌ها یکی از چهار نوع زیر هستند:

ADD word
DELETE word
SEARCH word
COUNT prefix

در این سؤال، کلمات به صورت مجموعه نگه‌داری می‌شوند؛ یعنی اگر یک کلمه چند بار اضافه شود، فقط یک بار در Trie حساب می‌شود.


بخش الف

عملیات اضافه‌کردن و حذف‌کردن یک کلمه در Trie را توضیح دهید.

در عملیات ADD word، کلمه‌ی word باید به Trie اضافه شود.

در عملیات DELETE word، اگر کلمه‌ی word در Trie وجود داشته باشد، باید از Trie حذف شود؛ در غیر این صورت Trie بدون تغییر باقی می‌ماند.

همچنین مشخص کنید در هر رأس از Trie چه اطلاعاتی باید نگه‌داری شود تا این عملیات‌ها درست انجام شوند.


بخش ب

توضیح دهید چگونه می‌توان با استفاده از Trie، به کوئری زیر پاسخ داد:

SEARCH word

این کوئری باید مشخص کند آیا کلمه‌ی word در وضعیت فعلی Trie وجود دارد یا نه.


بخش ج

توضیح دهید چگونه می‌توان با استفاده از Trie، به کوئری زیر پاسخ داد:

COUNT prefix

این کوئری باید تعداد کلمات موجود در Trie را برگرداند که با prefix شروع می‌شوند.


بخش د

در آخر به‌طور خلاصه بنویسد که در چه شرایطی Trie بهتر از دیگر الگوریتم‌هایی که فراگرفتید بهتر است. مثلا چه زمانی استفاده از Trie منطقی‌تر از استفاده از KMP و Rabin-Karp است؟

trie

سوال ۳ — الگوریتم جدید؟

صورت سوال

جست‌وجوی الگو با استفاده از Suffix Array

فرض کنید یک الگوریتم آماده به نام BuildSuffixArray(S) داریم که برای رشته‌ی S، آرایه‌ی پسوندی آن را می‌سازد و برمی‌گرداند.

یعنی اگر بنویسیم:

SA = BuildSuffixArray(S)

آنگاه SA آرایه‌ای از اندیس‌هاست، به‌طوری‌که suffixهای رشته‌ی S بر اساس ترتیب لغت‌نامه‌ای مرتب شده‌اند.

برای مثال اگر:

S = "banana"

آنگاه:

SA = [5, 3, 1, 0, 4, 2]

زیرا suffixهای رشته‌ی "banana" به ترتیب لغت‌نامه‌ای به شکل زیر مرتب می‌شوند:

5: a
3: ana
1: anana
0: banana
4: na
2: nana

در این سؤال، شما اجازه ندارید نحوه‌ی ساخت suffix array را توضیح دهید یا پیاده‌سازی کنید. الگوریتم BuildSuffixArray(S) را به عنوان یک black box در نظر بگیرید.

با استفاده از همین الگوریتم آماده، به سه بخش زیر پاسخ دهید.


بخش الف

الگوریتمی طراحی کنید که با داشتن رشته‌ی S و الگوی P، تشخیص دهد آیا P به عنوان یک substring در S وجود دارد یا نه.

برای مثال:

S = "banana"
P = "ana"

خروجی باید نشان دهد که P در S وجود دارد.

راهنمایی: از این ویژگی استفاده کنید که suffixهای رشته در suffix array به ترتیب لغت‌نامه‌ای مرتب شده‌اند.


بخش ب

الگوریتم بخش قبل را طوری تغییر دهید که یکی از مکان‌های شروع P در رشته‌ی S را برگرداند.

برای مثال:

S = "banana"
P = "ana"

یکی از خروجی‌های قابل قبول:

1

چون substring "ana" از اندیس 1 شروع می‌شود:

banana
 ana

خروجی 3 نیز قابل قبول است، چون "ana" از اندیس 3 هم شروع می‌شود.


بخش ج

الگوریتمی طراحی کنید که تمام مکان‌های شروع P در رشته‌ی S را پیدا کند.

برای مثال:

S = "banana"
P = "ana"

خروجی باید باشد:

[1, 3]

ترتیب خروجی مهم نیست.

SuffixArray

سوال ۴ — درخت KMP

صورت سوال

درخت KMP

فرض کنید \(s[1..n]\) رشته‌ای به طول \(n\) باشد. برای هر \(1 \le i \le n\)، مقدار \(lps_i\) را طول بلندترین پیشوندِ اکید (proper-prefix) \(s[1..i]\) تعریف می‌کنیم که هم‌زمان پسوند (suffix) آن نیز باشد. به بیان دیگر، \(lps_i\) بزرگ‌ترین عدد \(k \lt i\) است که:

\[s[1..k]=s[i-k+1..i]\]

درخت KMP رشته‌ی \(s\) درختی \(n+1\) راسی ریشه دار با رأس‌های \(0,1,\dots,n\) است که برای هر \(i \ge 1\)، پدر رأس \(i\) برابر \(lps_i\) است.

  1. برای رشته‌ی \(s=\texttt{abacaba}\)، مقادیر \(lps_i\) را محاسبه کرده و درخت KMP متناظر با آن را رسم کنید.
  2. رشته‌ای به طول \(n\) ارائه دهید که درخت KMP آن بیشترین ارتفاع ممکن را داشته باشد.

  3. ثابت کنید که در درخت KMP رشته‌ی \(s\)، رأس \(x\) جدّ رأس \(y\) است اگر و تنها اگر \(s[1..x]=s[y-x+1..y]\). به بیان دیگر \(x\) جد \(y\) است اگر و تنها اگر، \(x\) یک prefix-suffix از \(y\) باشد.

  4. برای هر \(1 \le i \le n\)، مقدار \(sps_i\) (shortest prefix suffix) را طول کوتاه‌ترین prefix-suffix غیرتهی رشته‌ی \(s[1..i]\) تعریف می‌کنیم. به بیان دیگر، \(sps_i\) کوچک‌ترین عدد مثبت \(k \le i\) است که \(s[1..k]=s[i-k+1..i]\). الگوریتمی با پیچیدگی زمانی \(O(n)\) طراحی کنید که مقادیر \(sps_i\) را محاسبه کند.

  5. دوره‌ی گردش یک رشته را کوچک‌ترین عدد مثبت \(k\) می‌نامیم که رشته را بتوان به بلوک‌های یکسان با طول \(k\) افراز کرد. برای مثال دوره گردش \(s=\texttt{abababab}\) برابر با \(2\) است. الگوریتمی با پیچیدگی زمانی \(O(n\log n)\) طراحی کنید که برای هر \(1 \le i \le n\)، دوره‌ی گردش پیشوند \(s[1..i]\) را محاسبه کند. برای مثال، اگر \(s=\texttt{ababcababc}\) باشد، خروجی برابر است با \([1,2,3,2,5,6,7,8,9,5]\).

kmp

سوال ۵ — سوال ترای کشی

صورت سوال

ما در مسائل رشته، معمولا طول حروف الفبا را ثابت در نظر می‌گیریم. با این وجود، هم با داده ساختار map، این Trie را پیاده سازی می‌کنند و هم با آرایه.

این دو پیاده‌سازی را مقایسه کنید!

سوال ۶ — دوبار

صورت سوال

یک رشته‌ی \(S\) داده شده است. در \(O(|S|. \log (|S|))\) بلندترین زیررشته‌ای از \(S\) را پیدا کنید که حداقل دو بار در \(S\) ظاهر شده باشد.

hash
پاسخ - امیرمحمد نصراله نژاد

سوال ۷ — دایره‌ای

صورت سوال

دو رشته‌ی \(A\) و \(B\) با طول برابر \(n\) داده شده‌اند. به کمک Hash گرفتن الگوریتمی در \(O(n)\) ارائه دهید تا مشخص کند \(B\) یک چرخش از \(A\) است یا نه.

hash

سوال ۸ — کلی سوال

صورت سوال

یک رشته‌ی \(S\) داده شده است. سپس \(q\) کوئری داریم که هر کوئری به شکل زیر است:

\[(l_1, r_1, l_2, r_2)\]

برای هر کوئری باید مشخص کنید آیا دو زیررشته‌ی زیر برابر هستند یا نه:

\[S[l_1 \dots r_1]\]
\[S[l_2 \dots r_2]\]

برای این مسئله، بهترین مرتبه‌ی زمانی‌ای را که می‌توانید برای پیش‌پردازش و پاسخ دادن به هر کوئری به دست آورید را توضیح دهید.

hash
پاسخ - نوشین جواد‌زاده

سوال ۹ — پرسش‌های قرینه‌ای

صورت سوال

یک رشته‌ی \(S\) به طول \(n\) داده شده است. همچنین \(q\) کوئری داریم. در هر کوئری یک بازه‌ی \([l, r]\) داده می‌شود و باید مشخص کنید آیا زیررشته‌ی \(S[l \dots r]\) پالیندروم است یا نه. الگوریتمی از \(O(n + q)\) ارائه دهید.

hash

سوال ۱۰ — آقای مهندس و رشته‌‌اش

صورت سوال

یک رشته‌ی \(n\) حرفی \(S\) داریم و یک مهره که می‌توان آن را روی هر کاراکتری از این رشته قرار داد.

پس از قرار دادن مهره، می‌توانیم آن را چند بار، حتی صفر بار، به سمت راست حرکت دهیم. در هر حرکت، اگر تراشه در موقعیت \(i\) باشد، آن را به موقعیت \(i + 1\) منتقل می‌کنیم. البته اگر مهره در آخرین موقعیت رشته باشد، دیگر امکان حرکت به سمت راست وجود ندارد.

بعد از حرکت دادن مهره به سمت راست، می‌توانیم آن را چند بار، حتی صفر بار، به سمت چپ حرکت دهیم. در هر حرکت، اگر تراشه در موقعیت \(i\) باشد، آن را به موقعیت \(i - 1\) منتقل می‌کنیم. البته اگر باز هم مهره در اولین موقعیت رشته باشد، دیگر امکان حرکت به سمت چپ وجود ندارد.

هر بار که مهره را روی یک کاراکتر قرار می‌دهیم یا آن را حرکت می‌دهیم، کاراکتری را که مهره پس از آن عمل روی آن قرار گرفته است یادداشت می‌کنیم.

برای مثال، اگر رشته‌ی \(S\) برابر abcdef باشد، تراشه را روی کاراکتر سوم قرار دهیم، سپس آن را \(2\) بار به سمت راست و بعد \(3\) بار به سمت چپ حرکت دهیم، رشته‌ی نوشته‌شده برابر cdedcb خواهد بود.

حالا آقای مهندس دو رشته‌ی \(S\) و \(T\) داده شده‌اند. او از شما خواسته است تا در \(O(n^2)\) مشخص کنید آیا می‌توان عملیات توضیح‌داده‌شده را روی رشته‌ی \(s\) انجام داد، به‌طوری‌که رشته‌ی نوشته‌شده در پایان دقیقاً برابر \(t\) شود یا نه.

hash
پاسخ - محسن زارع
فایل‌های همراه

سوال ۱۱ — رشته‌بازی شنگدوباو

صورت سوال

Boyer–Moore در حالت معمول می‌تواند حدوداً با \(O(N/M)\) مقایسه کار کند، اما در بدترین حالت ممکن است تا حدود \(O(MN)\) مقایسه انجام دهد.

برای نشان دادن این موضوع شنگدوباو رشته‌های زیر را به شما داده است:

\(T = \texttt{BBBBBBBBBB}\)

\(P = \texttt{ABBBB}\)


او از شما خواسته تا الگوریتم Boyer–Moore را با mismatched character heuristic روی این ورودی اجرا کنید.


سپس می‌پرسد در هر مرحله چه مقدار پرش یا skip انجام داده‌اید.


برایش تعداد کل مقایسه‌های کاراکتری سوال می‌شود. به او کمک کنید.


شنگدوباو که از علم خیلی بالای شما حیرت‌زده شده، می‌پرسد چرا این ورودی برای Boyer–Moore بد است.


در آخر از شما می‌خواهد توضیح دهید چرا با وجود چنین بدترین حالتی، Boyer–Moore در عمل معمولاً سریع است.

پاسخ - آیه صابری
فایل‌های همراه

سوال ۱۲ — پرش با بویرمور

صورت سوال

یک رشته \(T\) به طول \(n\) و یک الگو \(P\) به طول \(m\) داده شده‌اند. می‌خواهیم تمام مکان‌هایی را پیدا کنیم که \(P\) در \(T\) ظاهر شده است.

الگوریتم Boyer-Moore را برای این مسئله توضیح دهید. در پاسخ خود مشخص کنید چرا مقایسه‌ی کاراکترها در این الگوریتم از انتهای الگو شروع می‌شود و چگونه می‌توان با استفاده از mismatch، الگو را چند خانه به جلو برد.

سوال ۱۳ — KMP

صورت سوال

یک رشته‌ی \(S\) به طول \(n\) داده شده است. برای هر \(i\)، مقدار \(\pi_i\) را برابر طول بلندترین پیشوند proper (یعنی خودش نباشه) از \(S[1..i]\) می‌گیریم که همزمان پسوند \(S[1..i]\) هم باشد.

الگوریتمی با زمان \(O(n)\) ارائه دهید که همه‌ی مقادیر \(\pi_i\) را حساب کند.

سوال ۱۴ — پیدا کردن الگو

صورت سوال

دو رشته‌ی \(S\) و \(P\) داده شده‌اند. می‌خواهیم همه‌ی جاهایی را پیدا کنیم که \(P\) در \(S\) آمده است.

تکرارهایی که هم‌پوشانی دارند هم جدا حساب می‌شوند. برای مثال، اگر \(S = abababa\) و \(P = aba\) باشد، جواب جایگاه‌های \(1\)، \(3\) و \(5\) است.

الگوریتمی با زمان \(O(|S| + |P|)\) ارائه دهید.

سوال ۱۵ — Borderها

صورت سوال

یک رشته‌ی \(S\) داده شده است. به رشته‌ی \(X\) یک border برای \(S\) می‌گوییم اگر \(X\) هم پریفیکس proper رشته‌ی \(S\) باشد و هم سافیکس آن.

برای مثال، در رشته‌ی \(ababcabab\)، رشته‌های \(ab\) و \(abab\) border هستند.

الگوریتمی با زمان \(O(n)\) ارائه دهید که همه‌ی طول‌های borderهای \(S\) را پیدا کند.

سوال ۱۶ — تعداد Borderهای هر پریفیکس

صورت سوال

یک رشته‌ی \(S\) داده شده است. برای هر پریفیکس \(S[1..i]\)، تعداد borderهای proper آن را حساب کنید.

برای مثال، اگر \(S = ababab\) باشد، پریفیکس \(S[1..6] = ababab\) دو border با طول‌های \(2\) و \(4\) دارد.

الگوریتمی با زمان \(O(n)\) ارائه دهید.

سوال ۱۷ — شمارش پریفیکس‌ها

صورت سوال

یک رشته‌ی \(S\) داده شده است. برای هر پریفیکس \(S\)، حساب کنید چند بار در کل رشته‌ی \(S\) آمده است.

برای مثال، در رشته‌ی \(ababab\)، پریفیکس \(ab\) سه بار آمده است.

الگوریتمی با زمان \(O(n)\) ارائه دهید.

پاسخ - متین غیاثی
فایل‌های همراه

سوال ۱۸ — پالیندروم کوتاه

صورت سوال

یک رشته‌ی \(S\) داده شده است. می‌خواهیم با اضافه کردن چند کاراکتر به ابتدای \(S\)، آن را به پالیندروم تبدیل کنیم.

کمترین تعداد کاراکتر لازم را پیدا کنید، یا خود کوتاه‌ترین رشته‌ی نهایی را بسازید.

برای مثال، برای \(S = abcd\)، یکی از جواب‌ها \(dcbabcd\) است.

الگوریتمی با زمان \(O(n)\) ارائه دهید.

سوال ۱۹ — رشته‌ی تکراری

صورت سوال

یک رشته‌ی \(S\) داده شده است. بررسی کنید آیا می‌شود \(S\) را از چند بار تکرار یک رشته‌ی کوتاه‌تر ساخت یا نه.

برای مثال، رشته‌ی \(ababab\) از تکرار \(ab\) ساخته شده، ولی \(ababa\) چنین حالتی ندارد.

الگوریتمی با زمان \(O(n)\) ارائه دهید.

سوال ۲۰ — شیفت‌های معتبر

صورت سوال

یک رشته‌ی \(S\) داده شده است. عدد \(p\) را معتبر می‌گوییم اگر برای هر جایگاه \(i\) که هر دو جایگاه \(i\) و \(i+p\) داخل رشته هستند، داشته باشیم \(S_i = S_{i+p}\).

همه‌ی مقدارهای معتبر \(p\) را پیدا کنید.

الگوریتمی با زمان \(O(n)\) ارائه دهید.

پاسخ - فاطمه پرویزی
فایل‌های همراه

سوال ۲۱ — شیفت دوری

صورت سوال

دو رشته‌ی \(A\) و \(B\) با طول برابر داده شده‌اند. بررسی کنید آیا می‌توان با یک شیفت دوری روی \(A\)، به رشته‌ی \(B\) رسید یا نه.

برای مثال، اگر \(A = abcde\) و \(B = cdeab\) باشد، جواب مثبت است.

به کمک KMP الگوریتمی با زمان \(O(n)\) ارائه دهید.

سوال ۲۲ — چند کپی با کمترین طول

صورت سوال

یک رشته‌ی \(P\) و یک عدد \(k\) داده شده‌اند. می‌خواهیم کوتاه‌ترین رشته‌ای را بسازیم که شامل \(k\) کپی از \(P\) باشد.

کپی‌ها می‌توانند روی هم بیفتند. برای مثال، اگر \(P = aba\) و \(k = 3\) باشد، رشته‌ی \(abababa\) شامل سه کپی از \(P\) است.

الگوریتمی با زمان \(O(|P| + k)\) ارائه دهید.

پاسخ - ثنا نیرومند
فایل‌های همراه

سوال ۲۳ — کوتاه‌ترین Superstring دو رشته

صورت سوال

دو رشته‌ی \(A\) و \(B\) داده شده‌اند. کوتاه‌ترین رشته‌ای را پیدا کنید که هر دو رشته‌ی \(A\) و \(B\) را به عنوان substring داشته باشد.

اگر یکی از رشته‌ها از قبل داخل دیگری آمده باشد، همان رشته‌ی بزرگ‌تر می‌تواند جواب باشد. اگر چند جواب با طول برابر وجود داشت، یکی از آن‌ها کافی است.

الگوریتمی با زمان \(O(|A| + |B|)\) ارائه دهید.

سوال ۲۴ — Camp Schedule

صورت سوال

تعدادی کاراکتر 0 و تعدادی کاراکتر 1 در اختیار داریم. همچنین یک رشته‌ی هدف \(T\) که فقط از 0 و 1 ساخته شده داده شده است.

می‌خواهیم با این کاراکترها یک رشته بسازیم که تعداد دفعات آمدن \(T\) در آن تا حد ممکن زیاد باشد.

الگوریتمی ارائه دهید که چنین رشته‌ای را بسازد.

سوال ۲۵ — DFA مربوط به KMP

صورت سوال

یک رشته‌ی الگو \(P\) و یک الفبا \(\Sigma\) داده شده‌اند. برای هر state از \(0\) تا \(|P|\) و هر کاراکتر \(c \in \Sigma\)، مشخص کنید اگر در آن state کاراکتر \(c\) را بخوانیم، به کدام state می‌رویم.

الگوریتمی با زمان \(O(|P| \cdot |\Sigma|)\) ارائه دهید.

سوال ۲۶ — بلاک تکراری

صورت سوال

یک الگو \(P\)، یک رشته‌ی \(B\) و یک عدد بزرگ \(k\) داده شده‌اند. رشته‌ی \(B^k\) یعنی \(B\) را \(k\) بار پشت سر هم بنویسیم.

تعداد دفعات آمدن \(P\) در \(B^k\) را حساب کنید، بدون اینکه لازم باشد خود رشته‌ی \(B^k\) را کامل بسازید.

الگوریتمی ارائه دهید که برای \(k\)های بزرگ هم کار کند.

پاسخ - محمد اسماعیلی مرندی
فایل‌های همراه

سوال ۲۷ — آلیس

صورت سوال

چند رشته‌ی \(G_1, G_2, \dots, G_n\) تعریف شده‌اند. هر \(G_i\) یا مستقیم یک رشته‌ی معمولی \(S_i\) است، یا از چسباندن دو رشته‌ی قبلی ساخته شده است:

\(G_i = G_j \cdot G_k\)

یک الگو \(P\) و یک اندیس \(q\) داده شده‌اند. تعداد دفعات آمدن \(P\) را در \(G_q\) حساب کنید، بدون اینکه لازم باشد \(G_q\) را کامل بسازید.

الگوریتمی ارائه دهید که از ساختن رشته‌های خیلی بزرگ جلوگیری کند.

سوال ۲۸ — باب

صورت سوال

دو الگوی \(A\) و \(B\) داده شده‌اند. کوتاه‌ترین رشته‌ای را پیدا کنید که شامل \(A\) باشد، ولی شامل \(B\) نباشد.

اگر چنین رشته‌ای وجود نداشت، اعلام کنید.

الگوریتمی کارا ارائه دهید.

سوال ۲۹ — چارلی

صورت سوال

یک الگو \(P\)، یک عدد \(L\)، و یک state هدف \(q\) از DFA مربوط به KMP داده شده‌اند.

کوچک‌ترین رشته از نظر لغوی را پیدا کنید که طولش \(L\) باشد و اگر آن را با DFA مربوط به \(P\) پردازش کنیم، در پایان به state \(q\) برسیم.

اگر چنین رشته‌ای وجود نداشت، اعلام کنید.

پیشرفته

سوال ۳۰ — BigPetr

صورت سوال

دو رشته‌ی \(W\) و \(S\) داده شده‌اند. می‌خواهیم تمام زیررشته‌های \(S\) با طول \(|W|\) را بررسی کنیم و فقط زیررشته‌هایی را درنظر داریم که یک جایگشت از \(W\) باشند؛ یعنی دقیقاً همان کاراکترهای \(W\) را با همان تعداد تکرار داشته باشند، اما ترتیب کاراکترها می‌تواند متفاوت باشد.

از میان این زیررشته‌های معتبر، رشته‌ای را پیدا کنید که بیشترین تعداد تکرار را در \(S\) دارد. اگر چند زیررشته‌ی معتبر با بیشترین تعداد تکرار وجود داشتند، زیررشته‌ای را انتخاب کنید که از نظر ترتیب لغت‌نامه‌ای کوچک‌تر است.

اگر هیچ زیررشته‌ی معتبری در \(S\) وجود نداشت، نبود جواب را گزارش کنید.

hash

سوال ۳۱ — Petr

صورت سوال

یک رشته‌ی \(t\) و دو رشته‌ی \(s_{begin}\) و \(s_{end}\) داده شده‌اند. می‌خواهیم در $O(N^2.log(N)) $ تعداد زیررشته‌های متمایز از \(t\) را بشماریم که با \(s_{begin}\) شروع می‌شوند و با \(s_{end}\) پایان می‌یابند.

دو زیررشته زمانی متفاوت در نظر گرفته می‌شوند که محتوای آن‌ها با هم فرق داشته باشد؛ بنابراین اگر یک زیررشته‌ی یکسان در چند جای مختلف از \(t\) ظاهر شده باشد، فقط یک بار شمرده می‌شود.

توجه کنید که ممکن است \(s_{begin}\) و \(s_{end}\) با هم برابر باشند یا در یک زیررشته روی هم افتادگی داشته باشند.

hash
پاسخ - سبحان آرام

سوال ۳۲ — رشته دو بعدی

صورت سوال

یک ماتریس بزرگ از کاراکترها و یک الگوی دوبعدی کوچک‌تر داده شده است. هدف این است که در بهترین مرتبه‌ زمانی که می‌توانید تمام مکان‌هایی را پیدا کنید که الگو دقیقاً در ماتریس بزرگ ظاهر شده است.

hash
پاسخ - رسا محمدی

سوال ۳۳ — DFA مربوط به KMP

صورت سوال

یک رشته‌ی الگو \(P\) و یک الفبا \(\Sigma\) داده شده‌اند. برای هر state از \(0\) تا \(|P|\) و هر کاراکتر \(c \in \Sigma\)، مشخص کنید اگر در آن state کاراکتر \(c\) را بخوانیم، به کدام state می‌رویم.

الگوریتمی با زمان \(O(|P| \cdot |\Sigma|)\) ارائه دهید.

سوال ۳۴ — دو‌قلو‌ها

صورت سوال

یک شبکه‌ی اجتماعی شامل \(n\) پروفایل داریم که با شماره‌های \(1\) تا \(n\) مشخص شده‌اند. بعضی از پروفایل‌ها با هم دوست هستند. رابطه‌ی دوستی دوطرفه است؛ یعنی اگر پروفایل \(i\) با پروفایل \(j\) دوست باشد، پروفایل \(j\) نیز با پروفایل \(i\) دوست است.

دو پروفایل متفاوت \(i\) و \(j\) را دوقلو می‌نامیم اگر برای هر پروفایل دیگر \(k\)، که \(k \neq i\) و \(k \neq j\) باشد، یکی از دو حالت زیر برقرار باشد:

پروفایل \(k\) با هر دو پروفایل \(i\) و \(j\) دوست باشد. پروفایل \(k\) با هیچ‌کدام از پروفایل‌های \(i\) و \(j\) دوست نباشد.

توجه کنید که خود پروفایل‌های \(i\) و \(j\) می‌توانند با هم دوست باشند یا نباشند؛ این موضوع در دوقلو بودن آن‌ها تأثیری ندارد.

هدف این است که در \(O(N.log(N) + M.log(N))\) تعداد زوج‌های نامرتب \((i, j)\) را بشمارید که در آن‌ها پروفایل‌های \(i\) و \(j\) دوقلو هستند. زوج‌ها نامرتب‌اند؛ بنابراین زوج‌های \((i, j)\) و \((j, i)\) یکسان در نظر گرفته می‌شوند.

hash
پاسخ - سپهر علیپور

سوال ۳۵ — مریخی‌ها

صورت سوال

پتیا در جریان مطالعه‌ی مریخی‌ها به‌خوبی فهمید که آن‌ها بسیار تنبل هستند. آن‌ها خوابیدن را دوست دارند و از بیدار شدن خوششان نمی‌آید.

فرض کنید یک مریخی دقیقاً \(n\) چشم دارد که در یک ردیف قرار گرفته‌اند و از چپ به راست با شماره‌های \(1\) تا \(n\) شماره‌گذاری شده‌اند. وقتی یک مریخی می‌خوابد، روی هر چشم خود یک چشم‌بند می‌گذارد تا صبح مریخی او را بیدار نکند. در سمت داخلی هر چشم‌بند، یک حرف بزرگ لاتین نوشته شده است. بنابراین وقتی مریخی بیدار می‌شود و همه‌ی چشم‌هایش را باز می‌کند، رشته‌ای \(s\) شامل حروف بزرگ لاتین می‌بیند. طول این رشته برابر \(n\) است.

زنگ ساعت به صدا درمی‌آید و مریخی بیدار شده است، اما هنوز هیچ‌کدام از چشم‌هایش را باز نکرده است. او احساس می‌کند امروز روز سختی خواهد بود، پس می‌خواهد چشم‌هایش را باز کند و چیز خوبی ببیند.

مریخی فقط \(m\) کلمه‌ی مریخی را زیبا می‌داند. از طرفی، برای او سخت است که این‌قدر صبح زود همه‌ی چشم‌هایش را یک‌باره باز کند. بنابراین او دو بخش جدا از هم و غیرهم‌پوشان از چشم‌های متوالی خود را باز می‌کند.

به‌طور دقیق‌تر، مریخی چهار عدد \(a\)، \(b\)، \(c\) و \(d\) را انتخاب می‌کند، به‌طوری‌که:

\(1 \le a \le b < c \le d \le n\)

سپس همه‌ی چشم‌هایی را باز می‌کند که شماره‌ی آن‌ها \(i\) باشد و یکی از دو شرط زیر را داشته باشند:

\(a \le i \le b\)

یا

\(c \le i \le d\)

بعد از باز کردن این چشم‌ها، مریخی همه‌ی کاراکترهای قابل‌مشاهده را از چپ به راست می‌خواند و در نتیجه یک کلمه می‌بیند.

تمام کلمات متفاوتی را در نظر بگیرید که مریخی می‌تواند صبح ببیند. وظیفه‌ی شما این است که مشخص کنید چند کلمه‌ی زیبا در میان آن‌ها وجود دارد.

سوال ۳۶ — خرس‌ها و فیل‌ها

صورت سوال

خرس‌های قطبی Menshykov و Uslada از باغ‌وحش سن‌پترزبورگ و فیل Horace از باغ‌وحش کی‌یف، تعداد زیادی مکعب چوبی پیدا کردند. آن‌ها شروع کردند به ساختن برج‌های مکعبی، به این صورت که مکعب‌ها را روی هم قرار می‌دادند. چند برج که در یک ردیف کنار هم قرار گرفته باشند، یک دیوار را تشکیل می‌دهند. یک دیوار می‌تواند شامل برج‌هایی با ارتفاع‌های مختلف باشد.

Horace زودتر از بقیه ساخت دیوار خود را تمام کرد و نام دیوارش را «فیل» گذاشت. دیوار او از \(w\) برج تشکیل شده است. خرس‌ها هم دیوار خود را ساختند، اما برای آن نامی انتخاب نکردند. دیوار خرس‌ها از \(n\) برج تشکیل شده است.

اکنون Horace به دیوار خرس‌ها نگاه می‌کند و می‌خواهد بداند در چند قسمت از این دیوار می‌تواند «فیل» خود را ببیند.

او می‌تواند در یک بخش شامل \(w\) برج متوالی از دیوار خرس‌ها، یک فیل ببیند اگر دنباله‌ی ارتفاع برج‌های آن بخش، با دنباله‌ی ارتفاع برج‌های دیوار Horace مطابقت داشته باشد.

با این حال، Horace می‌تواند برای دیدن فیل‌های بیشتر، دیوار خودش را بالا یا پایین ببرد. حتی می‌تواند دیوار خود را تا پایین‌تر از سطح زمین هم پایین ببرد. بنابراین مهم نیست ارتفاع‌ها دقیقاً برابر باشند؛ بلکه کافی است شکل کلی دنباله‌ی ارتفاع‌ها، با یک جابه‌جایی عمودی ثابت، یکسان باشد.

وظیفه‌ی شما این است که الگوریتمی از \(O(n+w)\) ارائه دهید که تعداد بخش‌هایی از دیوار خرس‌ها را بشمارد که Horace می‌تواند در آن‌ها «فیل» خود را ببیند.

سوال ۳۷ — شکل یکسان

صورت سوال

دو آرایه‌ی عددی \(A\) و \(B\) داده شده‌اند. می‌خواهیم همه‌ی جاهایی را پیدا کنیم که \(B\) با همان شکل کلی داخل \(A\) آمده است؛ یعنی اگر همه‌ی اعضای \(B\) به اندازه‌ی یک مقدار ثابت بالا یا پایین بروند، هنوز همان حالت حساب شود.

برای مثال، اگر \(B = [3, 5, 8]\) باشد، دنباله‌ی \([10, 12, 15]\) هم همان شکل حساب می‌شود.

الگوریتمی با زمان \(O(n + m)\) ارائه دهید.

پاسخ - محمد محمودیه
فایل‌های همراه

سوال ۳۸ — شکستن الگو

صورت سوال

دو رشته‌ی \(S\) و \(T\) داده شده‌اند. بررسی کنید آیا می‌توان \(T\) را به دو بخش \(A\) و \(B\) شکست، طوری که \(T = AB\) و رشته‌ی \(S\) به شکل زیر باشد:

\(*A*B*\)

یعنی اول \(A\) جایی در \(S\) آمده باشد و بعد از آن، \(B\) هم جایی در ادامه‌ی \(S\) آمده باشد. بینشان هر چیزی می‌تواند باشد.

الگوریتمی کارا ارائه دهید.

پاسخ - مهدیار مستشار

سوال ۳۹ — دیوید

صورت سوال

یک الگوی ممنوع \(P\)، یک عدد \(n\)، و یک الفبا \(\Sigma\) داده شده‌اند.

تعداد رشته‌های طول \(n\) روی الفبای \(\Sigma\) را حساب کنید که اصلاً شامل \(P\) نباشند.

الگوریتمی با استفاده از DFA مربوط به KMP ارائه دهید.

پاسخ - سیده شقایق میرجلیلی

سوال ۴۰ — ایو

صورت سوال

یک رشته‌ی \(S\) داده شده که بعضی از کاراکترهای آن ? هستند. همچنین یک الگو \(P\) داده شده است.

هر ? را می‌توان با یکی از حروف الفبا جایگزین کرد. جایگذاری‌ای پیدا کنید که تعداد دفعات آمدن \(P\) در رشته‌ی نهایی بیشینه شود.

الگوریتمی ارائه دهید.

پاسخ - شایان سبزی

سوال ۴۱ — LCS بدون الگوی ممنوع

صورت سوال

دو رشته‌ی \(A\) و \(B\) و یک الگوی ممنوع \(P\) داده شده‌اند.

می‌خواهیم بلندترین common subsequence از \(A\) و \(B\) را پیدا کنیم که شامل \(P\) به عنوان substring نباشد.

الگوریتمی ارائه دهید.

پاسخ - سبحان بهزادی‌پور