NP-hard 문제의 NP-hardness 증거가 기여로 간주됩니까?


18

논문 [XYZ]에서 다른 곳에서 NP-hard라고 주장되는 문제를 해결하고 있습니다. [XYZ]에서 제공되는 NP 경도는 복잡하며 고급 기술을 사용합니다. 몇 가지 연구와 연구 끝에 나는 NP 경도의 단순하고 명확한 증거를 제시했습니다. 이것이 기여로 간주되는지 궁금합니다. 나는 일에 동기를 부여하려고 노력하지만 비슷한 길을 찾지 못했다.

이것이 올바른 장소인지 또는 학계에 가야하는지 모르겠습니다.


15
증명 단순화는 표준 (그리고 때로는 유용한) 종류의 기여입니다. 당신의 간단한 증거의 일반화는 뭔가 다른 NP 하드 (아마도 이미 알려진되지 않았 음)을 증명하는 경우를 참조하십시오
라이언 윌리엄스

8
단순화에 대해 충분히 신경 쓰면 언제든지 적어두고 arxiv에 게시 할 수 있습니다. 다른 사람들이 걱정한다면 조만간 인용 될 것입니다. 일반적으로 회의 / 저널에게 받아 들여지는 간결한 증거 서류를 얻는 것은 어려울 수 있습니다.
Sariel Har-Peled

8
단순화 된 증명은 종종 문제의 특정 구조를 포함 / 탐색하기 때문에 "이 문제는 ____의 제한된 경우에도 NP 문제입니다"의 형태로 더 강한 결과를 얻을 수 있습니다. 다른 문제를 줄이고 있다면 근사 성 또는 매개 변수화 된 복잡성 등의 추가적인 속성이 이전 될 수 있으므로 이러한 종류의 더 강력한 관측치를 찾으십시오. 아무리 강화하지 않아도 대체 증거는 여전히 기여할 수 있다고 말하고 싶습니다. 간단히 말해도, 나는 그것이 일부에게는 어려운 판매라는 데 동의합니다.
JimN 2019

1
입문 또는 교육 텍스트에서 간단한 증거가 항상 선호됩니다. 따라서 해당 지역에서 다가오는 책에 대한 검토 기사 또는 검토 장을 작성하고 싶을 수도 있습니다 (학생 인 경우 감독관은 일반적으로 그러한 활동에 대해 알고 있거나 그러한 활동에 관여합니다). "문제 X가 처음 NP- Z가 어렵게 여기에 간단한 증거를 제시합니다. "증거가 기술적으로 일부 매개 변수에서 가장 강력하지는 않지만 공식적으로 가장 좋은 증거보다 훨씬 단순하더라도 박람회는 여전히 소개 텍스트와 관련이있을 수 있습니다.
Martin Schwarz

답변:


14

기존 결과에 대한 우아한 증거에 관심이있는 장소가 있습니다 (예 : 알고리즘의 단순성 심포지엄 참조) .

예, 경우에 따라 우아한 증거가 특히 새로운 통찰력을 제공하는 경우 기여로 간주 될 수 있습니다.


-2

어떤 NP 하드 문제에 따라 다릅니다. 유명한 것 (예를 들어, 3SAT)은 훌륭한 기여가 될 것입니다. 15k NP-hard 문제 중 임의의 것은 덜 적습니다.

당사 사이트를 사용함과 동시에 당사의 쿠키 정책개인정보 보호정책을 읽고 이해하였음을 인정하는 것으로 간주합니다.
Licensed under cc by-sa 3.0 with attribution required.