English Dictionary

Ore's theorem

固有名詞

(graph theory) A theorem that considers the sum of the degrees of pairs of non-adjacent vertices: if every such pair has a sum that at least equals the total number of vertices in the graph, then the graph is Hamiltonian.

日本語の意味

グラフ理論において、隣接していない頂点の全ての組に対し、それらの頂点の次数（辺の数）の和がグラフ全体の頂点数以上であれば、そのグラフはハミルトン閉路（すべての頂点を一度ずつ通る閉路）を持つという定理

In our graph theory seminar, we used Ore's theorem to prove that the network contains a Hamiltonian cycle.

私たちのグラフ理論のセミナーでは、非隣接頂点の次数和がすべて頂点数以上であればそのグラフはハミルトン閉路を持つとする定理を用いて、そのネットワークにハミルトン閉路が存在することを示した。

意味（1）

(graph theory) A theorem that considers the sum of the degrees of pairs of non-adjacent vertices: if every such pair has a sum that at least equals the total number of vertices in the graph, then the graph is Hamiltonian.