頂点が12個のランダムグラフ