C++ 在字符串范围列表中搜索字符串

C++ 在字符串范围列表中搜索字符串,c++,string,algorithm,C++,String,Algorithm,例如,我有一个词典范围列表 [a,an][an,bb][bb,d][c,h) 给定一个字符串,比如说apple,我需要找到它所属的范围。在这种情况下,它位于第二个范围。如果该字符串可能属于多个范围,则需要返回第一个范围。例如:cat应返回range3,而不是range4 蛮力方法是按顺序遍历列表并检查字符串是否适合。 更好的方法是首先解决重叠,对范围进行排序并进行二进制搜索。 对于进一步优化的算法有什么建议?也欢迎C++的实现技巧。这种逻辑发生在关键的执行路径上,并且必须是快速的。 更新: 是的

例如,我有一个词典范围列表
[a,an][an,bb][bb,d][c,h)
给定一个字符串,比如说
apple
,我需要找到它所属的范围。在这种情况下,它位于第二个范围。如果该字符串可能属于多个范围,则需要返回第一个范围。例如:
cat
应返回range3,而不是range4

蛮力方法是按顺序遍历列表并检查字符串是否适合。 更好的方法是首先解决重叠,对范围进行排序并进行二进制搜索。 对于进一步优化的算法有什么建议?也欢迎C++的实现技巧。这种逻辑发生在关键的执行路径上,并且必须是快速的。 更新: 是的,范围内可能存在间隙。
是的,二进制搜索可以使其
O(log(n))
。有没有什么方法可以让我想出一个散列,让它变得更好?散列会是什么样子?我们可以假设所有字符串和范围中都只有小写字符。

我想到了一个解决方案,可能是你可以对单词apple进行排序,并识别a-z顺序中最后一个字符。然后检查一下这个字符在你的范围内的字符。考虑更多…

对每个范围的开头进行某种索引,也许是一个二叉树,可能是一个好主意。不确定是否需要索引到每个范围的结尾,除非可能存在间隙。

以下是你应该做的:


首先按照字典顺序对范围的开头进行排序。然后你应该对它们进行以下预处理-对于每个范围,使它的开头比前一个范围的开头和结尾大(如果这使当前范围为空,只需忽略它)。这样做是因为如果一个单词在前一个范围的末尾之前,那么它将属于前一个范围的某些部分,并且永远不会在当前范围中进行分类。经过此预处理后,所有范围都是不重叠的,因此您搜索的每个单词将最多属于其中一个范围。因此,您需要做的只是执行二进制搜索搜索得到的预处理范围,其单位为O(对数(n))复杂度。我怀疑你能为这个问题获得更好的复杂度。

如果你有空闲的内存并且限制为小写,你可以构建一个多路树。顶部节点有26个指针数组。如果没有以该字符开头的范围,指针为空。如果所有以该字符开头的单词都落在r中,指针就指向一个范围ange,如果范围在以下字符上拆分,则指向另一个节点。(给定[aa ap],[ar bl];“a”条目将指向另一个节点,其中条目“a”到“p”指向范围1,条目“q”为null,“r”到“z”指向范围2。)


这应该是O(max(range_specifier))。

您可以通过“网格化”来实现这一点

使用一个数组,其中26个条目对应于第一个字母。每个箱子都包含一个与之非空相交的范围列表。如

'a' -> [a,an) [an,bb), 'b' -> [an,bb) [bb,d), 'c' -> [bb,d) [c,h) ...
你很容易把这个想法概括为几个字母的前缀

'aaa' -> [a,an), 'aab' -> [a,an), 'aac' -> [a,an) ...
这可以大大缩短要尝试的范围列表,尤其是在重叠很少的情况下,以牺牲存储和预处理时间为代价

一个特殊的约定可以用来表示箱子是完全覆盖的


我想,愉快的分布可能会导致O(1)。

如果您的范围集可以用trie表示,我不会感到惊讶(http://en.wikipedia.org/wiki/Trie)。一旦填充了trie,查询时间不应超过最长范围界限的长度,也不应超过查询字符串的长度

就查询时间而言,这是最优的(事实上,在您的计算模型中是O(1)。

我的方法是

  • 范围有两个极限(下限和上限)
  • 每个范围将空间划分为三个部分(下面、里面、上面)
  • 每个限制将空间分成两部分(低于、高于或等于)
因此,该方法可以是:

  • 给范围编号
  • 将范围分解为两个极限
  • 将限制放在一棵树中,节点包含两个列表,其中包含引用它们的范围(一个列表用于将此限制用作下限的节点,一个列表用于上限)
    • 这些列表可以是位图,因为范围已编号
  • 查找字符串
    • 你走在树上,每次你走下来,你都会跨过一个极限,了解你的右/左极限,以及你的左/右/内极限
    • 您需要两个额外的列表(范围编号)来执行此遍历
    • 这些列表可以是位图
    • 每次跨越边界时,从一个列表中添加范围编号,然后从另一个列表中删除
  • 一旦进入一个范围(x>=下限&&x<上限;当然,这些限制对应于相同的范围),algorihtm就会完成。
    • (假设这实际上是数字最低的范围:第一个匹配)
    • 如果两个列表共享一个或多个成员,则可以检测到这一点
    • 我们想要编号最低的重叠成员
由于该方法是一种树搜索,因此具有O(log(N))复杂度

更新:再想想,位图不是存储使用列表或结果的好方法。一个链接列表(实际上是两个)更好。代码是300行。我应该在这里发布吗

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

#define COUNTOF(a) (sizeof a / sizeof a[0])
#define WANT_DUPLICATES 0

struct range {
                /* separate linked lists for {lo,hi}) 
                ** for limits that this range participates in. */
        struct range *next_lo;
        struct range *next_hi;
        unsigned num;
        char *str_lo, *str_hi;
        } ranges[] =
{{NULL,NULL,0, "a","an"}, {NULL,NULL,1, "an", "bb"}
,{NULL,NULL,2, "bb", "d"}, {NULL,NULL,3, "c", "h"}
,{NULL,NULL,4, "bb", "c"}, {NULL,NULL,5, "c", "d"}
};
#define NRANGE COUNTOF(ranges)

void add_range(struct range *pp);
void list_dmp(FILE *fp, int isupper, struct range *bp);

struct treetwo {
        struct treetwo *prev;
        struct treetwo *next;
        char *str;
        struct range *list_lo; /* ranges that use str as lower limit */
        struct range *list_hi; /* ranges that use str as upper limit */
        };

struct treetwo *root = NULL;
struct treetwo ** find_hnd(struct treetwo **tpp, char *str);
void tree_dmp(FILE *fp, struct treetwo *tp, char *msg, unsigned indent);

struct result {
        unsigned size;
        unsigned used;
        struct {
                unsigned num;
                unsigned mask;
                } *entries;
        };
#define MASK_BELOW_LO 1
#define MASK_ABOVE_LO 2
#define MASK_BELOW_HI 4
#define MASK_ABOVE_HI 8

int result_resize(struct result *res, unsigned newsize);
void init_structures(void);
struct result *find_matches (char *str);
unsigned update_state(struct result *rp, struct treetwo *tp, int isabove);

int main (void)
{
char buff[100];
struct result *res;
size_t pos;
unsigned idx;
static char *legend[4] = { "unknown", "below", "above",  "impossible"};

init_structures();
tree_dmp(stderr, root, "Root", 0);

while (fgets (buff, sizeof buff, stdin) ) {
        pos=strcspn(buff, "\r\n");
        buff[pos] = 0;
        res = find_matches (buff);
        for (idx=0; idx < res->used; idx++) {
                unsigned num = res->entries[idx].num;
                unsigned mask = res->entries[idx].mask;
                fprintf(stdout, "[%u]Range%u %x: '%s' %s '%s' and '%s' %s '%s'\n"
                        , idx, num, mask
                        , buff, legend[mask & 3], ranges[num].str_lo
                        , buff, legend[(mask>>2) & 3], ranges[num].str_hi
                        );
                }
        }

return 0;
}

unsigned update_state(struct result *rp, struct treetwo *tp, int isabove)
{
struct range *p;
unsigned mask_lo, mask_hi;
unsigned hitcnt,idx;
/* State: (lower limit)
** 0 : unknown
** MASK_BELOW_LO: below limit
** MASK_ABOVE_LO: above limit
** 3: impossible
** State: (upper limit)
** 0 : unknown
** MASK_BELOW_HI: below limit
** MASK_ABOVE_HI: above limit
** c: impossible
** Combined states:
** required state 2|4 := 6
** 5: unreachable
** a: unreachable
** 9: impossible
** f: impossible
*/

if (!tp) return 0;
hitcnt=0;
mask_lo = (isabove>=0) ? MASK_ABOVE_LO : MASK_BELOW_LO;
mask_hi = (isabove>=0) ? MASK_ABOVE_HI : MASK_BELOW_HI;

fprintf(stderr , "Update_state(start{%s}, isabove=%d, mask=%x,%x)\n"
        , tp->str , isabove, mask_lo, mask_hi);
fprintf(stderr , "Update_state(Lo=%s)=", tp->str);
list_dmp(stderr , 0, tp->list_lo);
idx=0;
for (p = tp->list_lo; p ; p = p->next_lo) {
        unsigned num = p->num;
        fprintf(stderr , "Update_state:[%u] |= %u", num, mask_lo );
        for (   ;idx < rp->used;idx++) { if (rp->entries[idx].num >= num) break; }
        if ( idx < rp->used ) {
                fprintf(stderr , " Old was:%u\n", rp->entries[idx].mask );
                rp->entries[idx].mask |= mask_lo;
                if (rp->entries[idx].mask == (MASK_ABOVE_LO|MASK_BELOW_HI)) hitcnt++;
                continue;
                }
        if ( idx >= rp->used) {
                if ( rp->used >= rp->size && result_resize(rp, rp->size ? rp->size*2 : 8)) break;
                fprintf(stderr , " New at:%u\n", idx );
                rp->entries[idx].num = num;
                rp->entries[idx].mask = mask_lo;
                rp->used++;
                }
        }

fprintf(stderr , "Update_state(Hi=%s)=", tp->str);
list_dmp(stderr , 1, tp->list_hi);
idx=0;
for (p = tp->list_hi; p ; p = p->next_hi) {
        unsigned num = p->num;
        fprintf(stderr , "Update_state:[%u] |= %u", num, mask_lo );
        for (   ;idx < rp->used;idx++) { if (rp->entries[idx].num >= num) break; }
        if ( idx < rp->used ) {
                fprintf(stderr , " Old was:%u\n", rp->entries[idx].mask );
                rp->entries[idx].mask |= mask_hi;
                if (rp->entries[idx].mask == (MASK_ABOVE_LO|MASK_BELOW_HI)) hitcnt++;
                continue;
                }
        if ( idx >= rp->used) {
                if ( rp->used >= rp->size && result_resize(rp, rp->size ? rp->size*2 : 8)) break;
                fprintf(stderr , " New at:%u\n", idx );
                rp->entries[idx].num = num;
                rp->entries[idx].mask = mask_hi;
                rp->used++;
                }
        }
return hitcnt;
}

struct result *find_matches (char *str)
{
int rc;
struct treetwo **hnd;
struct result *res = malloc (sizeof *res);
unsigned dst,src;
res->used=res->size=0; res->entries=0;

for (hnd= &root; *hnd; hnd = (rc < 0) ? &(*hnd)->prev : &(*hnd)->next ) {
        rc = strcmp( str, (*hnd)->str);
        fprintf(stderr, "####\nStr=%s Node={%s} rc=%d\n"
                , str, (*hnd)->str, rc );
        list_dmp(stderr , 0, (*hnd)->list_lo );
        list_dmp(stderr , 1, (*hnd)->list_hi );
        rc = update_state(res, *hnd , rc);
#if WANT_DUPLICATES
        continue;
#else
        /* if we don't want duplicates we can bail out on the first match */
        if (rc) break;
#endif
        }


/* Now cleanup the results.
** Below(lower limit) and above(upper limit) and variations can be removed.
** Some results are incomplete, because one of there limits is out
** of reach (shadowed by a narrower range).  We'll have to recompute these.
** The result structure is compacted: if entries are deleted, the remaining ones are shifted down.
** Note: part of this cleanup (removal of unreacheables) could be done in update_state(),
** that would keep the array with partial results as short as possible.
*/
for (dst=src=0; src < res->used; src++) {
        int rc;
        unsigned num = res->entries[src].num;
rescan:
        switch (res->entries[src].mask & 0xf) {
        default: break;
        case 0: /* impossible */
                goto rescan;
#if WANT_DUPLICATES
        case MASK_ABOVE_LO:
                rc = strcmp(str, ranges[num].str_hi);
                res->entries[src].mask |= (rc >=0) ? MASK_ABOVE_HI : MASK_BELOW_HI;
                goto rescan;
        case MASK_BELOW_HI:
                rc = strcmp(str, ranges[num].str_lo);
                res->entries[src].mask |= (rc >=0) ? MASK_ABOVE_LO : MASK_BELOW_LO;
                goto rescan;
#endif
        case MASK_BELOW_HI|MASK_ABOVE_LO:
                if (dst != src) res->entries[dst] = res->entries[src];
                dst++;
                }
        }
fprintf(stderr, "####\nFinal pass: %u/%u\n", dst, res->used );
res->used = dst;
return res;
}

void init_structures(void)
{
unsigned idx;

for (idx = 0; idx < NRANGE; idx++) {
        add_range( &ranges[idx]);
        }
}

void list_dmp(FILE *fp, int isupper, struct range *bp)
{

fprintf(fp, "%s", (isupper) ? "Upper" :"Lower"  );
for (   ; bp  ; bp = (isupper) ? bp->next_hi : bp->next_lo) {
        fprintf(fp, " %u:{%s,%s}"
        , bp->num , bp->str_lo , bp->str_hi
        );
        }
fprintf( stdout, "\n" );
}

void add_range(struct range *pp)
{
struct treetwo **tpp;
struct range **rpp;

fprintf(stderr, "Inserting range %u->{%s,%s}\n", pp->num, pp->str_lo, pp->str_hi);
        /* find low boundary for this interval */
tpp = find_hnd (&root, pp->str_lo);
if (!*tpp) {
        fprintf(stderr, "Creating node for %u->%s (low)\n", pp->num, pp->str_lo);
        *tpp = malloc(sizeof **tpp);
        (*tpp)->list_lo = NULL;
        (*tpp)->list_hi = NULL;
        (*tpp)->str = pp->str_lo;
        }
for (rpp = &(*tpp)->list_lo; *rpp ; rpp = &(*rpp)->next_lo) {;}
*rpp = pp;
fprintf(stderr, "Added range %u->{%s,%s} to treenode(%s)->list_lo\n"
        , pp->num, pp->str_lo, pp->str_hi
        , (*tpp)->str
        );

        /* find high boundary */
tpp = find_hnd (&root, pp->str_hi);
if (!*tpp) {
        fprintf(stderr, "Creating node for %u->%s (High)\n", pp->num, pp->str_hi);
        *tpp = malloc(sizeof **tpp);
        (*tpp)->list_lo = NULL;
        (*tpp)->list_hi = NULL;
        (*tpp)->str = pp->str_hi;
        }
for (rpp = &(*tpp)->list_hi; *rpp ; rpp = &(*rpp)->next_hi) {;}
*rpp = pp;
fprintf(stderr, "Added range %u->{%s,%s} to treenode(%s)->list_hi\n"
        , pp->num, pp->str_lo, pp->str_hi
        , (*tpp)->str
        );
}

struct treetwo ** find_hnd(struct treetwo **tpp, char *str)
{
int rc;

for (   ; *tpp; tpp = (rc < 0) ? &(*tpp)->prev : &(*tpp)->next ) {
        rc = strcmp( str, (*tpp)->str);
        if (!rc) break;
        }
return tpp;
}

void tree_dmp(FILE *fp, struct treetwo *tp, char *msg, unsigned indent)
{
unsigned uu;
if (!tp) return;
if (!msg) msg = "";

for (uu=0; uu < indent; uu++) { fputc( ' ', fp); }
fprintf(fp, "%s:{%s}\n", msg, tp->str );

for (uu=0; uu < indent+1; uu++) { fputc( ' ', fp); }
list_dmp(fp , 0, tp->list_lo);

for (uu=0; uu < indent+1; uu++) { fputc( ' ', fp); }
list_dmp(fp , 1, tp->list_hi);

tree_dmp(fp, tp->prev, "Prev", indent+2);
tree_dmp(fp, tp->next, "Next", indent+2);
}
int result_resize(struct result *res, unsigned newsize)
{
void *old;

old = res->entries;
res->entries = realloc ( res->entries , newsize * sizeof *res->entries);
if ( !res->entries) {
        res->entries = old; return -1;
        }
res->size = newsize;
if (res->used > newsize) res->used = newsize;
return 0;
}
#包括
#包括
#包括
#包括
#定义(a)的计数(a的大小/a的大小[0])
#定义是否需要重复项0
结构范围{
/*{lo,hi}的单独链接列表
**对于此范围参与的限制*/
结构范围*next\u lo;
结构范围*next_hi;
无符号数;
字符*str_lo,*str_hi;
}范围[]=
{{NULL,NULL,0,“a”,“an”},{NULL,NULL,1,“an”,“bb”}
,{NULL,NULL,2,“bb”,“d”},{NULL,NULL,3,“c”,“h”