>MQ問題が持つ数理的特性を、多変数
>多項式の集合に対して定義できる一変
>数の級数であり、その集合の代数構造
>の情報を持つ「ヒルベルト級数」によ
>り解明し、計算する多項式の数を最小
>化するアルゴリズムの構築が行われた。
>その結果、F4が生成する行列の中から
>計算に本質的な領域のみを取り出した
>小さな行列を計算することで高速化に
>成功した

誰か上の文章を、heyzoとカリビアンとパコパコママ
とFC2の関係に例えて解説頼む