Tengo un politopo definido por .
Pregunta: Dado un vértice de , ¿existe un algoritmo de tiempo polinómico para muestrear uniformemente de los vecinos de en el gráfico de ? (Polinomio en la dimensión, el número de ecuaciones y la representación de . Puedo suponer que el número de ecuaciones es polinomial en la dimensión).
Actualización: creo que pude demostrar que esto es NP-hard, vea mi respuesta que explica el argumento. (Y por -hard, quiero decir que un algoritmo de tiempo polinomial probaría ... no estoy seguro de cuál es la terminología correcta aquí).
Actualización 2: Hay una prueba de 2 líneas de dureza (dado el politopo combinatorio correcto) y pude encontrar un artículo de Khachiyan. Ver respuesta para descripción y enlace. :-RE
Un problema equivalente :
En los comentarios, Peter Shor señaló que esta pregunta es equivalente a la pregunta de si podemos muestrear uniformemente desde los vértices de un politopo dado. (Creo que la equivalencia es así: en una dirección, podemos pasar de un politopo con un vértice a la figura del vértice en , , y muestrear los vértices de es equivalente a muestrear los vecinos de en En la otra dirección, podemos pasar de un politopo a un politopo de una dimensión superior agregando un cono con vértice y base . Luego, muestrear los vecinos de en es equivalente a muestrear los vértices de ).
Esta formulación de la pregunta se ha hecho antes: /mathpro/319930/sampling-uniformly-from-the-vertices-of-a-polytope
Respuestas:
Edición 2: Vergonzosamente, hay una prueba de dos líneas de la durezaNP , si una comienza con el politopo correcto.
Primero, recuerde que el politopo de circulación de un gráfico en la parte inferior de la página 4 de Generar todos los vértices de un poliedro es difícil .
Sus vértices están en correspondencia biyectiva con los ciclos simples dirigidos. Por lo tanto, son difíciles de muestrear o contar por la Propuesta 5.1 de JVV . :-RE
Equipado con estas palabras clave, pude encontrar la dureza del resultado del muestreo como teorema 1 de Hipergrafías transversales y familias de conos poliédricos de Khachiyan.
Editar: escribí el argumento a continuación, y parece correcto. Sin embargo, hay un argumento mucho más simple, que esbozaré aquí:
a) Mediante el análisis de algoritmos de retroceso para enumerar todos los vértices y todas las caras de un poliedro convexo (Fukuda et al.) es fuertemente NP-difícil resolver el siguiente problema en politopos:
Entrada: A polytopeAx=b,x≥0 en Rn un subconjunto S⊆n
Salida: Si hay un vérticev de P que es distinto de cero en cada una de las coordenadas en S .
b) Dado esto, se puede hacer la siguiente construcción: introducir nuevas variablesyik para i∈S y k=1,…,d , e introducir la desigualdad 0≤yik≤xi . Llame al politopo resultante PS,d . El objetivo de esta construcción es introducir un hipercubo sobre cada vértice, de dimensión d|supp(x)∩S| .
c) Se puede verificar que todos los vértices de este politopo estén por encima de los vértices del antiguo politopo y que el número de vértices sobre un vértice sea2d|supp(x)∩S| , donde supp es la función que envía un vértice a las coordenadas donde no es cero.
d) Por un argumento habitual de tipo cadena de bigones, se deduce que al tomard suficientemente grande, una muestra uniforme de los vértices de PS,d (con alta probabilidad) daría una muestra de los vértices maximizando el tamaño de su intersección con S .
Parece que hay varias extensiones de esto. Actualizaré con un enlace cuando finalice la escritura.
(El viejo argumento solía estar aquí, está en el historial de edición. Lo eliminé porque es muy largo e interferirá para encontrar la respuesta correcta a la pregunta).
fuente