document.getElementById("med-ftitle").innerHTML=`通过希尔伯特零点定理为组合问题计算不可行性证书
`;