arXiv++ Combinatorics

This paper proposes earliest and latest path algorithms based on binary weight allocation, assigning weights of 2(i-1) and 2(m-i) to the i-th arc in a network. While traditional shortest path algorithms optimize only distance, our approach leverages Binary-Addition-Tree ordering to efficiently identify lexicographically smallest and largest paths that establish connectivity. These paths partition the solution space into three regions: guaranteed disconnection, transitional connectivity, and guaranteed no simple paths. Our weight allocation enables implicit encoding of multiple objectives directly in binary representations, maintaining the O((|V|+|E|)log|V|) complexity of Dijkstra's algorithm while allowing simultaneous optimization of competing factors like reliability and cost. Experimental validation demonstrates significant computational time reduction compared to traditional multi-objective methods. Applications span telecommunications, transportation networks, and supply chain management, providing efficient tools for network planning and reliability analysis under multiple constraints.

Various networks are broadly and deeply applied in real-life applications. Reliability is the most important index for measuring the performance of all network types. Among the various algorithms, only implicit enumeration algorithms, such as depth-first-search, breadth-search-first, universal generating function methodology, binary-decision diagram, and binary-addition-tree algorithm (BAT), can be used to calculate the exact network reliability. However, implicit enumeration algorithms can only be used to solve small-scale network reliability problems. The BAT was recently proposed as a simple, fast, easy-to-code, and flexible make-to-fit exact-solution algorithm. Based on the experimental results, the BAT and its variants outperformed other implicit enumeration algorithms. Hence, to overcome the above-mentioned obstacle as a result of the size problem, a new parallel BAT (PBAT) was proposed to improve the BAT based on compute multithread architecture to calculate the binary-state network reliability problem, which is fundamental for all types of network reliability problems. From the analysis of the time complexity and experiments conducted on 20 benchmarks of binary-state network reliability problems, PBAT was able to efficiently solve medium-scale network reliability problems.

The series-parallel (active) redundancy allocation problem with mixed components (RAP) involves setting reliable objectives for components or subsystems to meet the resource consumption constraint, e.g., the total cost. RAP has been an active research area for the past four decades. The NP-hard difficulties confronted by RAP are maintaining feasibility with respect to two constraints: cost and weight. A novel algorithm called the bound-rule-BAT (BRB) based on the binary-addition-tree algorithm (BAT), the dominance rule, and dynamic bounds are proposed to solve the exact solutions of the most famous RAP benchmark problems called the (33-variation) Fyffe RAP. From the experiments, the proposed BRB can solve the Fyffe RAP correctly under the assumption that the maximal number of components of each subsystem is eight, and this is the first exact-solution algorithm that can solve the Fyffe RAP within 8 seconds and 60 seconds if no reliability lower bound is used.

The Monte Carlo simulation (MCS) is a statistical methodology used in a large number of applications. It uses repeated random sampling to solve problems with a probability interpretation to obtain high-quality numerical results. The MCS is simple and easy to develop, implement, and apply. However, its computational cost and total runtime can be quite high as it requires many samples to obtain an accurate approximation with low variance. In this paper, a novel MCS, called the self-adaptive BAT-MCS, based on the binary-adaption-tree algorithm (BAT) and our proposed self-adaptive simulation-number algorithm is proposed to simply and effectively reduce the run time and variance of the MCS. The proposed self-adaptive BAT-MCS was applied to a simple benchmark problem to demonstrate its application in network reliability. The statistical characteristics, including the expectation, variance, and simulation number, and the time complexity of the proposed self-adaptive BAT-MCS are discussed. Furthermore, its performance is compared to that of the traditional MCS extensively on a large-scale problem.

Real-world applications such as the internet of things, wireless sensor networks, smart grids, transportation networks, communication networks, social networks, and computer grid systems are typically modeled as network structures. Network reliability represents the success probability of a network and it is an effective and popular metric for evaluating the performance of all types of networks. Binary-state networks composed of binary-state (e.g., working or failed) components (arcs and/or nodes) are some of the most popular network structures. The scale of networks has grown dramatically in recent years. For example, social networks have more than a billion users. Additionally, the reliability of components has increased as a result of both mature and emergent technology. For highly reliable networks, it is more practical to calculate approximated reliability, rather than exact reliability, which is an NP-hard problem. Therefore, we propose a novel direct reliability lower bound based on the binary addition tree algorithm to calculate approximate reliability. The efficiency and effectiveness of the proposed reliability bound are analyzed based on time complexity and validated through numerical experiments.

Various networks such as cloud computing, water/gas/electricity networks, wireless sensor networks, transportation networks, and 4G/5G networks, have become an integral part of our daily lives. A binary-state network (BN) is often used to model network structures and applications. The BN reliability is the probability that a BN functions continuously; that is, that there is always a simple path connected between a specific pair of nodes. This metric is a popular index for designing, managing, controlling, and evaluating networks. The traditional BN reliability assumes that the reliability of each arc is known in advance. However, this is not always the case. Functioning components operate under different environments; moreover, a network might have newly installed components. Hence, the reliability of these components is not always known. To resolve the aforementioned problems, in which the reliability of some components of a network are uncertain, we introduce the fuzzy concept for the analysis of these components, and propose a new algorithm to solve this uncertainty-component BN reliability problem. The time complexity of the proposed algorithm is analyzed, and the superior performance of the algorithm is demonstrated through examples.

All kind of networks, e.g., Internet of Things, social networks, wireless sensor networks, transportation networks, 4g/5G, etc., are around us to benefit and help our daily life. The multistate flow network (MFN) is always used to model network structures and applications. The level d reliability, Rd, of the MFN is the success probability of sending at least d units of integer flow from the source node to the sink node. The reliability Rd is a popular index for designing, managing, controlling, and evaluating MFNs. The traditional indirect algorithms must have all d-MPs (special connected vectors) or d-MCs (special disconnected vectors) first, then use Inclusion-Exclusion Technique (IET) or Sum-of-disjoint Product (SDP) in terms of found d-MPs or d-MCs to calculate Rd. The above four procedures are all NP-Hard and #P-Hard and cannot calculate Rd for all d at the same time A novel algorithm based on the binary-addition-tree algorithm (BAT) is proposed to calculate the Rd directly for all d at the same time without using any of the above four procedures. The time complexity and demonstration of the proposed algorithm are analyzed, and examples are provided. An experiment is also conducted to compare the proposed algorithm and existing algorithms based on d-MPs, d-MCs, IET, and/or SDP to validate the proposed algorithm.

Among various real-life emerging applications, wireless sensor networks, Internet of Things, smart grids, social networks, communication networks, transportation networks, and computer grid systems, etc., the binary-state network is the fundamental network structure and model with either working or failed binary components. The network reliability is an effective index for assessing the network function and performance. Hence, the network reliability between two specific nodes has been widely adopted and more efficient network reliability algorithm is always needed. To have complete information for a better decision, all-pairs network reliability thus arises correspondingly. In this study, a new algorithm called the all-pairs BAT is proposed by revising the binary-addition-tree algorithm (BAT) and the layered-search algorithm (LSA). From both the theoretical analysis and the practical experiments conducted on 20 benchmark problems, the proposed all-pairs BAT is more efficient than these algorithms by trying all combinations of any pairs of nodes.

Many network applications are based on binary-state networks, where each component has one of two states: success or failure. Efficient algorithms to evaluate binary-state network reliability are continually being developed. Reliability estimates the probability of the success state and is an effective and popular evaluation technique for binary-state networks. Binary-addition tree (BAT) algorithms are frequently used to calculate the efficiency and reliability of binary-state networks. In this study, we propose a novel, bounded BAT algorithm that employs three novel concepts: the first connected vector, the last disconnected vector, and super vectors. These vectors and the calculations of their occurrent probabilities narrow the search space and simplify the probability calculations to reduce the run time of the algorithm. Moreover, we show that replacing each undirected arc with two directed arcs, which is required in traditional direct methods, is unnecessary in the proposed algorithm. We call this novel concept the undirected vectors. The performance of the proposed bounded BAT algorithm was verified experimentally by solving a benchmark set of problems.

The acyclic multistate information network (AMIN), which is a kind of MIN that does not require the conservation law of flow, plays an important role nowadays because many modern network structures present AMIN as the construction such as social networks, local area networks (LANs), 4G/5G networks, etc. To effectively evaluate the network reliability of AMIN, which indicates the reliable operation of the network, showing a major and primary metrics for determining the performance and quality of the overall network. The network reliability, which has been shown a NP-hard, has been successfully resolved and approached by the universal generation function method (UGFM). However, the UGFM can only solve small-scale problems due to the overflow in computer memory. To overcome the memory obstacle, an improved and enhanced binary-addition vectors tree algorithm (BAT) is proposed to effectively evaluate and analyze the reliability of AMIN. The performance of the proposed BAT is validated on examples.

Network structures and models have been widely adopted, e.g., for Internet of Things, wireless sensor networks, smart grids, transportation networks, communication networks, social networks, and computer grid systems. Network reliability is an effective and popular technique to estimate the probability that the network is still functioning. Networks composed of binary-state (e.g., working or failed) components (arcs and/or nodes) are called binary-state networks. The binary-state network is the fundamental type of network; thus, there is always a need for a more efficient algorithm to calculate the network reliability. Thus, a novel binary-addition tree (BAT) algorithm that employs binary addition for finding all the possible state vectors and the path-based layered-search algorithm for filtering out all the connected vectors is proposed for calculating the binary-state network reliability. According to the time complexity and numerical examples, the efficiency of the proposed BAT is higher than those of traditional algorithms for solving the binary-state network reliability problem.

A rework network is a common manufacturing system, in which flows (products) are processed in a sequence of workstations (nodes), which often results in defective products. To improve the productivity and utility of the system, the rework network allows some of the defective products to go back to the "as normal" condition after the rework process. In a recent study, Song proposed an algorithm to correct more than 21 archive publications regarding the rework network reliability problem, which is an important real-life problem. However, we prove that Song's proposed algorithm is still incorrect. Additionally, we provide an accurate general model based on the novel state distribution with a smaller number of limitations. Furthermore, we propose an algorithm to calculate the reliability of the multi-state rework networks using the proposed novel state distributions.