Preguntas etiquetadas con terminology

Esta pregunta puede no ser técnica. Como hablante no nativo y TA para la clase de algoritmo, siempre me pregunté qué significa gadget en 'gadget de cláusula' o 'gadget variable'. El diccionario dice que un gadget es una máquina o un dispositivo, pero no estoy seguro de qué significado coloquial …

11 cc.complexity-theory  np-hardness  terminology  reductions 

Un gráfico coloreado se puede describir como tupla donde es un gráfico y es el color. Se dice que dos gráficos coloreados y son isomórficos si existe un isomorfismo modo que se obedece el color, es decir, para todos .G c : V ( G ) → N ( G …

9 terminology  graph-isomorphism  equivalence 

Todos sabemos que la complejidad mínima de un algoritmo de clasificación basado en la comparación es la comparación de . Estoy tratando de hacer una clasificación a ciegas , es decir, dado un número salida de un circuito (con puertas booleanas, aritméticas y de "comparación") que ordena una lista de …

9 cc.complexity-theory  terminology  sorting 

Me pregunto si el siguiente problema tiene un nombre o algún resultado relacionado con él. Sea un gráfico ponderado donde denota el peso del borde entre y , y para todos , . El problema es encontrar un subconjunto de vértices que maximice la suma de los pesos de los …

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

En las siguientes dos preguntas ¿ Orígenes y aplicaciones de la teoría A contra la teoría B? y aplicaciones sólidas de teoría de categorías en TCS? , muchas personas compartieron sus conocimientos y opiniones sobre la división de esas dos áreas en CS teórica. Soy un estudiante de matemáticas con …

8 terminology  ho.history-overview  research-practice 

Espero haber llegado al lugar correcto ... es (probablemente) una pregunta de programación lógica bastante sencilla. Si tengo dos cláusulas de la forma: B:-A C:-A puedo transformarlas en: B,C:-A ( Editar: dónde B,Ces una conjunción. Estoy haciendo una evaluación de abajo hacia arriba y me es útil representar múltiples cláusulas …

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