可変個の集合から、直積の集合を作る(その4)
見当違いなこと言ってた。
無限リストを有限リストに小分けしていくというアプローチで解決してみようと思っているところ。
可変個の集合から、直積の集合を作る(その3) - チキン煮込みチーズミックス4辛
偶数の集合と奇数の集合の直積を考えるとき、例えばとの要素を3個ずつに区切った部分集合を作って、ととしといて、
- との直積:(0,1),(0,3)(0,5),(2,1),...
- との直積:(0,7),(0,9),(0,11),(2,7),...
- との直積:(0,13),(0,15),(0,17),(2,13),...
- 以下略
とかしてみようとか思ってたら、結局とのペアには永遠に来ないわけですなぁ。全く解決になってない!ってことで数学は良く分からないけど、ない頭で別の解決策を考えてみた。
集合とから生成される直積の集合を、行列みたいに書くと
みたいにかける。ただし、、、...、つまり。
1行(または1列)全て列挙した後に次の行(または列)を処理していては永遠に次の行(または列)へ移れないのが困る。ということで、
→→→→→→→→→→→→→→→→...って列挙すれば良いような気がする。こんな感じ。
こういう動きをするイテレータを作ってあげればいいのかな。でも無限リストが3つ以上の場合に一般化するのは難しそうだなぁ。
頭の体操になるなー。