推移閉包(すいいへいほう、英: transitive closure)は、集合 X における二項関係 R に対して、R を含む X 上の最小の推移関係 R+ を意味する。 たとえば X を人間(生死は問わない)の集合とし、「x は y の親である」という関係 xRy を考えると、その推移閉包は「x は y の先祖である」という関係 xR+y である。あるいは X を空港の集合とし、「x から y への直通便が存在する」という関係 xRy を考えると、その推移閉包は「x から y まで一回または複数の航空便で行くことができる」という関係 xR+y である。

Property Value
dbo:abstract
  • 推移閉包(すいいへいほう、英: transitive closure)は、集合 X における二項関係 R に対して、R を含む X 上の最小の推移関係 R+ を意味する。 たとえば X を人間(生死は問わない)の集合とし、「x は y の親である」という関係 xRy を考えると、その推移閉包は「x は y の先祖である」という関係 xR+y である。あるいは X を空港の集合とし、「x から y への直通便が存在する」という関係 xRy を考えると、その推移閉包は「x から y まで一回または複数の航空便で行くことができる」という関係 xR+y である。 (ja)
  • 推移閉包(すいいへいほう、英: transitive closure)は、集合 X における二項関係 R に対して、R を含む X 上の最小の推移関係 R+ を意味する。 たとえば X を人間(生死は問わない)の集合とし、「x は y の親である」という関係 xRy を考えると、その推移閉包は「x は y の先祖である」という関係 xR+y である。あるいは X を空港の集合とし、「x から y への直通便が存在する」という関係 xRy を考えると、その推移閉包は「x から y まで一回または複数の航空便で行くことができる」という関係 xR+y である。 (ja)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 1118247 (xsd:integer)
dbo:wikiPageLength
  • 2318 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 77061605 (xsd:integer)
dbo:wikiPageWikiLink
prop-ja:wikiPageUsesTemplate
dct:subject
rdfs:comment
  • 推移閉包(すいいへいほう、英: transitive closure)は、集合 X における二項関係 R に対して、R を含む X 上の最小の推移関係 R+ を意味する。 たとえば X を人間(生死は問わない)の集合とし、「x は y の親である」という関係 xRy を考えると、その推移閉包は「x は y の先祖である」という関係 xR+y である。あるいは X を空港の集合とし、「x から y への直通便が存在する」という関係 xRy を考えると、その推移閉包は「x から y まで一回または複数の航空便で行くことができる」という関係 xR+y である。 (ja)
  • 推移閉包(すいいへいほう、英: transitive closure)は、集合 X における二項関係 R に対して、R を含む X 上の最小の推移関係 R+ を意味する。 たとえば X を人間(生死は問わない)の集合とし、「x は y の親である」という関係 xRy を考えると、その推移閉包は「x は y の先祖である」という関係 xR+y である。あるいは X を空港の集合とし、「x から y への直通便が存在する」という関係 xRy を考えると、その推移閉包は「x から y まで一回または複数の航空便で行くことができる」という関係 xR+y である。 (ja)
rdfs:label
  • 推移閉包 (ja)
  • 推移閉包 (ja)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageWikiLink of
is owl:sameAs of
is foaf:primaryTopic of