如何使该算法更有效地利用内存？

Question

我已经在这两段代码上工作了几天，它似乎对于较小尺寸的搜索树也可以正常工作，但是使用较高的代码会产生分段错误。

我试图通过使用打印标志来查找此类错误的具体出处，它似乎在is_goal（）函数处中断。 但是该函数的代码可以假定为正确的。

因此，问题似乎是内存问题，这就是为什么在堆中有队列以及正在创建的节点的原因。 但是它仍然崩溃。

是否还有其他可以不使用的内存节省技巧？ 或者也许有更好的方法来保存此类节点？

重要的是要注意，我需要使用BFS（我不能使用A *来缩小搜索树的大小）。

另外，如果您需要知道，该映射是一个哈希表，我在其中保存节点的颜色，因此在浏览时不会重复（这是因为哈希保存的取决于状态信息，而不是Node信息）。

编辑：我被告知要指出要完成的目标，例如在搜索树中找到目标状态，目标是能够迭代诸如rubik 3x3x3，n-puzzle 4x4 5x5，河内塔之类的大问题为此，由于此类问题的搜索树很大，因此使用的内存必须最小，最终目标是将该算法与a *，dfid，ida *等其他算法进行比较。 我希望这是足够的信息。

  Node* BFS(state_t start ){

    state_t state, child;  
    int d, ruleid;
    state_map_t *map = new_state_map();
    ruleid_iterator_t iter;
    std::queue<Node*> *open = new std::queue<Node*>();

    state_map_add( map, &start, 1); 

    Node* n = new Node(start);
    open->push(n);

    while( !open->empty() ) {
        n = open->front();
        state = n->get_state();
        open->pop();

        if (is_goal(&state) == 1) return n;

        init_fwd_iter( &iter, &state ); 

        while( ( ruleid = next_ruleid( &iter ) ) >= 0 ) {
            apply_fwd_rule( ruleid, &state, &child );


            const int *old_child_c = state_map_get( map, &child );
            if ( old_child_c == NULL ) {
                state_map_add( map, &child, 1 );
                Node* nchild = new Node(child); 
                open->push(nchild);
            }

        }

    }

    return NULL;
}  

Answer 1

我看到许多内存泄漏。

open不会被删除，但是可能会分配在堆栈中而不是堆中。

std::queue<Node*> open;

更重要的是，没有任何要推送到队列中的节点被删除，这可能是很大的内存消耗的根源。

删除从队列中删除并且不打算重复使用的节点。 删除队列之前，请删除队列中的节点。

Node* BFS(state_t start ){

    state_t state, child;  
    int d, ruleid;
    state_map_t *map = new_state_map();
    ruleid_iterator_t iter;
    std::queue<Node*> open;

    state_map_add( map, &start, 1); 

    Node* n = new Node(start);
    open.push(n);

    while( !open.empty() ) {
        n = open.front();
        state = n->get_state();
        open.pop();

        if (is_goal(&state) == 1) {
            for (std::queue<Node*>::iterator it = open.begin(); it != open.end(); ++it)
                delete *it;

            return n;
        }
        else {
            delete n;
        }

        init_fwd_iter( &iter, &state ); 

        while( ( ruleid = next_ruleid( &iter ) ) >= 0 ) {
            apply_fwd_rule( ruleid, &state, &child );


            const int *old_child_c = state_map_get( map, &child );
            if ( old_child_c == NULL ) {
                state_map_add( map, &child, 1 );
                Node* nchild = new Node(child); 
                open.push(nchild);
            }

        }

    }

    return NULL;
}