NP tam problemlerinin düğüm teorik formülasyonları var mı?


12

Çalışılacak iyi topolojik özelliklere sahip NP tam (hatta NP sert veya NP) problemleri var mı? NP problemlerinde düğüm teorik formülasyonları var mı? Jones polinomu hakkında # sonucu biliyoruz . Grafik problemleri (düğünler?), Özellikle grafik renklendirmelerinin güzel düğüm teorik özelliklerine sahip olduğu görülebilir. Bu açık uçlu bir sorudur ve bu konuyla ilgili tüm referanslar takdir edilmektedir.P

Yanıtlar:


11

Şunlara göz atabilirsiniz:

Peter Golbus, Robert W. McGrail, Tomasz Przytycki, Mary Sharac ve Aleksandar Chakarov. 2009. Üç renkli torus knotları NP-tamamlanmıştır . 47. Yıllık Güneydoğu Bölgesel Konferansı Bildirilerinde (ACM-SE 47). ACM, New York, NY, ABD, Madde 42, 6 sayfa.

Özet: Bu çalışma, bir kısıtlama tatmin problemleri sınıfını üç boyutlu bir düğümle ilişkilendirmek için bir yöntem sunmaktadır. Bir düğüm verildiğinde, genellikle sonsuz bir serbest cebir olan bir düğüm quandle yapılabilir. Arzu edilen problemlerin toplanması, sonlu cebirleri kısıtlama memnuniyeti problemleriyle ilişkilendiren teoriyi uygulayarak düğüm boğazı üzerindeki değişmez ilişkiler kümesinden türetilir. Bu, izlenebilir ve NP-tam quandles ve knot kavramlarını geliştirmemizi sağlar. Özellikle, tüm üç-renklendirilebilir torus düğümlerinin ve en fazla 10 veya daha az geçişli 2 önemsiz düğümün hepsinin NP-tam olduğunu gösteriyoruz.

ve ayrıca seminal raporuna:

Golbus, RW McGrail, M. Merling, K. Ober, M. Sharac ve J. Wood. Bir düğüm üzerindeki kısıtlama memnuniyet problemleri sınıfı . Teknik Rapor numarası BARD-CMSC-2008-01, Bard College, 2008.


9

Şunun ilk paragrafında birkaç referans vardır:

  • Marc Lackenby. Reidemeister'da bir polinom üst sınırı hareket eder. arXiv: 1302.0180

NPcoNP

  • Joel Hass, Jeffrey C. Lagarias, Nicholas Pippenger. Düğüm ve Bağlantı Problemlerinin Hesaplamalı Karmaşıklığı. ACM 46 (1999) 185-211. arXiv: matematik / 9807016

  • Greg Kuperberg. Düğümlük NP, modulo GRH'dir. Aralık 2011, revize Ocak 2014. arXiv: 1112.0845

g

  • Ian Agol, Joel Hass, William Thurston. 3-MANIFOLD KNOT GENUS NP-tamamlandı. STOC 2002. ACM bağlantısı

Başka örneklerle de ilgileniyorum.


3
Dikişli hiyerarşiler kullanarak Agol'un hiç yayınlanmayan ortak NP kanıtı, kısa bir süre önce Lackenby'de yapılan bir ankette kısaca özetlenmiştir: people.maths.ox.ac.uk/lackenby/ekt11214.pdf
Arnaud

3
R3R3S3

Hassasiyetiniz için teşekkürler: Metne ekledim.
Noam Zeilberger

2
Belki burada yoğun olmakla birlikte, sonuçların cevapta neden "NP'de olmaktan ziyade düğümlü olma / bilinmeyenlik" NP-sert olmaktan "bahsettikleri belli değil, çünkü özette görebildiğim kadarıyla, sorunların NP'de olduğunu, ancak NP-Complete olduklarını değil.
Abel Molina

1
Hayır, haklısın, sadece yoğun oluyordum. Şimdi düzeltildi.
Noam Zeilberger
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.