Là một bằng chứng độ cứng NP của một vấn đề NP-hard được coi là một đóng góp?


18

Tôi đang giải quyết một vấn đề được cho là NP-hard ở nơi khác, nói trong bài báo [XYZ]. Độ cứng NP được cung cấp trong [XYZ] rất phức tạp và sử dụng các kỹ thuật tiên tiến. Sau một số nghiên cứu và làm việc, tôi đã thành công khi đưa ra một bằng chứng đơn giản và rõ ràng về độ cứng NP. Tôi đang tự hỏi liệu đây có được coi là một đóng góp hay không? Tôi đang cố gắng thúc đẩy công việc của mình nhưng tôi đã không tìm thấy một con đường tương tự.

Tôi không biết đây có phải là nơi thích hợp để hỏi hay tôi nên đến học viện?


15
Đơn giản hóa bằng chứng là một loại đóng góp tiêu chuẩn (và đôi khi hữu ích). Xem liệu bằng chứng đơn giản của bạn có khái quát để chứng minh NP khác không (điều đó có lẽ chưa được biết đến)
Ryan Williams

8
Nếu bạn quan tâm đủ về việc đơn giản hóa, bạn luôn có thể viết nó ra và đăng nó lên arxiv. Nếu người khác quan tâm, sớm hay muộn nó sẽ được trích dẫn. Nói chung, việc nhận được các bằng chứng đơn giản như vậy được chấp nhận cho các hội nghị / tạp chí có thể gây khó khăn.
Sariel Har-Peled

8
Bằng chứng đơn giản hóa thường liên quan đến / khai thác một cấu trúc nhất định trong vấn đề, vì vậy đôi khi bạn nhận được kết quả mạnh mẽ hơn dưới dạng "vấn đề này là NP-hard ngay cả trong trường hợp hạn chế ____". Nếu bạn đang giảm từ một vấn đề khác, có thể là bạn có thêm các thuộc tính chuyển qua, chẳng hạn như độ cứng gần đúng hoặc độ phức tạp tham số, vì vậy hãy tìm những loại quan sát mạnh hơn. Ngay cả khi không có bất kỳ sự củng cố nào, tôi sẽ nói rằng một bằng chứng thay thế vẫn là một đóng góp, đặc biệt nếu nó được đơn giản hóa, nhưng tôi đồng ý rằng đó là một khó bán cho một số người.
JimN

1
Bằng chứng đơn giản hơn luôn được ưu tiên trong các văn bản giới thiệu hoặc sư phạm. Vì vậy, bạn có thể muốn viết một bài viết đánh giá hoặc chương đánh giá cho một cuốn sách sắp tới trong khu vực của bạn (nếu bạn là sinh viên, người giám sát thường biết hoặc có liên quan đến các hoạt động đó) và nói "Vấn đề X lần đầu tiên được thể hiện là NP- cứng bằng Z, chúng tôi cung cấp một bằng chứng đơn giản hóa ở đây:" Thậm chí nếu chứng minh bạn là về mặt kỹ thuật không phải là người mạnh nhất trong một số tham số, nhưng nhiều đơn giản hơn bằng chứng chính thức tốt nhất, giải trình của bạn vẫn có thể có liên quan đối với một văn bản giới thiệu.
Martin Schwarz

Câu trả lời:


14

Có những địa điểm được quan tâm bởi bằng chứng thanh lịch về các kết quả hiện có, ví dụ, xem Hội nghị chuyên đề về tính đơn giản trong thuật toán .

Vì vậy, có, trong một số trường hợp, một bằng chứng thanh lịch có thể được coi là một đóng góp, đặc biệt nếu nó cung cấp những hiểu biết mới.


-2

Phụ thuộc vào vấn đề NP khó. Một cái nổi tiếng (ví dụ, 3SAT) sẽ là một đóng góp tốt đẹp. Một vấn đề ngẫu nhiên trong số 15k NP-hard sẽ ít hơn như vậy.

Khi sử dụng trang web của chúng tôi, bạn xác nhận rằng bạn đã đọc và hiểu Chính sách cookieChính sách bảo mật của chúng tôi.
Licensed under cc by-sa 3.0 with attribution required.