e/Minor (graph)

Information
has gloss	eng: In graph theory, a graph H is called a minor of the graph G if H is isomorphic to a graph that can be obtained by zero or more edge contractions on a subgraph of G. An edge contraction is an operation which removes an edge from a graph while simultaneously merging together the two vertices it used to connect. Equivalently, H is a minor of G if a graph isomorphic to H can be obtained from G by contracting some edges, deleting some edges, and deleting some isolated vertices. The order in which a sequence of such contractions and deletions is performed on G does not affect the resulting graph H.
lexicalization	eng: minor
instance of	c/Graph theory objects

Meaning
French
has gloss	fra: ] La notion de mineur dun graphe est un concept défini par Robertson et Seymour dans une série darticles en théorie des graphes.
lexicalization	fra: Mineur
Korean
has gloss	kor: 그래프 이론에서 어떤 그래프 G의 마이너(minor)란 G의 부분 그래프에서 여러 변을 축약해서 얻을 수 있는 그래프를 뜻한다. 달리 표현하자면, 그래프 G에서 몇몇 변과 꼭지점을 지우거나 변을 축약해서 얻어진 그래프가 마이너이다. 어떤 변을 축약한다는 말은 그 변에 접한 두 꼭지점을 하나의 꼭지점으로 합치고 그 변을 지우는 것을 뜻한다.
lexicalization	kor: 마이너