[4K1-OS-16a] AI における離散構造処理と制約充足(1)

[4K1-OS-16a-02] SATソルバを参考にした行列のフルランク性の判定手法

〇町出 智也^1,2、薗部 知大^1,2 (1. 国立情報学研究所　、2. JST ERATO 河原林巨大グラフプロジェクト)

キーワード：充足可能性問題、行列のランク

SATソルバの要素技術を参考にした、２元体上の行列のフルランク性を判定する新たな手法を提案します。ある特殊な行列においては、ガウスの消去法よりも計算速度が上回る比較実験も紹介します。