1.Adyghe State University, 385000, Maikop, Russia ;2.Adyghe State University, 352700, Maikop, Russia ;3.Moscow Institute of Physics and Technology (State University), 141701, Dolgoprudny, Russia ;
Abstract:
Mathematical Notes - The problem of finding the least number of variables of a first-order formula expressing the statement that an input-graph contains a subgraph isomorphic to a given...