Competing provers yield improved Karp–Lipton collapse results

Jin-Yi Cai، نويسنده , , Venkatesan T. Chakaravarthy، نويسنده , , Lane A. Hemaspaandra، نويسنده , , Mitsunori Ogihara، نويسنده ,

روزنامه با شماره پیاپی سال 2005

23

1

23

structural complexity , Competingprovers , Nonuniform complexity , Symmetric alternation , Karp–Liptontheorem , Yap’s theorem , lowness , K?mper–AFK theorem

Information and Computation

2005

Information and Computation

262278