Câu hỏi được gắn thẻ «equivalence»

Q1. Khi nào chúng ta có thể nói rằng hai chương trình (được viết bằng một số ngôn ngữ lập trình như C ++) là khác nhau? Cực đoan đầu tiên là nói rằng hai chương trình tương đương với nhau nếu chúng giống hệt nhau. Một thái cực khác …

15 pl.programming-languages  semantics  equivalence 

Nói rằng tôi làm việc trong lý thuyết loại đồng luân và các đối tượng nghiên cứu duy nhất của tôi là các thể loại thông thường. Sự tương đương ở đây được đưa ra bởi functor và cung cấp các loại tương đương . Tồn tại các đẳng cấu …

10 type-theory  ct.category-theory  dependent-type  equivalence  homotopy-type-theory 

Một đồ thị màu có thể được mô tả là tuple ( G , c )(G,c)(G,c) trong đó GGG là đồ thị và c : V( G ) → Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N} là màu. Hai đồ thị màu ( G , c )(G,c)(G,c) và ( H, d)(H,d)(H,d) được …

9 terminology  graph-isomorphism  equivalence