每周一算法:传递闭包

题目描述

不等式排序

给定 n n n个变量和 m m m个不等式。其中 n n n小于等于 26 26 26,变量分别用前 n n n 的大写英文字母表示。

不等式之间具有传递性,即若 A > B A>B A>B B > C B>C B>C,则 A > C A>C A>C

请从前往后遍历每对关系,每次遍历时判断:

  • 如果能够确定全部关系且无矛盾,则结束循环,输出确定的次序;
  • 如果发生矛盾,则结束循环,输出有矛盾;
  • 如果循环结束时没有发生上述两种情况,则输出无定解。

输入格式

输入包含多组测试数据。

每组测试数据,第一行包含两个整数 n n n m m m

接下来 m m m 行,每行包含一个不等式,不等式全部为小于关系

当输入一行 0 0 0 0 0 0 时,表示输入终止。

输出格式

每组数据输出一个占一行的结果。

结果可能为下列三种之一:

  • 如果可以确定两两之间的关系,则输出 Sorted sequence determined after t relations: yyy...y.,其中t指迭代次数,yyy...y是指升序排列的所有变量。
  • 如果有矛盾,则输出: Inconsistency found after t relations.,其中t指迭代次数。
  • 如果没有矛盾,且不能确定两两之间的关系,则输出 Sorted sequence cannot be determined.

样例 #1

样例输入 #1

4 6
A<B
A<C
B<C
C<D
B<D
A<B
3 2
A<B
B<A
26 1
A<Z
0 0

样例输出 #1

Sorted sequence determined after 4 relations: ABCD.
Inconsistency found after 2 relations.
Sorted sequence cannot be determined.

提示

【数据范围】

2 ≤ n ≤ 26 2≤n≤26 2n26,变量只可能为大写字母 A ∼ Z A\sim Z AZ

算法思想

根据题目描述,有 m m m个不等式,每个不等式均为小于关系,问最终能否确定 n n n个变量从小到大的次序。例如,每个关系是 A A A 的成绩排名高于 B B B 的排名,问最终能否确定班级排名?如下图所示:

在这里插入图片描述

在交际网络中,给定若干个元素和若干对二元关系,且关系具有传递性。通过传递性推导出尽量多的元素之间的关系,这类问题被称为传递闭包

使用「Floyd」算法可以解决传递闭包问题,其基本思想是:

  • 建立邻接矩阵 d d d,其中
    • d [ i , j ] = 1 d[i,j]=1 d[i,j]=1表示 i < j i<j i<j
    • 除了 i < j i<j i<j之外的情况, d [ i , j ] = 0 d[i,j]=0 d[i,j]=0
  • 每输入一对关系时,使用Floyd算法对 d d d进行传递闭包:
    • d[i][j] |= d[i][k] & d[k][j]
  • 传递闭包完成后,若存在变量 i , j i,j i,j使得
    • d [ i , j ] d[i,j] d[i,j] d [ j , i ] d[j,i] d[j,i]均为 1 1 1,则说明题目中给出的 m m m个不等式矛盾。
    • d [ i , j ] d[i,j] d[i,j] d [ j , i ] d[j,i] d[j,i]均为 0 0 0,则说明题目中给出的 m m m个不等式不能确定每一对变量之间的大小关系。
  • 对于每一对 i , j i,j i,j d [ i , j ] d[i,j] d[i,j] d [ j , i ] d[j,i] d[j,i]有且仅有一个为 1 1 1,则说明能确定每对变量之间的大小关系。

当变量之间的大小关系确定后,如何输出排好序的序列呢?

  • 建立一个状态数组 s t st st,其中
    • s t [ i ] = 0 st[i] = 0 st[i]=0表示当前变量还未输出
    • s t [ i ] = 1 st[i] = 1 st[i]=1表示当前变量已经输出
  • 从小到大遍历所有尚未输出的变量 i i i,即 s t [ i ] = 0 st[i]=0 st[i]=0,并且对于其它尚未输出的变量 j j j,使得 d [ j , i ] d[j,i] d[j,i]均为 0 0 0,那么 i i i就是尚未输出的最小的变量。

算法时间复杂度

「Floyd」算法解决传递闭包问题的时间复杂度为 O ( n 3 ) O(n^3) O(n3)

代码实现

#include <bits/stdc++.h>
using namespace std;
const int N = 30;
int n, m, d[N][N]; //传递闭包矩阵
bool st[N];
void floyd()
{for(int k = 0; k < n; k ++)for(int i = 0; i < n; i ++)for(int j = 0; j < n; j ++)d[i][j] |= d[i][k] & d[k][j];
}
int check() //检查当前关系
{for(int i = 0; i < n; i ++)if(d[i][i]) return 2; //当前关系存在矛盾for(int i = 0; i < n; i ++)for(int j = i + 1 ; j < n; j ++)if(d[i][j] == 0 && d[j][i] == 0) //双向都无法确定return 0;return 1;
}
char get_min()
{for(int i = 0; i < n; i ++) //从小到大遍历{if(st[i]) continue; //如果已经输出bool flag = true;for(int j = 0; j < n; j ++) //枚举其它尚未输出的变量{if(!st[j] && d[j][i] != 0){flag = false;break;}}if(flag) {st[i] = true;return 'A' + i;}}
}
int main()
{while(cin >> n >> m, n || m){memset(d, 0, sizeof d); //将矩阵初始化为0,表示关系不确定int type = 0, p; //type表示当前变量关系是否已经确定,p表示在输入第几个不等式时确定关系的for(int i = 1; i <= m; i ++){char s[5];cin >> s;int a = s[0] - 'A', b = s[2] - 'A';if(type == 0) //关系尚未确定{d[a][b] = 1;floyd(); //传递闭包type = check(); //检查当前所有不等式的关系if(type) p = i; //如果关系已确定,或者矛盾}}if(type == 0) puts("Sorted sequence cannot be determined."); else if(type == 2) printf("Inconsistency found after %d relations.\n", p);else{memset(st, 0, sizeof st);printf("Sorted sequence determined after %d relations: ", p);for(int i = 0; i < n; i ++) printf("%c", get_min()); //每次输出最小的printf(".\n");}}return 0;
}

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

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

RV1106点亮1.44寸SPI接口tftlcd

最近入手了一块微雪的幸狐RV1106微型Linux开发板&#xff0c;具体型号为Luckfox Pico Max&#xff0c;这是一款集成ARM Cortex-A7/RISC-V MCU/NPU/ISP等处理器。 根据微雪官网的wiki入门指导测试了一下&#xff0c;功能一切正常&#xff0c;感觉很nice&#xff0c;这款板子真的…

windows端口复用

1. 概述 使用 HTTP.sys 中的 Net.tcp Port Sharing 服务&#xff0c;配合 WinRM 实现端口复用。 优点&#xff1a; HTTP.sys 为 windows 原生机制&#xff0c; WinRM 为 windows 自带功能&#xff0c;动作较小&#xff0c;不易触发主 动防御。 需要管理员权限。 2. 原理 (…

C语言:环形链表

1.例子1&#xff1a;环形链表 142. 环形链表 II - 力扣&#xff08;LeetCode&#xff09; 思路&#xff1a;我们先定义两个变量slow和fast&#xff0c;slow每次走一步&#xff0c;fast每次走两步&#xff0c;如果链表是环形链表&#xff0c;那么必定存在fast不会走到链表的最后…

QT功能 实现静态内容国际化实验

文章目录 第一步&#xff1a;新建一个QT工程第二步&#xff1a;添加控件第三步&#xff1a;在pro文件中添加内容第四步&#xff1a;更新文件第五步&#xff1a;打开QT的Linguist第六步&#xff1a;添加翻译内容第七步&#xff1a;回到QT Creator中添加文件第八步&#xff1a;给…

因表别名引用错误导致查询SQL执行时间长未出结果

问题描述&#xff1a; 项目组人员反馈在执行一条提取数据SQL时执行很慢&#xff0c;每次执行一段时间就报超时&#xff0c;要求帮忙提取下。 解决过程&#xff1a; 项目组人员发来SQL后&#xff0c;看了下SQL&#xff0c;没什么问题&#xff0c;就在客户端上执行了下&#xff0…

Python专题:三、数字和运算(2)

目录 一、数学运算 二、赋值运算 一、数学运算 1、运算符号 加法 减法- 乘法* 除法/ 计算机中浮点数表示有精度限制&#xff0c;Python有限&#xff0c;所以近似取数 2、除法取整// Python2中 整数/整数 值为整数 Python3中 整数/整数 整数or浮点数 //计算除法对结果取…

css backdrop-filter 实现背景滤镜

官方给出的定义是&#xff1a;backdrop-filter属性允许您将图形效果&#xff08;如模糊或颜色偏移&#xff09;应用于元素后面的区域。因为它适用于元素后面的所有内容&#xff0c;所以要查看元素或其背景的效果&#xff0c;需要透明或部分透明。 大致分为以下10种&#xff1a…

【网络编程】Tomcat | 目录结构 | HTTP服务器

文章目录 Tomcat一、Tomcat的目录结构 Tomcat Tomcat是一个HTTP服务器 使用HTTP进行通信&#xff0c;涉及到HTTP客户端&#xff08;浏览器、Postman、爬虫等待&#xff09;和HTTP服务器。 根据现成的HTTP服务器进行二次开发。 已经将怎么处理HTTP请求、如何构造HTTP响应都封…

网络工程师必备:静态路由实验指南

大家好&#xff0c;这里是G-LAB IT实验室。今天带大家学习一下华为静态路由实验配置 01、实验拓扑 02、实验需求 1.R1环回口11,1,1.1模拟PC1 2.R2建立2个环回口模拟Server server-1: 22,1,1.1 server-2: 44.1.1.1 3.要求使用静态路由实现全网互通 PC1去往server-1从R3走…

【Java EE】网络原理——UDP

目录 1.应用层 2.传输层 2.1端口号 2.1.1端口号的范围划分 2.1.2一个端口号可以被多个进程绑定吗&#xff1f; 2.1.3一个进程可以绑定多个端口号吗&#xff1f; 3.UDP协议 3.1UDP的格式 3.1.1 UDP的源端口号 3.1.2 UDP的目的端口号 3.1.3 UDP长度 3.1.4UDP校验和 3…

故障——蓝桥杯十三届2022国赛大学B组真题

问题分析 这道题纯数学&#xff0c;考察贝叶斯公式 AC_Code #include <bits/stdc.h> using namespace std; typedef pair<int,double> PI; bool cmp(PI a,PI b){if(a.second!b.second)return a.second>b.second;return a.first<b.first; } int main() {i…

上班不想用脑子写代码了怎么办?那就试试Baidu Comate啊宝贝

本文目录 前言1、视频编程实战1.1、熟悉代码库中的代码1.2、参考现有代码编写新代码 2、下载使用教程3、使用体验3.1、AutoWork 产品测评3.2、解决有关ajax请求后重定向问题3.3、询问编程相关知识3.3.1、cookie和session的区别与联系3.3.2、数据库中主键外键的相关知识 4、问题…