การพิสูจน์ความแข็งของ NP ของปัญหา NP-hard ถือว่าเป็นการสนับสนุนหรือไม่?


18

ฉันกำลังแก้ไขปัญหาที่อ้างว่าเป็นปัญหากับที่อื่นพูดในกระดาษ [XYZ] NP-hardness ที่ระบุใน [XYZ] นั้นซับซ้อนและใช้เทคนิคขั้นสูง หลังจากการวิจัยและการทำงานบางอย่างฉันประสบความสำเร็จในการให้การพิสูจน์เรื่องความแข็งของ NP ที่ง่ายและชัดเจน ฉันสงสัยว่าสิ่งนี้ถือว่าเป็นผลงานหรือไม่? ฉันพยายามกระตุ้นงานของฉัน แต่ฉันไม่พบเส้นทางที่คล้ายกัน

ฉันไม่รู้ว่านี่เป็นสถานที่ที่เหมาะสมในการถามหรือฉันควรไปเรียนที่สถาบันการศึกษาหรือไม่?


15
การลดความซับซ้อนของหลักฐานเป็นการสนับสนุน (และบางครั้งมีประโยชน์) ชนิดมาตรฐาน ดูว่า generalizes หลักฐานที่เรียบง่ายของคุณเพื่อพิสูจน์อะไรบางอย่างอื่น NP ยาก (ที่อาจจะไม่เป็นที่รู้จักแล้ว)
ไรอันวิลเลียมส์

8
หากคุณสนใจเพียงพอเกี่ยวกับการทำให้เข้าใจง่ายคุณสามารถเขียนลงไปได้เสมอและโพสต์ไว้ที่ arxiv หากคนอื่นสนใจไม่ช้าก็เร็วมันก็จะถูกอ้างถึง โดยทั่วไปการพูดเพื่อให้ได้หลักฐานที่ง่ายเช่นเอกสารที่ได้รับการยอมรับในการประชุม / วารสารอาจเป็นเรื่องท้าทาย
Sariel Har-Peled

8
หลักฐานที่เรียบง่ายมักเกี่ยวข้องกับ / ใช้ประโยชน์จากโครงสร้างบางอย่างของปัญหาดังนั้นบางครั้งคุณจะได้ผลลัพธ์ที่แข็งแกร่งกว่าในรูปแบบของ "ปัญหานี้คือปัญหาที่เกิดขึ้นยากแม้ในกรณีที่ จำกัด ของ ____" หากคุณกำลังลดลงจากปัญหาอื่นอาจเป็นไปได้ว่าคุณมีคุณสมบัติเพิ่มเติมที่ถ่ายโอนเช่นความแข็งในการประมาณค่าหรือความซับซ้อนของพารามิเตอร์ดังนั้นให้มองหาการสังเกตที่แข็งแกร่งกว่านี้ แม้จะไม่มีความเข้มแข็งใด ๆ ฉันจะบอกว่าหลักฐานทางเลือกยังคงมีส่วนร่วมโดยเฉพาะอย่างยิ่งถ้ามันง่าย แต่ฉันยอมรับว่ามันเป็นเรื่องยากที่จะขาย
JimN

1
บทพิสูจน์ที่ง่ายกว่ามักเป็นที่นิยมในตำราเบื้องต้นหรือผู้สอน ดังนั้นคุณอาจต้องการเขียนบทความวิจารณ์หรือบทวิจารณ์สำหรับหนังสือที่กำลังจะมาถึงในพื้นที่ของคุณ (ถ้าคุณเป็นนักเรียนหัวหน้างานมักจะรู้หรือมีส่วนร่วมในกิจกรรมดังกล่าว) และพูดว่า "ปัญหา X แสดงเป็น NP- ครั้งแรก อย่างหนักจาก Z เราให้หลักฐานง่ายที่นี่:" แม้ว่าหลักฐานเป็นเทคนิคที่ไม่ได้เป็นคนที่แข็งแกร่งที่สุดในพารามิเตอร์บาง แต่มากง่ายกว่าหลักฐานอย่างเป็นทางการที่ดีที่สุด, การแสดงออกของคุณยังอาจจะมีความเกี่ยวข้องสูงสำหรับข้อความเกริ่นนำ
Martin Schwarz

คำตอบ:


14

มีสถานที่ที่มีความสนใจโดยหลักฐานอันสง่างามของผลที่มีอยู่ให้ดูสำหรับอินสแตนซ์ประชุมวิชาการเกี่ยวกับความเรียบง่ายในอัลกอริทึม

ดังนั้นใช่ในบางกรณีหลักฐานที่สง่างามอาจถือได้ว่าเป็นผลงานโดยเฉพาะอย่างยิ่งถ้ามันมีข้อมูลเชิงลึกใหม่


-2

ขึ้นอยู่กับปัญหาที่ NP ยาก คนที่มีชื่อเสียง (เช่น 3SAT) จะเป็นคนดี ปัญหาแบบสุ่มปัญหา 15k อย่างใดอย่างหนึ่งจะน้อยลง

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.