A simple proof and a generalization of an old result of Chung and Feller.

Balázs Montágh

Published in: Discret. Math. (1991)

Keyphrases

formal proof
data sets
pairwise
multiscale
neural network
database
high level
image segmentation
wide range
cooperative
search algorithm
multi agent systems
computational complexity
special case
logic programs
theorem prover
highly reliable