bellman_filter_dfsv
