マトロイド - Wikipedia
マトロイド（英: matroid）は、ある公理を満たす集合とそのべき集合の部分集合の組である。歴史的には、行列の一次独立・従属を一般化した概念であるが、多くの組合せ最適化問題をマトロイドあるいはより緩い独立性システムとコスト関数で定式化でき、特徴付けを行える等応用範囲は広い。特に組合せ最適化において、マトロイド上の最適化問題には単純な貪欲法によって多項式時間のアルゴリズムとは限らないものの最適解が得られることは非常に重要である。 定義[編集] E = {1, 2, 3} におけるそれぞれの例。左は(A1),(A2),(A3)を満たすからマトロイド。中央は(A1),(A2)を満たすから独立性システム。右は(A1),(A3)を満たすからグリードイド。 有限集合 E とその部分集合族 の組 (E, F) が[注 1] (A1) (A2) (A3) を満たすとき、マトロイドと呼ばれ、(A1) およ
ループ量子重力理論 - Wikipedia
ループ量子重力理論（ループりょうしじゅうりょくりろん）は、時空（時間と空間）にそれ以上の分割不可能な最小単位が存在することを記述する理論である。超弦理論と並び、重力の古典論である一般相対性理論を量子化した量子重力理論の候補である[1]。 同じく量子重力理論の候補である超弦理論は、時空は背景場として最初からそこに存在するものとして定義しており、理論自身のダイナミクスにより決定されているわけではない。それに対しループ量子重力理論は、一般相対論と同様に理論自身が時空そのものを決定している。(背景独立性) 理論の内容[編集] 時空は、本質的に連続で滑らかな値をとるものと考えられてきたが、この理論で時空は、結晶格子のように離散的な値をとるものと考えられている。このため、時空を連続的なものととらえたときに起きる短距離極限の発散が生じないという利点がある。一般相対性理論から要求される座標変換に対する形式
Tutte polynomial - Wikipedia
This article is about the Tutte polynomial of a graph. For the Tutte polynomial of a matroid, see Matroid. The polynomial is the Tutte polynomial of the bull graph. The red line shows the intersection with the plane , which is essentially equivalent to the chromatic polynomial. The Tutte polynomial, also called the dichromate or the Tutte–Whitney polynomial, is a graph polynomial. It is a polynomi
Cayley graph - Wikipedia
In mathematics, a Cayley graph, also known as a Cayley color graph, Cayley diagram, group diagram, or color group,[1] is a graph that encodes the abstract structure of a group. Its definition is suggested by Cayley's theorem (named after Arthur Cayley), and uses a specified set of generators for the group. It is a central tool in combinatorial and geometric group theory. The structure and symmetry
立方体グラフ - Wikipedia
ピーターセングラフは立方体グラフである。 完全2部グラフ は2部立方体グラフの一例である。 数学のグラフ理論の分野における立方体グラフ（りっぽうたいグラフ、英: cubic graph）とは、すべての頂点の次数が 3 であるようなグラフのことを言う。言い換えると、立方体グラフとは 3-正則グラフである。立方体グラフは 3価グラフとも呼ばれる。2部立方体グラフ（bicubic graph）とは、立方体グラフかつ2部グラフであるようなグラフのことを言う。 対称性[編集] 1932年、ロナルド・フォスター（英語版）は、フォスター調査（Foster census）の皮切りとして、立方体対称グラフの例の集計をはじめた[1]。設備グラフやピーターセングラフ、ヒーウッドグラフ、メビウス-カントールグラフ（英語版）、パップスグラフ（英語版）、デザルググラフ（英語版）、ナウルグラフ（英語版）、コクセターグラ
一筆書き - Wikipedia
六芒星の一筆書きの例。 一筆書き（ひとふでがき）とは、広い意味では「筆記具を平面から一度も離さず線図形を描く」ことである。狭い意味では、これに加えて「同じ線を二度なぞらない（点で交差するのはかまわない）」という条件が加わる。 以下は後者の狭い意味での一筆書きについて記す。 三角形「△」や四角形「□」は一筆書き可能だが、十字「+」は一筆書きできない。また、五芒星や白星「☆」、六芒星「✡」は一筆書き可能だが、アスタリスク「＊」は一筆書きができない。このように、一筆書きできる図形とできない図形がある。 「与えられた図形が一筆書き可能かどうか」という問題の例として、「ケーニヒスベルクの橋の問題」（独: Königsberger Brückenproblem）が知られている。なお、ケーニヒスベルクとは実際にあった場所の名前である。 ケーニヒスベルクの七つの橋問題[編集] ブレーゲル川と七つの橋を示し
ライデマイスター移動 - Wikipedia
ライデマイスター移動（-いどう、Reidemeister move）とは、位相幾何学の一分野である結び目理論において、結び目や絡み目の射影図に対して施す基本的な変形。ライデマイスター変形とも。名前の由来は数学者のクルト・ライデマイスター。 定義[編集] 結び目・絡み目の（正則な）射影図において、以下のような局所変形をそれぞれライデマイスター移動I・II・IIIという。文章で表現すると I - 絡み目の成分をねじってループをつくる、または外す II - 片方の成分をもう片方の成分の下に潜らせる、またはその逆の操作 III - 交点の上（下）を横切るように別の成分を滑らせる となる。 ライデマイスター移動 性質[編集] Type I' ライデマイスター移動Iを行うと、射影図の交点数やひねり数が1増減する。IIではひねり数は変化せず、交点数が2増減する。IIIの場合は、交点数もひねり数も変化しな
)
束 (束論) - Wikipedia
この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方） 出典検索?: "束" 束論 – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2022年3月） 数学における束（そく、英語: lattice）は、任意の二元集合が一意的な上限（最小上界、二元の結びとも呼ばれる）および下限（最大下界、二元の交わりとも呼ばれる）を持つ半順序集合である。それと同時に、ある種の公理的恒等式を満足する代数的構造としても定義できる。二つの定義が同値であることにより、束論は順序集合と普遍代数学の双方の領域に属することとなる。さらに、半束 (semilattice) の概念は束の概念を含み、さらにハイティング代数やブール代数の概念も含む。こ
複雑ネットワーク - Wikipedia
ウィキペディア周辺のWWWの構造 ヒトのタンパク質間相互作用の一部 BAモデルにより生成されたランダムネットワーク。各頂点の大きさが次数に対応している。Cytoscape上でRandomNetworksプラグインを使用し作成。 複雑ネットワーク（ふくざつネットワーク、complex networks）は、現実世界に存在する巨大で複雑なネットワークの性質について研究する学問である。 複雑ネットワークは、1998年に「ワッツ・ストロガッツモデル」という数学モデルが発表されたことを契機に、現実世界の様々な現象を説明する新たなパラダイムとして注目を集めている。多数の因子が相互に影響しあうことでシステム全体の性質が決まるという点において複雑系の一分野でもある。 概要[編集] 現実世界に存在するネットワークは多様であり、巨大で複雑な構造を有しているが、一定の共通する性質を見出すことができる。それらの性
List of graphs - Wikipedia
This partial list of graphs contains definitions of graphs and graph families. For collected definitions of graph theory terms that do not refer to individual graph types, such as vertex and path, see Glossary of graph theory. For links to existing articles about particular kinds of graphs, see Category:Graphs. Some of the finite structures considered in graph theory have names, sometimes inspired
ハッセ図 - Wikipedia
ハッセ図（ハッセず、英: Hasse diagram）は、数学における有限半順序集合を単純に図示する方法のひとつで、半順序の推移簡約（英語版）を描いたものである。具体的には有限半順序集合 (S, ≤) があるとき、S の個々の元を頂点とし、x < y で、かつ x < z < y となるような z が存在しない場合にのみ x から y に上向きの線（辺）を描く（ここで二項関係 < は全ての x について (x, x) という元を ≤ から除くことで得られる）。 この場合、「 y は x を被覆（英語版）する」または「 y は x の immediate successor（直接の後続）である」という[1]。さらに、各辺が両端の頂点以外を通らないように頂点を配置する必要がある。このような図（頂点にはラベルが付属するものとする）は半順序を一意に特定し、任意の有限な半順序では推移簡約が一意に定ま
ピーターセングラフ - Wikipedia
辺の交差が2のピーターセングラフ ピーターセングラフは単位距離グラフである。平面に各辺の長さが単位距離のグラフとして描ける。 ピーターセングラフは準ハミルトングラフである。頂点のどれか1つを削除すると、残ったグラフがハミルトングラフになる。また、この図のように描くと3回対称になるが、一番上の図などは5回対称である。 ピーターセングラフ（英: Petersen graph）またはペテルセングラフとは、10個の頂点と15個の辺からなる無向グラフである。グラフ理論の様々な問題の例、あるいは反例としてよく使われる。1898年、ジュリウス・ピーターセンが3色辺彩色できない最小のブリッジのない3-正則グラフとして考案した[1]。そのため、ピーターセングラフと呼ばれているが、実際には1886年に既に考案されていた[2]。 構成[編集] ピーターセングラフは の線グラフ（英語版）の補グラフである。また、
)
ブーケ (数学) - Wikipedia
四弁のブーケ 数学における（円の）ブーケ（bouquet; 花束）は円の集まり（無限個でもよい）を一点で貼り合わせて得られる位相空間である。円のブーケのことをバラ (rose) ともいう。ブーケは自由群に近しい関係をもち、代数的位相幾何学において重要である。 円を束ねたブーケ (bouquet of circles) の一般化として、円 S1 の代わりに任意次元の球面 Sn を束ねて得られるブーケを球面のブーケ (bouquet of spheres) という。 定義[編集] 「8の字」の基本群は a と b で生成される自由群である。 円のブーケは複数の円周の一点和（ウェッジ和）として得られる。つまり、円周 S1 の p-個の複写 S11, S12, ..., S1p とそれらのおのおのから選んだ一点 xi ∈ S1i からなる基点付き円周の集合 {(S1i, xi) | i = 1,
四色定理 - Wikipedia
4色に塗り分けられている（常にさらに外側の領域を想定することで、地図の外縁部は3色で塗り分け可能で、球面においても四色定理が成立することがわかる） 四色定理（よんしょくていり／ししょくていり、英: Four color theorem）とは、厳密ではないが日常的な直感で説明すると「平面上のいかなる地図も、隣接する領域が異なる色になるように塗り分けるには4色あれば十分だ」という定理である。 定理の正確な定式化[編集] グラフ理論的に言えば、この定理はループのない平面グラフに対して次のことを述べている。平面グラフに対して、その彩色数はである。 四色定理の直観的な記述 - 「平面を連続した領域に分割したとき、隣接する2つの領域が同じ色を持たないように、領域は最大でも4つの色を使って着色できる」 - を正しく解釈する必要がある。 これを「地図の塗り分け」とすると、例えば飛び地を所属地と常に同じ色に
グラフ理論 - Wikipedia
グラフ理論（グラフりろん、英: Graph theory）は、ノード（節点・頂点、点）の集合とエッジ（枝・辺、線）の集合で構成されるグラフに関する数学の理論である。 グラフ（データ構造）などの応用がある。 概要[編集] グラフによって、様々なものの関連を表すことができる。 6つの節点と7つの辺から成るグラフの一例 例えば、鉄道や路線バス等の路線図を考える際には、駅（節点）がどのように路線（辺）で結ばれているかが問題となる一方、線路が具体的にどのような曲線を描いているかは本質的な問題とならないことが多い。 したがって、路線図では駅間の距離や微妙な配置、路線の形状などがしばしば地理上の実際とは異なって描かれている。つまり、路線図の利用者にとっては、駅と駅の「つながり方」が主に重要な情報なのである。 このように、「つながり方」に着目して抽象化された「点とそれらをむすぶ線」の概念がグラフであり[1
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Isomer - Wikipedia)
Chirality (mathematics) - Wikipedia
Coxeter–Dynkin diagram - Wikipedia