선형계획법으로 본 여행세일즈맨 문제의 허점: 대규모 인스턴스 반증

본 보고서는 2006년부터 2008년 사이에 발표된 Diaby의 선형계획법 기반 TSP·QAP 모델이 실제로는 NP‑complete 문제를 다항시간에 해결하지 못한다는 점을 상세히 입증한다. 서론에서는 P와 NP의 정의, Cook‑Karp의 복잡도 이론적 배경을 간략히 소개하고, 2006년 이후 “P=NP”를 주장하는 일련의 논문(특히 Diaby의 2007‑2008년 논문)들을 비판한다. 저자는 자신이 이전에 제시한 반례