深度分析 面向 EFO_k 的 NS3:結合神經評分與預算化符號搜尋的可擴展聯合排序 知識圖譜經常不完整,對多個自由變數的存在性一階查詢(EFO_k)要求對元組進行聯合排序,卻因笛卡兒候選空間指數成長而難以擴展。