浅析一个用PD解决的邮局选址问题


Preface (前言)

  动态规划(Dynamic Programming)是一种算法设计技术,它有着相当有趣的历史。作为一种使多阶段决策过程最优的通用方法,它是在20世纪50年代由一位卓越的美国数学家Richard Bellman所发明的。因此,这个技术名字中的“programming”是计划和规划的意思,不是代表计算法中的编程。它作为一种重要的工具在应用数学中的价值被大家认同以后,起码在计算机科学的圈子里,人们不仅用它来解决特定类型的最优问题,而且最终把它作为一种通用的算法设计技术来使用。在这里,我们正是从这个角度来考虑这种技术的。

  如果问题是由交叠的子问题所构成的,我们就可以用动态规划技术来解决它。一般来说,这样的子问题出现在对给定问题求解的递推关系中,这个递推关系中包含了相同类型的更小子问题的解。动态规划法建议,与其对交叠的子问题一次又一次地求解,还不如对每个较小的子问题只求解一次并把记录记录在表中,这样就可以从表中得出原始问题的解。

  ——《算法设计与分析基础》


Description
(问题描述)


  有一条公路经过V个村庄,每一个村庄都处在整数的坐标点上(这里假设公路拉直为X轴).规划在这条公路上建立P个邮局,当然为了方便,这些邮局应建在某P个村庄上,但是要求让不同村庄的人到邮局要走的总路程最小.

Input

先从键盘读入两个整数V和P,然后再读入V个整数,分别表示V个村庄的坐标(坐标>=0)

Output

输出P个以空格分隔的整数,按坐标从小到的顺序给出P个邮局的坐标.

Sample Input

       10 3

1 4 7 19 70 89 105 204 18 40

Sample Output

7 89 204

 

Analysis(分析)

一、问题分析

在解决本问题之前,我们有必要明确以下几点:

1、对于复杂的问题,我们有必要先从考虑简单情况出发,并由简单情况找出规律,发现思路

2、当有V个村庄点,且只有一个邮局点时,邮局点的最佳选址位置为这V个村庄点的中位点

3、当有V个村庄点,并且不只一个邮局点时,我们发现:此问题可以分解为多个子问题进行计算,并且邮局选址的最优解包含子问题的最优解,即这个邮局选址问题具有最佳子结构性质

4、在我们容易地列出此问题的递归表达式(即后文即将提及的表达式1.1)之后,我们发现:在递归计算的过程中,许多子问题被重复计算了多次

×        基于第34点发现,我们选择动态规划的方法来求解本题.

二、算法分析

(一)、找出递归表达式

根据从特殊到一般的思路,我们先考虑当邮局数为1时的情况,再考虑邮局数大于1的情况.

1、当邮局数P=1时,易知邮局的最佳选址位置为V个村庄的中位点

2、当邮局数P>1时,我们可以想象每个邮局对应一个辖区,那么问题就可以被转化为如何将V个村庄划分为连续的P个辖区.为此,我们做以下定义:

(1)、Center(l,r),表示当村庄xlxr为一个辖区时,邮局所在位置.

2)、Dis(l,r),表示当村庄xlxr为一个辖区时,该辖区内村庄到邮局的最小距离.

(3)、TotolDis(t,k),表示将村庄xt之后的所有村庄(包括村庄xl)划分为k个辖区时,所有辖区的Dis(l,r) 总和的最小值,题目就转化为求TotolDis(t,k),有

下面,我们还是通过从特殊到一般的方法,考虑如何求TotolDis(t,k)

举特例:“在V=7,P=3时,目标是求TotolDis(t,k).”


显而易见,TotolDis(t,1)=Dis(t,6)t=2,3,4,5,6;也就是说TotolDis(1,2)=min{F,G,H,I,J},是可以在原有子问题上计算出来的.
  对于情况BCDE,同理.
根据上述特殊,推广并且改造表达式(1.1),可得:

                 

       显然,这是一个典型的递归过程.


   (二)、构造动态规划的程序结构

 在以上定义Center(l,r)Dis(l.r)TotalDis(t,k)的基础上,构造合理的数据结构和控制结构,自底向上的求解这个问题 还是先考虑上述“V=7P=3,村庄坐标为06”的特例,Center(l,r)表和Dis(l,r)表如下所示.

l"r

0

1

2

3

4

5

6

l"r

0

1

2

3

4

5

6

0

0

0

1

1

2

2

3

0

0

1

2

4

6

9

12

1


1

1

2

2

3

3

1


0

1

2

4

6

9

2



2

2

3

3

4

2



0

1

2

4

6

3




3

3

4

4

3




0

1

2

4

4





4

4

5

4





0

1

2

5






5

5

5






0

1

6







6

6







0

center[l][r]

1-1 特例的Center(l,r)

dis[l][r]

1-2 特例的Dis(l,r)

      

 据此,我们可以很容易的编写出计算center[l][r]dis[l][r]的代码模块.

 

 1 void  calculateCenter() {
 2
 3       //--- 内存分配
 4
 5       center = new unsigned *[village];      //动态分配二维数组的第一维
 6
 7       for (unsigned i=0; i<village; i++)      //动态分配二维数组的第二维
 8
 9              center[i] = new unsigned[village];     
10
11       
12
13       //--- 初始化Center(l,r)
14
15       for (unsigned l = 0; l < village; l++)   
16
17              for (unsigned r = l; r < village; r++)
18
19                     center[l][r] = xCoordinate[(r-l)/2 + l];
20
21}

22

calculateCenter()函数

 1 void  calculateDis() {
 2
 3       //--- 内存分配
 4
 5       dis = new unsigned *[village];            //动态分配二维数组的第一维
 6
 7       for (unsigned i = 0; i < village; i++)     //动态分配二维数组的第二维
 8
 9              dis[i] = new unsigned[village];
10
11       
12
13       //--- 初始化Dis(l,r)
14
15       for (unsigned l = 0; l < village; l++)
16
17              for (unsigned r = l; r < village; r++){
18
19                     dis[l][r] = 0;
20
21                     for (unsigned k = l; k <= r; k++)
22
23                            if (center[l][r] > xCoordinate[k])
24
25                                   dis[l][r] += center[l][r] - xCoordinate[k];
26
27                            else
28
29                                   dis[l][r] += xCoordinate[k]- center[l][r];
30
31              }

32
33}

34

calculateDis()函数

      
      
在计算TotalDis(0,P)时,由于题目要求输出邮局的位置,所以在计算TotalDis(0,P)的过程中,只计算最小值还不够,还必须记录下取得最小值时的分辖区情况.于是,我们这么定义TotalDis二维数组.

 

 1 struct info{
 2
 3       unsigned dis;   //最小值
 4
 5       unsigned r;     //标号r之前(包括r)的村庄为一个辖区
 6
 7}
;
 8
 9 
10
11info **totalDis=NULL;
12

totalDis表的元素结构


    计算过程如下所示.

 1 void  calculateTotalDis() {
 2
 3       //--- 内存分配
 4
 5       totalDis = new info *[village];       //动态分配二维数组的第一维
 6
 7       for (unsigned i = 0; i < village; i++)     //动态分配二维数组的第二维
 8
 9              totalDis[i] = new info[postoffice+1]; 
10
11 
12
13       //--- 计算TotalDis(v,p+1)
14
15       //---- 当k=1时,根据公式(1.2),直接计算
16
17       for (unsigned t = 0; t < village; t++)
18
19              totalDis[t][1].dis = dis[t][village-1];
20
21       //---- 当k=2,3,,p时的情况
22
23       for (unsigned k = 2; k <= postoffice; k++)
24
25              for (unsigned t = 0; t < village; t++){
26
27                     totalDis[t][k].dis = (unsigned)-1;
28
29                     totalDis[t][k].r = 0;
30
31                     for (unsigned r = t; r <= village-k; r++){
32
33                            unsigned temp = dis[t][r] + totalDis[r+1][k-1].dis;
34
35                            //---- 计算最小值
36
37                            if (temp < totalDis[t][k].dis){
38
39                                   totalDis[t][k].dis = temp;
40
41                                   totalDis[t][k].r = r;
42
43                            }

44
45                     }

46
47              }

48
49}

50

calculateTotalDis()函数


    得到的TotalDis(t,k)表如下所示.


 

    对于本题,还有一个地方需要注意,那就是输出.由于题目要求输出各邮局的坐标,在这里需用到递归的方法,具体输出模块如下所示.


 

 1 void output(unsigned t, unsigned k){
 2
 3       if (1 == k)
 4
 5              cout << center[t][village-1];
 6
 7       else{
 8
 9              cout << center[t][totalDis[t][k].r] << ' ';
10
11              output(totalDis[t][k].r+1, k-1); //递归
12
13       }

14
15}

16

output函数


三、结语

另外,本问题也可以采用“备忘录”方式解决,有兴趣的朋友可以自己研究,这里不再赘述.

 

Code(源码) 

    (点击标题下载)


Reference(参考资料)

1、《程序员》杂志,总第162期,总第163期.

2、《计算机算法设计与分析(第3版)》,王晓东编著,电子工业出版社出版.

3、《算法设计与分析基础》,Anany Levitin著,清华大学出版社出版.

 

--

声明:本问题的解法源于《程序员》杂志第163期 “算法擂台” 清华大学吴虎文教授的解答,略有修正,并非原创;源代码已在VC++6.0上调试通过,仅供学习交流之用,请勿由于商业用途。

 

 

NorX Hsiao
Nov. 7th , 2007

转载于:https://www.cnblogs.com/norx/articles/1004564.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值