山地场景数量(Mountain Scenes_Problem)

动态规划之山地场景数量(Mountain Scenes)

1. 前言

山景数量类似于0-1背包问题，它不同于0-1背包问题的地方在于，每次递归都形成h+1叉树，其中h为框架的高度；相比而言，0-1背包问题递归的结果为形成二叉树。 但是问题的本质是相同的，都是在不断进行尝试，直到最终得到结果。

山景数量不同于0-1背包的问题的另外一点还在于，它没有最优解，过程中我们不需要求解最小值或最大值，只要观察到每次w减少至0或增加到最大宽度width,此时就完成一副山景画的勾勒。

2. 问题描述

艺术家从一卷一英寸宽的丝带开始工作。她将其剪成各种整数长度的碎片，然后将它们与框架底部对齐，垂直堆叠成柱子（不重合)，形成山景。山景一定是不平坦的;如果所有柱子的高度相同，那就是平原景象，而不是山地场景！值得一提的是，她可能不会使用所有丝带。

下图就是一副典型的山地场景。

如果我们的艺术家手头有4英寸长的丝带，旁边摆设2英寸见方的框架，那么艺术家就可能创造出这些山地场景：

值得一提的是，她也可以创造出下面的场景，但是这些场景属于平原场景，不是山地场景：

给定丝带的长度与框架的宽度和高度，都以英寸为单位，她能创造出多少种不同的山地场景？如果框架中的覆盖区域不同，则两个场景认为不同的。注意不要相同区域重复放置丝带，此举没对勾勒山地场景没有任何意义。

3. 问题解答

山地场景实际上不属于最优问题类的范畴，它实际上需要求解所有的可行解的总数量，但是此问题存在很多重复子问题，所以动态规划仍然相当有效。所以我们选择动态规划的方法进行求解。

基于原题目中的2×2的框架，以及总长度4的丝带为例，可以用图解的形式进行分解，对于每列，我们实际上有三个选择，不放置任何丝带或放置一根丝带

基于空白框架，每次有三个选择，然后再在这个基础上进行选择，最后知道宽度等于框架总宽度为止，如果宽度等于总框架的宽度，那么就是一副完整的画面。

/**
 * @file mountain_scene.c
 * @author your name (you@domain.com)
 * @brief 
 * @version 0.1
 * @date 2023-03-07
 * 
 * @copyright Copyright (c) 2023
 * 
 */

#ifndef MOUNTAIN_SCENE_C
#define MOUNTAIN_SCENE_C
#include "mountain_scene.h"
int mountain_scene_memo(int w, int ribbon, int **memo, int h, int width)
{
    int i;
    int res;

    if(memo[w][ribbon]!=-1)
    {
        return memo[w][ribbon];
    }

    if(ribbon<0)
    {
        return 0;
    }

    //When the width value equals the frame width, 
    //We know we’ve finished creating a unique mountain scene!
    if(w==width)
    {
        memo[w][ribbon]=1;
    }
    else
    {
        res = 0;

        // Try placing all possible ribbon lengths at this column and width
        for (i = 0; i <= h; i++)
        {
            if (ribbon >= i)  //Equal to ribbon<0 and return 0
            {
                res = res + mountain_scene_memo(w + 1, ribbon - i, memo,h, width);
            }
        }
        // Store and return the number of scenes for this sub-problem.
        memo[w][ribbon]=res;
    }

    return memo[w][ribbon];
}

int mountain_scene(int n, int h, int width)
{
    int ribbon;
    int even_plain;
    int **memo;
    int i;
    int j;

    //Allocate the width+1 row, it is the recursive call depth
    memo=(int **)malloc(sizeof(int *)*(width+1));

    for(i=0;i<=width;i++)
    {
        //Allocate the h*width+1 for each row since 
        //for each row the remaining ribbon piece will be from 0 to h*width
        *(memo+i)=(int *)malloc(sizeof(int)*(h*width+1));
    }

    for(i=0;i<=width;i++)
    {
        for(j=0;j<=(h*width);j++)
        {
            memo[i][j]=-1; //set the intial value as -1
        }
    }


    ribbon=(n>(width*h)?(width*h):n);

    even_plain=(( (h>(ribbon/width)) ? (ribbon/width) : h )+1);

    //set width to zero
    return mountain_scene_memo(0,ribbon,memo,h,width)-even_plain;
    
}

#endif

4. 总结

这类问题可以归结为多项选择，最终形成多叉树的过程。

参考资料：

1. Dynamic programming Mountain Scenes-William Fiset