我在这道题上花了2个小时,仍没解出。理一下当时的思路,看看症结到底在哪里。

题意

用 $[n]$ 表示集合 $\{1,2,3,\dots, n\}$ 。

3个函数

$f \colon [n] \to [n]$

$g \colon [n] \to [m]$

$h \colon [m] \to [n]$

满足下列两个性质

  1. $\forall x \in [m], g(h(x)) = x$
  2. $\forall x \in [n], h(g(x)) = f(x)$

给出 $f$ ,求 $g, h$ 。如有多解,任给一组。

分析

由性质1可知

  • $g$ 是满射(surjective),$h$ 是单射(injective)

进而据性质2可知

  • $g$ 和 $h$ 值域相同 $\Rightarrow$ $m$ 等于 $f$ 的不同函数值的个数。换言之,$h$ 是 $f$ 值域中元素的一个排列。
  • $\forall x_1, x_2 \in [n], g(x_1) = g(x_2) \Leftrightarrow f(x_1) = f(x_2)$ 。换言之,$h$ 和 $f$ 相似。

至此可得有解的一个必要条件:

对于 $f$ 值域中的任意两不同元素 $y_1, y_2$,$f(y_1) \ne f(y_2)$ 。

遗憾的是,这个必要条件太弱了。

样例

2
2 1

满足条件,却是无解的。

思路到这里就断了。

现在回过头来想,问题的根源在于:

在 $f$ 满足上面推导出的必要条件的情况下,将 $h$ 任取为 $f$ 值域中元素的一个排列后,再求 $g$ 时,性质1和性质2仍可能互相矛盾。

那么是否需要枚举排列呢?

我没有认识到的是

不论如何求解 $g$ 和 $h$,是否有解只取决于 $f$ 本身。

所以应当进一步挖掘有解的必要条件甚至充要条件。

题解上的分析

$$

\left.

\begin{aligned}

g \circ h = \mathbf{1} \\

h \circ g = f

\end{aligned}

\right\}

\Longrightarrow

\begin{aligned}

f \circ f &= (h \circ g) \circ (h \circ g) \\

&= h \circ (g \circ h) \circ g \\

&= h \circ \mathbf{1} \circ g \\

&= h \circ g \\

&= f

\end{aligned}

$$

若 $f(x) = y$,则 $f(y)=f(f(x))=f(x)=y$ 。

即 $f$ 值域中的每个元素都是 $f$ 的不动点(fixed point)。(性质3)

这个必要条件比上面那个必要条件强得多。

下面证明

若 $f$ 满足性质3,则将 $h$ 取为 $f$ 值域中元素的任意排列,依据性质2求出的 $g$ 都满足性质1。

$g(x) = h^{-1}(f(x))$

$g(h(x)) = h^{-1}(f(h(x))) = h^{-1}(h(x)) = x$

Codeforces #765D的更多相关文章

  1. 【codeforces 765D】Artsem and Saunders

    [题目链接]:http://codeforces.com/contest/765/problem/D [题意] 给你一个函数f(x); 要让你求2个函数g[x]和h[x],使得g[h[x]] = x对 ...

  2. python爬虫学习(5) —— 扒一下codeforces题面

    上一次我们拿学校的URP做了个小小的demo.... 其实我们还可以把每个学生的证件照爬下来做成一个证件照校花校草评比 另外也可以写一个物理实验自动选课... 但是出于多种原因,,还是绕开这些敏感话题 ...

  3. 【Codeforces 738D】Sea Battle(贪心)

    http://codeforces.com/contest/738/problem/D Galya is playing one-dimensional Sea Battle on a 1 × n g ...

  4. 【Codeforces 738C】Road to Cinema

    http://codeforces.com/contest/738/problem/C Vasya is currently at a car rental service, and he wants ...

  5. 【Codeforces 738A】Interview with Oleg

    http://codeforces.com/contest/738/problem/A Polycarp has interviewed Oleg and has written the interv ...

  6. CodeForces - 662A Gambling Nim

    http://codeforces.com/problemset/problem/662/A 题目大意: 给定n(n <= 500000)张卡片,每张卡片的两个面都写有数字,每个面都有0.5的概 ...

  7. CodeForces - 274B Zero Tree

    http://codeforces.com/problemset/problem/274/B 题目大意: 给定你一颗树,每个点上有权值. 现在你每次取出这颗树的一颗子树(即点集和边集均是原图的子集的连 ...

  8. CodeForces - 261B Maxim and Restaurant

    http://codeforces.com/problemset/problem/261/B 题目大意:给定n个数a1-an(n<=50,ai<=50),随机打乱后,记Si=a1+a2+a ...

  9. CodeForces - 696B Puzzles

    http://codeforces.com/problemset/problem/696/B 题目大意: 这是一颗有n个点的树,你从根开始游走,每当你第一次到达一个点时,把这个点的权记为(你已经到过不 ...

随机推荐

  1. Android笔记--Bitmap

    Android | Bitmap解析 Android中Bitmap是对图像的一种抽象.通过他可以对相应的图像进行剪裁,旋转,压缩,缩放等操作.这里循序渐进的一步步了解Bitmap的相关内容. 先了解B ...

  2. MySQL流程控制和存储过程介绍

    /*定义变量方式1:set @变量名=值;方式2:select 值 into @变量名;方式3:declare 变量名 类型(字符串类型加范围) default 值; in参数 入参的值会仅在存储过程 ...

  3. (十)mybatis之配置(mybatis-config.xml)

    配置  可以从前篇的文章中知道(https://www.cnblogs.com/NYfor2018/p/9093472.html ),要使用mybatis需要以下配置: 1.  mybatis-con ...

  4. (三)mybatis之对Hibernate初了解

    前言:为什么会写Hibernate呢?因为HIbernate跟Mybatis一样,是以ORM模型为核心思想的,但是这两者有相似的地方也有差异的地方.通过这两种框架的比对,可以对mybatis有着更深的 ...

  5. Spring启动流程—源码解读

    https://blog.csdn.net/yangliuhbhd/article/details/80790761 Spring的AbstractApplicationContext的refresh ...

  6. tomcat假死现象 - 二

    1 编写背景 最近服务器发现tomcat的应用会偶尔出现无法访问的情况.经过一段时间的观察最近又发现有台tomcat的应用出现了无法访问情况.简单描述下该台tomcat当时具体的表现:客户端请求没有响 ...

  7. javascript的trigger事件

    <html> <head> <script type="text/javascript" src="/jquery/jquery.js&qu ...

  8. 三. python面向对象

    第七章.面向对象基础 1.面向对象基础 类和对象: a. 创建类 class 类名: def 方法名(self,xxx): pass b. 创建对象 对象 = 类名() c. 通过对象执行方法 对象. ...

  9. 组件开发中的Controller View模式

    “Controller View”模式: 组件嵌套中,最顶层的组件只管理State 子组件为纯组件 顶层组件分配State给子组件,作为子组件的props 子组件接受顶层组件发来的State作为自身的 ...

  10. CentOS7服务器上部署Oracle客户端

    环境 操作系统: CentOS7.2.1511 x86_64 准备安装包 在这个网站:https://www.oracle.com/technetwork/topics/linuxx86-64soft ...