finite graph