怎么编写lingo和matlab程序来求解问题？展厅监控问题 (试求出所有可能的解—用Lingo和matlab求解)

覆盖问题，每个展厅都被覆盖的情况下，使总的摄像机数量最小，LINGO模型见附件。

运行结果显示只要在2，4，8，13四个点安置4台双向摄像机即可，结果为：

Global optimal solution found.

Objective value:                              4.000000

Objective bound:                              4.000000

Infeasibilities:                              0.000000

Extended solver steps:                               0

Total solver iterations:                             0

Model Class:                                      PILP

Total variables:                     13

Nonlinear variables:                  0

Integer variables:                   13

Total constraints:                    9

Nonlinear constraints:                0

Total nonzeros:                      36

Nonlinear nonzeros:                   0

                              Variable           Value        Reduced Cost

                               CM( T1)        0.000000            1.000000

                               CM( T2)        1.000000            1.000000

                               CM( T3)        0.000000            1.000000

                               CM( T4)        1.000000            1.000000

                               CM( T5)        0.000000            1.000000

                               CM( T6)        0.000000            1.000000

                               CM( T7)        0.000000            1.000000

                               CM( T8)        1.000000            1.000000

                               CM( T9)        0.000000            1.000000

                              CM( T10)        0.000000            1.000000

                              CM( T11)        0.000000            1.000000

                              CM( T12)        0.000000            1.000000

                              CM( T13)        1.000000            1.000000

                           P( ZT1, T1)        1.000000            0.000000

                           P( ZT1, T2)        0.000000            0.000000

                           P( ZT1, T3)        0.000000            0.000000

                           P( ZT1, T4)        1.000000            0.000000

                           P( ZT1, T5)        0.000000            0.000000

                           P( ZT1, T6)        0.000000            0.000000

                           P( ZT1, T7)        0.000000            0.000000

                           P( ZT1, T8)        0.000000            0.000000

                           P( ZT1, T9)        0.000000            0.000000

                          P( ZT1, T10)        0.000000            0.000000

                          P( ZT1, T11)        0.000000            0.000000

                          P( ZT1, T12)        0.000000            0.000000

                          P( ZT1, T13)        0.000000            0.000000

                           P( ZT2, T1)        0.000000            0.000000

                           P( ZT2, T2)        0.000000            0.000000

                           P( ZT2, T3)        0.000000            0.000000

                           P( ZT2, T4)        0.000000            0.000000

                           P( ZT2, T5)        0.000000            0.000000

                           P( ZT2, T6)        1.000000            0.000000

                           P( ZT2, T7)        0.000000            0.000000

                           P( ZT2, T8)        1.000000            0.000000

                           P( ZT2, T9)        0.000000            0.000000

                          P( ZT2, T10)        0.000000            0.000000

                          P( ZT2, T11)        0.000000            0.000000

                          P( ZT2, T12)        1.000000            0.000000

                          P( ZT2, T13)        0.000000            0.000000

                           P( ZT3, T1)        1.000000            0.000000

                           P( ZT3, T2)        1.000000            0.000000

                           P( ZT3, T3)        1.000000            0.000000

                           P( ZT3, T4)        0.000000            0.000000

                           P( ZT3, T5)        0.000000            0.000000

                           P( ZT3, T6)        0.000000            0.000000

                           P( ZT3, T7)        0.000000            0.000000

                           P( ZT3, T8)        0.000000            0.000000

                           P( ZT3, T9)        0.000000            0.000000

                          P( ZT3, T10)        0.000000            0.000000

                          P( ZT3, T11)        0.000000            0.000000

                          P( ZT3, T12)        0.000000            0.000000

                          P( ZT3, T13)        0.000000            0.000000

                           P( ZT4, T1)        0.000000            0.000000

                           P( ZT4, T2)        0.000000            0.000000

                           P( ZT4, T3)        1.000000            0.000000

                           P( ZT4, T4)        1.000000            0.000000

                           P( ZT4, T5)        1.000000            0.000000

                           P( ZT4, T6)        0.000000            0.000000

                           P( ZT4, T7)        0.000000            0.000000

                           P( ZT4, T8)        0.000000            0.000000

                           P( ZT4, T9)        0.000000            0.000000

                          P( ZT4, T10)        0.000000            0.000000

                          P( ZT4, T11)        0.000000            0.000000

                          P( ZT4, T12)        0.000000            0.000000

                          P( ZT4, T13)        0.000000            0.000000

                           P( ZT5, T1)        0.000000            0.000000

                           P( ZT5, T2)        0.000000            0.000000

                           P( ZT5, T3)        0.000000            0.000000

                           P( ZT5, T4)        0.000000            0.000000

                           P( ZT5, T5)        0.000000            0.000000

                           P( ZT5, T6)        0.000000            0.000000

                           P( ZT5, T7)        1.000000            0.000000

                           P( ZT5, T8)        1.000000            0.000000

                           P( ZT5, T9)        1.000000            0.000000

                          P( ZT5, T10)        0.000000            0.000000

                          P( ZT5, T11)        0.000000            0.000000

                          P( ZT5, T12)        0.000000            0.000000

                          P( ZT5, T13)        0.000000            0.000000

                           P( ZT6, T1)        0.000000            0.000000

                           P( ZT6, T2)        0.000000            0.000000

                           P( ZT6, T3)        0.000000            0.000000

                           P( ZT6, T4)        0.000000            0.000000

                           P( ZT6, T5)        0.000000            0.000000

                           P( ZT6, T6)        0.000000            0.000000

                           P( ZT6, T7)        0.000000            0.000000

                           P( ZT6, T8)        0.000000            0.000000

                           P( ZT6, T9)        0.000000            0.000000

                          P( ZT6, T10)        1.000000            0.000000

                          P( ZT6, T11)        0.000000            0.000000

                          P( ZT6, T12)        1.000000            0.000000

                          P( ZT6, T13)        1.000000            0.000000

                           P( ZT7, T1)        0.000000            0.000000

                           P( ZT7, T2)        1.000000            0.000000

                           P( ZT7, T3)        0.000000            0.000000

                           P( ZT7, T4)        0.000000            0.000000

                           P( ZT7, T5)        1.000000            0.000000

                           P( ZT7, T6)        0.000000            0.000000

                           P( ZT7, T7)        0.000000            0.000000

                           P( ZT7, T8)        0.000000            0.000000

                           P( ZT7, T9)        1.000000            0.000000

                          P( ZT7, T10)        0.000000            0.000000

                          P( ZT7, T11)        1.000000            0.000000

                          P( ZT7, T12)        0.000000            0.000000

                          P( ZT7, T13)        0.000000            0.000000

                           P( ZT8, T1)        0.000000            0.000000

                           P( ZT8, T2)        0.000000            0.000000

                           P( ZT8, T3)        0.000000            0.000000

                           P( ZT8, T4)        0.000000            0.000000

                           P( ZT8, T5)        0.000000            0.000000

                           P( ZT8, T6)        0.000000            0.000000

                           P( ZT8, T7)        0.000000            0.000000

                           P( ZT8, T8)        0.000000            0.000000

                           P( ZT8, T9)        0.000000            0.000000

                          P( ZT8, T10)        0.000000            0.000000

                          P( ZT8, T11)        1.000000            0.000000

                          P( ZT8, T12)        0.000000            0.000000

                          P( ZT8, T13)        1.000000            0.000000

设施数量、精确度。

1、P-中值模型常以总距离或者总时间作为测度指标，使得其并不适用于一些特殊的场景，而覆盖模型则比较适用于消防中心和救护车等应急设施的区位。

2、P-中值模型可以通过精确的数学语言进行描述，集合覆盖模型是一种优化求解问题，对很多组合数学和资源选择问题给出了很好的抽象模型。

一个用于表述科学说明的术语，意为一个事件通过从一个一般规律和某些初始条件中演绎出而被说明。说明就是把事件纳入一个一般规律，或者说用一般规律来“覆盖”它。这称为说明的演绎-规律模型。这个模型也可应用于覆盖律自身，即这一定律可由从更高阶的覆盖律或规律本身中演绎出而得以说明。这种说明理论是由亨佩尔所详尽阐释的。在一种拓展的意义上，覆盖律模型能利用统计规律，通过表明一个事件是高度或然的以说明它。这一通常是归纳的说明模型被称为归纳一概率模型。“覆盖律模型”一词由德莱在他的《历史中的规律与解释》一书中首先用于指第一种模型。亨佩尔把它的使用拓展到第二种模型。围绕着每一种模型都展开了许多争论。对于演绎-规律模型，有些批评者认为，在某些情形中，提供说明无须规律，而至少有些满足这一模型的表述又缺乏说明力。根据某种解释，出现这些问题，是因为这种模型的形式化方法没有注意到说明中的情境因素。对于第二种，争论关涉统计模型的本性和一个纯统计规律能否用于说明。覆盖律模型也称作“说明的归类模型”。

　D-N模型：又称为演绎---规律模型，或覆盖律模型。

此模型对演绎律则的说明如下：

1、说明必须是一个有效地演绎论证；

2、说明句必须至少包含演绎中实际需要的一个普遍定律；

3、说明句必须是经验上可检验的；

4、说明句中的句子必须是真的。

满足这样些条件的一种说明提供了足够的信息，使得人们能够预测被说明句或者类似诸事件的出现，如果人们能够自导初始条件或者边界条件成立的话。

第一个条件保证，说明句对于被说明句的相关性。第二个条件排除了自身说明自身的情况。第三个条件可检验性，用意是排除一些非科学的说明，即求助于不能由观察、实验或其他经验数据所确证或否证的说明性因素的那些所谓的说明。

根据对于说明的相关性和可检验性的考虑﹐Hempel提出了他的说明理论﹕经典的覆盖律模型(the covering law model)。按照Hempel﹐所有说明能够被归结在两种模型之下﹕演绎---规律模型(D-N模型)和归纳---统计模型(I-S模型)。这些模型能够按照下列四个条件来表征﹕

1. 说明是一个具有正确的(演绎的或归纳的)逻辑形式的论证；

2. 说明的前提中至少一个必须是(普遍的或统计的)定律；

3. 这些前提必须是真的；

4. 说明必须满足最大专门性(maximal specificity)要求。

Hempel认为这些条件满足了我们对于说明提出的要求。按照他的观点﹐通过从某些相关的前提中推导出一个给定的事件﹐这个事件便得到了一个说明。这里﹐在D-N说明的情形中，我们期待被说明项以演绎的确定性出现﹔在I-S说明的情形中﹐我们期待它以高概率或对于实际目的足够高的概率出现。Hempel关于说明的主导观念，即说明作为逻辑论证的思想﹐因此意味着说明项要包含如此充分的信息使得允许我们要么以归纳的，要么以演绎的确定性推出被说明项。

---