On a decomposition method for recognizing membership in invariant classes
Diskretnaya Matematika, Tome 14 (2002) no. 4, pp. 110-116
We suggest a decomposition method for testing the belonging of a function to classes closed with respect to substitutions of constants for variables.
@article{DM_2002_14_4_a3,
author = {A. A. Voronenko},
title = {On a decomposition method for recognizing membership in invariant classes},
journal = {Diskretnaya Matematika},
pages = {110--116},
year = {2002},
volume = {14},
number = {4},
language = {ru},
url = {http://geodesic.mathdoc.fr/item/DM_2002_14_4_a3/}
}
A. A. Voronenko. On a decomposition method for recognizing membership in invariant classes. Diskretnaya Matematika, Tome 14 (2002) no. 4, pp. 110-116. http://geodesic.mathdoc.fr/item/DM_2002_14_4_a3/
[1] Voronenko A. A., “O slozhnosti raspoznavaniya monotonnosti.”, Matem. voprosy kibern., 8 (1999), 301–303 | MR | Zbl
[2] Ansel Zh., “O chisle monotonnykh bulevykh funktsii $n$ peremennykh”, Kibern. sb., 5 (1968), 42–53
[3] Goldreich O., Goldwasser S., Lehman E., Ron D., “Testing monotonicity”, Proc. Annual Symp. Found. Computer Sci., 1998, 426–435
[4] Alekseev V. B., “Logicheskie polukoltsa i ikh ispolzovanie dlya postroeniya bystrykh algoritmov”, Vestnik MGU, Seriya I: Matematika, mekhanika, 1997, no. 1, 22–29 | MR | Zbl
[5] Alekssev V. B, Voronenko A. A., “O nekotorykh zamknutykh klassakh v chastichnoi dvuznachnoi logike”, Diskretnaya matematika, 6:4 (1994), 58–79 | MR