聖塔非研究所

摘要 從離析物/產物對計算可靠的、化學上正確的原子圖已被證明是化學資訊學中的一個難題,因為化學上正確的解

2025-03-05 · 已發表論文 · 更新 2026/03/18 下午02:03

摘要 從離析物/產物對計算可靠的、化學上正確的原子圖已被證明是化學資訊學中的一個難題,因為化學上正確的解決方案不一定是組合公式(例如最大公共子圖問題)的最佳解決方案。因此,在廣泛的基準研究中設計並比較了競爭模型。然而,由於產物和離析物之間的同構性,當給定離析物/產物對的兩個原子圖相同時,這並不是立即顯而易見的。我們在這裡形式化了原子圖的等價性,並證明原子圖的等價性又等價於標記輔…

本頁只刊出中文翻譯與中文說明;英文原文請見下方原文連結。

原文連結

論文資訊

  • 類型:已發表論文
  • 日期:2025-03-05

摘要

從離析物/產物對計算可靠的、化學上正確的原子圖已被證明是化學資訊學中的一個難題,因為化學上正確的解決方案不一定是組合公式(例如最大公共子圖問題)的最佳解決方案。因此,在廣泛的基準研究中設計並比較了競爭模型。然而,由於產物和離析物之間的同構性,當給定離析物/產物對的兩個原子圖相同時,這並不是立即顯而易見的。我們在這裡形式化了原子圖的等價性,並證明原子圖的等價性又等價於標記輔助圖的同構。特別是,我們證明藤田的想像過渡態可以用於此目的。數值實驗顯示實際可行。簡要討論了子圖匹配等價性、雙推出圖變換規則和多步驟反應機制的推廣。