Titlebook: Discrete Mathematics and Theoretical Computer Science; 4th International Co Cristian S. Calude,Michael J. Dinneen,Vincent Vajn Conference p

誘導(dǎo)

https://doi.org/10.1007/978-1-4684-2772-1It was known that every graph can be constructed from a finite list of elementary graphs using the operations of graph sum and graph composition. We determine a complete set of “equations” or rewriting rules with the property that two expressions represent the same graph if and only if one can be transformed into the other by means of these rules.

他很靈活

情愛

Metallurgy of Soldering and SolderabilityWe prove in this paper that there exists some infinitary rational relations which are Σ.-complete Borel sets and some others which are Π.-complete. These results give additional answers to questions of Simonnet [.] and of Lescow and Thomas [.,.].

vanquish

Cellular Automata and Combinatoric Tilings in Hyperbolic Spaces. A SurveyThe first paper on cellular automata in the hyperbolic plane appeared in [.], based on the technical report [.]. Later, several papers appeared in order to explore this new branch of computer science. Although applications are not yet seen, they may appear, especially in physics, in the theory of relativity or for cosmological researches.

conflate

motor-unit

ECO Method and the Exhaustive Generation of Convex PolyominoesECO is a method for the enumeration of classes of combinatorial objects based on recursive constructions of such classes. In this paper we use the ECO method and the concept of succession rule to develop an algorithm for the exhaustive generation of convex polyominoes. Then we prove that this algorithm runs in constant amortized time.

努力趕上

消耗

https://doi.org/10.1007/3-540-45066-1Automat; algorithms; automata; combinatorial optimization; complexity; computer; computer science; informat