The maximum weighted matching problem in bipartite graphs is one of the classic combinatorial optimization problems, and arises in many different applications. Ordered binary decision diagram (OBDD) or algebraic decis...The maximum weighted matching problem in bipartite graphs is one of the classic combinatorial optimization problems, and arises in many different applications. Ordered binary decision diagram (OBDD) or algebraic decision diagram (ADD) or variants thereof provides canonical forms to represent and manipulate Boolean functions and pseudo-Boolean functions efficiently. ADD and OBDD-based symbolic algorithms give improved results for large-scale combinatorial optimization problems by searching nodes and edges implicitly. We present novel symbolic ADD formulation and algorithm for maximum weighted matching in bipartite graphs. The symbolic algorithm implements the Hungarian algorithm in the context of ADD and OBDD formulation and manipulations. It begins by setting feasible labelings of nodes and then iterates through a sequence of phases. Each phase is divided into two stages. The first stage is building equality bipartite graphs, and the second one is finding maximum cardinality matching in equality bipartite graph. The second stage iterates through the following steps: greedily searching initial matching, building layered network, backward traversing node-disjoint augmenting paths, updating cardinality matching and building residual network. The symbolic algorithm does not require explicit enumeration of the nodes and edges, and therefore can handle many complex executions in each step. Simulation experiments indicate that symbolic algorithm is competitive with traditional algorithms.展开更多
In order to ensure the effective analysis and reconstruction of forests,it is key to ensure the quantitative description of their spatial structure.In this paper,a distance model for the optimal stand spatial structur...In order to ensure the effective analysis and reconstruction of forests,it is key to ensure the quantitative description of their spatial structure.In this paper,a distance model for the optimal stand spatial structure based on weighted Voronoi diagrams is proposed.In particular,we provide a novel methodological model for the comprehensive evaluation of the spatial structure of forest stands in natural mixed conifer-broadleaved forests and the formulation of management decision plans.The applicability of the rank evaluation and the optimal solution distance model are compared and assessed for different standard sample plots of natural mixed conifer-broadleaved forests.The effect of crown width on the spatial structure unit of the trees is observed to be higher than that of the diameter at breast height.Moreover,the influence of crown length is greater than that of tree height.There are nine possible spatial structure units determined by the weighted Voronoi diagram for the number of neighboring trees in the central tree,with an average intersection of neighboring crowns reaching 80%.The rank rating of natural forest sample plots is correlated with the optimal solution distance model,and their results are generally consistent for natural forests.However,the rank rating is not able to provide a quantitative assessment.The optimal solution distance model is observed to be more comprehensive than traditional methods for the evaluation of the spatial structure of forest stands.It can effectively reflect the trends in realistic stand spatial structure factors close to or far from the ideal structure point,and accurately assesses the forest spatial structure.The proposed optimal solution distance model improves the integrated evaluation of the spatial structure of forest stands and provides solid theoretical and technical support for sustainable forest management.展开更多
文摘The maximum weighted matching problem in bipartite graphs is one of the classic combinatorial optimization problems, and arises in many different applications. Ordered binary decision diagram (OBDD) or algebraic decision diagram (ADD) or variants thereof provides canonical forms to represent and manipulate Boolean functions and pseudo-Boolean functions efficiently. ADD and OBDD-based symbolic algorithms give improved results for large-scale combinatorial optimization problems by searching nodes and edges implicitly. We present novel symbolic ADD formulation and algorithm for maximum weighted matching in bipartite graphs. The symbolic algorithm implements the Hungarian algorithm in the context of ADD and OBDD formulation and manipulations. It begins by setting feasible labelings of nodes and then iterates through a sequence of phases. Each phase is divided into two stages. The first stage is building equality bipartite graphs, and the second one is finding maximum cardinality matching in equality bipartite graph. The second stage iterates through the following steps: greedily searching initial matching, building layered network, backward traversing node-disjoint augmenting paths, updating cardinality matching and building residual network. The symbolic algorithm does not require explicit enumeration of the nodes and edges, and therefore can handle many complex executions in each step. Simulation experiments indicate that symbolic algorithm is competitive with traditional algorithms.
基金funded by National Key Research and development project(2022YFD2201001)。
文摘In order to ensure the effective analysis and reconstruction of forests,it is key to ensure the quantitative description of their spatial structure.In this paper,a distance model for the optimal stand spatial structure based on weighted Voronoi diagrams is proposed.In particular,we provide a novel methodological model for the comprehensive evaluation of the spatial structure of forest stands in natural mixed conifer-broadleaved forests and the formulation of management decision plans.The applicability of the rank evaluation and the optimal solution distance model are compared and assessed for different standard sample plots of natural mixed conifer-broadleaved forests.The effect of crown width on the spatial structure unit of the trees is observed to be higher than that of the diameter at breast height.Moreover,the influence of crown length is greater than that of tree height.There are nine possible spatial structure units determined by the weighted Voronoi diagram for the number of neighboring trees in the central tree,with an average intersection of neighboring crowns reaching 80%.The rank rating of natural forest sample plots is correlated with the optimal solution distance model,and their results are generally consistent for natural forests.However,the rank rating is not able to provide a quantitative assessment.The optimal solution distance model is observed to be more comprehensive than traditional methods for the evaluation of the spatial structure of forest stands.It can effectively reflect the trends in realistic stand spatial structure factors close to or far from the ideal structure point,and accurately assesses the forest spatial structure.The proposed optimal solution distance model improves the integrated evaluation of the spatial structure of forest stands and provides solid theoretical and technical support for sustainable forest management.