D. Deleting Divisors

传送门:CF

题目如下:

前言:

显而易见,这题是一道博弈题。

初解此题大致思路和标答一致,但还是没有想的很清楚,所以还是没有过。

思路:

在做博弈题的时候,一定要想清楚必胜条件。

这题的必胜条件很明显,即,保证敌对方拿到一个质数。我们又知道质数一定是奇数(2除外)。

所以每个人的当前决策都要将局面转向对自己有利的方向,也就是要尽可能的让对手处于奇数状态。

再看题目,题目要求每次减一个divisor,那么构成奇数就有两种情况:第一种是我拿到了偶数,减一个奇数的除数;第二种是我拿到的是奇数,减一个偶数除数。

我们先分析第二种情况:先问自己一个问题,奇数的构成情况是怎么样的?一个奇数有可能存在偶数的除数吗?这个显然不存在。

所以如果Alice先手拿到的是奇数,那么她第一步一定是减去一个奇数,使Bob拿到的是一个偶数,所以现在问题的关键在于分析出偶数的情况。

下面分析第一种情况:当Alice先手拿到的是偶数,那么偶数分两种,第一种是这个偶数是由偶数*偶数构成的,第二种是由奇数*偶数构成的。

如果是奇数*偶数构成的,Alice先手一定是减一个奇数,使用得Bob拿到的数是一个奇数,而Bob只能选择减一个奇数,所以Alice拿到的还是一个偶数,如此反复,可以得到Bob无论什么时候都是奇数,Alice什么时候都是偶数,所以当先手拿到的是一个奇数*偶数的偶数时,必胜。

如果是由偶数*偶数 构成的,那么这个偶数就可以表示为2^{n},于是Alice先手可以减的数的范围是2\rightarrow 2^{n-1},如果Alice选择的是比2^{n-1}小的数,那么Bob后手拿到的一定是一个奇数*偶数的数,由上面分析知道,此时先手必赢,即Bob赢。那么Alice一定不会选择比2^{n-1}还小的数,她一定会选择减2^{n-1},如此反复,Bob也不傻,他也会选择减2^{n-1},那么可以分析得出,如果n是奇数,最后Alice会拿到2(Bob赢),如果n是偶数,Bob最后会拿到2(Alice赢)。

再回头看Alice先手拿到的是奇数的情况,因为Alice只能减奇数,所以Bob拿到的一定是一个奇数*偶数的偶数,由之前的分析知Bob必赢,也就是先手拿奇数必输。

综上:

先手拿奇数,后手必赢。

先手拿奇数*偶数的偶数,先手必赢。

先手拿偶数*偶数的偶数(2^{n}),如果n是奇数后手必赢,反则先手必赢。

AC代码如下:

#include<bits/stdc++.h>
using namespace std;
int main()
{ios::sync_with_stdio(false);cin.tie(0);int T;cin >> T;while (T--){int n;cin >> n;if (n % 2 == 1)cout << "Bob" << endl;else{int num = 0;while (n % 2 == 0){n /= 2;num++;}if (n != 1)cout << "Alice" << endl;else{if (num % 2 == 1)cout << "Bob" << endl;else cout << "Alice" << endl;}}}return 0;
}

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://xiahunao.cn/news/1381829.html

如若内容造成侵权/违法违规/事实不符,请联系瞎胡闹网进行投诉反馈,一经查实,立即删除!

相关文章

Intel Distiller工具包-量化实现1

本系列文章 Intel Distiller工具包-量化实现1 Intel Distiller工具包-量化实现2 Distiller Distiller是Intel 2019年左右开发的一个支持神经网络压缩的工具包&#xff0c;支持的方法包括 剪枝、量化、蒸馏、低稚分解等&#xff1b;本文介绍Distiller量化方案是如何实现的&am…

【知识蒸馏】Channel-wise Knowledge Distillation for Dense Prediction

文章目录 一、背景二、动机三、方法3.1 回顾 Spatial Distillation3.2 Channel-wise Distillation 四、效果五、训练和测试六、代码解析 论文链接&#xff1a;https://arxiv.org/pdf/2011.13256.pdf 代码链接&#xff1a;https://github.com/irfanICMLL/TorchDistiller MMDet…

Distiller:量化算法

Quantization Algorithms 量化算法 注意: 对于任何需要量化感知训练的以下方法&#xff0c;请参阅这里&#xff0c;了解如何使用Distiller的机制调用它。 基于范围的线性量化&#xff08;Range-Based Linear Quantization&#xff09; 让我们在此分解使用的术语&#xff1a;…

模型压缩工具Distiller-剪枝

1.distiller剪枝模块的使用 &#xff08;1&#xff09;distiller自带剪枝实例测试 distiller自带一些测试实例如ResNet56cifar-10&#xff0c;下面是对ResNet56cifar-10的测试&#xff1a; 测试前准备 yaml文件(注意&#xff1a;这里的yaml文件是coder配置好的&#xff0c;具体…

模型压缩工具Distiller-INT8量化

1.distiller工具介绍 Distiller是一个开源的Python软件包&#xff0c;用于神经网络压缩研究。网络压缩可以减少神经网络的内存占用&#xff0c;提高推理速度并节省能源。Distiller提供了一个PyTorch环境&#xff0c;用于对压缩算法进行原型设计和分析。 主要功能&#xff1a; …

Z3约束器详细学习(0)—Z3安装|语句详解

推荐肉丝r0ysue课程&#xff08;包含安卓逆向与js逆向&#xff09;&#xff1a; 参考资料&#xff1a; Z3 API IN PYTHON 中文文档 1. Z3安装 linux安装Z3 git clone https://github.com/angr/angr-z3.git cd angr-z3 python scripts/mk_make.py cd build make sudo make …

z3求解器(SMT)解各类方程各种逻辑题非常简单直观

各位小伙伴大家好&#xff0c;今天我将给大家演示一个非常高级的工具&#xff0c;SMT求解器。应用领域非常广&#xff0c;解各类方程&#xff0c;解各类编程问题&#xff08;例如解数独&#xff09;&#xff0c;解逻辑题等都不在话下。 今天小小明就将带大家看看这其中的精彩&…

z3学习笔记(有空继续整理)

一、基本语法 Declare-const: 声明给定类型&#xff08;type/ sort&#xff09;的常量 declare-fun&#xff1a;声明一个函数 (declare-fun f (Int Bool) Int)&#xff1a;声明一个接收整型和布尔型两个参数的函数&#xff0c;返回int (define-fun a () Int [val])&#xf…

生成带参数的二维码

获取带参数的二维码的过程包括两步,首先创建二维码ticket,然后凭借ticket到指定URL换取二维码。 首先,创建二维码ticket 参考一下参数 临时二维码请求说明 http请求方式: POST URL: https://api.weixin.qq.com/cgi-bin/qrcode/create?access_token=TOKEN POST数据格式:j…

DH参数例子-SCARA机器人

建议先阅读<上一篇>。 DH参数分配 此处说到的SCARA机器人是KUKA KR10机器人&#xff1a; 它是一个revolute_revolute_prismatic_revolute结构或者简称为RRPR结构&#xff0c;并且所有的关节轴都是平行的。 步骤&#xff11;&#xff1a;从{1&#xff0c;2&#xff0c…

约束求解器-Z3

关于z3 Z3 是一个微软出品的开源约束求解器&#xff0c;能够解决很多种情况下的给定部分约束条件寻求一组满足条件的解的问题&#xff08;可以简单理解为解方程的感觉&#xff0c;虽然这么比喻其实还差距甚远&#xff0c;请勿吐槽&#xff09;&#xff0c;功能强大且易于使用&a…

约束求解器Z3

目录 预备知识1.关于z3 实验目的实验环境实验步骤一实验步骤二实验步骤三 预备知识 1.关于z3 Z3是一个微软出品的开源约束求解器&#xff0c;能够解决很多种情况下的给定部分约束条件寻求一组满足条件的解的问题&#xff08;可以简单理解为解方程的感觉&#xff0c;虽然这么比…

Geomesa-HBase索引篇——Z3索引

目录 1. 概述 2. 原理 2.1 概述 2.2 分片存储机制 2.3 Epoch Week机制 2.4 时空索引机制 2.5 Fid机制 2.6 多个数据的封装 3. 代码实现 3.1 获取分片 3.2 获取Epoch Week 3.3 获取时空索引 3.4 获取Fid 3.5 多个数据的封装 1. 概述 在大量的场景当中&#xff0c…

matlab函数参数不足,调用函数显示输入参数不足

问题描述.png (29.7 KB, 下载次数: 1) 2015-1-27 09:34 上传 %Gauss-Newton算法实现如下 function[x,minf] = GN(f,x0,var,eps)formatlong; ifnargin == 3 %如果没有设置eps,则eps=1.0e-6eps = 1.0e-6; end m = 0; S =transpose(f)*f; %trnspose是转…

mark点Z3学习资料整理

文章目录 Anything is NothingLess is MoreSMTz3 classeslogic programming Reasoning符号推理策略strategiesFixed-point关系代数datalog程序分析验证 Anything is Nothing 前几个月科研用到z3-solver&#xff0c;学习了下&#xff0c;主要注释写在源码上进行学习和试验&…

z3 guide

Z3是微软研究院开发的高性能定理证明程序。Z3有许多应用场合&#xff0c;如:软件/硬件验证和测试&#xff0c;约束求解&#xff0c;混合系统的分析&#xff0c;安全&#xff0c;生物(硅分析)&#xff0c;几何问题。 Z3发行版还包含C、C、.Net、Java和OCaml 的api。Z3Py的源代码…

【Django】无法从“django.utils.encoding”导入名称“force_text”

整晚处理 Django 的导入错误。 我将把它作为提醒&#xff0c;希望处于相同情况的人数会减少。 原因 某些软件包版本不支持Django 4 请看下表并决定Django和Python的版本 方案 如果出现难以响应&#xff0c;或者更改环境麻烦&#xff0c;请尝试以下操作 例如出现以下错误 …

走迷宫(maze) 难度**

题目描述 有一个 mn 格的迷宫(表示有 m 行、n 列)&#xff0c;其中有可走的也有不可走的&#xff0c;如果用 11 表示可以走&#xff0c;00 表示不可以走。 文件读入这 mn 个数据和起 始点、结束点(起始点和结束点都是用两个数据来描述的&#xff0c;分别表示这个点的行号和列…

地下迷宫

import java.util.*;/*** 题目大意:n*m格迷宫,1代表青蛙可以通过,0不能通过* 青蛙体力值P,每次走一步,横向走消耗体力值1,向下走不消耗体力,* 向上走消耗体力值3.* 青蛙初始位置(0,0),迷宫出口(0,m-1)* 求青蛙走出迷宫的路径*/ public class Main {static class Node {int x;in…

7-2 地下迷宫探索

7-2 地下迷宫探索 分数 30 全屏浏览题目 切换布局 作者 DS课程组 单位 浙江大学 地道战是在抗日战争时期&#xff0c;在华北平原上抗日军民利用地道打击日本侵略者的作战方式。地道网是房连房、街连街、村连村的地下工事&#xff0c;如下图所示。 我们在回顾前辈们艰苦卓绝…