情報処理学会 第78回全国大会講演要旨

魔方陣の集合Mから適当な集合への写像φ（分類写像）によって定義されるMの分割について，それぞれの分割された部分集合S_iはΣ_i|S_i|=|M|であるが，φのとり方によっては多くのS_iについて|S_i|=0とすることができる．|S_i|=0となるS_iが短い時間で判別できればMの数え上げを効率的に行うことができるようになる．我々はあるφについてバックトラックやZDDなどの方法を用いて，|S_i|の見積もりと，|S_i|=0の判定を行うアルゴリズムを模索している．