Analogy is NP-hard. - Shinji Furuya; Satoru Miyano (ALT, 1991)