Engineering Design under Imprecise Probabilities: Computational Complexity

• Vladik Kreinovich ^[1]
  1. [1] University of Texas at El Paso

     University of Texas at El Paso

     Estados Unidos

     
• Localización: Cubo: A Mathematical Journal, ISSN 0716-7776, ISSN-e 0719-0646, Vol. 13, Nº. 1, 2011, págs. 103-123
• Idioma: inglés
• DOI: 10.4067/S0719-06462011000100007
• Enlaces
  • Texto completo
• Resumen
  • español

    En los problemas de diseño de ingeniería, en los que quiere asegurarse de que una determinada cantidad c del sistema se encuentra dentro de los límites dados - o por lo menos que la probabilidad de esa cantidad fuera de estos límites no superen un determinado umbral. Es posible que haya varios requisitos - la exigencia puede formularse como límites [Fc(x), Fc(x)] en la función de distribución acumulada Fc(x) de la cantidad de c, esos límites son conocidos como p-caja. El valor de la cantidad deseada c depende de los parámetros de diseño a y los parámetros b caracterizar el medio ambiente: c = f(a, b). Para lograr el objetivo de diseño, tenemos que encontrar los parámetros de diseño a para que la distribución de Fc(x) para c = f(a, b) esé dentro de los límites dados por todos los valores posibles de las variables ambientales b. El problema de la informática se llama a retrocálculo. Por b, también tienen rangos con diferentes probabilidades, es decir, también una p-box. Por lo tanto, tenemos un problema de retrocálculo para p-cajas. Para p-cajas, existen algoritmos eficientes para encontrar un diseño a que satisface las restricciones dadas. La pregunta lógica es encontrar un diseño que satisfaga restricciones adicionales: el coste, la eficiencia, etc. En este trabajo, demostramos, en general, el problema de encontrar un diseño que es computacionalmente difícil (NPhard). Se demuestra que este problema es NP-hard ya en el caso lineal más simple posible, cuando la dependencia c = f(a, b) es lineal. También ofrecemos un ejemplo, cuando un algoritmo eficiente es posible.

  • English

    In engineering design problems, we want to make sure that a certain quantity c of the designed system lies within given bounds - or at least that the probability of this quantity to be outside these bounds does not exceed a given threshold. We may have several such requirements - thus the requirement can be formulated as bounds [Fc(x), Fc(x)] on the cumulative distribution function Fc(x) of the quantity c; such bounds are known as a p-box. The value of the desired quantity c depends on the design parameters a and the parameters b characterizing the environment: c = f(a, b). To achieve the design goal, we need to find the design parameters a for which the distribution Fc(x) for c = f(a, b) is within the given bounds for all possible values of the environmental variables b. The problem of computing such a is called backcalculation. For b, we also have ranges with different probabilities - i.e., also a p-box. Thus, we have backcalculation problem for p-boxes. For p-boxes, there exist efficient algorithms for finding a design a that satisfies the given constraints. The next natural question is to find a design that satisfies additional general, the problem of finding such a design is computationally difficult (NP-hard). We show that this problem is NP-hard already in the simplest possible linearized case, when the dependence c = f(a, b) is linear. We also provide an example when an efficient algorithm is possible.

• Referencias bibliográficas
  • Ferson, S. (1995). Using approximate deconvolution to estimate cleanup targets in probabilistic risk analyses. Hydrocarbon Contaminated Soils,...
  • Ferson, S. (2002). RAMAS Risk Calc 4.0. CRC Press. Boca RatonFlorida.
  • Ferson, S,Kreinovich, V,Tucker, W. T. Untangling equations involving uncertainty: deconvolutions, updates, and backcalculations, Proceedings...
  • Ferson, S,Long, T. F. (1997). Risk Assessment: Measurement and Logic. Ann Arbor Press. Ann Arebor, Michigan.
  • Kreinovich, V. Expert knowledge is needed for design under uncertainty: for p-boxes, backcalculation is, in general, NP-hard, Proceedings...
  • Papadimitriou, C. H. (1993). Computational Complexity. Addison Wesley.
  • Tucker, W. T,Ferson, S. (2003). Groundwater Quality Modeling and Management under Uncertainty. American Society of Civil Engineers, Reston....
  • Williamson, R. C,Downs, T. (1990). Probabilistic arithmetic I: Numerical methods for calculating convolutions and dependency bounds. International...