アダマール行列(全要素が で、となる)の一部分が? に置き換えられた行列が与えられるので、?を適切に埋める。 アダマール行列は簡単な構成法がある(Sylvester's constructionなど)のだが、行列式の値を変えないような変形、すなわち、行と行のswap, 列同士のswap、任意の行または列に-1を掛けるという操作を行っても、それもまたアダマール行列である。というので、無数の例を作ることができ、もともとの形を類推してそこから穴埋めを行う、というのは難しい アダマール行列の性質に#### 各行は直交するというのがあって、すなわち内積が0になる。これをつかってz3などで制約をつくって解…