有算法大佬来帮我证明一个定理吗? - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
olist
V2EX    算法

有算法大佬来帮我证明一个定理吗?

  •  
  •   olist 2021 年 2 月 7 日 2354 次点击
    这是一个创建于 1809 天前的主题,其中的信息可能已经有所发展或是发生改变。

    最近在看算法导论的最大流章节,习题 26.1-6 是这样的: Professor Adam has two children who, unfortunately, dislike each other. The problem is so severe that not only do they refuse to walk to school together, but in fact each one refuses to walk on any block that the other child has stepped on that day. The childen have no problem with their paths crossing at a corner. Fortunately both the professor’s house and the school are on corners, but beyond that he is not sure if it is going to be possible to send both of his children to the same school. The professor has a map of his town. Show how to formulate the problem of determining whether both his children can go to the same school as a maximum-flow problem.

    解答是这样的: Use the map to create a graph where vertices represent street intersections and edges represent streets. Define c(u; v) = 1 for all edges (u; v). Since a street can be traversed, start off by creating a directed edge in each direction, then make the transformation to a flow problem with no antiparallel edges as described in the section. Make the home the source and the school the sink. If there exist at least two distinct paths from source to sink then the flow will be at least 2 because we could assign f(u; v) = 1 for each of those edges. However, if there is at most one distinct path from source to sink then there must exist a bridge edge (u; v) whose removal would disconnect s from t. Since c(u; v) = 1, the flow into u is at most 1. We may assume there are no edges into s or out from t, since it doesn’t make sense to return home or leave school. By flow conservation, this implies that f = Pv2V f(s; v) ≤ 1. Thus, determining the maximum flow tells the Professor whether or not his children can go to the same school.

    解答中的这句“However, if there is at most one distinct path from source to sink then there must exist a bridge edge (u; v) whose removal would disconnect s from t.”似乎用了这个结论:如果 a 到 b 是连通的且任意两条 a 到 b 的路径都有重叠的边,那么存在一条边 e,如果删掉 e 会导致 a 和 b 不连通了。 想了好久还没有证明出来,网上也没找到相关内容。

    8 条回复    2021-03-09 16:51:57 +08:00
    imn1
        1
    imn1  
       2021 年 2 月 7 日
    你说的这个应该在该章节的前面证明了
    ... as described in the section
    你翻看前面的题目吧
    olist
        2
    olist  
    OP
       2021 年 2 月 7 日
    @imn1 “as described in the section”指的是另一个问题。
    GuuJiang
        3
    GuuJiang  
       2021 年 2 月 7 日 via iPhone
    这句英文的意思应该是“如果从源点到汇点最多只有一条唯一路径”,这样看的话这个结论不是“显然”吗?路径上的任意一条边都满足这个条件啊
    olist
        4
    olist  
    OP
       2021 年 2 月 7 日
    @GuuJiang 但如果结合题目来看,基本上就是我说的那个意思。
    GuuJiang
        5
    GuuJiang  
       2021 年 2 月 7 日   1
    手边没有书,不过单就你贴出来的内容来看,并不是你在题目里理解的那个意思,这段话是在说明为什么找到大小至少为 2 的流等价于解决了原问题,因为假如只有唯一路径(也就是说原文题无解),那么必然存在桥边,从而流量必然不大于 1,即桥边的流量,反之,如果流量大于等于 2,则说明存在非唯一路径,即原问题有解
    olist
        6
    olist  
    OP
       2021 年 2 月 9 日 via iPhone
    找到答案了,参见门杰定理。在 mathoverflow 被秒回。。。
    olist
        7
    olist  
    OP
       2021 年 2 月 17 日 via iPhone
    后续章节的最大流最小割定理也可推出这个结论。
    jiangzhizhou
        8
    jiangzhizhou  
       2021 年 3 月 9 日
    @olist
    最大流 最小割 连通图 增广路
    印象中高中搞 IO 有些名词可以搜搜,如果需要中文资料
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     2539 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 31ms UTC 15:39 PVG 23:39 LAX 07:39 JFK 10:39
    Do have faith in what you're doing.
    ubao msn snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86