حدس بازسازی

حدس بازسازی برای اولین بار در سال ۱۹۴۲ مطرح شد. حدس بازسازی ادعا می‌کند هر گراف با استفاده از
کارت‌های خود (زیرگراف‌های رأس حذفی)، قابل‌بازسازی است. اگرچه تلاش‌های زیادی پیرامون این حدس صورت گرفته، اما مسئله در حالت کلی باز
مانده‌است.

 مقدمه 
در این بخش ما مقدمه و تاریخچه‌ای مختصر از حدس بازسازی گراف را از سال ۱۹۴۱ بیان می‌کنیم.
حدس بازسازی ادعا می‌کند که هر گراف ساده با حداقل ۳ رأس از روی زیرگراف‌های رأس‌حذفی آن با تقریب
یکریختی قابل‌بازسازی است.Bondy, J. A. and Hemminger, R. L. Graph reconstruction—a survey. J. Graph Theory, 1(3):227–268, 1977.

حدس بازسازی یکی از مشهورترین مسایل نظریهٔ گراف است، که همواره ذهن بسیاری از ریاضی‌دانان را
به خود مشغول کرده‌است. هراریHarary, F. The four color conjecture and other graphical diseases. pages 1–9,1969.
از این مسئله به خاطر ماهیت مسری آن به عنوان بیماری گرافی یاد می‌کرد.
بر اساس گزارش‌های ثبت شده، ویسکُنسین در ۱۹۴۱، کِلی
و اُلام
به عنوان اولین قربانیان این بیماری شناخته می‌شوند.
نمادها با توجه به نمادگذاری کتابِ باندی و مورتیBondy, J. A. and Murty, U. S. R. Graph theory with applications. American Elsevier Publishing Co. , Inc. , New York, 1976.
انتخاب شده‌است؛ بنابراین گراف  دارای مجموعه رأس‌های , مجموعه یال‌های ؛ همچنین دارای
 رأس و  یال است. زیرگراف  زیرگراف حاصل از حذف رأسِ  به همراهِ تمام یال‌های متصل به آن است. شکل(۱) زیرگراف‌های رأس‌حذفی گراف  را نشان می‌دهد.
بندانگشتی|400px|چپ|شکل(۱): زیرگراف‌های رأس‌حذفی یک گراف

برای فرمول بندی دقیق حدس نیاز به دو مفهوم زیر داریم:

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

به عنوان مثال  و  بازسازی یکدیگرند. حدس بازسازی ادعا می‌کند این دو، تنها گراف‌های غیرقابل‌بازسازی هستند.
 حدس بازسازی:Kelly, P. J. A congruence theorem for trees. Pacific J. Math. , 7:961–968, 1957.Ulam, S. M. A collection of mathematical problems. Interscience Tracts in Pure and Applied Mathematics, no. 8. Interscience Publishers, New York-London, 1960. تمام گراف‌های متناهی، ساده و غیرجهت‌دار با حداقل سه رأس قابل‌بازسازی هستند.

نگاه به مسئله به عنوان کارت‌هایی که هر زیرگراف روی آن‌ها رسم شده، خالی از لطف نیست. به‌طور نمونه گراف  در شکل(۲)
دارای دسته کارتی مانند شکل(۵)است (ارائه، توسط هَراریHarary, F. On the reconstruction of a graph from a collection of subgraphs. In Theory of Graphs and its Applications (Proc. Sympos. Smolenice, 1963), pages 47–52. Publ. House Czechoslovak Acad. Sci. , Prague, 1964.).
نمایش مسئله با کارت‌ها، به‌طوری‌که گراف‌هایی که کارت‌ها را تولید می‌کنند بیابیم بسیار مرسوم است (البته در حالت متناهی). ولی مسئله یافتن الگوریتمی برای ساختنِ گراف نیست، بلکه ما می‌خواهیم هر الگوریتمی نتیجه یکسان داشته باشد (خالی از لطف نیست اگر خواننده سعی کند با کارت‌های شکل(۱)گراف را بسازد).
بندانگشتی|400px|چپ|شکل(۲): دسته کارت‌های گراف شکل(۱)

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

به نظرنمی‌رسد گزاره‌ی۱٫۲ که توسط کِلیKelly, P. J. A congruence theorem for trees. Pacific J. Math. , 7:961–968, 1957.
بیان شده‌است، حدس را ساده‌تر کند، ولی کمک شایانی به ساختن مثال نقض و همچنین بررسی محاسباتی مسئله می‌کند.
تا سال ۱۹۷۷ گراف‌های با حداکثر ۹ رأس بررسی شدند و دارای هیچ مثال نقضی نبودند
(کِلی،Kelly, P. J. A congruence theorem for trees. Pacific J. Math. , 7:961–968, 1957.
هراری و پالمِر،Harary, F. and Palmer, E. A note on similar points and similar lines of a graph. Rev. Roumaine Math. Pures Appl. , 10:1489–1492, 1965.
استک‌مایر،Stockmeyer, P. K. Personal communication with J. A. Bondy and R. L. Hem- minger. 1976.
مَک‌کِیMcKay, B. D. Computer reconstruction of small graphs. J. Graph Theory, 1(3):281– 283, 1977.
و ناین هاسNijenhuis, A. Note on the unique determination of graphs by proper subgraphs. Notices Amer. Math. Soc, 24, 1977.).
در کامل کردن مطلب بالا که شامل آخرین نتایج محاسباتی بر روی بازسازی گراف‌های کوچک است، قضیه زیر از مَک‌کِیMcKay, B. D. Small graphs are reconstructible. Australas. J. Combin. , 15:123–126, 1997.
را داریم.

 گزاره 
کلاس‌های زیر از گراف‌ها به‌طور یکتا توسط دستهِ کارتِ تحدید یافته‌ی(isomorph-reduced deck)
(دسته کارت با حذف گراف‌های تکراری) خود مشخص می‌شوند:
 گراف‌ها از مرتبه ۴ تا ۱۱.
 گراف‌ها از مرتبه ۱۲ با حداکثر درجهٔ ۵.
 گراف‌های خالی از مثلث(triangle-free) از مرتبه ۴ تا ۱۴.
 گراف‌های خالی از مربع(square-free) از مرتبه ۴ تا ۱۵.
 گراف‌های دوبخشی از مرتبه ۴ تا ۱۵.
 گراف‌های دوبخشی از مرتبه ۱۶ با حداکثر درجهٔ ۵.

 تعریف 
کلاس  را فضای گراف‌های تصادفی روی  درنظر بگیرید، که هر یال با احتمال  موجود باشد. یک عضو این کلاس را با  نشان می‌دهیم. می‌گوییم تقریباً تمام ها داری ویژگیِ  هستند هرگاه، احتمال اینکه  دارای ویژگی  باشد به ۱ میل کند هنگامی
که  به  میل می‌کند.

علاوه بر این مولِرMüller, V. Probabilistic reconstruction from subgraphs. Comment. Math. Univ. Carolinae, 17(4):709–719, 1976.
نشان داد:

 گزاره 
 تقریباً تمام گراف‌ها قابل‌بازسازی هستند.

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

 توجه 
دو گردآوری(survey)
بسیار ارزشمند در مورد حدس بازسازی در 1977Bondy, J. A. and Hemminger, R. L. Graph reconstruction—a survey. J. Graph Theory, 1(3):227–268, 1977.
و 1978Nash-Williams, C. St. J. A. The reconstruction problem. Selected topics in graph theory, 1:205–236, 1978.
نوشته شدند. این دو مقاله، با لیست کاملی از مراجع وضعیت این مسئله را تا آن زمان نشان داده‌اند. بعد از آن نیز گردآوری‌های دیگری نیز منتشر شدBondy, J. A. A graph reconstructor’s manual. 166:221–252, 1991.Ellingham, M. N. Recent progress in edge reconstruction. Congr. Numer. , 62:3–20, 1988. Seventeenth Manitoba Conference on Numerical Mathematics and Com- puting (Winnipeg, MB, 1987).Lauri, J. Graph reconstruction—some techniques and new problems. Ars Com- bin. , 24(B):35–61, 1987.Manvel, B. Reconstruction of graphs: progress and prospects. Congr. Numer. , 63:177–187, 1988. 250th Anniversary Conference on Graph Theory (Fort Wayne, IN, 1986).
دو مقاله بالا، مخصوصاً اولی،Bondy, J. A. and Hemminger, R. L. Graph reconstruction—a survey. J. Graph eory, 1(3):227–268, 1977.
برای کمک به کسی که به‌طور جدی خواستار کار بر روی مسئله است توصیه می‌شود. همچنین کتابLauri, J. and Scapellato, R. Topics in graph automorphisms and reconstruction, volume 54 of London Mathematical Society Student Texts. Cambridge University Press, Cambridge, 2003.
شامل چهار فصل در مورد حدس بازسازی است.

همچنین یک گردآوری در حدس بازسازی توسط محمد جواد مقدس‌مهر در ۲۰۱۷ نوشته شده‌است.

 منابع 

رده:حدس‌ها
رده:نظریه گراف
رده:مسائل حل‌نشده در نظریه گراف