marcus_tardos (250B)
1 # Marcus-Tardos 2 3 [marcus2004excluded]: linear bound on the number of 1's of a 0-1 [matrix] that avoids a [permutation_matrix] as a [submatrix] 4 - implies the [stanley_wilf_conjecture] 5 6 Up: [square_testing_2d] 7 8 See also: [permutation_pattern_matching]