zarankiewicz_ks_t_problem