CodeForces AIM Tech Round 3 (Div. 2) D

本文解析了CodeForcesAIMTechRound3(Div.2)D题的解决思路,通过数学方法计算0和1的数量,构造满足条件的序列,并提供了解题代码。

CodeForces AIM Tech Round 3 (Div. 2) D

智障题,但就是没想出来。

传送门,http://codeforces.com/contest/709/problem/D

题目大意:
给定四个数a00 , a01 , a10 , a11 , 请构造序列A , 使得其中有a00个{0,0}子序列 , a01个{0,1}子序列 , 等等。
若不能构造输出 Impossible (我打成了 Inpossible 是什么鬼)

解法 :
首先有 a00=C(num[0],2) a11=C(num[1],2)
这样把0 , 1的数目求出来。
显然有 a01<a00a11 以及 a00+a01+a10+a11=C(num,2)
然后先初始化一个序列 , 把0放左边 , 1放右边 , 这时a10 = 0。
你可以

  • 1、将最右边的0和最右边的1交换, a10=a10+num[1]
  • 2、将最右边的0和它右边的1交换, a10=a10+1

然后乱搞就行了。
(我还搞出了一个奇奇怪怪的东西,不知道对不对 传送门http://blog.youkuaiyun.com/ceerrep/article/details/52314635

代码

#include <cmath>
#include <iostream>
#include <algorithm>
using namespace std;

long long a00,a01,a10,a11,num0,num1,num;
long double A,B,C,D,X;

short buf[1000050];
long long b10=0,r0,r1;

long long Calc(long long In)
{
    long long ans;
    A=1,B=-1,C=-In*2;
    D = B * B - 4 * A * C;
    if(D < 0) throw(0);
    X=( sqrt(D)-B )/(2*A);
    ans=floor(X);
    if(X != ans) throw(1);
    return ans;
}

void Solve()
{
    if(num0 * num1 < a10) throw(2);
    for(int i=1;i<=num0;i++)
        buf[i]=0;
    for(int i=num0+1;i<=num;i++)
        buf[i]=1;
    r0 = num0,r1 = num;
    while(b10 + num1 < a10) 
    {
        swap(buf[r0],buf[r1]);
        r0--,r1--;
        b10+=num1;
    }
    while(b10 != a10)
    {   
        swap(buf[r0],buf[r0+1]);
        r0++;
        b10++;
    }
}

int main(void)
{
    cin >> a00 >> a01
        >> a10 >> a11;
    try
    {
        if(!(a00 || a01 || a10 || a11))
        {
            cout<<0<<endl;
            return 0;
        }
        if(a00 && !a01 && !a10 && !a11)
        {
            num0=Calc(a00);
            for(int i=1;i<=num0;i++) 
                cout<<0;
            cout<<endl;
            return 0;
        }
        if(!a00 && !a01 && !a10 && a11)
        {
            num1=Calc(a11);
            for(int i=1;i<=num1;i++) 
                cout<<1;
            cout<<endl;
            return 0;
        }
        num0 = Calc(a00);
        num1 = Calc(a11);
        num = Calc(a00+a01+a10+a11);
        if(num != num1 + num0) throw(-1);
        Solve();
        for(int i=1;i<=num;i++)
            cout<<buf[i];
        cout<<endl;
    }
    catch(int i)
    {
        cout<<"Impossible"<<endl;
        return 0;
    }
    return 0;
}

友情提醒:
记得特判 (0,0,0,0)(n(n1)/2,0,0,0)(0,0,0,n(n1)/2)
答案分别是 0或1 , 00……0 , 11……1 。

物联网通信协议测试是保障各类设备间实现可靠数据交互的核心环节。在众多适用于物联网的通信协议中,MQTT(消息队列遥测传输)以其设计简洁与低能耗的优势,获得了广泛应用。为确保MQTT客户端与服务端的实现严格遵循既定标准,并具备良好的互操作性,实施系统化的测试验证至关重要。 为此,采用TTCN-3(树表结合表示法第3版)这一国际标准化测试语言构建的自动化测试框架被引入。该语言擅长表达复杂的测试逻辑与数据结构,同时保持了代码的清晰度与可维护性。基于此框架开发的MQTT协议一致性验证套件,旨在自动化地检验MQTT实现是否完全符合协议规范,并验证其与Eclipse基金会及欧洲电信标准化协会(ETSI)所发布的相关标准的兼容性。这两个组织在物联网通信领域具有广泛影响力,其标准常被视为行业重要参考。 MQTT协议本身存在多个迭代版本,例如3.1、3.1.1以及功能更为丰富的5.0版。一套完备的测试工具必须能够覆盖对这些不同版本的验证,以确保基于各版本开发的设备与应用均能满足一致的质量与可靠性要求,这对于物联网生态的长期稳定运行具有基础性意义。 本资源包内包含核心测试框架文件、一份概述性介绍文档以及一份附加资源文档。这些材料共同提供了关于测试套件功能、应用方法及可能包含的扩展工具或示例的详细信息,旨在协助用户快速理解并部署该测试解决方案。 综上所述,一个基于TTCN-3的高效自动化测试框架,为执行全面、标准的MQTT协议一致性验证提供了理想的技术路径。通过此类专业测试套件,开发人员能够有效确保其MQTT实现的规范符合性与系统兼容性,从而为构建稳定、安全的物联网通信环境奠定坚实基础。 资源来源于网络分享,仅用于学习交流使用,请勿用于商业,如有侵权请联系我删除!
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值