ترجمه فارسی مقاله اثبات توپولوژیکی دوگانگی Hell-Nešetřil

چکیده

We provide a new proof of a theorem of Hell and Nešetřil [J. Comb. Theory B, 48(1):92-110, 1990] using tools from topological combinatorics based on ideas of Lovász [J. Comb. Theory, Ser. A, 25(3):319-324, 1978]. The Hell-Nešetřil Theorem provides a dichotomy of the graph homomorphism problem. It states that deciding whether there is a graph homomorphism from a given graph to a fixed graph $H$ is in P if $H$ is bipartite (or contains a self-loop), and is NP-complete otherwise. In our proof we combine topological combinatorics with the algebraic approach to constraint satisfaction problem.

چکیده به فارسی (ترجمه ماشینی)

ما اثبات جدیدی از قضیه جهنم و nešetřil [J.شانهنظریه B ، 48 (1): 92-110 ، 1990] با استفاده از ابزارهایی از ترکیبات توپولوژیکی مبتنی بر ایده های Lovász [J.شانهنظریه ، سر.A ، 25 (3): 319-324 ، 1978].قضیه Hell-nešetřil یک دوگانگی از مشکل همنوفروموفیسم گراف را فراهم می کند.بیان می کند که تصمیم گیری در مورد اینکه آیا یک همجنسگرایی نمودار از یک نمودار معین به یک نمودار ثابت $ H $ وجود دارد ، اگر $ H $ دو طرفه باشد (یا حاوی یک حلقه خود باشد) ، و در غیر این صورت NP کاملاً مناسب است.در اثبات ما ، ترکیبات توپولوژیکی را با رویکرد جبری برای مسئله رضایت از محدودیت ترکیب می کنیم.