Kernkonzepte
기호 그래프를 이용하여 기호 회귀 문제가 NP-hard 문제인 degree-constrained Steiner Arborescence 문제와 동등함을 보였다.
Zusammenfassung
이 논문은 기호 회귀(Symbolic Regression, SR) 문제가 NP-hard 특성을 가짐을 증명한다.
먼저 degree-constrained Steiner Arborescence 문제(DCSAP)가 NP-hard임을 보였다(Lemma 1).
이어서 SR 문제를 기호 그래프로 표현하고, SR 문제를 DCSAP 문제로 변환할 수 있음을 보였다.
이를 통해 SR 문제가 NP-hard임을 최종적으로 증명하였다(Theorem 1).
기존 연구에서는 SR 문제의 NP-hard 특성을 단순한 수식에 대해서만 증명했지만, 이 논문에서는 더 복잡한 수식을 포함하는 기호 그래프를 활용하여 SR 문제의 NP-hard 특성을 보다 포괄적으로 증명하였다.
Statistiken
기호 회귀 문제를 DCSAP 문제로 변환할 수 있음을 보여주는 식 (3)-(6)
DCSAP 문제가 NP-hard임을 보여주는 Lemma 1
Zitate
"SR 문제는 DCSAP 문제와 동등하므로 NP-hard이다."
"기존 연구에서는 단순한 수식에 대해서만 SR 문제의 NP-hard 특성을 증명했지만, 이 논문에서는 더 복잡한 수식을 포함하는 기호 그래프를 활용하여 보다 포괄적으로 증명하였다."