我有一个巨大的大哈希表(大到我不能检查每一行)(在C++中使用Booo::unOrdEdjMax),其中的键是STD::BITSET,这些值是我有的一些结构。
假设我桌上有这个:

00010101 -> {"Hello"}
00100100 -> {"Good Bye"}
01111101 -> {"Whatever"}

如果我将地图查询为map[01111101]我希望它返回“whatever”。很好,这就是地图的作用。
但是,如果我查询map[00110101]我希望它返回“hello”,因为“00010101”(hello的键)是我查询的“00110101”的子集。我用比特来表示集合,我认为这是不言而喻的。
如果表中有多个条目,使得键是查询的一个子集,我希望它们都是。
我不知道有没有这样的东西。我在看二进制决策图,但我从来没有使用过它们,我不确定它们是否能做到这一点。
谢谢。
编辑:设置表达。
假设我有一组物体a,b,c,d,e,f,g
我有两个集合A,B,C和D,F。我将它们分别表示为1110000和0001010因此:1110000不是0001010(或viceversa)的子集,但1000100是1010101的子集。

最佳答案

基于哈希表的映射是错误的数据结构。
通过storing the bit strings in a trie(trie节点包含相应的字符串)可以在发现所有匹配项方面获得一些效率。
与链接示例中的尝试不同,本例中的每个节点都有0、1或2个子节点,标记为0和/或1。
现在,在您的案例中,查找moves以定制的方式遍历trie。对于搜索键中的每个1,您将同时搜索trie的相应0和1链接对于每个0,只搜索0分支你找到的节点就是你想要的。
搜索时间将与搜索的键值的总位字符串长度成比例,在最坏的情况下是树中的所有元素。
添加代码
这里有一个toy c实现供参考。

#include <stdio.h>
#include <stdlib.h>
#include <limits.h>

// Simple bit vectors of arbitrary length.
typedef struct {
  unsigned n_bits;
  unsigned *bits;
} BIT_VECTOR;

void init_bit_vector(BIT_VECTOR *v) {
  v->n_bits = 0;
  v->bits = NULL;
}

void setup_bit_vector(BIT_VECTOR *v, unsigned n_bits) {
  v->n_bits = n_bits;
  v->bits = calloc((n_bits + WORD_BIT - 1) / WORD_BIT, sizeof(unsigned));
}

void clear_bit_vector(BIT_VECTOR *v) {
  free(v->bits);
  v->n_bits = 0;
}

void set_bit_vector(BIT_VECTOR *v, unsigned *bits, unsigned n_bits) {
  unsigned n_words = (n_bits + WORD_BIT - 1) / WORD_BIT;
  for (int i = 0; i < n_words; i++) v->bits[i] = bits[i];
  v->n_bits = n_bits;
}

unsigned get_bit(BIT_VECTOR *v, int i) {
  unsigned mask = 1u << (i % WORD_BIT);
  return !!(v->bits[i / WORD_BIT] & mask);
}

// A trie map from bit vectors to strings.
typedef struct trie_s {
  struct trie_s *b[2];
  char *val;
} TRIE;

TRIE *make_trie(void) {
  TRIE *trie = malloc(sizeof *trie);
  trie->b[0] = trie->b[1] = NULL;
  trie->val = NULL;
  return trie;
}

// Add a key/value entry to the given trie map.
void put(TRIE *trie, BIT_VECTOR *key, char *val) {
  TRIE *p = trie;
  for (int i = 0; i < key->n_bits; ++i) {
    unsigned bit = get_bit(key, i);
    if (!p->b[bit]) p->b[bit] = make_trie();
    p = p->b[bit];
  }
  p->val = val;
}

// Recursive search that implements the subset membership check.
static void search(TRIE *trie, BIT_VECTOR *key, int i, char **buf, unsigned *n) {
  if (!trie) return;
  if (i == key->n_bits) {
    if (trie->val) buf[(*n)++] = trie->val;
    return;
  }
  unsigned bit = get_bit(key, i);
  // A standard trie search does this.
  search(trie->b[bit], key, i + 1, buf, n);
  // But here, add a search of the 0 branch if the key bit is 1.
  if (bit) search(trie->b[0], key, i + 1, buf, n);
}

// Get all entries with keys a subset of the search key.
unsigned get_all(TRIE *trie, BIT_VECTOR *key, char **buf) {
  int n = 0;
  search(trie, key, 0, buf, &n);
  return n;
}

typedef struct {
  unsigned bits;
  char *val;
} EXAMPLE_DATA;

int main(void) {
  TRIE *trie = make_trie();
  #define N (sizeof data / sizeof data[0])
  EXAMPLE_DATA data[] = {
    { 0b00010101, "Hello" },
    { 0b00100100, "Goodbye" },
    { 0b00101101, "Farewell" },
    { 0b01111101, "Whatever"},
  };
  BIT_VECTOR key[1];
  init_bit_vector(key);
  setup_bit_vector(key, 8);
  for (int i = 0; i < N; i++) {
    set_bit_vector(key, &data[i].bits, 8);
    put(trie, key, data[i].val);
  }
  unsigned search_val = 0b00110101;
  set_bit_vector(key, &search_val, 8);
  char *buf[N];
  unsigned n = get_all(trie, key, buf);
  printf("Found:\n");
  for (int i = 0; i < n; i++)
    printf(" %s", buf[i]);
  printf(".\n");
  clear_bit_vector(key);
  return 0;
}

关于algorithm - 类似于Map <bitset,object>的数据结构,可以检查位集的子集?,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/36190157/

10-13 07:24