POJ2728 Desert King - (0/1)分数规划

本文探讨了一种结合分数规划与图论的解决方案,旨在寻找使图全连通且所有边费用与距离之商最小的策略。通过二分查找与分数规划的技巧,将复杂问题转化为判定正负问题,实现高效求解。

题目求一种方案,使得图全连通并且所有边费用与距离之商最小
\(\sum_{i∈e}cost_i\)除以\(\sum_{i∈e}dis_i\)最小
可以考虑二分求解
可以假设这个值小于等于L时存在一个解,然后检查是否存在这个解,如果不存在说明L取小了
问题是为什么要假设“存在”,事实上如果假设“任意”,那么就要检查每种可能都要小于,就很麻烦,所以把求任意改为求存在是最好的
但是这个解很难找。。。又不能一个个检验,但是除了L以外的数都是输入数据。
对式子进行变形,得:
\[L*\sum_{i∈e}dis_i-\sum_{i∈e}cost_i >= 0\]
\[\sum_{i∈e}dis_i*L-\sum_{i∈e}cost_i >= 0\]
分数规划要通过列式子来找到某个关系,最后把存在这个解这个求解问题转化为判定正负问题
对式子要灵活变换 把问题转化为求存在问题
比如说把某些问题转化为 求负环,若求得负环,则此答案可行,这样一举解决了判断是否存在解的问题 形式上就是乘个负号,把式子变为小于等于0
另外说下EPS的作用,因为二分的是实数,而因为精度问题l和r永远不会重合,这时就需要设EPS,当l和r的差小于EPS时认为他们相同,而判断正负的时候不需要,因为这时说明L确实取小了
相应的还有愤怒的小鸟那题,求出的抛物线因为精度打不到目标,但按理来说是该打到的

注意二分的时候实数二分或许用位运算来代替(l+r)/2不太好。。。毕竟不是整数型

哎,L的上界难以估计,大了就会T,我取到1000卡了过去。。。

#include <algorithm>
#include <iostream>
#include <cstring>
#include <cstdio>
#include <cmath>
using namespace std;
#define debug(x) cerr << #x << "=" << x << endl;
const int MAXN = 1000 + 10;
const double EPS = 1e-6;
const int INF = (1<<30) / 3;
typedef long long ll; 
int n,last[MAXN],tot,fa[MAXN],vis[MAXN];
double ans, esum, l,ttem[MAXN][MAXN],ddis[MAXN][MAXN],d[MAXN],gra[MAXN][MAXN];

struct viii{
    int x,y,z;
}vil[MAXN];

int abab(int x) {
    if(x < 0) return -x;
    return x;
}

void prim() {
    for(int i=1; i<=n; i++) {
        d[i] = -INF;
    }
    memset(vis, 0, sizeof(vis));
    for(int i=1; i<=n; i++) {
        int x = 0;
        for(int j=1; j<=n; j++) {
            if(!vis[j] && (x == 0 || d[j] > d[x])) x = j;
        }
        vis[x] = 1;
        for(int j=1; j<=n; j++) {
            if(!vis[j]) d[j] = max(d[j], gra[x][j]);
        }
    }
}

int main() {
    while(1) {
        esum = 0.0;
        cin >> n; 
        if(n == 0) break;
        for(int i=1; i<=n; i++) {
            cin >> vil[i].x >> vil[i].y >> vil[i].z; 
        }
        for(int i=1; i<=n; i++) {
            for(int j=1; j<=n; j++) {
                double temp = 0;
                int sum = 0;
                int x1 = vil[i].x, y1 = vil[i].y, x2 = vil[j].x, y2 = vil[j].y;
                sum = (x1-x2) * (x1-x2) + (y1-y2) * (y1-y2);
                temp = (double)sum;
                temp = sqrt(temp);
                int dist = abab(vil[i].z - vil[j].z);
                ttem[i][j] = ttem[j][i] = dist;
                ddis[i][j] = ddis[j][i] = temp;
                esum += temp;
            }
        }
        //double l = 0, r = esum;
        double l = 0, r = 1000;
        while(r-l >= EPS) {
            double mid = (l+r)/2;
            tot = 0;
            for(int i=1; i<=n; i++) {
                for(int j=1; j<=n; j++) {
                    if(i != j)
                        gra[i][j] = gra[j][i] = ddis[i][j] * mid - ttem[i][j];
                }
            }
            double mst = 0.0;
            prim();
            for(int i=2; i<=n; i++) {
                mst += d[i];
            }
            if(mst >= 0) {
                r = mid;
                ans = mid;
            } else {
                l = mid;
            }
        }
        printf("%.3lf\n", ans);
    }
    return 0;
}

转载于:https://www.cnblogs.com/Zolrk/p/9786230.html

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

余额充值