变分包含组论文