হ্যাঁ.
(1) এর এক পর্যায়ে, জটিল ওজনযুক্ত গণনা সমকামী হোমোমর্ফিিজম দ্বৈতত্ত্বের উপপাদ্য যে কোনও সীমাবদ্ধ ডোমেন আকারের জন্য, কাই, চেন এবং লু কেবল বহুবর্ষীয় দ্বিখণ্ডনের মাধ্যমে দুটি গণনার সমস্যার মধ্যে একটি বহু-কাল হ্রাসের অস্তিত্ব প্রমাণ করে। আমি এই জাতীয় অ্যালগরিদমের কোনও ব্যবহারিক মান জানি না।
আরএক্সiv সংস্করণটির বিভাগ 4 দেখুন। প্রশ্নে থাকা লেমা হ'ল লেমা 4.1, যাকে "ফার্স্ট পিনিং লেমমা" বলা হয়।
এই প্রমাণকে গঠনমূলক করার একটি উপায় হ'ল লোভাসের ফলাফলের জটিল ভারযুক্ত সংস্করণটি প্রমাণ করা , যথা:
সব জন্য , টু Z এইচ ( জি , W , আমি ) = জেড এইচ ( জি , W , ঞ ) iff অস্তিত্ব আছে একটি automorphism চ এর জি যেমন যে চ ( আমি ) = ঞ ।GZH(G,w,i)=ZH(G,w,j)fGf(i)=j
এখানে, একটি প্রান্তবিন্দু হয় এইচ , আমি এবং ঞ মধ্যে ছেদচিহ্ন হয় জি , এবং জেড এইচ ( জি , W , আমি ) সব জটিল-ভরযুক্ত গ্রাফ থেকে homomorphisms উপর সমষ্টি জি থেকে এইচ যোগ সীমাবদ্ধতা সঙ্গে যে আমি ম্যাপ করা আবশ্যক থেকে W ।wHijGZH(G,w,i)GHiw
(1) জিন-ইয়ে কই, চেন চেন এবং পিনান লু, জটিল মান সহ গ্রাফ হোমোর্ফিজম: এ ডাইকোটমির উপপাদ্য ( আরএক্সিভি ) ( আইসিএলপি 2010 )