并不对劲的bjwc d4t1

先膜一波宽神Orz%%%%%

拿到这题的第一反应就是：暴力啊！感觉神奇的钟点并没有什么性质，可能卡常能过吧……所以就写了一个O(22^3*59^3)的暴力。本来想打表，但是发现代码长度有限制，写不下。写完后发现，总共只有127034种神奇的钟点，所以当k特别大时，直接输出-1就可以了。如果数据纯随机的话，2*10^9应该能骗过不少吧。然而这种并不对劲的思想显然是会被察觉的，虽然用尽各种方法卡常，但是并没有拿多少分。

下午听讲评时，宽神说：还能怎么做？暴力啊！

我：

事实上并不是神奇的卡常方法。这道题的正解竟然也是打表！不过要用到分段打表的技巧。因为可以发现，搜索时间时，已知前一个时间就可以递推出下一个时间。

这也就是说，暴力枚举可以从中间开始。这样就可以设定一个每段的大小k，只对排在第k,k*2,k*3等k的倍数打表，查询时从离查询的名次最近的表搜。这样就找到了暴力枚举（TLE）和打表（MLE或代码长度LE)的折中方法，分段打表（AC）。

#include<algorithm>
#include<cmath>
#include<cstdio>
#include<cstdlib>
#include<cstring>
#include<iostream>
#include<iomanip>
using namespace std;
int h1;
int h2,h3,m1,m2,m3;
int tmp1,gdc;
int upl,dnl,upr,dnr;
int ch1[]={,,,,,,,,,,,,,,,};
int ch2[]={,,,,,,,,,,,,,,,};
int ch3[]={,,,,,,,,,,,,,,,};
int cm1[]={,,,,,,,,,,,,,,,};
int cm2[]={,,,,,,,,,,,,,,,};
int cm3[]={,,,,,,,,,,,,,,,,};
inline int read()
{
    int x=,f=;
    char ch=getchar();
    while((!isdigit(ch))&&ch!='-')ch=getchar();
    if(ch=='-'){f=-,ch=getchar();    }
    while(isdigit(ch))x=x*+ch-'',ch=getchar();
    return x*f;
}
inline void write(int x)
{
    char ch[];int f=;
    if(!x){putchar('');return ;}
    if(x<){putchar('-');x=-x;}
    while(x)ch[++f]=x%+'',x=x/;
    while(f)putchar(ch[f--]);
}
inline void writen(int x)
{
    char ch[];int f=;
    if(!x){putchar('');return ;}
    if(x<){putchar('-');x=-x;}
    while(x)ch[++f]=x%+'',x=x/;
    while(f)putchar(ch[f--]);
    putchar('\n');
}
inline int gcd(int x,int y)
{
    //cout<<"+";
    if(x>y)swap(x,y);
    if(x==)return y;
    return gcd(y%x,x);
}
void print()
{
    if(h1<)putchar('');
    write(h1);
    putchar(':');
    if(m1<)putchar('');
    write(m1);
    putchar(' ');
    if(h2<)putchar('');
    write(h2);
    putchar(':');
    if(m2<)putchar('');
    write(m2);
    putchar(' ');
    if(h3<)putchar('');
    write(h3);
    putchar(':');
    if(m3<)putchar('');
    writen(m3);
}
int main()
{
    int t=read();
    if(t>){writen(-);return ;}
    int h4,m4;
    h1=ch1[t/];
    h2=ch2[t/];
    h3=ch3[t/];
    m1=cm1[t/];
    m2=cm2[t/];
    m3=cm3[t/];
    int T=(t/)*-;
    bool f=;
    for(;h1<;++h1)
    {
        if(f)m1=;
        for(;m1<;++m1)
        {
            if(f)h2=;
            for(;h2<;++h2)
            {
                if(h1+h2>=)continue;
                if(f)m2=;
                for(;m2<;++m2)
                {
                    if(f)h3=;
                    for(;h3<;++h3)
                    {
                        if(h1+h2+h3>=)continue;
                        if(f)m3=;
                        for(;m3<;++m3)
                        {
                            //print();
                            //if(m3==0){++T;continue;}
                            m4=m1+m2+m3;
                            h4=m4/;
                            m4=m4-h4*;
                            if(m4>= || (!m4))continue;
                            h4+=h1+h2+h3;
                            if(h4>=)continue;
                            if((!h4) && (!h1+h2+h3))
                            {
                            //    cout<<h1<<",";
                                ++T;
                                f=;
                              //
                                if(t==T)
                                {
                                    print();
                                    goto end;
                                }
                               // cout<<t<<endl;
                                continue;
                            }
                            tmp1=gcd(h4,m4);
                            upl=h4/tmp1;
                            dnl=m4/tmp1;
                            tmp1=gcd(m1,m2);gdc=m1*m2/tmp1;
                            tmp1=gcd(gdc,m3);dnr=gdc*m3/tmp1;
                            upr=h1*dnr/m1+h2*dnr/m2+h3*dnr/m3;
                            tmp1=gcd(upr,dnr);
                            upr=upr/tmp1;
                            dnr=dnr/tmp1;
                            //cout<<t<<endl;
                            if(upl==upr && dnl==dnr)
                            {
                              // cout<<h1<<",";
                                ++T;
                                f=;
                               // cout<<t<<endl;
                               //
                                if(t==T)
                                {
                                    print();
                                    goto end;
                                }
                             //  if(t%10000==0)cout<<t;
                            }

                        }
                    }
                }
            }
        }
    }
    end:return ;
}
//

并不对劲的人好菜啊。