Establecer problema de optimización: ¿es np-complete?

Se proporciona el conjunto . Para cada elemento , tenemos peso y costo . El objetivo es encontrar el subconjunto de tamaño que maximice la siguiente función objetivo: . $S=\{e_1,\cdots,e_n\}$ $e_i$ $w_i>0$ $c_i>0$ $M$ $k$

\sum_{e_{i} \in M} w_{i} + \frac{\sum_{e_{i} \notin M} w_{i} c_{i}}{\sum_{e_{i} \notin M} c_{i}}

$\sum_{e_i\in M} w_i + \frac{\sum_{e_i\notin M} w_i c_i}{\sum_{e_i\notin M} c_i}$

¿El problema es NP-duro?

Dado que la función objetivo parece extraña, es útil explicar una aplicación de la función objetivo.

Supongamos que tenemos n elementos a y hay copias de cada objeto en nuestro inventario. Tenemos algunos clientes y están interesados en estos objetos en proporción con su peso , lo que significa que el objeto con mayor es más popular. Tenemos un sistema de venta en línea y necesitamos responder correctamente a las solicitudes de nuestros clientes. No podemos reconocer objetos por sus formas (¡todos se ven iguales!). Pero tenemos un clasificador para encontrarlos. Cada clasificador se puede usar para detectar copias de un objeto. Nuestro objetivo es ejecutar k clasificador para maximizar la satisfacción de nuestros clientes. $e_1$ $e_n$ $c_i$ $e_i$ $w_i$ $w_i$

PD: Puede ser útil pensar en el caso de que para todo ; sin embargo, no estoy seguro. [ ¡Estaba equivocado sobre esto! Está en P por esta suposición ] $w_i c_i=p$ $i\leq n$

np-hardness optimization Nasooh
fuente

El término correcto es menor o igual al mayor peso de un elemento que no está en M. Por lo tanto, si tiene un elemento con un gran peso, es mejor ponerlo en M, en lugar de dejar que se desperdicie. Por lo tanto, M debe consistir en los elementos con los k pesos más grandes. ¿Derecho?

zotachidil

No es correcto, porque los costos también son importantes. Considere el siguiente ejemplo:

Nasooh

w1 = 50, c1 = 80 - w2 = 40, c2 = 15 - w3 = 10, c3 = 5. Para k igual a 1, elegir e2 es más beneficioso que e1.

Nasooh

Tienes razón. Hmm ...

zotachidil

Gracias por intentar explicar la motivación. Desafortunadamente, la conexión entre su explicación y la función objetivo en la pregunta aún no está del todo clara para mí, pero supongo que tengo que estar satisfecho con la explicación actual para mantener la pregunta dentro de un plazo razonable.

Tsuyoshi Ito

Respuestas:

La respuesta a continuación observa que un caso especial del problema se puede resolver en tiempo polinómico. Esto no responde completamente la pregunta en la publicación, pero puede dar una idea de lo que podría ser necesario para una prueba de dureza NP, y puede provocar un interés adicional en la publicación ...

Observación. El problema en el poste tiene un algoritmo que, dado cualquier caso en el que cada es un número entero, carreras en polinomio tiempo en y . $c_i$ $n$ $D = \sum_i c_i$

Bosquejo de prueba. Arregle cualquier entrada donde y (WLOG) . Reformulando ligeramente el problema, el objetivo es encontrar de tamaño maximizando $(S, w, c, K)$ $w,c\in\mathbb{R}_+^n$ $S=\{1,2,\ldots,n\}$ $M\subseteq S$ $K$ . $\frac{\sum_{i\in M} w_i c_i}{\sum_{i\in M} c_i} - \sum_{i\in M} w_i$

$(d_1, d_2, k, m)$ $0\le d_1 \le d_2 \le D$ $0\le k \le K$ $k\le m\le n$

ϕ (d_{1}, d_{2}, k, m) = max {\sum_{i \in M} w_{i} (c_{i} / d_{1} - 1) : M \subseteq [m], | M | = k, \sum_{i \in M} c_{i} = d_{2}} .

$\textstyle\phi(d_1, d_2, k, m) = \max \Big\{ \sum_{i\in M} w_i (c_i / d_1 - 1) ~:~ M \subseteq [m],\, |M| = k, \, \sum_{i\in M} c_i = d_2\Big\}.$

max_{d} ϕ (d, d, K, n)

$\max_d \phi(d, d, K, n)$

Particionando las posibles soluciones para en las que contienen las que no, obtenemos la recurrencia Dejamos los casos límite como un ejercicio. $\phi(d_1, d_2, k, m)$ $m$

ϕ (d_{1}, d_{2}, k, m) = max {\begin{cases} ϕ (d_{1}, d_{2} - c_{m}, k - 1, m - 1) + w_{m} (c_{m} / d_{1} - 1) \\ ϕ (d_{1}, d_{2}, k, m - 1) . \end{cases}

$\textstyle\phi(d_1, d_2, k, m) = \max\begin{cases} \phi(d_1, d_2 - c_m, k-1,m-1) + w_m(c_m/d_1-1) \\ \phi(d_1, d_2, k, m-1). \end{cases}$

El número de subproblemas es , y para cada uno el lado derecho de la recurrencia se puede evaluar en un tiempo constante, por lo que se ejecuta el algoritmo en el polinomio de tiempo en y . $O(n^2 D^2)$ $n$ $D$ $~~\Box$

Corolario. A menos que P = NP, cualquier reducción que muestre la dureza de NP se reducirá a instancias donde no es polinomial en . $D$ $n$

Observación. A menos que me equivoque, también hay un PTAS para el problema en la publicación, basado en redondear los y luego usar la programación dinámica. Sin embargo, la existencia de un PTAS no tiene relación directa con si el problema es NP-duro, como se preguntó en el post. $w_i$

También tengo curiosidad --- ¿Alguien sabe si el caso especial cuando (para cada ) tiene un algoritmo de poli-tiempo? (EDITAR: sí, según el comentario de Willard Zhan, esto parece optimizado al tomar para contener los elementos más grandes). $w_i=c_i$ $i$ $M$ $k$

Neal Young
fuente

¿No es el caso de lo mismo que minimizar , que se optimiza cuando consiste en el más 's?

w_{i} = c_{i}

$w_i=c_i$

(\sum_{i \neq j \notin M} w_{i} w_{j}) / (\sum_{i \notin M} w_{i})

$(\sum_{i\neq j\notin M}w_iw_j)/(\sum_{i\notin M} w_i)$

M

$M$

w_{i}

$w_i$

Willard Zhan

@WillardZhan, sí, eso parece correcto.

Neal Young

-6

¿Está preguntando acerca de la maximización de una función sin restricciones?

Es realmente simple Si M es el conjunto más grande, entonces es la mejor solución. No es necesario calcular nada.

Este problema parece similar al problema de la mochila, que es NP por cierto.

Guillermo
fuente

La pregunta dice: "el subconjunto M de tamaño k".

Tsuyoshi Ito