POJ-1364/HDU 1531 King

本文介绍了一种利用差分约束解决序列问题的方法,并通过一个具体的编程实例详细展示了如何使用SPFA算法来判断是否存在满足特定约束条件的序列。代码采用C++实现,包括输入处理、差分约束建立及算法调用等关键步骤。

题目大意:

给出n个约束,问你能不能找到一个序列满足这个约束

解题思路:

差分约束

代码:

#include <queue>
#include <cstdio>
#include <vector>
#include <cstring>
using namespace std;

const int maxn = 150;
const int INF = 0x3f3f3f3f;

typedef struct node{
    int to, w;
    node(int a = 0, int b = 0){
        to = a; w = b;
    }
}Edge;

vector<Edge> vec[maxn];
int dis[maxn], vis[maxn], cnt[maxn];

int spfa(int n){
    Edge v;
    int p, len;
    queue<int> q;
    while(!q.empty()) q.pop();
    for(int i = 0; i <= n; ++i){
        dis[i] = 0;
        vis[i] = 1;
        cnt[i] = 0;
        q.push(i);
    }

    while(!q.empty()){
        p = q.front(); q.pop();
        vis[p] = 0;
        if((++cnt[p]) > n + 1) return 0;

        len = vec[p].size();
        for(int i = 0; i < len; ++i){
            v = vec[p][i];
            if(dis[v.to] > dis[p] + v.w){
                dis[v.to] = dis[p] + v.w;
                if(!vis[v.to]){
                    vis[v.to] = 1;
                    q.push(v.to);
                }
            }
        }
    }
    return 1;
}
int main(){
    int k, l, n, m, s;
    while(~scanf("%d", &n) && n){
        scanf("%d", &m);
        for(int i = 0; i <= n; ++i) vec[i].clear();
        for(int i = 0; i < m; ++i){
            char op[5] = {0};
            scanf("%d%d %s%d", &s, &l, op, &k);
            if(strcmp(op, "gt") == 0){
                vec[s-1].push_back(Edge(s+l, -(k+1)));
            }else{
                vec[s+l].push_back(Edge(s-1, (k-1)));
            }
        }
        if(!spfa(n)) puts("successful conspiracy");
        else puts("lamentable kingdom");
    }
    return 0;
}


<think>我们有一个链接错误:ld: cannot find -lpng12 和 collect2: error: ld returned 1 exit status。 这明确指示在链接阶段,链接器(ld)无法找到名为 libpng12 的库文件(通常为 libpng12.so 或 libpng12.a)。 因此,用户缺少的是 libpng12 这个库文件,具体是针对目标平台(这里是ARM架构)的版本。 但是,根据之前的对话,用户已经在一个交叉编译环境中工作(使用arm-buildroot-linux-gnueabi工具链),所以我们需要确保这个库在交叉编译工具链的sysroot中可用。 因此,回答应集中在缺少的文件是什么以及如何解决这个缺失。 </think>您的错误信息明确表示链接器(`ld`)在编译过程中无法找到名为 **`libpng12` 的库文件**,导致链接失败并返回退出状态 1。以下是详细解析: ### 缺失的核心文件: 1. **动态链接库文件**:`libpng12.so`(共享对象文件) - 这是 PNG 图像处理库的 1.2 版本运行时文件 - 默认应位于工具链的库目录:`.../arm-buildroot-linux-gnueabi/lib/` 或 `/usr/lib/` - 检查是否存在:`find / -name libpng12.so* 2>/dev/null` 2. **静态链接库文件**:`libpng12.a`(归档文件) - 编译时需要的静态库版本 - 通常与动态库位于同一目录 3. **符号链接文件**: - 链接器可能要求 `libpng12.so` 指向具体版本(如 `libpng12.so.0.49.0`) - 检查符号链接:`ls -l /path/to/toolchain/lib/libpng12*` ### 根本原因: - **交叉编译环境缺失**:您的 ARM 工具链(`arm-buildroot-linux-gnueabi`)未包含 PNG 库的 ARM 架构版本 - **版本过时**:`libpng12` 是较旧版本(当前主流为 libpng16),可能已被系统移除 ### 解决方案: 1. **安装 ARM 版 libpng12**: ```bash # 查找 Buildroot 包(需在 Buildroot 目录) make menuconfig # 进入 Target packages → Libraries → Graphics → 选中 libpng → 指定版本 1.2.x make toolchain-rebuild ``` 2. **手动添加库文件**: - 从其他 ARM 设备复制 `libpng12.so` 和 `libpng12.a` 到工具链的库目录: ```bash cp libpng12.* /home/wangrui66/.../arm-buildroot-linux-gnueabi/lib/ ``` 3. **强制链接兼容版本**(临时方案): ```bash ln -s /usr/lib/libpng.so /home/wangrui66/.../lib/libpng12.so ``` ### 验证是否解决: 重新编译时添加库搜索路径: ```bash gcc -L/home/wangrui66/.../arm-buildroot-linux-gnueabi/lib -lpng12 ... ```
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值