Codeforces Round #397 - Problem C - Table Tennis Game 2

题目链接：http://codeforces.com/contest/765/problem/C

题意：两人打乒乓球，赢一球加1分，若其中一人分数达到上限则开始新的一局，给出每局分数上限k，两人得分a，b，求最大局数，若情形不存在输出-1。
关键：易漏判输出-1的情况。

依题意，$a=kn_1+x$，$b=kn_2+y$，其中$n_1,n_2 \ge 0$，且$n_1+n_2 \gt 0$，$0 \le x ,y\le k-1$。
则在给定的$k,a,b$下，$x$越小，$n_1$越大，$n_2$同理。

猜想：若情况存在，则$ans=a/k+b/k$
证明：构造法，构造一个可行的解来证明

$a:b$可以拆成

$$\begin{cases} k:y&1个\\ k:0&n_1-1 个\\ x:k&1个\\ 0:k&n_2-1 个 \end{cases}$$
即，当 $y\neq0$时， $n_1$必须大于0，这样才可以构成一个 $k:y$。同理，当 $x\neq0$时， $n_2$必须大于0。

#include <iostream>
#include <cstdio>
#include <algorithm>
#include <cstring>
#include <string>
#include <cmath>
#include <vector>
#include <queue>
#include <stack>
#include <set>
#include <map>

using namespace std;

#define FOR(i,k,n) for(int i=k;i<n;i++)
#define FORR(i,k,n) for(int i=k;i<=n;i++)
#define scan(a) scanf("%d",&a)
#define scann(a,b) scanf("%d%d",&a,&b)
#define scannn(a,b,c) scanf("%d%d%d",&a,&b,&c)
#define mst(a,n)  memset(a,n,sizeof(a))
#define ll long long
#define N 1005
#define mod 1000000007
#define INF 0x3f3f3f3f

const double eps=1e-8;
const double pi=acos(-1.0);



int main()
{
    //freopen("in.txt","r",stdin);
    //freopen("out.txt","w",stdout);

    ll k,a,b;
    cin>>k>>a>>b;
    ll ans1=a/k;
    ll ans2=b/k;
    int flag=0;
    if(b%k && ans1==0)
        flag=1;
    if(a%k && ans2==0)
        flag=1;

    if(flag)
        cout<<"-1"<<endl;
    else
        cout<<ans1+ans2<<endl;
    return 0;
}