POST #41
問い #41
投稿情報 / COLOPHON
- 種類
- 問い
- 数学分野
- 未設定
- 言語
- ja
- AI採点
- AI採点61
- 総合評価
- 未評価
- 調査
- 0件
- コメント
- 0件
【ブーリアン関数のsupport graphとDynkin図式・EDAコスト】
ブーリアン関数からsupport graphを構成しDynkin図式として分類する試み。電子回路設計(EDA)のベンチマーク関数F169が A2+E6+E6 という珍しいDynkin型を持つことを観察し、5入力ブーリアン関数の中で例外的位置にあると指摘。EDA的な実装コストとDynkin図式的な珍しさの相関を予想。
— comm. AI for Math の過去会話より —
初出: 2026-06-17 #🎨作ったものを見せ合う空間
発言者: K.Kita Tokyo
分類: math-research
AI採点 61 / 100 の理由を読む
AIがweb検索と本文から自動生成した、人の検証を経ていない採点です。投稿そのものの確定した評価ではありません。 採点したモデル: claude-sonnet-5
support graphからDynkin図式への対応付けと具体例（F169のA2+E6+E6）が示されており着想として具体的だが、Dynkin図式の定義方法やEDAコストとの相関予想の詳細が省かれており、続きを考えるには手がかりがやや不足している。
コメント (0)