poj 1094 Sorting It All Out 拓扑排序

本文解析了 POJ 1094 题目的解决方案,通过拓扑排序算法判断给定字母间偏序关系是否能构成全序序列。讨论了在何种条件下可以确定排序,并在代码实现中展示了如何处理无法确定排序或出现矛盾的情况。

题目:http://poj.org/problem?id=1094

题意:给定n个字母,和m个它们之间的偏序关系,判断是否可以排成一个全序序列,在第几条关系后能得出全序序列,或者得出有矛盾。否则最后输出无法判断

思路:拓扑排序,如果有环肯定无法排成全序序列。进行拓扑排序时,每次只能有一个点入度为0,否则无法判断。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <vector>
#include <map>
#include <cmath>
#include <string>
#include <sstream>
#include <cctype>
#include <queue>
using namespace std;

typedef long long ll;
const int N = 30;
vector<int> G[N];
int n, m, k;
int degree[N], tmp[N], res[N];
bool used[N];

int toposort()
{
    queue<int> que;
    memcpy(tmp, degree, sizeof degree);
    for(int i = 0; i < n; i++)
        if(tmp[i] == 0)
            que.push(i);
    k = 0;
    bool f = false;
    while(! que.empty())
    {
        int v = que.front(); que.pop();
        res[k++] = v;
        if(! que.empty()) f = true; //入度为0的点不止一个,无法排出全序序列
        for(int i = 0; i < G[v].size(); i++)
        {
            if(--tmp[G[v][i]] == 0)
                que.push(G[v][i]);
        }
    }
    if(k != n) return -1;
    if(f) return 0;
    else return 1;
}

int main()
{
    char a, b;
    while(scanf("%d%d", &n, &m), n || m)
    {
        memset(degree, 0, sizeof degree);
        bool found = false;
        for(int i = 0; i < m; i++)
        {
            scanf(" %c<%c", &a, &b);
            if(found) continue;

            int x = a - 'A', y = b - 'A';
            degree[y]++;
            G[x].push_back(y);

            int r = toposort();
            if(r == 1)
            {
                printf("Sorted sequence determined after %d relations: ", i + 1);
                for(int i = 0; i < k; i++)
                    printf("%c", res[i] + 'A');
                printf(".\n");
                found = true;
            }
            else if(r == -1)
            {
                printf("Inconsistency found after %d relations.\n", i + 1);
                found = true;
            }
        }
        if(!found) printf("Sorted sequence cannot be determined.\n");
        for(int i = 0; i < 26; i++)
            G[i].clear();
    }

    return 0;
}


内容概要:本文详细记录了对一个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、付费专栏及课程。

余额充值