Все знают «Garey & Johnson», и я всегда обращаюсь к ним, когда мне нужно выполнить преобразование для доказательства NP-твердости. Однако недавно я нуждался в доказательстве твердости APX, и мне интересно, есть ли подобный (и более современный ...?) Набор проблем, которые, как было показано, являются APX-сложными.
Кто-нибудь знает что-нибудь подобное? Мне трудно поверить, что не существует веб-сайта, систематически собирающего такие проблемы, но мои навыки работы с Google кажутся недостаточными.