Perguntas com a marcação «equivalence»

Q1 Quando podemos dizer que dois programas (escritos em alguma linguagem de programação como C ++) são diferentes? O primeiro extremo é dizer que dois programas são equivalentes se forem idênticos. O outro extremo é dizer que dois programas são equivalentes se eles computarem a mesma função (ou mostrarem o …

15 pl.programming-languages  semantics  equivalence 

Digamos que eu trabalho na teoria dos tipos de homotopia e meus únicos objetos de estudo são categorias convencionais. Equivalências aqui são dadas por functors e G : C ⟶ D que fornecem equivalências das categorias C ≃ D . Existem isomorfismos naturais α : n a t ( F …

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

Um gráfico colorido pode ser descrito como tupla (G,c)(G,c)(G,c) onde GGG é um gráfico c:V(G)→Nc:V(G)→Nc : V(G) \rightarrow \mathbb{N} é a coloração. Diz-se que dois gráficos coloridos (G,c)(G,c)(G,c) e (H,d)(H,d)(H,d) são isomórficos se existir um isomorfismo π:V(G)→V(H)π:V(G)→V(H)\pi : V(G) \rightarrow V(H) modo que a coloração seja obedecida, ou seja, c(v)=d(π(v))c(v)=d(π(v))c(v) …

9 terminology  graph-isomorphism  equivalence