곱 제약 하에서 최소 최대 최적화의 복잡도 PPAD 하드 증명
안내: 본 포스트의 한글 요약 및 분석 리포트는 AI 기술을 통해 자동 생성되었습니다. 정보의 정확성을 위해 하단의 [원본 논문 뷰어] 또는 ArXiv 원문을 반드시 참조하시기 바랍니다.
초록
이 논문은 연속 함수 f 에 대한 지역 최소‑최대 균형점(Gradient Descent‑Ascent, GDA) 찾기가 곱 제약, 특히 하이퍼큐브 상에서도 PPAD‑hard임을 증명한다. 기존 연구가 요구하던 결합 제약을 없애고, Pure‑Circuit와 LinVI 문제를 결합한 새로운 감소를 통해 복잡도 경계를 확립한다.
상세 분석
논문은 먼저 GDA 문제를 정의한다. 주어진 미분 가능 함수 f:
댓글 및 학술 토론
Loading comments...
의견 남기기