그래프 대수

Graph algebra

수학에서, 특히 보편대수와 그래프 이론의 분야에서, 그래프 대수학지시된 그래프대수 구조를 주는 방법이다.McNulty와 Salon에 의해 도입되었으며,[1] 그 이후 유니버설 대수학 분야에서 많은 활용을 보았다.

정의

D = (V, E)를 지시된 그래프로 하고 0V에 없는 원소로 한다.D와 연관된 그래프 대수에는 기본 집합 이 있으며 규칙으로 정의된 곱셈이 장착되어 있다.

  • xy = 인 경우 x ( , )
  • xy = 인 경우, {} x, 및 (x , ) E

적용들

이 개념은 보편대수학에서 그래프 이론의 방법들과 이산수학과 컴퓨터 과학의 여러 다른 방향들을 사용하는 것을 가능하게 했다.예를 들어, 그래프 알헤브라는 이중성,[2] 등가 이론,[3] 편평성,[4] 그룹형 고리,[5] 위상,[6] 품종,[7] 유한 상태 오토마타,[8] 유한 상태 머신,[9] 나무 언어 및 나무 오토마타 [10]등과 관련된 구성에서 사용되어 왔다.

참고 항목

인용구

  1. ^ McNulty & Salon 1983, 페이지 206–231.
  2. ^ 데이비 외 2000, 페이지 145–145.
  3. ^ Pöschel 1989, 페이지 273–282.
  4. ^ 델리치 2001, 페이지 453-469.
  5. ^ Lee 1991, 페이지 117–121.
  6. ^ Lee 1988, 페이지 147-156.
  7. ^ Oates-Williams 1984, 페이지 175–177.
  8. ^ 켈라레프, 밀러 & 소크라토바 2005, 페이지 46–54.
  9. ^ 켈라레프 & 속라토바 2003, 페이지 31-43.
  10. ^ 켈라레프 & 속라토바 2001, 페이지 305–311.

인용된 작품

  • Davey, Brian A.; Idziak, Pawel M.; Lampe, William A.; McNulty, George F. (2000). "Dualizability and graph algebras". Discrete Mathematics. 214 (1): 145–172. doi:10.1016/S0012-365X(99)00225-3. ISSN 0012-365X. MR 1743633.
  • Delić, Dejan (2001). "Finite bases for flat graph algebras". Journal of Algebra. 246 (1): 453–469. doi:10.1006/jabr.2001.8947. ISSN 0021-8693. MR 1872631.
  • Kelarev, A.V.; Miller, M.; Sokratova, O.V. (2005). "Languages recognized by two-sided automata of graphs". Proc. Estonian Akademy of Science. 54 (1): 46–54. ISSN 1736-6046. MR 2126358.
  • Kelarev, A.V.; Sokratova, O.V. (2001). "Directed graphs and syntactic algebras of tree languages". J. Automata, Languages & Combinatorics. 6 (3): 305–311. ISSN 1430-189X. MR 1879773.
  • Kelarev, A.V.; Sokratova, O.V. (2003). "On congruences of automata defined by directed graphs" (PDF). Theoretical Computer Science. 301 (1–3): 31–43. doi:10.1016/S0304-3975(02)00544-3. ISSN 0304-3975. MR 1975219.
  • Lee, S.-M. (1988). "Graph algebras which admit only discrete topologies". Congr. Numer. 64: 147–156. ISSN 1736-6046. MR 0988675.
  • Lee, S.-M. (1991). "Simple graph algebras and simple rings". Southeast Asian Bull. Math. 15 (2): 117–121. ISSN 0129-2021. MR 1145431.
  • McNulty, George F.; Shallon, Caroline R. (1983). "Inherently nonfinitely based finite algebras". In Freese, Ralph S.; Garcia, Octavio C. (eds.). Universal algebra and lattice theory (Puebla, 1982). Lecture Notes in Math. Vol. 1004. Berlin, New York City: Springer-Verlag. pp. 206–231. doi:10.1007/BFb0063439. hdl:10338.dmlcz/102157. ISBN 978-354012329-3. MR 0716184 – via Internet Archive.
  • Oates-Williams, Sheila (1984). "On the variety generated by Murskiĭ's algebra". Algebra Universalis. 18 (2): 175–177. doi:10.1007/BF01198526. ISSN 0002-5240. MR 0743465. S2CID 121598599.
  • Pöschel, R. (1989). "The equational logic for graph algebras". Z. Math. Logik Grundlag. Math. 35 (3): 273–282. doi:10.1002/malq.19890350311. MR 1000970.

추가 읽기