zoukankan      html  css  js  c++  java
  • UVa 1374

    解题思路:

      这是一道以快速幂计算为原理的题,实际上也属于求最短路径的题目类型。那么我们可以以当前求出的幂的集合为状态,采用IDA*方法即可求解。问题的关键在于如何剪枝效率更高。笔者采用的剪枝方法是:

      1)如果当前状态幂集合中的最大元素max满足 max*2^(maxd-cur_d)<n,则剪枝。原因是:在每一次状态转移后,max最多增大一倍。(maxd-cur_d)次转移之后,max最多变成原来的2^(maxd-cur_d)倍,然而如果当前状态的极限情况下仍有max<n,则当前状态结点一定无法出解。

      2)解的幂集合中最多只有一个元素比目标n大。

    采用反证法,证明如下:

      假设解的幂集合中存在m2>m1>n ,那么必然存在从m2到达m1的路径p1,和从m1到达n的路径p2(否则与假设矛盾)。

      设路径p1花费步数s1,路径p2花费步数s2,那么从m2到达n的步数为s3=s2+s1>s2。

      然而由于我们采用IDA*算法,由于s2<s3,路径p2会先被找到,当前状态不会出现,产生矛盾,得证。

    有了以上优化思路,代码效率将会极大提高。

    代码如下:

     1 #include <iostream>
     2 #include <vector>
     3 #include <cstdio>
     4 #include <cstring>
     5 #include <ctime>
     6 #include <set>
     7 #include <algorithm>
     8 
     9 using namespace std;
    10 #define time__ printf("time : %f
    ",double(clock())/CLOCKS_PER_SEC)
    11 
    12 int tar_n;
    13 int power[3000+5];
    14 vector<int> S;
    15 int maxd;
    16 int S_upper_n(){
    17     int cnt=0;
    18     for(int i=0;i<S.size();i++)
    19         if(S[i]>tar_n) cnt++;
    20     return cnt;
    21 }
    22 bool dfs(int d){
    23     if(d==maxd){
    24         if(power[tar_n]) return true;
    25         else return false;
    26     }
    27     int S_max=0;
    28     for(int i=0;i<S.size();i++)
    29         S_max=max(S_max,S[i]);
    30     if(((S_max)<<(maxd-d))<tar_n||S_upper_n()>1)
    31         return false;
    32     for(int i=S.size()-1;i>=0;i--){
    33         int t;
    34         t=S[S.size()-1]+S[i];
    35         if(power[t]==0){
    36             S.push_back(t);
    37             power[t]=1;
    38             if(dfs(d+1)) return true;
    39             S.pop_back();
    40             power[t]=0;
    41         }
    42         t=S[S.size()-1]-S[i];
    43         if(t>0&&power[t]==0){
    44             S.push_back(t);
    45             power[t]=1;
    46             if(dfs(d+1)) return true;
    47             S.pop_back();
    48             power[t]=0;
    49         }
    50     }
    51     return false;
    52 }
    53 bool solve(){
    54     memset(power, 0, sizeof power);
    55     S.clear();
    56     S.push_back(1);
    57     power[1]=1;
    58     if(dfs(0))
    59         return true;
    60     return false;
    61 }
    62 int main() {
    63     while(scanf("%d",&tar_n)&&tar_n){
    64         maxd=0;
    65         int temp=1;
    66         while(temp<tar_n){
    67             maxd++;
    68             temp+=temp;
    69         }
    70         for(;;maxd++)
    71             if(solve()){
    72                 printf("%d
    ",maxd);
    73                 //time__;
    74                 break;
    75             }
    76     }
    77     //time__;
    78     return 0;
    79 }
  • 相关阅读:
    数据库(DB)
    PHP课程设计
    版本号设计规则
    设计模式(Java)
    简单的流式布局(移动应用开发)
    laravel工作机制(PHP程序设计)
    接口自动化测试(软件测试)
    Java学习路线
    ES6基础知识
    promise
  • 原文地址:https://www.cnblogs.com/Kiraa/p/5346464.html
Copyright © 2011-2022 走看看