K-core in random graphs