Showing 1–13 of 13 results for author: Plotnikov, A D

Searching isomorphic graphs

Authors: Anatoly D. Plotnikov

Abstract: To determine that two given undirected graphs are isomorphic, we construct for them auxiliary graphs, using the breadth-first search. This makes capability to position vertices in each digraph with respect to each other. If the given graphs are isomorphic, in each of them we can find such positionally equivalent auxiliary digraphs that have the same mutual positioning of vertices. Obviously, if th… ▽ More To determine that two given undirected graphs are isomorphic, we construct for them auxiliary graphs, using the breadth-first search. This makes capability to position vertices in each digraph with respect to each other. If the given graphs are isomorphic, in each of them we can find such positionally equivalent auxiliary digraphs that have the same mutual positioning of vertices. Obviously, if the given graphs are isomorphic, then such equivalent digraphs exist. Proceeding from the arrangement of vertices in one of the digraphs, we try to determine the corresponding vertices in another digraph. As a result we develop the algorithm for constructing a bijective mapping between vertices of the given graphs if they are isomorphic. The running time of the algorithm equal to $O(n^5)$, where $n$ is the number of graph vertices. △ Less

Submitted 10 February, 2018; originally announced February 2018.

Comments: 17 pages, 11 figures

MSC Class: 05C85; 68Q17

Journal ref: Transactions on Networks and Communications, Volume 5, No. 5, ISSN: 2054 -7420 (2017)

Polynomial-time algorithm for determining the graph isomorphism (v.2)

Authors: Anatoly D. Plotnikov

Abstract: We develop the methodology of positioning graph vertices relative to each other to solve the problem of determining isomorphism of two undirected graphs. Based on the position of the vertex in one of the graphs, it is determined the corresponding vertex in the other graph. For the selected vertex of the undirected graph, we define the neighborhoods of the vertices. Next, we construct the auxilia… ▽ More We develop the methodology of positioning graph vertices relative to each other to solve the problem of determining isomorphism of two undirected graphs. Based on the position of the vertex in one of the graphs, it is determined the corresponding vertex in the other graph. For the selected vertex of the undirected graph, we define the neighborhoods of the vertices. Next, we construct the auxiliary directed graph, spawned by the selected vertex. The vertices of the digraph are positioned by special characteristics --- vectors, which locate each vertex of the digraph relative the found neighborhoods. This enabled to develop the algorithm for determining graph isomorphism, the runing time of which is equal to $O(n^4)$. △ Less

Submitted 27 October, 2016; v1 submitted 27 April, 2016; originally announced October 2016.

Comments: 13 pages, 11 figures

MSC Class: 05C85; 68Q17

Journal ref: American Journal of Information Science and Computer Engineering, Vol. 3, No. 6, 2017, pp. 71-76

On non-canonical solving the Satisfiability problem

Authors: Anatoly D. Plotnikov

Abstract: We study the non-canonical method for solving the Satisfiability problem which given by a formula in the form of the conjunctive normal form. The essence of this method consists in counting the number of tuples of Boolean variables, on which at least one clause of the given formula is false. On this basis the solution of the problem obtains in the form YES or NO without constructing tuple, when th… ▽ More We study the non-canonical method for solving the Satisfiability problem which given by a formula in the form of the conjunctive normal form. The essence of this method consists in counting the number of tuples of Boolean variables, on which at least one clause of the given formula is false. On this basis the solution of the problem obtains in the form YES or NO without constructing tuple, when the answer is YES. It is found that if the clause in the given formula has pairwise contrary literals, then the problem can be solved efficiently. However, when in the formula there are a long chain of clauses with pairwise non-contrary literals, the solution leads to an exponential calculations. △ Less

Submitted 1 August, 2015; originally announced August 2015.

Comments: 5 pages

Journal ref: International Journal of Automation, Control and Intelligent Systems, Vol. 1, No. 3, September 2015, Pub. Date: Aug. 5, 2015, p.73-76

On a logical model of combinatorial problems

Authors: Anatoly D. Plotnikov

Abstract: The paper proposes a logical model of combinatorial problems, also it gives an example of a problem of the class NP that can not be solved in polynomial time on the dimension of the problem. The paper proposes a logical model of combinatorial problems, also it gives an example of a problem of the class NP that can not be solved in polynomial time on the dimension of the problem. △ Less

Submitted 1 August, 2015; originally announced August 2015.

Comments: 8 pages, 2 figures

On the structure of the class NP

Authors: Anatoly D. Plotnikov

Abstract: A new class UF of problems is introduced, strictly included in the class NP, which arises in the analysis of the time verifying the intermediate results of computations. The implications of the introduction of this class are considered. First of all, we prove that $P\not= NP$ and establish that it needs to consider the problem "P vs UF" instead the problem "P vs NP". Also, we determine the set-the… ▽ More A new class UF of problems is introduced, strictly included in the class NP, which arises in the analysis of the time verifying the intermediate results of computations. The implications of the introduction of this class are considered. First of all, we prove that $P\not= NP$ and establish that it needs to consider the problem "P vs UF" instead the problem "P vs NP". Also, we determine the set-theoretical of properties of a one-way functions that used in cryptology. △ Less

Submitted 4 April, 2013; originally announced April 2013.

Comments: 7 pages, 7 references

MSC Class: 68Q15; 03F20

Journal ref: On the structure of the class NP. Computer Communication & Collaboration (2013) 1: 19-23

About set-theoretic properties of one-way functions

Authors: Anatoly D. Plotnikov

Abstract: We investigate the problem of cryptanalysis as a problem belonging to the class NP. A class of problems UF is defined for which the time constructing any feasible solution is polynomial. The properties of the problems of NP, which may be one-way functions, are established. We investigate the problem of cryptanalysis as a problem belonging to the class NP. A class of problems UF is defined for which the time constructing any feasible solution is polynomial. The properties of the problems of NP, which may be one-way functions, are established. △ Less

Submitted 14 October, 2011; originally announced October 2011.

Comments: 5 pages

MSC Class: 94A60; 68Q15

On the relationship between classes P and NP

Authors: Anatoly D. Plotnikov

Abstract: In this paper we discusses the relationship between the known classes P and NP. We show that the difficulties in solving problem "P versus NP" have methodological in nature. An algorithm for solving any problem is sensitive to even small changes in its formulation. As we will shown in the paper, these difficulties are exactly in the formulation of some problems of the class NP. In this paper we discusses the relationship between the known classes P and NP. We show that the difficulties in solving problem "P versus NP" have methodological in nature. An algorithm for solving any problem is sensitive to even small changes in its formulation. As we will shown in the paper, these difficulties are exactly in the formulation of some problems of the class NP. △ Less

Submitted 26 September, 2011; originally announced September 2011.

Comments: 9 pages

MSC Class: 68Q15 ACM Class: F.2.2; G.2.1; G.2.2

Journal ref: On the relationship between classes P and NP. J. Comput. Sci., 8, 2012: p.1036-1040

Encipher of information on the basis of geometrical presentations

Authors: A. S. Petrov, A. D. Plotnikov

Abstract: In this paper, we examine a ciphertext on the basis of using geometrical objects. Each symbol normative alphabet is determined as a point on the plane. We consider possible ways for presentation of these points. In this paper, we examine a ciphertext on the basis of using geometrical objects. Each symbol normative alphabet is determined as a point on the plane. We consider possible ways for presentation of these points. △ Less

Submitted 27 March, 2011; originally announced March 2011.

Comments: 7 pages

MSC Class: 94A60; 68P25

Experimental Algorithm for the Maximum Independent Set Problem

Authors: Anatoly D. Plotnikov

Abstract: We develop an experimental algorithm for the exact solving of the maximum independent set problem. The algorithm consecutively finds the maximal independent sets of vertices in an arbitrary undirected graph such that the next such set contains more elements than the preceding one. For this purpose, we use a technique, developed by Ford and Fulkerson for the finite partially ordered sets, in part… ▽ More We develop an experimental algorithm for the exact solving of the maximum independent set problem. The algorithm consecutively finds the maximal independent sets of vertices in an arbitrary undirected graph such that the next such set contains more elements than the preceding one. For this purpose, we use a technique, developed by Ford and Fulkerson for the finite partially ordered sets, in particular, their method for partition of a poset into the minimum number of chains with finding the maximum antichain. In the process of solving, a special digraph is constructed, and a conjecture is formulated concerning properties of such digraph. This allows to offer of the solution algorithm. Its theoretical estimation of running time equals to is $O(n^{8})$, where $n$ is the number of graph vertices. The offered algorithm was tested by a program on random graphs. The testing the confirms correctness of the algorithm. △ Less

Submitted 1 July, 2007; v1 submitted 25 June, 2007; originally announced June 2007.

Comments: From author's book "Discrete mathematics",3-th ed., Moscow,New knowledge,2007, 18 pages, 8 figures

Journal ref: Cybernetics and Systems Analysis: Volume 48, Issue 5 (2012), Page 673-680

About the finding of independent vertices of a graph

Authors: Anatoly D. Plotnikov

Abstract: We examine the Maximum Independent Set Problem in an undirected graph. The main result is that this problem can be considered as the solving the same problem in a subclass of the weighted normal twin-orthogonal graphs. The problem is formulated which is dual to the problem above. It is shown that, for trivial twin-orthogonal graphs, any of its maximal independent set is also maximum one. We examine the Maximum Independent Set Problem in an undirected graph. The main result is that this problem can be considered as the solving the same problem in a subclass of the weighted normal twin-orthogonal graphs. The problem is formulated which is dual to the problem above. It is shown that, for trivial twin-orthogonal graphs, any of its maximal independent set is also maximum one. △ Less

Submitted 24 March, 2000; originally announced March 2000.

Comments: 8 pages, 2 figures

ACM Class: F.2.2; G.2.1; G.2.2

Journal ref: About the finding of independent vertices of a graph, Journal "Kibernetika", No. 1, 1989, p. 119 - 121

Formalization of the class of problems solvable by a nondeterministic Turing machine

Authors: Anatoly D. Plotnikov

Abstract: The objective of this article is to formalize the definition of NP problems. We construct a mathematical model of discrete problems as independence systems with weighted elements. We introduce two auxiliary sets that characterize the solution of the problem: the adjoint set, which contains the elements from the original set none of which can be adjoined to the already chosen solution elements;… ▽ More The objective of this article is to formalize the definition of NP problems. We construct a mathematical model of discrete problems as independence systems with weighted elements. We introduce two auxiliary sets that characterize the solution of the problem: the adjoint set, which contains the elements from the original set none of which can be adjoined to the already chosen solution elements; and the residual set, in which every element can be adjoined to previously chosen solution elements. In a problem without lookahead, every adjoint set can be generated by the solution algorithm effectively, in polynomial time. The main result of the study is the assertion that the NP class is identical with the class of problems without lookahead. Hence it follows that if we fail to find an effective (polynomial-time) solution algorithm for a given problem, then we need to look for an alternative formulation of the problem in set of problems without lookahead. △ Less

Submitted 16 March, 1999; originally announced March 1999.

Comments: 10 pages, 2 figures

ACM Class: F.2.2; F.1.2

Journal ref: Cybernetics and Systems Analysis. Vol. 33, 5(1997) pp. 635-640

A class of problems of NP to be worth to search an efficient solving algorithm

Authors: Anatoly D. Plotnikov

Abstract: We examine possibility to design an efficient solving algorithm for problems of the class \np. It is introduced a classification of \np problems by the property that a partial solution of size $k$ can be extended into a partial solution of size $k+1$ in polynomial time. It is defined an unique class problems to be worth to search an efficient solving algorithm. The problems, which are outside of… ▽ More We examine possibility to design an efficient solving algorithm for problems of the class \np. It is introduced a classification of \np problems by the property that a partial solution of size $k$ can be extended into a partial solution of size $k+1$ in polynomial time. It is defined an unique class problems to be worth to search an efficient solving algorithm. The problems, which are outside of this class, are inherently exponential. We show that the Hamiltonian cycle problem is inherently exponential. △ Less

Submitted 11 March, 1999; originally announced March 1999.

Comments: 9 pages, 1 figures

ACM Class: F.2.2; G.2.1; G.2.2

Designing SAT for HCP

Authors: Anatoly D. Plotnikov

Abstract: For arbitrary undirected graph $G$, we are designing SATISFIABILITY problem (SAT) for HCP, using tools of Boolean algebra only. The obtained SAT be the logic formulation of conditions for Hamiltonian cycle existence, and use $m$ Boolean variables, where $m$ is the number of graph edges. This Boolean expression is true if and only if an initial graph is Hamiltonian. That is, each satisfying assig… ▽ More For arbitrary undirected graph $G$, we are designing SATISFIABILITY problem (SAT) for HCP, using tools of Boolean algebra only. The obtained SAT be the logic formulation of conditions for Hamiltonian cycle existence, and use $m$ Boolean variables, where $m$ is the number of graph edges. This Boolean expression is true if and only if an initial graph is Hamiltonian. That is, each satisfying assignment of the Boolean variables determines a Hamiltonian cycle of $G$, and each Hamiltonian cycle of $G$ corresponds to a satisfying assignment of the Boolean variables. In common case, the obtained Boolean expression may has an exponential length (the number of Boolean literals). △ Less

Submitted 5 March, 1999; originally announced March 1999.

Comments: 7 pages, 1 figures. It has sent to 6th Twente Workshop on Graphs and Combinatorial Optimization

ACM Class: F.4.1; G.2.1; G.2.2