متناسب با متن زیر، یک عنوان انتخاب کرده و آن را خلاصه کنید

متن: مسئله شمارش تعداد تطابق کامل مسطح، ریشه در مکانیک آماری و شیمی دارد، در آنجا سؤال اصلی این بوده‌است که آیا مولکول‌های دو اتمی که بر روی یک سطح جذب می‌شوند و تشکیل یک‌لایه می‌دهند به چند طریق می‌توان آن‌ها را مرتب نمود؟ تابع پارتیشن یک کمیت بسیار مهم می‌باشد که ویژگی‌های آماری یک سیستم در حال تعادل را رمز می‌کند و می‌توان از آن برای حل مسئله پیشین استفاده نمود. هرچند که تلاش برای محاسبه تابع پارتیشن از تعریف آن، چندان عملی نیست؛ بنابراین برای حل دقیق یک سیستم فیزیکی باید شکل مشابهی از تابع پارتیشن را برای آن سیستم فیزیکی خاص پیدا کنیم که محاسبه آن به اندازه کافی ساده باشد. در اوایل ۱۹۶۰، تعریف دقیقا قابل‌حل، چندان ملموس نبود. در ۱۹۶۵، علم کامپیوتر یک تعریف جدی با معرفی زمان چندجمله‌ای ارائه نمود. به‌طور مشابه در سال ۱۹۷۹، تعریف نه چندان دقیق قابل‌حل که به مسائل p-سختی برمی گردد، ارائه شد. نوع دیگری از سیستم فیزیکی که قابل بررسی است ترکیبی از دیمرها می‌باشد. دیمرها، پلیمری با دو اتم می‌باشند. مدل دیمر، تعداد پوشش‌های دیمر از یک گراف را می‌شمارد. یک سیستم فیزیکی قابل بررسی دیگر، اتصال مولکول‌های آب h ۲ o که تشکیل یخ می‌دهند می‌باشد. این سیستم را می‌توان به عنوان یک گراف جهت‌دار منظم ۳ تایی که جهت یال‌ها در هر راس آن نمی‌تواند یکسان باشد، مدل نمود. سؤال این است که چه تعداد جهت یال در این گراف می‌تواند در این گراف وجود داشته باشد؟ با انگیزه سیستم‌های فیزیکی که دیمرها هم شامل آن‌ها می‌شود در سال ۱۹۶۱، kasteleyn, temperley و fisher هر کدام به‌طور مستقل تعداد کاشی کاری‌های دومینو را برای یک مستطیل m در n پیدا کردند. این فرمول برابر با شمارش تعداد تطابق کامل برای یک‌یک گراف شبکه m در n می‌باشد. در ۱۹۶۷، kasteleyn این نتیجه را برای تمام گراف‌های مسطح گسترش داد. دید کلی این است که هر جمله غیر صفر در pfaffian از ماتریس مجاورت گراف g با یک تطابق کامل مرتبط است؛ بنابراین اگر جهت‌گیری‌ای از g پیدا شود که مطابق تمام علائم جملات موجود در pfaffian باشد (مثبت یا منفی بودن فرقی نمی‌کند)، آنگاه می‌توان گفت قدرمطلق pfaffian نشان‌دهنده تعداد تطابق کامل گراف g می‌باشد. الگوریتم fkt این کار را برای یک گراف مسطح g انجام می‌دهد. فرض کنیم (g = (v, e یک گراف بدون جهت با ماتریس مجاورت a باشد. (pm (n را به …
جواب:
"الگوریتم FKT" میتواند عنوان مناسب و "الگوریتم fkt که نام آن از ابتدای نام‌های fisher, kasteleyn و temperley گرفته شده‌است ، الگوریتمی است که به شمارش تعداد تطابق کامل در یک گراف مسطح با زمان چندجمله‌ای می‌پردازد . این کار برای گراف‌های عمومی به صورت p-کامل می‌باشد . شمارش تعداد تطابق ، حتی برای گراف‌های مسطح نیز به صورت p-کامل می‌باشد . ایده اصلی ، تبدیل مسئله به یک پردازش از ماتریس متقارن مورب که از جاسازی مسطح گراف به دست آمده است می‌باشد . بدین ترتیب این ماتریس به سرعت از الگوریتم استاندارد دترمینان محاسبه می‌گردد ." میتواند خلاصه ی مناسبی برای این متن باشد