نمایش مبدأ برای کدگذاری هافمن

[[پرونده:Huffman tree 2.svg|left|thumb|302x302px|درخت هافمن، ایجاد شده از تعداد تکرار حرف‌های جملهٔ «this is an example of a huffman tree».

تعداد تکرارها و کد هر حرف، به همراه همان حرف در جدول زیر آمده‌است. رمز کردن این جمله به کمک این کد، به ۱۳۵ بیت نیاز دارد.]]
{| class="wikitable" style="float:left; clear:left;"
!کد!!تکرار
!حرف
|-
|۱۱۱||۷
|space
|-
|۰۱۰||۴
|a
|-
|۰۰۰||۴
|e
|-
|۱۱۰۱||۳
|f
|-
|۱۰۱۰||۲
|h
|-
|۱۰۰۰||۲
|i
|-
|۰۱۱۱||۲
|m
|-
|۰۰۱۰||۲
|n
|-
|۱۰۱۱||۲
|s
|-
|۰۱۱۰||۲
|t
|-
|۱۱۰۰۱||۱
|l
|-
|۰۰۱۱۰||۱
|o
|-
|۱۰۰۱۱||۱
|p
|-
|۱۱۰۰۰||۱
|r
|-
|۰۰۱۱۱||۱
|u
|-
|۱۰۰۱۰||۱
|x
|}
در [[علوم کامپیوتر]] و [[نظریه اطلاعات|تئوری اطلاعات]]، '''کدگذاری هافمن''' (به [[زبان انگلیسی|انگلیسی]]: [[:en:Huffman_coding|Huffman coding]]) نوع مشخصی از [[کد پیشوندی]] (به انگلیسی: [[:en:Prefix_code|Prefix code]]) بهینه است که کاربردی فراوان در [[فشرده‌سازی بی‌اتلاف اطلاعات]] دارد. فرایند پیدا کردن یا استفاده از این کد، با بهره‌گیری از [[الگوریتم|الگوریتمی]] انجام می‌شود که توسط «[[دیوید آ. هافمن|دیوید هافمن]]» (زمانی که وی دانشجوی دوره دکتری در دانشگاه [[مؤسسه فناوری ماساچوست|MIT]] بود) توسعه داده شده‌است و برای اولین بار در سال ۱۹۵۲ در مقاله‌ای با عنوان «روشی برای تولید کدی با کمترین تکرار زوائد»<ref>{{Cite journal|last1=Huffman|first1=D.|year=1952|title=A Method for the Construction of Minimum-Redundancy Codes|url=http://compression.ru/download/articles/huff/huffman_1952_minimum-redundancy-codes.pdf|journal=[[Proceedings of the IRE]]|volume=40|issue=9|pages=1098–1101|doi=10.1109/JRPROC.1952.273898|authorlink1=David A. Huffman}}</ref> منتشر شد.

می‌توان به خروجی الگوریتم هافمن به عنوان یک جدول [[کد طول متغیر]] نگاه کرد که با استفاده تخمین احتمال حضور یا فراوانی تکرار حروف در فایل منبع ایجاد شده‌است و مانند هر [[:en:Entropy_encoding|رمزگذاری درگاشت]]<nowiki/>ی دیگر، حروف پرتکرار تر با تعداد [[بیت (رایانه)|بیت]]<nowiki/>‌های کمتری نمایش داده می‌شوند.

باید دقت کرد با توجه به کارایی بالای این الگوریتم، کدگذاری هافمن همواره بهینه نیست و در مواری که قصد فشرده‌سازی بهینه‌تری داشته باشیم، می‌توان از الگوریتم‌های [[کدگذاری حسابی]] یا [[سیستم‌های عددی نامتقارن]] استفاده کرد.

== تاریخچه ==
در سال ۱۹۵۱ میلادی، [[دیوید آ. هافمن]] و هم شاگردی‌هایش در کلاس [[نظریه اطلاعات|تئوری اطلاعات]] در دانشگاه [[مؤسسه فناوری ماساچوست|MIT]]، حق انتخاب بین تحقیق در مورد یک مفهوم یا شرکت در امتحان پایانی را داشتند. دکتر [[روبرتو فانو]] موضوع تحقیق را یافتن کارآمدترین [[کدهای دودویی|کد دودویی]] تعیین کرد. هافمن که در ابتدا موفق به یافتن کارآمدترین کد نشده بود، تصمیم گرفت خودش را برای شرکت در امتحان پایانی آماده کند. که ایدهٔ استفاده از [[درخت دودویی|درخت دودیی]] مرتب شده برحسب [[فراوانی]] به ذهنش رسید. او در نهایت توانست اثبات کند که روش کارآمدترین روش است.<ref>{{Cite journal | last1 = Huffman | first1 = Ken | title = Profile: David A. Huffman: Encoding the "Neatness" of Ones and Zeroes | journal = [[Scientific American]] | pages = 54–58 | year = 1991 | url = http://www.huffmancoding.com/my-uncle/scientific-american}}</ref> در انجام این کار، شاگرد از استادش که با مبدع تئوری اطلاعات، [[کلود شانون]] برای ساختن کدی مشابه کار کرده بود، پیشی گرفت. هافمن از مشکل اصلی روش کدگذاری نیم بهینهٔ [[رمزگذاری شانون-فانو]] جلوگیری کرد و درخت را به جای ساختن از [[طراحی بالا به پایین و پایین به بالا|بالا به پایین]]، از [[طراحی بالا به پایین و پایین به بالا|پایین به بالا]] ساخت.

== واژه‌شناسی ==
در کدگذاری هافمن، از روشی به نام [[کدهای بدون پیشوند]] (که به عنوان «[[Prefix code|کدهای پیشوندی]]» نیز شناخته می‌شود) برای انتخاب نحوهٔ نمایش هر نماد استفاده می‌شود. در این روش نویسه‌های پرکاربردتر با رشته‌های بیتی کوتاهتری نسبت به آن‌هایی که کاربردشان کمتر است، نشان داده می‌شوند. کدگذاری هفمن به اندازه‌ای پرکابرد است که کلمه «[[کد هافمن]]» به صورت گسترده به عنوان مترادفی برای کدهای پیشوندی استفاده می‌شود.

== تعریف مسئله ==
==== تعریف غیررسمی ====
'''داده‌های مسئله:'''

مجموعه‌ای از نمادها (حروف و کاراکترها) به همراه وزن هر کدام. وزن هر حرف غالباً همان تعداد تکرار آن در فایل منبع است.

'''خواسته:'''

یافتن کد دودویی بدون پیشوند با کمترین [[امید ریاضی]] برای طول کد.

=== تعریف رسمی ===
'''ورودی:'''

مجموعه حروف <math>A = (a_{1},a_{2},\dots,a_{n})</math> به طول <math>n</math>

مجموعه وزن‌ها <math>W = (w_{1},w_{2},\dots,w_{n})</math> که نشان‌دهنده وزن هر نماد (حرف) از مجموعه حروف است به طوری که:

<math>\forall i \in \{1, 2, ..., n\} ,\, w_{i} = \mathrm{weight}\left(a_{i}\right)</math>

'''خروجی:'''

مجموعه کد (دودویی) <math>C = (c_1, c_2, \dots, c_n)</math> که هر عضو آن نشان‌دهنده کد متناسب با یکی از حروف در مجموعه <math>A</math> است.

هدف:

با تعریف <math>L\left(C\left(W\right)\right) = \sum_{i=1}^{n}{w_{i}\times\mathrm{length}\left(c_{i}\right)}</math> شرط بهینه بودن: <math>L\left(C\left(W\right)\right) \leq L\left(T\left(W\right)\right)</math> برای هر کدگذاری <math>T(W)</math>

== الگوریتم هافمن ==
[[پرونده:HuffmanCodeAlg.png|جایگزین=|بندانگشتی|301x301پیکسل|مراحل ساخت یک درخت هافمن نمونه]]
اساس الگوریتم هافمن به این صورت است که دو عضو <math>x</math> و <math>y</math> که دو عضو از بین حرف‌هایی هستند که کمترین تکرار را بین حروف مجموعه <math>A</math> دارند، انتخاب می‌کنیم. حال مجموعه حروف جدید <math>A'</math> را در نظر می‌گیریم که شامل تمام اعضای مجموعه <math>A</math> به جز دو عضو <math>x</math> و <math>y</math> است و جدید <math>xy</math> را داراست. در این مجموعه حروف جدید، وزن همهٔ اعضا برابر با وزن قبلی آنها در مجموعه <math>A</math> است و وزن عضو <math>xy</math> برابر با <math>Weight(xy) = Weight(x) + Weight(y)</math> خواهد بود. حال دوباره این الگوریتم را برای مجموعه جدید<math>A'</math> تکرار می‌کنیم.

=== مراحل الگوریتم ===
# اگر اندازه مجموعه حروف برابر ۲ باشد، درخت بهینه از اتصال دو راس با ریشه به دست می‌آید.
# اگر اندازه مجموعه بیشتر از ۲ باشد:
#* توسط الگوریتم داده شده در بالا، <math>A'</math> و <math>C'</math> را به دست آورده و به صورت بازگشتی درخت <math>T'</math> را می‌سازیم.
#* در درخت <math>T'</math> گرهٔ <math>xy</math> را با درختی سه راسی که با یک پدر و دو فرزند که هرکدام از فرزندها یکی از رئوس <math>x</math> یا <math>y</math> است، جایگزین می‌کنیم.

اثبات بهینه بودن درخت کد حاصل از الگوریتم هافمن را می‌توانید در «درسنامه جلسه ۱۰ کلاس [[تحلیل الگوریتم‌ها]] دانشکده ریاضی [[دانشگاه صنعتی شریف]]»<ref>http://sharif.ir/~shahram.khazaei/files/courses/algorithms/lecture10.pdf</ref>مطالعه کنید.

== پیچیدگی الگوریتم ==
الگوریتم هافمن اگر به صورت ساده گفته شده در بالا پیاده‌سازی شود، می‌توان به راحتی با استفاده از [[رابطه بازگشتی]] <math>T(n) = T(n-1)+O(n)</math> نشان داد دارای [[پیچیدگی زمانی]] <math>O(n^2)</math> است. اما می‌توان با استفاده از [[ساختمان داده‌ها|داده ساختار]] [[هرم (ساختمان داده)|هرم]] الگوریتم را بهبود بخشید و پیچیدگی زمانی را به <math>O(n log(n))</math> کاهش داد. در پیاده‌سازی این الگوریتم به سه [[آرایه (ساختار داده)|آرایه]] نیاز داریم و برای هر گره <math>i</math> در درخت، مقادیر فرزند راست <math>R[i]</math>، فرزند چپ <math>L[i]</math> و والد <math>P[i]</math> را در آن‌ها ذخیره می‌کنیم.

== شبه کد ==
<syntaxhighlight>
function BuildHuffman(W)
    for i = 1 to n do
        L[i] <- 0; R[i] <- 0
        InsertHeap(i, W[i])
    for i = n to 2n - 1 do
        x <- PopMinHeap()
        y <- PopMinHeap()
        W[i] <- W[x] + W[y]
        L[i] <- x; R[i] <- y
        P[x] <- i; P[y] <- i
        InsertHeap(i, W[i])
    P[2n - 1] <- 0
</syntaxhighlight>

== مثال ==
در این قسمت مثالی از کدگذاری هافمن را با مجموعه‌ای پنج حرفی و با وزن‌های داده شده (احتمال حضور) را بررسی می‌کنیم. در این مثال اثبات نمی‌کنیم مقدار <math>L</math> برای همه کدگذاری‌ها کمینه است بلکه مقادیر به دست آمده را با [[آنتروپی اطلاعات|آنتروپی شانون]] <math>H</math> مقایسه کرده و نشان می‌دهیم مقادیر <math>L</math> به دست آمده تقریباً بهینه هستند.
{| class="wikitable"
! rowspan="2" style="background:#efefef" |ورودی <math>A</math> و <math>W</math>
! style="background:#efefef;font-weight:normal" |نماد
| align="center" style="background:#efefef" |a
| align="center" style="background:#efefef" |b
| align="center" style="background:#efefef" |c
| align="center" style="background:#efefef" |d
| align="center" style="background:#efefef" |e
! style="background:#efefef" |مجموع
|-
! style="background:#efefef;font-weight:normal" |وزن
| align="center" |0.10
| align="center" |0.15
| align="center" |0.30
| align="center" |0.16
| align="center" |0.29
| align="center" |= ۱
|-
! rowspan="3" style="background:#efefef" |خروجی
! style="background:#efefef;font-weight:normal" |کد کلمه
| align="center" |<code>010</code>
| align="center" |<code>011</code>
| align="center" |<code>11</code>
| align="center" |<code>00</code>
| align="center" |<code>10</code>
| rowspan="2" |
|-
! style="background:#efefef;font-weight:normal" |طول کد (تعداد بیت){{سخ}}
| align="center" |3
| align="center" |3
| align="center" |2
| align="center" |2
| align="center" |2
|-
! style="background:#efefef;font-weight:normal" |مشارکت در طول مسیر وزن دار
| align="center" |0.30
| align="center" |0.45
| align="center" |0.60
| align="center" |0.32
| align="center" |0.58
| align="center" |''L''(''C'') = ۲٫۲۵
|-
!بهینگی
! style="background: #efefef; font-weight: normal;" |مشارکت در آنتروپی
| align="center" |0.332
| align="center" |0.411
| align="center" |0.521
| align="center" |0.423
| align="center" |0.518
| align="center" |''H''(''A'') = ۲٫۲۰۵
|}
برای اطلاع از نحوه محاسبه <math>H</math> به ویکی‌پدیای انگلیسی همین صفحه مراجعه کنید.

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

در حالت اخیر، نیاز نیست که روش، شبیه روش هافمن باشد و حتی ممکن است زمان اجرایی [[چندجمله‌ای]] هم نداشته باشد.
لیست کاملی از مقالات مربوط به انواع مختلف کد گذاری هافمن، در «درخت‌های کد و تجزیه برای کد کردن بی‌زیان اطلاعات» [http://scholar.google.com/scholar?hl=en&lr=&cluster=6556734736002074338] داده شده‌است.

=== کد هافمن n تایی ===
الگوریتم کد هافمن ''n'' تایی از الفبای {۰، ۱،... ، ''n'' − ۱} برای کد کردن پیام‌ها و ساختن درخت n تایی استفاده می‌کند. این روش دسترسی بوسیلهٔ هافمن و در مقاله اش بررسی شده بود.

=== کد هافمن انطباقی ===
نوع دیگری به نام '''[[کد هافمن انطباقی]]'''، احتمالاتی را که به صورت پویا و بر اساس تکرار واقعی در منبع اصلی است، محاسبه می‌کند. این به گونه‌ای مربوط به خانوادهٔ الگوریتم‌های [[LZ۷۷|LZ]] است.

=== الگوریتم الگوی هافمن ===
بیشتر اوقات، وزن‌های مورد استفاده در اجرای کد هافمن، نمایانگر احتمالات عددی است ولی این الگوریتم چنین چیزی را نیاز ندارد بلکه فقط به راهی برای منظم کردن وزن‌ها و اضافه کردن آن‌ها نیازمند است.
'''الگوریتم الگو هافمن''' امکان استفاده از هر نوع وزنی را می‌دهد. (ارزش-تکرار-جفت وزن ها-وزن‌های غیر عددی) و هر کدام از روش‌های ترکیبی مختلف.
اینگونه الگوریتم‌ها می‌توانند مسائل فشرده سازی دیگر را نیز حل کنند.

=== کد هافمن با طول محدود ===
'''کد هافمن با طول محدود''' نوعی دیگر از کد هافمن است. این نوع هنگامی مورد استفاده قرار می‌گیرد که هدف هنوز بدست آوردن طول مسیر با کمترین وزن است اما یک شرط دیگر نیز وجود دارد و آن این است که اندازهٔ هر کد، باید کمتر از مقدار ثابت خاصی باشد.

الگوریتم [[بسته‌بندی-ادغام]] این مشکل را به‌وسیلهٔ یک [[الگوریتم حریصانه]] ساده شبیه به همانی که در الگوریتم هافمن بکار رفته بود، حل می‌کند.
پیچیدگی زمانی این الگوریتم <math>O(nL)</math>، که <math>L</math> ماکزیمم طول یک کدکلمه (codeword)است.

هیچ الگوریتمی شناخته نشده که این کا را در زمان [[Big O notation#Common orders of functions|linear or linearithmic]] انجام دهد، بر خلاف مسائل پیش مرتب شده و مرتب نشدهٔ هافمن.

=== کد هافمن با ارزش حرفی متفاوت ===
در کد گذاری استاندارد هافمن، فرض شده‌است که هر نماد در مجموعه‌ای که کدها از آن استخراج می‌شوند، ارزشی یکسان با بقیه دارد: کد کلمه‌ای که طول آن ''N'' است ارزشی برابر ''N'' خواهد داشت، مهم نیست که چند رقم آن ۱ و چند رقم آن ۰ است.
وقتی با این فرض کار می‌کنیم، کم کردن هزینهٔ کلی پیام، با کم کردن تعداد رقم‌های کل ۲ چیز یکسانند.
''کد هافمن با ارزش حرفی متفاوت'' به نحوی عمومیت یافته که این فرض دیگر صحیح نیست:
حروف الفبای کدگذاری ممکن است طول‌های غیر همسانی داشته باشند، به خاطر خصوصیت‌های واسطهٔ انتقال.
مثالی بر این ادعا، الفبای کد گذاری [[کد مورس]] است، که در آن فرستادن یک 'خط تیره' بیشتر از فرستادن یک 'نقطه' طول می‌کشد، پس ارزش خط تیره در زمان انتقال بالاتر است.
درست است که هدف هنوز کم کردن میانگین طول وزنی کد است اما دیگر کم کردن تعداد نمادهای بکار برده شده در پیام، به تنهایی کافی نیست.
هیچ الگوریتمی شناخته نشده‌است که این را به همان روش و همان کارایی کد قراردادی هافمن انجام دهد.

=== کد قانونی هافمن ===
اگر وزن‌های مربوط به ورودی‌های مرتب شده بر اساس الفبا، به ترتیب عددی باشند، کد هافمن طولی برابر طول کد الفبایی بهینه دارد که می‌تواند از طریق محاسبه بدست آید.
کد بدست آمده از ورودی‌های مرتب شده از نظر عددی، '''کد قانونی هافمن''' گفته می‌شود و کدی است که به خاطر سادگی رمز کردن و رمز گشایی، در عمل استفاده می‌شود.
تکنیک پیدا کردن این کد، اکثراً '''کد گذاری Huffman-Shannon-Fano''' نامیده می‌شود.
و این به خاطر آن است که مانند کدگذاری هافمن بهینه، ولی در احتمال وزن‌ها مانند کد گذاری [[رمزگذاری شانون-فانو]] الفبایی است.
کد هافمن Shannon-Fano مربوط به این مثال <math>\{000,001,01,10,11\}</math> است که در آن طول کد کلمه‌ها، همان مقداری است که در حل اصلی آمده‌است.

== فهرست منابع ==
{{پانویس}}

== جستارهای وابسته ==
* [[کد اصلاح‌شده هافمن|کد اصلاح‌شدهٔ هافمن]] به کار رفته در[[ماشین‌های فکس]]
* [[فشرده‌سازی داده‌ها]]
* [[لمپل-زیو-ولچ]]
* [[سیستم‌های دودویی نامتقارن]]

== پیوند به بیرون ==
{{انبار-رده|Huffman coding}}
* [https://web.archive.org/web/20080701230912/http://www.huffmancoding.com/david/algorithm.html Program for explaining the Huffman Coding procedure.]
* [https://web.archive.org/web/20080622010115/http://www.cs.sfu.ca/cs/CC/365/li/squeeze/ Huffman Code Applet]
* [https://web.archive.org/web/20050618085402/http://alexvn.freeservers.com/s1/huffman_template_algorithm.html n-ary Huffman Template Algorithm]
* [http://www.research.att.com/projects/OEIS?Anum=A098950 Sloane A۰۹۸۹۵۰] Minimizing k-ordered sequences of maximum height Huffman tree
* [https://web.archive.org/web/20050731091059/http://semillon.wpi.edu/~aofa/AofA/msg00040.html Computing Huffman codes on a Turing Machine]
* Mordecai J. Golin, Claire Kenyon, Neal E. Young "[http://www.cs.ust.hk/faculty/golin/pubs/LOP_PTAS_STOC.pdf Huffman coding with unequal letter costs]" (PDF), [http://www.informatik.uni-trier.de/~ley/db/conf/stoc/stoc2002.html STOC ۲۰۰۲]: ۷۸۵–۷۹۱
* [http://www.cs.duke.edu/csed/poop/huff/info/ Huffman Coding: A CS2 Assignment] a good introduction to Huffman coding
* [https://web.archive.org/web/20080626042542/http://www.siggraph.org/education/materials/HyperGraph/video/mpeg/mpegfaq/huffman_tutorial.html A quick tutorial on generating a Huffman tree]
* Pointers to [https://web.archive.org/web/20070227000354/http://web-cat.cs.vt.edu/AlgovizWiki/HuffmanCodingTrees Huffman coding visualizations]
* [http://huffman.sourceforge.net/ Huffman in C]
* [https://web.archive.org/web/20080705095321/http://apollonic.net/code/ Huffman in Java]
* [http://www.informationsuebertragung.ch/indexAlgorithmen.html Huffman binary algorithm applet]
* [https://web.archive.org/web/20080923200305/http://www.wipro.com/pdf_files/Huffman_Decoding.pdf Implementation approaches to Huffman Decoding]
[[رده:الگوریتم‌های فشرده‌سازی بی‌اتلاف]]
[[رده:درخت‌های دودویی]]
[[رده:علوم رایانه در ۱۹۵۲ (میلادی)]]
[[رده:نظریه کدگذاری]]

{{روش‌های فشرده‌سازی}}
[[رده:فشرده‌سازی داده‌ها]]