Projective K3 Surfaces with integral Zariski decompositions

Abstract

We characterize all projective K3 surfaces on which every integral pseudoeffective divisor admits an integral Zariski decomposition, using an explicit, terminating finite-step algorithm.