La barrera de las pruebas naturales de Razborov y Rudich establece que, bajo supuestos criptográficos creíbles, uno no puede esperar separar NP de P / poli al encontrar propiedades combinatorias de funciones que son constructivas, grandes y útiles. Hay varios resultados bien conocidos que logran evadir la barrera. También hay varios documentos que discuten posibles lagunas en las tres condiciones, como el resultado de que Chow muestra que la barrera es sensible a las violaciones débiles de la amplitud, y un artículo reciente de Chapman y Williamssugiriendo cómo evitar potencialmente la barrera relajando la condición de utilidad. Mi pregunta es si hay algún ejemplo, o incluso la posibilidad, de evitar la barrera de las pruebas naturales no violando la constructividad, la amplitud o la utilidad, sino cayendo completamente fuera de su alcance. Es decir, no es del todo obvio para mí por qué cada método potencial de prueba debería basarse en la búsqueda de "propiedades" combinatorias y luego en dividir todas las funciones en aquellas que cumplen y no cumplen con la propiedad. ¿Por qué este marco de operación debe aplicarse a todas las pruebas posibles, y si no es así, cómo serían otros tipos de pruebas?