第八届福建省大学生程序设计竞赛-K Wand(错位+组合数)

题目链接:http://acm.fzu.edu.cn/contest/problem.php?cid=156&sortid=11

题目大意:给你一个数n和k,让你求解在长度为n的序列a[n](1,2,3,4......n),错位数不超过n-k的序列总数是多少

题目思路:1.先利用dp统计错位的个数;

       dp[i] = num  这里 i 代表3个数错位时,num便是当前状态下的满足条件总数。

       然后推导状态方程,当a[i]与a[k]互换时,dp[i] = (i-1)*dp[i-2];当a[i]填到k位置a[k]不填到i位置时dp[i]=(i-1)*dp[i-1]

       故:dp[i]=(dp[i-1]+dp[i-2])*(i-1)(dp[1]=0,dp[0]=1)

       2.最后再利用组合数算出不错位的情况,不错位*错位求和即可(在这里组合数求解的方法只能使用o(n)的方法,我是直接套的模板=w=)

学到的东西:关于错位的dp!!!很重要!!!

代码:

#include <iostream>
using namespace std;
#define ll long long
const int N = 1e5+5;
const int mod = (int)1e9+7;
int F[N],Finv[N],inv[N];
void init()
{
    inv[1]=1;
    for(int i=2;i<N;i++)
        inv[i] = (mod-mod/i)*1ll*inv[mod%i]%mod;

    F[0] = Finv[0] = 1;
    for(int i=1;i<N;i++){
        F[i] = F[i-1]*1ll*i%mod;
        Finv[i] = Finv[i-1]*1ll*inv[i]%mod;
    }
}

int comb(int n,int m)
{
    if(m<0||m>n) return 0;
    return F[n]*1ll*Finv[n-m]%mod*Finv[m]%mod;
}
int main()
{
    init();
    ll dp[N];
    dp[1]=0;
    dp[0]=1;
    for(int i=2;i<N;i++){
        dp[i] = (dp[i-1]+dp[i-2])*(i-1);//错位i
        dp[i] = dp[i]%mod;
    }

    int t;cin>>t;
    while(t--){
        int n,k;
        cin>>n>>k;
        ll ans=0;
        for(int kk=k;kk<=n;kk++){
            ans+=comb(n,kk)*dp[n-kk]%mod;
            ans=ans%mod;
        }
        cout<<ans%mod<<endl;
    }
}



  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
以下是一个关于数字设计综合前后的LEC的脚本文件示例: ``` # 设计文件 set_design -name design.v # 综合后网表文件 read_verilog -sv synthesized_netlist.v # 仿真波形文件 read_sdf -sdf simulation.sdf # LEC验证前的分析 analyze -pre # LEC验证 lec -nogui -assert -verbose -ignore init -ignore assert -ignore property -ignore bind -ignore cover -ignore sequence -ignore fsm -ignore mem -ignore delay -ignore port -ignore config -ignore attr -ignore sub_design -ignore assert_type -ignore generate -ignore gate -ignore parameter -ignore ioprobe -ignore bufif0 -ignore bufif1 -ignore notif0 -ignore notif1 -ignore nmos -ignore pmos -ignore pullup -ignore pulldown -ignore tranif0 -ignore tranif1 -ignore rtranif0 -ignore rtranif1 -ignore tri -ignore tri0 -ignore tri1 -ignore wand -ignore wor -ignore tran -ignore rtran -ignore event -ignore path -ignore delay_interconnect -ignore delay_rise -ignore delay_fall -ignore delay_cell_rise -ignore delay_cell_fall -ignore delay_high -ignore delay_low -ignore transition -ignore clock_transition -ignore setup -ignore hold -ignore recovery -ignore removal -ignore skew -ignore unateness -ignore levelling -ignore noise -ignore slew -ignore width -ignore period -ignore uncertainty -ignore constraint -ignore pulse -ignore mux -ignore cmos -ignore buf -ignore not -ignore nand -ignore and -ignore nor -ignore or -ignore xor -ignore xnor -ignore dff -ignore sr -ignore t -ignore jk -ignore d -ignore pulse -ignore mux4 -ignore adder -ignore sub -ignore mul -ignore div -ignore mod -ignore shift -ignore comparator -ignore counter -ignore decoder -ignore priority_encoder -ignore arbiter -ignore fsm_encoding -ignore gate_level -ignore primitive -ignore user_defined -ignore user_defined1 -ignore user_defined2 -ignore user_defined3 -ignore cross_clock -ignore cross_case -ignore cross_function -ignore cross_block -ignore cross_file -ignore cross_module -ignore cross_instance -ignore cross_level -ignore cross_type -ignore cross_tool -ignore cross_vendor -ignore cross_version -ignore cross_process -ignore cross_version -ignore cross_reference -ignore cross_other # LEC验证后的分析 analyze -post # 结束 exit ``` 在这个脚本文件中,我们首先设置设计文件,然后读取综合后的网表文件和仿真波形文件。接着进行LEC验证前的分析,然后运行LEC验证命令。这里我们使用了多个-ignore参数,忽略了大量的LEC验证规则,以提高验证效率。最后进行LEC验证后的分析,并结束脚本。在实际应用中,我们可以根据具体的设计和验证需求,调整LEC验证规则和忽略的参数,以达到最佳的验证效果。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值