On weak positive predicates over a finite set

2020 ◽  
Vol 30 (3) ◽  
pp. 203-213
Author(s):  
Svetlana N. Selezneva
Keyword(s):  
Polynomial Time ◽  
Normal Forms ◽  
Satisfiability Problem ◽  
Polynomial Time Algorithms ◽  
Finite Set ◽  
Lattice Function

AbstractPredicates that are preserved by a semi-lattice function are considered. These predicates are called weak positive. A representation of these predicates are proposed in the form of generalized conjunctive normal forms (GCNFs). Properties of GCNFs of these predicates are obtained. Based on the properties obtained, more efficient polynomial-time algorithms are proposed for solving the generalized satisfiability problem in the case when all initial predicates are preserved by a certain semi-lattice function.

On bijunctive predicates over a finite set

2019 ◽  
Vol 29 (1) ◽  
pp. 49-58 ◽  
Author(s):  
Svetlana N. Selezneva
Keyword(s):  
Normal Forms ◽  
Satisfiability Problem ◽  
Polynomial Algorithms ◽  
Majority Function ◽  
Finite Set

Abstract The paper is concerned with representations of predicates over a finite set in the form of generalized conjunctive normal forms (GCNF). Properties of predicates GCNF are found which are preserved by some majority function. Such predicates are called generalized bijunctive predicates. These properties are used to construct new faster polynomial algorithms for the generalized satisfiability problem in the case when some majority function preserves all the original predicates.

COMPUTING JORDAN NORMAL FORMS EXACTLY FOR COMMUTING MATRICES IN POLYNOMIAL TIME

1994 ◽  
Vol 05 (03n04) ◽  
pp. 293-302 ◽  
Author(s):  
JIN-YI CAI
Keyword(s):  
Normal Form ◽  
Polynomial Time ◽  
Normal Forms ◽  
Transformation Matrix ◽  
Rational Matrix ◽  
Jordan Normal Form ◽  
Polynomial Time Algorithms ◽  
Commuting Matrices

Given a rational matrix A, and a set of rational matrices B, C,… which commute with A, we give polynomial time algorithms to compute exactly the Jordan Normal Form of A, as well as the transformed matrices of B, C,…. We also obtain the transformation matrix and its inverse exactly in polynomial time.

TERM EQUATION SATISFIABILITY OVER FINITE ALGEBRAS

2010 ◽  
Vol 20 (08) ◽  
pp. 1001-1020 ◽  
Author(s):  
TOMASZ A. GORAZD ◽  
JACEK KRZACZKOWSKI
Keyword(s):  
Computational Complexity ◽  
Polynomial Time ◽  
Finite Algebra ◽  
Satisfiability Problem ◽  
Finite Algebras ◽  
Maximal Clones ◽  
Polynomial Time Algorithms ◽  
Np Complete

We study the computational complexity of the satisfiability problem of an equation between terms over a finite algebra (TERM-SAT). We describe many classes of algebras where the complexity of TERM-SAT is determined by the clone of term operations. We classify the complexity for algebras generating maximal clones. Using this classification we describe many of algebras where TERM-SAT is NP-complete. We classify the situation for clones which are generated by an order or a permutation relation. We introduce the concept of semiaffine algebras and show polynomial-time algorithms which solve the satisfiability problem for them.

scholarly journals An Overview of Algorithms for Network Survivability

2012 ◽  
Vol 2012 ◽  
pp. 1-19 ◽  
Author(s):  
F. A. Kuipers
Keyword(s):  
Polynomial Time ◽  
Network Connectivity ◽  
Network Survivability ◽  
Disjoint Paths ◽  
Polynomial Time Algorithms ◽  
Concise Overview ◽  
Main Components

Network survivability—the ability to maintain operation when one or a few network components fail—is indispensable for present-day networks. In this paper, we characterize three main components in establishing network survivability for an existing network, namely, (1) determining network connectivity, (2) augmenting the network, and (3) finding disjoint paths. We present a concise overview of network survivability algorithms, where we focus on presenting a few polynomial-time algorithms that could be implemented by practitioners and give references to more involved algorithms.

scholarly journals Reconstruction of score sets

2014 ◽  
Vol 6 (2) ◽  
pp. 210-229
Author(s):  
Antal Iványi
Keyword(s):  
Polynomial Time ◽  
Constructive Proof ◽  
Construction Algorithm ◽  
Polynomial Time Algorithms ◽  
General Polynomial ◽  
Degree Set ◽  
New Algorithms

Abstract The score set of a tournament is defined as the set of its different outdegrees. In 1978 Reid [15] published the conjecture that for any set of nonnegative integers D there exists a tournament T whose degree set is D. Reid proved the conjecture for tournaments containing n = 1, 2, and 3 vertices. In 1986 Hager [4] published a constructive proof of the conjecture for n = 4 and 5 vertices. In 1989 Yao [18] presented an arithmetical proof of the conjecture, but general polynomial construction algorithm is not known. In [6] we described polynomial time algorithms which reconstruct the score sets containing only elements less than 7. In [5] we improved this bound to 9. In this paper we present and analyze new algorithms Hole-Map, Hole-Pairs, Hole-Max, Hole-Shift, Fill-All, Prefix-Deletion, and using them improve the above bound to 12, giving a constructive partial proof of Reid’s conjecture.

Sign in / Sign up

Export Citation Format

Share Document