存在性判定相关论文