Preguntas etiquetadas con sets

EDITAR: ahora he hecho una pregunta similar sobre la diferencia entre categorías y conjuntos. Cada vez que leo acerca de la teoría de tipos (que ciertamente es bastante informal), no puedo entender realmente en qué se diferencia de la teoría de conjuntos, concretamente . Entiendo que hay una diferencia conceptual …

33 type-theory  sets 

Mi madre está tomando un curso en línea para ser una especie de bibliotecaria, en este curso cubren búsquedas booleanas, por lo que pueden buscar bases de datos de manera eficiente, sin embargo, recibió una pregunta que suena así: La búsqueda "x OR y" dará como resultado 105 000 resultados, …

29 sets  counting 

El título establece la pregunta. Tenemos como entradas una lista de elementos que podemos comparar (determinar cuál es el mejor ). Ningún elemento puede ser igual. Puntos clave: La comparación no es transitiva (piense en piedra, papel o tijera): esto puede ser cierto: A> B, B> C, C> A (tenga …

21 algorithms  time-complexity  sets  transitivity 

¿Existe alguna estructura de datos que mantenga una colección de conjuntos (de conjuntos finitos) que respalde las siguientes operaciones? ¿Se apreciará algún tiempo de ejecución sublineal? Inicia un conjunto vacío. Agregar un elemento a un conjunto. Dado dos conjuntos, informe si se cruzan.

21 data-structures  sets 

El refinamiento de partición es una técnica en la que comienza con un conjunto finito de objetos y divide progresivamente el conjunto. Algunos problemas, como la minimización de DFA, se pueden resolver utilizando el refinamiento de partición de manera bastante eficiente. No conozco otros problemas que generalmente se resuelven utilizando …

20 algorithms  reference-request  data-structures  partitions  sets 

Dado un conjunto de conjuntos, me gustaría encontrar un conjunto de tal manera que cada conjunto en contiene al menos un elemento de . También me gustaría que contenga la menor cantidad posible de elementos sin dejar de cumplir este criterio, aunque puede existir más de una más pequeña con …

15 algorithms  optimization  sets 

Tengo un problema algorítmico TTTnnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| Por ejemplo: Si = [1, 3, 4, 1, 3, 6], entonces puede ser [3, 3, 6] o [3, 4, 6] o [4, 3, 6].STTTSSS En = [7, 5, 1, 1, 7, 4], entonces es [7, 5, 7, 4].STTTSSS He intentado esta función recursiva. …

14 algorithms  optimization  sets 

Tengo dos grandes conjuntos de enteros y . Cada conjunto tiene aproximadamente un millón de entradas, y cada entrada es un entero positivo que tiene como máximo 10 dígitos de largo. BAAABBB ¿Cuál es el mejor algoritmo para calcular y ? En otras palabras, ¿cómo puedo calcular eficientemente la lista …

14 algorithms  data-structures  sets 

Digamos que tenemos 10 personas, cada una con una lista de libros favoritos. Para una persona determinada, X, me gustaría encontrar un subconjunto especial de libros de X que le guste solo a X, es decir, no hay otra persona a la que le gusten todos los libros del subconjunto …

11 algorithms  sets 

En esta pregunta, pregunté cuál es la diferencia entre set y type . Estas respuestas han sido realmente esclarecedoras (por ejemplo, @AndrejBauer), por lo que, en mi sed de conocimiento, me someto a la tentación de preguntar lo mismo sobre las categorías: Cada vez que leo sobre la teoría de …

11 sets  category-theory 

Existen estructuras de datos eficientes para representar particiones establecidas. Estas estructuras de datos tienen buenas complejidades de tiempo para operaciones como Union y Find, pero no son particularmente eficientes en cuanto al espacio. ¿Cuál es una forma de espacio eficiente para representar una partición de un conjunto? Aquí hay un …

11 data-structures  combinatorics  space-complexity  sets  partitions 

Necesito saber bajo qué clase de CFL está cerrada, es decir, qué conjunto es complemento de CFL. Sé que CFL no está cerrado bajo complemento, y sé que P está cerrado bajo complemento. Dado que CFL PI puede decir que el complemento de CFL está incluido en P (¿verdad?). Todavía …

11 complexity-theory  formal-languages  context-free  closure-properties  sets 

Estoy buscando la implementación del tipo de datos establecido. Es decir, tenemos que mantener un subconjunto dinámico (de tamaño ) del universo de tamaño u connSSSnortennuU= { 0 , 1 , 2 , 3 , ... , u - 1 }U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – …

9 data-structures  efficiency  space-complexity  sets  dictionaries 

Recientemente hablé con un amigo sobre un sitio web que propuso desafíos de expresiones regulares, principalmente haciendo coincidir un grupo de palabras con una propiedad especial. Estaba buscando una expresión regular que coincida con cadenas como ||||||||donde el número |es primo. Inmediatamente le dije que eso nunca funcionaría porque si …

9 formal-languages  machine-models  logic  boolean-algebra  xor  cryptography  algorithms  machine-learning  algorithms  paging  virtual-memory  programming-languages  object-oriented  algorithms  search-algorithms  strings  binary-search  formal-grammars  context-free  algorithms  algorithms  correctness-proof  greedy-algorithms  permutations  logic  first-order-logic  logic-programming  algorithms  complexity-theory  computability  programming-languages  complexity-theory  complexity-classes  quantum-computing  reductions  formal-languages  programming-languages  semantics  operational-semantics  small-step-semantics  sets  first-order-logic  computer-networks  communication-protocols 

Según Wikipedia, el problema del conjunto independiente es un caso especial del problema del conjunto de conjuntos . Pero, me parece que estos problemas son equivalentes. El problema de la búsqueda de conjunto independiente es: dado un gráfico y un número entero , encuentre vértices, ninguno de los cuales es …

9 algorithms  graphs  sets  packing