#P15799. [中国国家队2025年林芝集训]Bakterie

    ID: 15010 传统题 10000ms 512MiB 尝试: 5 已通过: 1 难度: 10 上传者: 标签>数学搜索算法基础模拟CF3300概率论

[中国国家队2025年林芝集训]Bakterie

题目描述

Albert Bynstein 教授正在研究一种新发现的细菌菌株,代号为 Algorithmic Proeliis。

在一次实验中,教授准备了一个大的矩形实验台,并将其分为 n×mn\times m 个区域,排列成 nn 行、每行 mm 个区域。

对于每个区域,教授会从以下三种方式中选择一种:

  • 一定在该区域放置一个培养皿;
  • 一定不在该区域放置培养皿;
  • 抛一枚均匀硬币,决定是否放置培养皿。

培养皿放置完毕后,需要选择一个正整数 kk,并在每个培养皿中恰好放入 kk 个细菌。

这种细菌非常敌视其他菌落。实验过程如下:只要存在一对相邻且非空的培养皿,就会从所有这样的培养皿对中等概率随机选出一对,然后这两个培养皿中各有一个细菌死亡。两个区域相邻,当且仅当它们有一条公共边。

考虑到培养皿是否放置的随机性,以及实验过程中选择相邻培养皿对的随机性,令 f(k)f(k) 表示整个实验结束后存活细菌数量的期望值。显然,当不存在一对相邻的非空培养皿时,实验结束。

一次往培养皿里放几个细菌很困难,但一次性放入很多细菌更容易。教授希望计算:

limkf(k)k\lim_{k\to \infty}\frac{f(k)}{k}

可以证明这个极限一定是一个有理数。你需要将其以不可约分数形式输出。

输入格式

第一行包含两个整数 n,m (1n,m200)n,m\ (1\le n,m\le 200),表示实验台的大小。

接下来 nn 行描述实验台。第 ii 行包含 mm 个字符,第 jj 个字符为 ai,ja_{i,j}

  • ai,ja_{i,j}.,表示第 ii 行第 jj 列的区域一定不放培养皿;
  • ai,ja_{i,j}O(大写字母 O),表示该区域一定放培养皿;
  • ai,ja_{i,j}?,表示该区域通过抛硬币决定是否放培养皿。

输出格式

输出一行,表示答案。

请按 a/b 的形式输出,其中 b1b\ge 1,且 gcd(a,b)=1\gcd(a,b)=1

样例一

输入

4 5
O...O
?OO.?
.OOO.
?..O.

输出

5/2

限制与约定

保证 n,m200n,m\le 200

子任务 额外限制
1 不存在字符 ?
2 最多存在 55 个字符 ?
3 n1n\le 1
4 n2n\le 2
5
6 n,m25n,m\le 25
7
8 iji\cdot j 能被 55 整除,则 ai,ja_{i,j}.
9 无额外限制
10