>>732
その位相空間というのを調べたら冪集合の冪集合のうち 全体と空集合を含み
各要素の和も積も所属していることらしいのでRustで作ってみました
fn 和集合(集合_x: usize, 集合_y: usize) -> usize { 集合_x | 集合_y }
fn 積集合(集合_x: usize, 集合_y: usize) -> usize { 集合_x & 集合_y }
fn 空集合(_size: usize) -> usize { 0 }
fn 全体集合(size: usize) -> usize { 冪(size) - 1 }
fn 冪(size: usize) -> usize { 1 << size }
fn 所属(集合: usize, 要素: usize) -> bool { 集合 & (1 << 要素) != 0 }
fn 一覧(size: usize) -> impl Iterator<Item=usize> { 0..size }
fn 要素一覧(集合: usize, size: usize) -> impl Iterator<Item=usize> {
一覧(size).filter(move |&要素| 所属(集合, 要素))
}
fn main() {
let input = ['a', 'b', 'c'];
let n = input.len();
一覧(冪(冪(n)))
.filter(|&s|
所属(s, 全体集合(n)) && 所属(s, 空集合(n)) &&
要素一覧(s, 冪(n)).all(|x|
要素一覧(s, 冪(n)).all(|y|
所属(s, 積集合(x, y)) && 所属(s, 和集合(x, y)))))
.for_each(|s| println!("{}", 要素一覧(s, 冪(n))
.format_with(",", |s, f| f(&format_args!("{{{}}}", 要素一覧(s, n)
.format_with(",", |index, f| f(&format_args!("{}", input[index]))))))));
}
これで{},{a,b,c} から {},{a},{b},{a,b},{c},{a,c},{b,c},{a,b,c} まで29個の位相が算出されました
入力を4つ ['a', 'b', 'c', 'd'] にすると355個の位相が算出されました
これで合っていますでしょうか?
探検
C vs C++ vs Rust Part.3
■ このスレッドは過去ログ倉庫に格納されています
743デフォルトの名無しさん
2022/03/24(木) 21:58:37.46ID:XlqSDiYA■ このスレッドは過去ログ倉庫に格納されています
ニュース
- 中国国営メディア「沖縄は日本ではない」… ★6 [BFU★]
- ナイツ塙が指摘のローソンコーヒーカップ、ロゴ「L」で誤解生みデザイン変更へ 在庫使い切る3か月後にリニューアル [muffin★]
- 政府、株式の配当など金融所得を高齢者の医療保険料や窓口負担に反映する方針を固めた [バイト歴50年★]
- 【速報】 高市政権、「日本版DOGE」を立ち上げ 米国で歳出削減をした「政府効率化省(DOGE)」になぞらえたもの [お断り★]
- バービー、 台湾有事の発言の波紋で「たまったもんじゃない」「高市さんに真意は聞きたい」「国民に向けて説明してほしい」 [muffin★]
- 20代の3割が「テレビ見ない」現実…そして静かに広がる「究極のテレビ離れ」とは [muffin★]
- 【悲報】中国→日本行きの航空チケット、高市有事の影響で50万人分がキャンセルされる [834922174]
- 【悲報】早速高市首相のせいで全国の民泊でキャンセルラッシュwwwwwwwwwwww 経営者も嘆き「こんな事は初めてだ…」😲 [871926377]
- んなっしょい🍬禁止🈲のお🏡
- 中国「高市が謝罪撤回しないとこれ全部なくなるけどどうする?」 [931948549]
- 高市早苗「……なんて言ってみたw」中国「なんだ、言ってみただけかw」👈これで全部元通りになるという事実 [782460143]
- 【悲報】ガラパゴス島国ジャップ、自分達の容姿が優れてると錯覚してしまう [383063292]
