昨天集训，某队爷告诉我：

• G是平面图<-->G缩掉2度点后不含K5和K33

然而有大佬提出反例Peterson图。@JohnVictor

经肉眼观察发现此反例好像确实成立，所以是否还有其它反例？真正的平面图判定方法又是什么？

（平面嵌入真的是不可写算法吗？）