Разобьём всех супругов по парам.
Возьмём того, кто знает 13 человек. Себя он не знает, значит, знает всех остальных.
Возьмём того, кто знает 1 человека. Себя он не знает, значит, знает только супруга, и есть такой, кто знает всех, значит, тот его супруг. Получилась пара 13-1.
Возьмём того, кто знает 2 человек. Он знает того, кто знает 13 человек, и своего супруга (это разные люди, т.к. у 13-го (назовём его так) уже есть супруг — 1-й).
Среди оставшихся есть кто-то, кто знает 12 человек. Им может быть супруг 2-го, тогда он знает 2-го, 13-го и всех, кроме себя, 2, 13, 1, т.е. 10 человек, или кто-то кроме него, 2-го, 13-го или 1-го, тогда он знает 13-го и всех, кроме себя, 2 (2-й знает только 13-го и своего супруга), 13, 1, т.е. 10 человек. В первом случае набирается 12 "связей", а во втором — 11. Значит, 12-й может быть только супругом 2-го.
И т.д. до конца.
Получаются пары: 13-1, 12-2, 11-3, 10-4, 9-5, 8-6, 7-7.
Т.к. Вася опросил 13 человек, и все они знают разное количество людей, которое может быть от 1 до 13, Вася может быть только из пары 7-7, иначе двое из этой пары знали бы одинаковое количество людей. Значит, Вася и его супруга знают по 7 человек.
