Perguntas com a marcação «terminology»

Esta pergunta pode não ser técnica. Como um falante não-nativo e um AT para a classe de algoritmos, sempre me perguntei o que significa gadget em 'cláusula gadget' ou 'variável gadget'. O dicionário diz que um gadget é uma máquina ou um dispositivo, mas não tenho certeza do significado coloquial …

11 cc.complexity-theory  np-hardness  terminology  reductions 

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 

Todos sabemos que a complexidade mínima de um algoritmo de classificação baseado em comparação é Ω(nlogn)Ω(nlog⁡n)\Omega(n \log n) comparações. Estou tentando fazer uma classificação às cegas , ou seja, dado um número nnn saída de um circuito (com portas booleanas, aritméticas e de "comparação") que classifica uma lista de nnn …

9 cc.complexity-theory  terminology  sorting 

Gostaria de saber se o seguinte problema tem um nome ou quaisquer resultados relacionados a ele. Deixe G = ( V, W )G=(V,W)G = (V,w) ser um gráfico ponderada onde w ( u , v)W(você,v)w(u,v) indica o peso da aresta entre vocêvocêu e , e para todo , . O …

9 reference-request  graph-theory  approximation-algorithms  terminology  approximation-hardness 

Nas duas perguntas a seguir, Origens e aplicações da teoria A vs teoria B? e Aplicações sólidas da teoria das categorias no TCS? , muitas pessoas compartilharam seus conhecimentos e opiniões sobre a divisão dessas duas áreas no CS teórico. Eu sou um estudante de matemática com experiência em teoria …

8 terminology  ho.history-overview  research-practice 

Espero ter chegado ao lugar certo ... é (provavelmente) uma questão de Programação Lógica bastante direta. Se eu tiver duas cláusulas do formulário: B:-A C:-A eu posso transformá-las em: B,C:-A ( Editar: onde B,Cestá uma conjunção. Estou fazendo uma avaliação de baixo para cima e é útil para mim representar …

8 reference-request  pl.programming-languages  terminology  logic-programming