Perguntas com a marcação «sets»

Edição: Agora eu fiz uma pergunta semelhante sobre a diferença entre categorias e conjuntos. Toda vez que leio sobre teoria dos tipos (que reconhecidamente é bastante informal), não consigo entender realmente como ela difere da teoria dos conjuntos, concretamente . Entendo que existe uma diferença conceitual entre dizer "x pertence …

33 type-theory  sets 

Minha mãe está fazendo um curso on-line para ser uma espécie de bibliotecária; neste curso, eles abrangem pesquisas booleanas, para que possam pesquisar bancos de dados de maneira eficiente; no entanto, ela tem uma pergunta que soa algo como isto: A pesquisa "x OR y" resultará em 105 000 ocorrências, …

29 sets  counting 

O título indica a pergunta. Temos como entradas uma lista de elementos que podemos comparar (determinar qual é o melhor ). Nenhum elemento pode ser igual. Pontos chave: A comparação não é transitiva (pense em uma tesoura de papel de pedra): isso pode ser verdade: A> B, B> C, C> …

21 algorithms  time-complexity  sets  transitivity 

O refinamento de partição é uma técnica na qual você começa com um conjunto finito de objetos e divide progressivamente o conjunto. Alguns problemas, como a minimização do DFA, podem ser resolvidos usando o refinamento de partição com bastante eficiência. Não conheço outros problemas que geralmente são resolvidos usando o …

20 algorithms  reference-request  data-structures  partitions  sets 

Existe alguma estrutura de dados que mantenha uma coleção de conjunto (de conjunto de terreno finito) suportando as seguintes operações? Algum tempo de execução sublinear será apreciado? Inicie um conjunto vazio. Adicione um elemento a um conjunto. Com dois conjuntos, relate se eles se cruzam.

19 data-structures  sets 

Dado um conjunto de conjuntos, eu gostaria de encontrar um conjunto M tal que cada conjunto S em S contém pelo menos um elemento de M . Eu também gostaria de MSS\mathbf{S}MMMSSSSS\mathbf{S}MMMMMM contivesse o mínimo possível de elementos enquanto ainda atendesse a esse critério, embora possa existir mais de um …

15 algorithms  optimization  sets 

Eu tenho um problema algorítmico. Dada uma matriz (ou um conjunto)TTTnnnSSSTTTa∈Sa∈Sa\in Sa⩾|S|a⩾|S|a\geqslant |S| Por exemplo: Se = [1, 3, 4, 1, 3, 6], então S pode ser [3, 3, 6] ou [3, 4, 6] ou [4, 3, 6].TTTSSS Em TTT = [7, 5, 1, 1, 7, 4], então SSS é …

14 algorithms  optimization  sets 

Eu tenho dois grandes conjuntos de números inteiros e . Cada conjunto possui cerca de um milhão de entradas e cada entrada é um número inteiro positivo com no máximo 10 dígitos. BUMAAABBB Qual é o melhor algoritmo para calcular e ? Em outras palavras, como posso calcular com eficiência …

14 algorithms  data-structures  sets 

Digamos que temos 10 pessoas, cada uma com uma lista de livros favoritos. Para uma determinada pessoa X, gostaria de encontrar um subconjunto especial dos livros de X gostado apenas de X, ou seja, não há outra pessoa que goste de todos os livros no subconjunto especial de X. Penso …

11 algorithms  sets 

Nesta pergunta, perguntei qual a diferença entre conjunto e tipo . Essas respostas foram realmente esclarecedoras (por exemplo, @AndrejBauer), portanto, na minha sede de conhecimento, me submeto à tentação de perguntar o mesmo sobre categorias: Toda vez que leio sobre a teoria das categorias (que reconhecidamente é bastante informal), não …

11 sets  category-theory 

Existem estruturas de dados eficientes para representar partições definidas. Essas estruturas de dados têm boas complexidades de tempo para operações como Union e Find, mas não são particularmente eficientes em termos de espaço. O que é uma maneira eficiente de espaço para representar uma partição de um conjunto? Aqui está …

11 data-structures  combinatorics  space-complexity  sets  partitions 

Eu preciso saber em que classe de CFL está fechada, ou seja, qual conjunto é o complemento de CFL. Eu sei que o CFL não está fechado no complemento e sei que P está fechado no complemento. Como CFL PI pode dizer que o complemento de CFL está incluído em …

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

Estou procurando a implementação do tipo de dados definido. Ou seja, temos que mantenha um subconjunto dinâmico SSS (de tamanho nnn ) do universo U={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\} de tamanho uuu com operações insert(x)(adicione um elemento xa SSS ) e find(x)(verifica se o …

9 data-structures  efficiency  space-complexity  sets  dictionaries 

Recentemente, conversei com um amigo sobre um site que propunha desafios regex, combinando principalmente um grupo de palavras com uma propriedade especial. Ele estava procurando por um regex que corresponda a cadeias de caracteres como ||||||||onde o número de |é primo. Eu imediatamente disse a ele que nunca funcionaria, porque …

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 

Segundo a Wikipedia, o problema do conjunto independente é um caso especial do problema de embalagem do conjunto . Mas, parece-me que esses problemas são equivalentes. O problema de pesquisa do Conjunto Independente é: dado um gráficoG(V,E)G(V,E)G(V,E) e um inteiro nnn, encontrar nnn vértices não dois dos quais são adjacentes. …

9 algorithms  graphs  sets  packing