Formalmente, vamos s ( U , Q ) = { V | V ∈ U e V ⊆ Q } onde U , Q e V representam todos conjuntos, e U , mais especificamente, representa um conjunto de conjuntos. Por uma questão de exemplo, U pode ser um conjunto dos (conjuntos de) ingredientes necessários para várias receitas em um livro de receitas com Q representando o conjunto de ingredientes que tenho V representando uma receita que eu poderia fazer com esses ingredientes. A consulta s ( U , Q) corresponde à pergunta "O que posso fazer com esses ingredientes?"
O que eu estou procurando é uma representação de dados que indexe U de modo a suportar consultas eficientes de s ( U , Q ), em que Q e todos os membros de U geralmente serão pequenos em comparação com a união de todos os membros de U . Além disso, gostaria de poder atualizar U com eficiência (por exemplo, adicionar ou remover uma receita).
Não posso deixar de pensar que esse problema deve ser bem compreendido, mas não consegui encontrar um nome ou referência para ele. Alguém sabe de uma estratégia para resolver isso com eficiência ou de um lugar onde eu possa ler mais sobre isso?
Tanto quanto pensamento sobre uma solução, um pensamento que tive foi para construir uma árvore de decisão para o conjunto U . Em cada nó da árvore, a pergunta "sua lista de ingredientes contém x ?" seria solicitado com x escolhido para maximizar o número de membros de U que são eliminados pela resposta. À medida que U é atualizado, essa árvore de decisão precisa ser reequilibrada para minimizar o número de perguntas necessárias para encontrar o resultado correto. Outro pensamento é representar U com algo como um 'octree' booleano n- dimensional (onde n é o número de ingredientes únicos).
Eu acredito que "Que receitas podem ser feitas com esses ingredientes?" pode ser respondido pegando o produto cartesiano das (conjuntos de ingredientes necessários para) as receitas do livro de receitas com o conjunto de ingredientes que você possui e filtrando os pares ordenados resultantes por pares nos quais os dois elementos são iguais, mas isso não é um solução eficiente, e o que estou perguntando é como otimizar esse tipo de operação; como alguém escreveria isso no SQL para que fosse eficiente e o que o SQL faz para permitir que isso seja eficiente?
Embora eu use a ilustração de um livro de receitas e um conjunto de ingredientes, prevejo que o número de 'receitas' e o número de 'ingredientes' serão muito grandes (até centenas de milhares cada), embora o número de ingredientes em uma dada receita e o número de ingredientes em um determinado conjunto de ingredientes será relativamente pequeno (provavelmente entre 10 e 50 para uma 'receita' típica e cerca de 100 para um 'conjunto de ingredientes' típico). Além disso, a operação mais comum será a consulta s ( U , Q ), portanto, deve ser a ideal. Isso também significa que um algoritmo de força bruta que exige a verificação de todas as receitas ou a operação de cada ingrediente seria indesejável e lento por si só. Com cache inteligente,