Motivated by hypergraph decomposition algorithms, we introduce the notion of edge-induced vertex-cuts and compare it with the well-known notions of edge-cuts and vertex-cuts. We investigate the complexity of computing minimum edge-induced vertex-cuts and demonstrate the usefulness of our notion by applications in network reliability and constraint satisfaction.

Since the inception of intuitionistic fuzzy sets in 1986, many authors have proposed different methods for ranking intuitionistic fuzzy numbers (IFNs). How ever, due to the complexity of the problem, a method which gives a satisfactory result to all situations is a challenging task. Most of them contained some shortcomings, such as requirement of complicated calculations, inconsistency with hum...

Motivated by hypergraph decomposition algorithms, we introduce the notion of edge-induced vertex-cuts and compare it with the well-known notions of edge-cuts and vertex-cuts. We investigate the complexity of computing minimum edge-induced vertex-cuts and demonstrate the usefulness of our notion by applications in network reliability and constraint satisfaction.

Split cuts represent the most widely used class of cutting planes currently employed by state-of-the-art branch-and-cut solvers for mixed integer linear programming. Rank-1 cuts often have better numerical properties than higher rank cuts. In this paper, we study several heuristics to generate new families of strong rank-1 split cuts, by considering integer linear combinations of the rows of th...

The split cuts of Cook, Kannan and Schrijver are general-purpose valid inequalities for integer programming which include a variety of other well-known cuts as special cases. To detect violated split cuts, one has to solve the associated separation problem. The complexity of split cut separation was recently cited as an open problem by Cornuéjols & Li [10]. In this paper we settle this question...

We study the generalization of split and intersection cuts from Mixed Integer Linear Programming to the realm of Mixed Integer Nonlinear Programming. Constructing such cuts requires calculating the convex hull of the difference of two convex sets with specific geometric structures. We introduce two techniques to give precise characterizations of such convex hulls and use them to construct split...

In a system of sequents for intuitionistic predicate logic a theorem, which corresponds to Prawitz’s Normal Form Theorem for natural deduction, are proved. In sequent derivations a special kind of cuts, maximum cuts, are defined. Maximum cuts from sequent derivations are connected with maximum segments from natural deduction derivations, i.e., sequent derivations without maximum cuts correspond...

CutRes is a system which takes as input an LK-proof with arbitrary cuts and skolemized end-sequent and gives as output an LKproof with atomic cuts only. The elimination of cuts is performed in the following way: An unsatisfiable set of clauses C is assigned to a given LK-proof Π. Any resolution refutation ψ of C then serves as a skeleton for an LK-proof Σ of the original end-sequent, containing...

Bipolar fuzzy soft set theory, which is a very useful hybrid in decision making problems, mathematical model that has been emphasized especially recently. In this paper, the concepts of (α,β)-cuts, first type semi-strong second strong inverse semi-weak (α,β)-cuts and weak bipolar sets were introduced together with some their properties. addition, distinctive properties between established. More...