Polynomial and analytic methods for classifying complexity of planar graph homomorphisms

التفاصيل البيبلوغرافية
العنوان: Polynomial and analytic methods for classifying complexity of planar graph homomorphisms
المؤلفون: Cai, Jin-Yi, Maran, Ashwin
سنة النشر: 2024
المجموعة: Computer Science
مصطلحات موضوعية: Computer Science - Computational Complexity
الوصف: We introduce some polynomial and analytic methods in the classification program for the complexity of planar graph homomorphisms. These methods allow us to handle infinitely many lattice conditions and isolate the new P-time tractable matrices represented by tensor products of matchgates. We use these methods to prove a complexity dichotomy for $4 \times 4$ matrices that says Valiant's holographic algorithm is universal for planar tractability in this setting.
Comment: 118 pages, 3 figures, submitted to STOC 2025
نوع الوثيقة: Working Paper
URL الوصول: http://arxiv.org/abs/2412.17122
رقم الانضمام: edsarx.2412.17122
قاعدة البيانات: arXiv