Search results for " optimization."
showing 10 items of 2333 documents
Efficient CNF Encoding of Boolean Cardinality Constraints
2003
In this paper, we address the encoding into CNF clauses of Boolean cardinality constraints that arise in many practical applications. The proposed encoding is efficient with respect to unit propagation, which is implemented in almost all complete CNF satisfiability solvers. We prove the practical efficiency of this encoding on some problems arising in discrete tomography that involve many cardinality constraints. This encoding is also used together with a trivial variable elimination in order to re-encode parity learning benchmarks so that a simple Davis and Putnam procedure can solve them.
A Coupled Fixed Point Theorem in Fuzzy Metric Space Satisfying ϕ-Contractive Condition
2013
The intent of this paper is to prove a coupled fixed point theorem for two pairs of compatible and subsequentially continuous (alternately subcompatible and reciprocally continuous) mappings, satisfyingϕ-contractive conditions in a fuzzy metric space. We also furnish some illustrative examples to support our results.
The Spanning Tree based Approach for Solving the Shortest Path Problem in Social Graphs
2016
Nowadays there are many social media sites with a very large number of users. Users of social media sites and relationships between them can be modelled as a graph. Such graphs can be analysed using methods from social network analysis (SNA). Many measures used in SNA rely on computation of shortest paths between nodes of a graph. There are many shortest path algorithms, but the majority of them suits only for small graphs, or work only with road network graphs that are fundamentally different from social graphs. This paper describes an efficient shortest path searching algorithm suitable for large social graphs. The described algorithm extends the Atlas algorithm. The proposed algorithm so…
Discrete-mathematical approach to formal description of measurement procedure
1996
The discrete-mathematical model of measurement procedure is developed for facilitating the description of measurements in both quantitative and qualitative scales. On the basis of this model the Measurement Problem is formulated. It is shown that the problem can be considered, in the general case, as one of the discrete optimization problems. The suggested approach brings closer the concepts of a computing algorithm and measurement procedure so that it permits the application of similar tools for the analysis and development of both of them.
A Probabilistic Approach to the Count-To-Infinity Problem in Distance-Vector Routing Algorithms
2013
Count-to-infinity problem is characteristic for routing algorithms based on the distributed implementation of the classical Bellman-Ford algorithm. In this paper a probabilistic solution to this problem is proposed. It is argued that by the use of a Bloom Filter added to the routing message the routing loops will with high probability not form. An experimental analysis of this solution for use in Wireless Sensor Networks in practice is also included.
Tabu search with strategic oscillation for the quadratic minimum spanning tree
2014
The quadratic minimum spanning tree problem consists of determining a spanning tree that minimizes the sum of costs of the edges and pairs of edges in the tree. Many algorithms and methods have been proposed for this hard combinatorial problem, including several highly sophisticated metaheuristics. This article presents a simple Tabu Search (TS) for this problem that incorporates Strategic Oscillation (SO) by alternating between constructive and destructive phases. The commonalties shared by this strategy and the more recently introduced methodology called iterated greedy search are shown and implications of their differences regarding the use of memory structures are identified. Extensive …
Guided local search for the optimal communication spanning tree problem
2011
This paper considers the optimal communication spanning tree (OCST) problem. Previous work analyzed features of high-quality solutions. Consequently, integrating this knowledge into a metaheuristic increases its performance for the OCST problem. In this paper, we present a guided local search (GLS) approach which dynamically changes the objective function to guide the search process into promising areas. In contrast to traditional approaches which reward promising solution features by favoring edges with low weights pointing towards the tree's center, GLS penalizes low-quality edges with large weights that do not point towards the tree's center.
Ant Colony Search algorithm for optimal strategical planning of electrical distribution systems expansion
2005
Strategical planning is one of many research fields in the design of electrical distribution systems. The problem of strategical planning is a multiobjective combinatorial problem and the search space may often be quite large concerning to the options. The aim is to identify a strategy of expansion of a given distribution system in a given timeframe. For this problem, the search space is created beforehand by running a multiobjective optimisation algorithm for the optimal design of distribution networks for different load levels related to different years. The sets of Pareto-optimal solutions obtained for each load level at each year are equivalent in terms of the considered objectives, the…
Control of Production-Distribution Systems under Discrete Disturbances and Control Actions
2011
This paper deals with the robust control and optimization of production-distribution systems. The model used in our problem formulation is a general network flow model that describes production, logistics, and transportation applications. The novelty in our formulation is in the discrete nature of the control and disturbance inputs. We highlight three main contributions: First, we derive a necessary and sufficient condition for the existence of robustly control invariant hyperboxes. Second, we show that a stricter version of the same condition is sufficient for global convergence to an invariant set. Third, for the scalar case, we show that these results parallel existing results in the set…
Optimal Shape Design in Contact Problems
1989
From the mathematical point of view, optimal shape design (or optimum design, optimization of the domain, structural optimization) is a branch of the calculus of variations and especially of optimal control where study is devoted to the problem of finding the optimal shape for an object. In an optimal shape design process the objective is to optimize certain criteria involving the solution of a partial differential equation with respect to its domain of definition, [2, 3, 5].