The complexity of the certification of properties of Stable Marriage

We give some lower bounds on the certificate complexity of some problems concerning stable marriage, answering a question of Gusfield and Irving. Key words: stable marriage, combinatorial problems, computational complexity, certificate complexity