BZOJ题目1087: [SCOI2005]互不侵犯King(状态压缩DP)

本文探讨了如何在一个N×N的棋盘上放置K个国王,使得它们互不攻击的问题,并提供了算法实现与AC代码。通过深度优先搜索和记忆化递归的方法,有效地解决了该问题。

1087: [SCOI2005]互不侵犯King

Time Limit: 10 Sec   Memory Limit: 162 MB
Submit: 2182   Solved: 1282
[ Submit][ Status][ Discuss]

Description

在N×N的棋盘里面放K个国王,使他们互不攻击,共有多少种摆放方案。国王能攻击到它上下左右,以及左上左下右上右下八个方向上附近的各一个格子,共8个格子。

Input

只有一行,包含两个数N,K ( 1 <=N <=9, 0 <= K <= N * N)

Output

方案数。

Sample Input

3 2

Sample Output

16

HINT

Source

暴搜过不了。。

ac代码

/**************************************************************
    Problem: 1087
    User: kxh1995
    Language: C++
    Result: Accepted
    Time:60 ms
    Memory:13708 kb
****************************************************************/
 
#include<stdio.h>
#include<string.h>
long long dp[10][110][1<<10];
int can[1<<10][1<<10],num[1<<10],is[1<<10];
int rt,p;
int n,m;
int count(int x)
{
    int c=0;
    while(x)
    {
        c++;
        x&=(x-1);
    }
    return c;
}
void init()
{
    int i,j;
    p=0;
    memset(can,0,sizeof(can));
    for(i=0;i<=rt;i++)
    {
        if(i&(i<<1)||i&(i>>1))
            continue;
        is[++p]=i;
        num[p]=count(i);
        for(j=0;j<=rt;j++)
        {
            if(i&(i<<1)||i&(i>>1))
                continue;
            if(i&j||i&(j<<1)||j&(i<<1))
                continue;
            can[i][j]=1;
        }
    }
}
int main()
{
    //int n,m;
    while(scanf("%d%d",&n,&m)!=EOF)
    {
        rt=(1<<n)-1;
        init();
        int i,j,k;
        for(i=1;i<=p;i++)
        {
            dp[1][num[i]][is[i]]=1;
        }
        for(i=1;i<n;i++)
            for(j=1;j<=p;j++)
            {
                for(k=1;k<=p;k++)
                {
                    if(can[is[j]][is[k]])
                    {
                        for(int x=num[j];x+num[k]<=m;x++)
                        {
                            dp[i+1][x+num[k]][is[k]]+=dp[i][x][is[j]];
                        }
                    }
                }
            }
        long long ans=0;
        for(i=1;i<=p;i++)
        {
            ans+=dp[n][m][is[i]];
        }
        printf("%lld\n",ans);
    }
}


内容概要:本文详细记录了对一个Android ARM64静态ELF文件中字符串加密机制的逆向分析过程。该ELF文件的所有字符串均被加密,无法通过常规strings命令或IDA直接识别。作者通过分析发现,加密字符串存储在.rodata段,其解密所需信息(包括密文地址、长度和16位密钥)保存在.data.rel.ro段的40字节描述符中。核心解密函数sub_10F408采用自反的双pass流密码算法,结合固定密钥KEY_TERM(由.data段24字节数据计算得出),实现字节级非线性、位置与长度相关的加密。文章还复现了完整的Python解密脚本,并揭示了该保护机制的本质为代码混淆而非强加密,最终成功批量解密全部956条字符串,暴露程序真实行为,如shell命令模板、设备标识篡改、网络重置等操作。此外,文中还提及未启用的自定义壳框架及其反dump设计。; 适合人群:具备逆向工程基础的安全研究人员、二进制分析人员及对ELF保护技术感兴趣的开发者。; 使用场景及目标:①学习ELF二进制中字符串加密的典型实现方式与逆向突破口;②掌握从结构识别、函数追踪到算法还原的完整逆向流程;③理解“绑定二进制”的完整性校验设计及其局限性;④实践编写IDAPython脚本自动化提取与解密敏感数据。; 阅读建议:此资源以实战案例驱动,不仅展示技术细节,更强调逆向思维与验证方法,建议读者结合IDA调试环境,逐步跟随文中步骤进行动态分析与算法验证,深入理解每一步的推理依据。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值