首页 > 其他分享 > 威佐夫博弈

威佐夫博弈

时间:2023-07-13 20:32:19浏览次数:38  
标签:数对 博弈 int 石子 样例 两堆 佐夫 define

洛谷P2252

[SHOI2002]取石子游戏|【模板】威佐夫博弈

题目背景

题目描述

有两堆石子,数量任意,可以不同。游戏开始由两个人轮流取石子。游戏规定,每次有两种不同的取法,一是可以在任意的一堆中取走任意多的石子;二是可以在两堆中同时取走相同数量的石子。最后把石子全部取完者为胜者。现在给出初始的两堆石子的数目,你先取,假设双方都采取最好的策略,问最后你是胜者还是败者。

输入格式

输入共一行。

第一行共两个数a, b,表示石子的初始情况。

输出格式

输出共一行。

第一行为一个数字1、0或-1,如果最后你是胜利者则为1;若失败则为0;若结果无法确定则为-1。

样例 #1

样例输入 #1

8 4

样例输出 #1

1

提示

[数据范围]

50%的数据,a, b <= 1000

100%的数据,a, b <= 1 000 000 000

前置知识

Beatty定理

如果一对无理数 威佐夫博弈_ci 威佐夫博弈_数据_02满足 威佐夫博弈_#define_03,那么这样两个数列 威佐夫博弈_ci_04

既无重复又无遗漏地包含所有的正整数。

思路:先说结论: 威佐夫博弈_#define_05都是后手必赢,他们满足如下性质

  •  威佐夫博弈_#define_06中任一数对,无法一步变成 威佐夫博弈_数据_07
  •  威佐夫博弈_#define_06中任一数对,无法一步变成当中另一数对
  •  威佐夫博弈_#define_06中以外的任一数对,都可以一步变成 威佐夫博弈_数据_07或当中某一数对

那么联立方程组

 威佐夫博弈_ci_11

解得

 威佐夫博弈_#define_12

  •  威佐夫博弈_#define_13时, 威佐夫博弈_#define_14,只需要验证 威佐夫博弈_ci_15即可
  •  威佐夫博弈_#define_16时, 威佐夫博弈_ci_17,只需要验证 威佐夫博弈_#define_18即可
#include <bits/stdc++.h>
using namespace std;
#define accelerate ios::sync_with_stdio(false),cin.tie(0),cout.tie(0)
#define endl "\n";
#define mod 1000000007
#define ll long long
#define PII pair<int,int>
#define INF 0x3f3f3f3f
const int N=1e6+10;
ll n,m,k,x,y,T;
const double P=(sqrt(5.0)+1.0)/2.0;
int main(){
	cin>>n>>m;
	int k=abs(n-m);
	if(int(k*P)==min(n,m)) cout<<0;
	else cout<<1;
	return 0;
}

标签:数对,博弈,int,石子,样例,两堆,佐夫,define
From: https://blog.51cto.com/u_16085557/6715862

相关文章