NP-sertlik sorununun NP-sertlik kanıtı bir katkı olarak kabul edilir mi?


18

[XYZ] gazetesinde, başka bir yerde NP-zor olduğu iddia edilen bir sorunu çözüyorum. [XYZ] 'de sağlanan NP sertliği karmaşıktır ve ileri teknikler kullanır. Bazı araştırma ve çalışmalardan sonra NP sertliğinin basit ve açık bir kanıtını vermeyi başardım. Bunun bir katkı olarak kabul edilip edilmediğini merak ediyorum? İşimi motive etmeye çalışıyorum ama benzer bir yol bulamadım.

Burası sormak için doğru yer mi bilmiyorum yoksa akademiye gitmeli miyim?


15
İspatları basitleştirmek standart (ve bazen yararlı) bir katkıdır. Basit kanıtınızın başka bir şey NP'yi kanıtlamak için genelleşip genelleşmediğini görün (belki de zaten bilinmemektedir)
Ryan Williams

8
Sadeleştirmeyi yeterince önemsiyorsanız, her zaman yazabilir ve arxiv'e gönderebilirsiniz. Diğer insanlar umursarsa, er ya da geç atıfta bulunulacaktır. Genel olarak konuşmak gerekirse, konferanslara / dergilere kabul edilen bu tür basitleştirilmiş kanıtlar elde etmek zorlayıcı olabilir.
Sariel Har-Peled

8
Basitleştirilmiş kanıtlar genellikle sorundaki belirli bir yapıyı içerir / sömürür, bu nedenle bazen "bu sorun ____ 'nın kısıtlı durumunda bile NP zordur" şeklinde daha güçlü bir sonuç elde edersiniz. Farklı bir sorundan azaltıyorsanız, aktarılabilirlikteki sertlik veya parametreli karmaşıklık gibi başka aktarım özellikleriniz olabilir, bu nedenle bu tür daha güçlü gözlemlere bakın. Herhangi bir güçlendirme olmadan bile, basit bir kanıt varsa, alternatif bir kanıtın hala bir katkı olduğunu söyleyebilirim, ancak bazıları için zor bir satış olduğunu kabul ediyorum.
JimN

1
Tanıtım metinleri veya pedagosyal metinlerde her zaman daha basit kanıtlar tercih edilir. Bu nedenle, bölgenizdeki yaklaşan bir kitap için bir inceleme makalesi veya inceleme bölümü yazmak isteyebilirsiniz (eğer bir öğrenciyseniz, denetçiler genellikle bu tür etkinlikleri bilir veya bu tür faaliyetlere katılırlar) ve "Sorun X'in ilk önce NP- Z tarafından zor, burada basitleştirilmiş bir kanıt veriyoruz: "Kanıtınız teknik olarak bazı parametrelerde en güçlü olmasa da , resmi olarak en iyi kanıttan çok daha basit olsa bile, açıklamanız bir giriş metni için son derece alakalı olabilir.
Martin Schwarz

Yanıtlar:


14

Mevcut sonuçların zarif kanıtlarıyla ilgilenen mekanlar var, örneğin Algoritmalarda Basitlik Sempozyumu'na bakın .

Yani evet, bazı durumlarda zarif bir kanıt, özellikle yeni anlayışlar sunuyorsa, bir katkı olarak kabul edilebilir.


-2

Hangi NP zor problemine bağlıdır. Ünlü biri (örneğin, 3SAT) iyi bir katkı olacaktır. 15k NP zor problemlerden rastgele biri daha az olacaktır.

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.