پیش‌نویس:زیپ (ساختار داده)

الگو:AfC submission ساختار داده زیپ الگو:به انگلیسی تکنیکی برای نمایش یک ساختار داده انبوه است به طوری که برای نوشتن برنامه‌هایی که خودسرانه ساختار را طی می‌کنند و محتویات آن را به روز می‌کنند، به خصوص در الگو:پم راحت باشد. زیپ توسط الگو:پم در سال ۱۹۹۷ توصیف شد. این شامل و تعمیم تکنیک الگو:پم است که گاهی با آرایه‌ها استفاده می‌شود.

تکنیک زیپ از این نظر کلی است که می‌توان آن را با فهرست‌ها، درخت‌ها و دیگر ساختارهای داده‌ای که به الگو:پم تعریف می‌شوند، تطبیق داد. چنین ساختارهای داده‌ای اصلاح شده معمولاً به عنوان «یک درخت با زیپ» یا «یک لیست با زیپ» نامیده می‌شود تا تأکید شود که ساختار از نظر مفهومی یک درخت یا لیست است، در حالی که زیپ جزئیات پیاده‌سازی است.

توضیح یک فرد عادی برای درختی با زیپ یک سیستم فایل کامپیوتری معمولی با عملیاتی برای رفتن به والد (اغلب cd ..) و امکان رفتن به سمت پایین (cd subdirectory) است. زیپ نشانگر مسیر فعلی است. در پشت صحنه، زیپ‌ها هنگام ایجاد تغییرات (عملکردی) در یک ساختار داده کارآمد هستند، جایی که یک ساختار داده جدید، کمی تغییر یافته از یک عملیات ویرایش بازگردانده می‌شود (به جای ایجاد تغییر در ساختار داده فعلی).

مثال: پیمایش لیست دوطرفه

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

• Empty یک لیست خالی می‌سازد،
• Cons(x, L) یک لیست را با اضافه کردن یا الحاق مقدار x در مقابل لیست L می‌سازد.

بنابراین فهرستی مانند [1, 2, 3] عبارت Cons(1, Cons(2, Cons(3, Empty))) است. می‌توان مکان را در چنین لیستی به عنوان تعداد مراحل از جلوی لیست تا مکان مورد نظر توصیف کرد. به‌طور رسمی‌تر، یک مکان در لیست تعداد عملیات Cons مورد نیاز برای بازسازی کل لیست از آن مکان خاص است. برای مثال، در Cons(1, Cons(2, Cons( X, Cons(4, Empty)))) یک عملیات Cons(2, L) و یک Cons(1, L) برای بازسازی لیست مورد نیاز است. موقعیت X با نام Cons( X, Cons(4, Empty)) شناخته می‌شود. این ضبط همراه با مکان، نمایش زیپ شده از لیست یا زیپ لیست نامیده می‌شود.

برای روشن بودن، یک مکان در لیست فقط تعداد عملیات Cons نیست، بلکه تمام اطلاعات دیگر در مورد آن Cons است. در این حالت، مقادیری که باید دوباره وصل شوند. در اینجا، این مقادیر ممکن است به راحتی در یک لیست جداگانه به ترتیب کاربرد از محل مورد نظر نشان داده شوند. به‌طور خاص، از متن "۳" در لیست [1, 2, 3, 4] ، یک ضبط (که معمولاً به عنوان "مسیر" نامیده می‌شود) می‌تواند به عنوان [2, 1] نشان داده شود که در آن Cons(2, L) به دنبال آن (Cons 1, L) برای بازسازی لیست اصلی با شروع از [3, 4] اعمال می‌شود.

یک لیست زیپ همیشه کل ساختار داده را نشان می‌دهد. با این حال، این اطلاعات از منظر یک مکان خاص در آن ساختار داده است. در نتیجه، یک لیست زیپ جفتی است که هم از مکان به عنوان زمینه یا نقطه شروع و هم از یک ضبط یا مسیری تشکیل شده است که امکان بازسازی از آن مکان شروع را فراهم می‌کند. به‌طور خاص، فهرست زیپ [1, 2, 3, 4] در محل "۳" ممکن است به صورت ([2, 1], [3, 4]) نمایش داده شود. حال، اگر "۳" به "۱۰" تغییر یابد، آنگاه زیپ لیست تبدیل به ([2, 1], [10, 4]) می‌شود. سپس فهرست ممکن است به‌طور مؤثر بازسازی شود: [1, 2, 10, 4] یا مکان‌های دیگری که به آن‌ها رفته‌اند.

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

زمینه‌ها و تمایز

نوع زمینه‌های یک زیپ را می‌توان از طریق الگو:پم از نوع اصلی که از طریق الگو:پم با مشتق حساب دیفرانسیل و انتگرال مرتبط است، ساخت. انواع بازگشتی که زیپ‌ها از آنها تشکیل می‌شوند را می‌توان به عنوان الگو:پم یک سازنده نوع یکنواخت در نظر گرفت. $*\to *$ . به عنوان مثال، با یک سازنده نوع بالاتر $\text{lfp}:(*\to *)\to *$ که حداقل نقطه ثابت آرگومان خود را می‌سازد، یک درخت باینری بدون برچسب را می‌توان به صورت نمایش داد $\text{lfp}(T\mapsto T^2+1)$ و یک لیست بدون برچسب ممکن است شکل بگیرد $\text{lfp}(T\mapsto T+1)$ . در اینجا، نماد توان، ضرب و جمع به ترتیب با الگو:پم، الگو:پم و الگو:پم مطابقت دارد، در حالی که اعداد طبیعی الگو:پم را برچسب گذاری می‌کنند. به این ترتیب، سازنده‌های نوع شبیه توابع چند جمله‌ای هستند $\mathbb{N}\to \mathbb{N}$ .

بنابراین مشتق سازنده نوع را می‌توان از طریق این قیاس نحوی تشکیل داد: برای مثال یک درخت سه تایی بدون برچسب، مشتق سازنده نوع آن $(T\mapsto T^3+1{)}^{\prime }$ معادل خواهد بود $T\mapsto 3\times T^2$ ، مشابه استفاده از قواعد دیفرانسیل‌گیری و الگو:پم در حساب دیفرانسیل. نوع زمینه‌های زیپ روی یک نوع اصلی $\text{lfp}(f)$ معادل مشتق سازنده نوع اعمال شده برای نوع اصلی است، $f^{\prime }(\text{lfp}(f))$ .

برای مثال، ساختار داده بازگشتی یک درخت باینری با گره‌هایی را در نظر بگیرید که یا الگو:پم از نوع الگو:Val هستند یا حاوی مقداری از نوع الگو:Mvar هستند:

$\text{BTree}:=\text{lfp}(T\mapsto A\times T^2+1)$

مشتق جزئی سازنده نوع را می‌توان به صورت محاسبه کرد

$(T\mapsto A\times T^2+1{)}^{\prime }=T\mapsto 2\times A\times T$

بنابراین، نوع زمینه‌های زیپ است

$(T\mapsto 2\times A\times T)(\text{BTree})=2\times A\times \text{BTree}$

به این ترتیب، متوجه می‌شویم که زمینه هر گره فرزند غیر نگهبان در درخت باینری برچسب‌گذاری شده، سه‌گانه است که شامل

• یک نوع داده بولی از نوع الگو:Val که بیان می‌کند که گره فعلی فرزند چپ یا راست گره والد خود است.
• یک مقدار از نوع الگو:Mvar، برچسب والد گره فعلی. و
• خواهر و برادر گره از نوع الگو:ریاضی، زیردرختی که توسط شاخه دیگر والد گره فعلی موجود است.

به‌طور کلی، یک زیپ برای یک درخت از نوع $\text{lfp}(f)$ از دو بخش تشکیل شده است: فهرستی از زمینه‌های نوع $f^{\prime }(\text{lfp}(f))$ از گره فعلی و هر یک از اجداد آن تا گره ریشه، و مقدار نوع $\text{lfp}(f)$ که گره فعلی شامل می‌شود.

استفاده

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

از زیپ استفاده شده است در

• الگو:پم برای مدیریت فوکوس و قرارگیری ویندوز
• مقالات Huet یک الگو:پم بر اساس زیپ‌ها و یک اثبات قضیه خودکار را پوشش می‌دهد.
• یک سامانه فایل‌بندی (ZipperFS) که به زبان هسکل نوشته شده است که «... معناشناسی تراکنش‌ها؛ خنثی کردن هر گونه عملیات فایل و دایرکتوری؛ عکس‌های فوری؛ تضمینی استاتیکی قوی‌ترین، تکرارپذیرترین حالت خواندن و جداسازی برای کلاینت‌ها؛ کپی بر روی نوشتن فراگیر برای فایل‌ها و فهرست‌ها. تسهیلات پیمایش داخلی و رفتار مناسب برای مراجع دایرکتوری چرخه ای.
• کلوژر پشتیبانی گسترده‌ای از زیپ دارد.

جایگزین‌ها و الحاقات

اصلاح مستقیم

در یک زبان برنامه‌نویسی غیر کاربردی، ممکن است ساده‌تر از ساختار داده اصلی عبور کرد و مستقیماً آن را اصلاح کرد (شاید پس از الگو:پم، برای جلوگیری از تأثیرگذاری روی کدهای دیگر که ممکن است به آن ارجاع دهند).

زیپ عمومی

زیپ عمومی تکنیکی برای دستیابی به همان هدفی است که زیپ معمولی با ثبت وضعیت پیمایش در ادامه هنگام بازدید از هر گره انجام می‌شود. (کد Haskell داده شده در مرجع از برنامه‌نویسی عمومی برای تولید تابع پیمایش برای هر ساختار داده استفاده می‌کند، اما این اختیاری است. - می‌توان از هر تابع پیمایش مناسب استفاده کرد)

با این حال، زیپ عمومی شامل وارونگی کنترل است، بنابراین برخی از کاربردهای آن نیاز به یک ماشین حالات متناهی (یا معادل) برای پیگیری کارهای بعدی دارند.

بیشتر خواندن

• الگو:Cite journal
• الگو:Cite journal

پیوند به بیرون

• زیپ
• تسئوس و زیپ
• "مدیریت پنجره خود را رول کنید: ردیابی تمرکز با زیپ"
• تعریف
• "یک گراف کاربردی کنترل جریان بر اساس زیپ Huet"
• انواع بی‌نهایت کوچک