Search results for "Operations Research"

showing 10 items of 1297 documents

Optimization procedures for the bipartite unconstrained 0-1 quadratic programming problem

2014

The bipartite unconstrained 0-1 quadratic programming problem (BQP) is a difficult combinatorial problem defined on a complete graph that consists of selecting a subgraph that maximizes the sum of the weights associated with the chosen vertices and the edges that connect them. The problem has appeared under several different names in the literature, including maximum weight induced subgraph, maximum weight biclique, matrix factorization and maximum cut on bipartite graphs. There are only two unpublished works (technical reports) where heuristic approaches are tested on BQP instances. Our goal is to combine straightforward search elements to balance diversification and intensification in bot…

Discrete mathematicsGeneral Computer ScienceIterated local searchMaximum cutInduced subgraphManagement Science and Operations ResearchComplete bipartite graphCombinatoricsBQPModeling and SimulationBipartite graphBeam searchQuadratic programmingMathematicsofComputing_DISCRETEMATHEMATICSMathematicsComputers & Operations Research
researchProduct

Characterizing extreme points of polyhedra an extension of a result by Wolfgang Bühler

1982

This paper reconsiders the characterization given by Buhler admitting convex polyhedra of probability distributions on a finite or countable set which are given by systems of linear inequalities more complex than those considered before.

Discrete mathematicsGeneral MathematicsRegular polygonInteger points in convex polyhedraManagement Science and Operations ResearchCombinatoricsPolyhedronLinear inequalityConvex polytopeCountable setExtreme pointSoftwareSpherical polyhedronMathematicsZeitschrift für Operations Research
researchProduct

The computational complexity of the relative robust shortest path problem with interval data

2004

Abstract The paper deals with the relative robust shortest path problem in a directed arc weighted graph, where arc lengths are specified as intervals containing possible realizations of arc lengths. The complexity status of this problem has been unknown in the literature. We show that the problem is NP -hard.

Discrete mathematicsInformation Systems and ManagementGeneral Computer ScienceManagement Science and Operations ResearchIndustrial and Manufacturing EngineeringLongest path problemWidest path problemEuclidean shortest pathShortest Path Faster AlgorithmTheoryofComputation_ANALYSISOFALGORITHMSANDPROBLEMCOMPLEXITYModeling and SimulationShortest path problemK shortest path routingCanadian traveller problemDistanceMathematicsofComputing_DISCRETEMATHEMATICSMathematicsEuropean Journal of Operational Research
researchProduct

The computational complexity of the criticality problems in a network with interval activity times

2002

Abstract The paper analyzes the criticality in a network with interval activities duration times. A natural generalization of the criticality notion (for a path, an activity and an event) for the case of network with interval activity duration times is given. The computation complexity of five problems linked to the introduced criticality notion is presented.

Discrete mathematicsInformation Systems and ManagementTheoretical computer scienceGeneral Computer ScienceComputational complexity theoryGeneralizationEvent (relativity)Interval (mathematics)Management Science and Operations ResearchIndustrial and Manufacturing EngineeringCriticalityModeling and SimulationPath (graph theory)Computation complexityDuration (project management)MathematicsEuropean Journal of Operational Research
researchProduct

Best Proximity Point Results in Non-Archimedean Fuzzy Metric Spaces

2013

We consider the problem of finding a best proximity point which achieves the minimum distance between two nonempty sets in a non-Archimedean fuzzy metric space. First we prove the existence and uniqueness of the best proximity point by using di fferent contractive conditions, then we present some examples to support our best proximity point theorems.

Discrete mathematicsLogicApplied MathematicsMinimum distanceBest proximity pointComputational intelligenceNon-Archimedean fuzzy metric spaceManagement Science and Operations ResearchTopologyIndustrial and Manufacturing EngineeringFuzzy metric spaceTheoretical Computer ScienceArtificial IntelligenceControl and Systems EngineeringSettore MAT/05 - Analisi MatematicaPoint (geometry)Best approximationUniquenessInformation SystemsMathematics
researchProduct

A class of label-correcting methods for the K shortest paths problem

2001

In this paper we deal with the problem of finding the first K shortest paths from a single origin node to all other nodes of a directed graph. In particular, we define the necessary and sufficient conditions for a set of distance label vectors, on the basis of which we propose a class of methods which can be viewed as an extension of the generic label-correcting method for solving the classical single-origin all-destinations shortest path problem. The data structure used is characterized by a set of K lists of candidate nodes, and the proposed methods differ in the strategy used to select the node to be extracted at each iteration. The computational results show that: 1. some label-correct…

Discrete mathematicsManagement Science and Operations ResearchComputer Science ApplicationsEuclidean shortest pathShortest Path Faster AlgorithmSettore SECS-S/06 -Metodi Mat. dell'Economia e d. Scienze Attuariali e Finanz.Shortest path problemK shortest path routingCanadian traveller problemYen's algorithmConstrained Shortest Path FirstDistanceK shortest paths problem label correcting methodsMathematics
researchProduct

An Exact Algorithm for the Quadratic Assignment Problem on a Tree

1989

The Tree QAP is a special case of the Quadratic Assignment Problem (QAP) where the nonzero flows form a tree. No condition is required for the distance matrix. This problem is NP-complete and is also a generalization of the Traveling Salesman Problem. In this paper, we present a branch-and-bound algorithm for the exact solution of the Tree QAP based on an integer programming formulation of the problem. The bounds are computed using a Lagrangian relaxation of this formulation. To solve the relaxed problem, we present a Dynamic Programming algorithm which is polynomially bounded. The obtained lower bound is very sharp and equals the optimum in many cases. This fact allows us to employ a redu…

Discrete mathematicsQuadratic assignment problemManagement Science and Operations ResearchTravelling salesman problemComputer Science ApplicationsReduction (complexity)Tree (data structure)symbols.namesakeExact algorithmLagrangian relaxationsymbolsInteger programmingGeneralized assignment problemMathematicsOperations Research
researchProduct

Some dissenting views on the transitivity of individual preference

1990

(1) The transitivity property is not a necessary condition for the rationality of all individual preference relations. (2) A weakened definition of the transitivity is not necessarily relevant. (3) The non-transitivity of fuzzy preference relations is not inconsistent with a fuzzy total preorder structure on the set of alternatives.

Discrete mathematicsStructure (mathematical logic)Transitive relationProperty (philosophy)PreorderGeneral Decision SciencesRationalityManagement Science and Operations ResearchEuclidean relationMathematical economicsFuzzy logicPreferenceMathematicsAnnals of Operations Research
researchProduct

New Encodings of Pseudo-Boolean Constraints into CNF

2009

International audience; This paper answers affirmatively the open question of the existence of a polynomial size CNF encoding of pseudo-Boolean (PB) constraints such that generalized arc consistency (GAC) is maintained through unit propagation (UP). All previous encodings of PB constraints either did not allow UP to maintain GAC, or were of exponential size in the worst case. This paper presents an encoding that realizes both of the desired properties. From a theoretical point of view, this narrows the gap between the expressive power of clauses and the one of pseudo-Boolean constraints.

Discrete mathematics[INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC]Polynomial021103 operations researchUnit propagation[INFO.INFO-DS]Computer Science [cs]/Data Structures and Algorithms [cs.DS]0211 other engineering and technologies[INFO.INFO-DS] Computer Science [cs]/Data Structures and Algorithms [cs.DS]02 engineering and technologyComputer Science::Computational ComplexityExpressive powerExponential functionCombinatorics[ INFO.INFO-CC ] Computer Science [cs]/Computational Complexity [cs.CC]Encoding (memory)0202 electrical engineering electronic engineering information engineeringLocal consistency020201 artificial intelligence & image processingPoint (geometry)[INFO.INFO-CC] Computer Science [cs]/Computational Complexity [cs.CC][ INFO.INFO-DS ] Computer Science [cs]/Data Structures and Algorithms [cs.DS]Mathematics
researchProduct

A family of distances for preference–approvals

2022

Producción Científica

DistancesPreferencesPreference–approvalsApproval votingGeneral Decision SciencesManagement Science and Operations ResearchSettore SECS-S/01 - StatisticaPreferencia–aprobacionesClusteringAnnals of Operations Research
researchProduct