f****o
发帖数: 8105 | 1 【 以下文字转载自 WoldMiscNews 俱乐部 】
发信人: fuxeto (富士德), 信区: WoldMiscNews
标 题: 德语电视台聚焦活摘 “惨烈超过集中营”
发信站: BBS 未名空间站 (Sun Feb 21 17:18:39 2016, 美东)
德语公共电视台3SAT2月18日晚上黄金时间播出了德语版的获奖纪录片《活摘》。（
3SAT网站）
在各界关注今年柏林国际电影节大银幕之际，一家德语公共电视台把焦点对准了在中国
发生的惊天一幕。2月18日晚，由德国、奥地利和瑞士共同拥有的德语电视频道3SAT在
晚间八点黄金时间播出了获奖纪录片《活摘》，在紧接其后的访谈节目中，德国著名电
视主持人邀请专家来讨论活摘发生的深层原因，世界范围内的器官买卖，移植旅游，以
及中国在其中的角色。
加拿大华裔导演李云翔执导的记录片《活摘》于2015年5月获得第74届美国广播电视文
化成就奖——皮博迪奖（Peabody Awards），该奖又译为美国广播电视文化成就奖，是
该领域最悠久、最权威的全球性奖项之一，是美国广播电视最高荣誉。3SAT电视台为此
片制作了德语版本，全长近45分... 阅读全帖 |
|
|
w********n
发帖数: 3 | 3 Given any input of 3SAT with n literals x1,...,xn, construct a graph with
vertices s, v1, v1',v12, v2, v2',...,vn, vn', t. Draw an edge from s to v1
and v1'; an edge from v1 to v12 and v1' to v12; then an edge from v12 to v2
and v2'; ...; an edge from vn to t and vn' to t.
If there's a clause like (x1 or x2' or x4) in 3SAT (x2' is the negation of
x2), construct a subset of vertices (v1, v2', v4) in the graph problem.
Does the above reduction work? |
|
发帖数: 1 | 4 【明慧网二零一六年六月十六日】勃兰登堡门是德国首都柏林的标志，世界著名景点
，也是中国大陆旅游团的定点旅游地。每当周六，法轮功学员都在勃兰登堡门前广场搭
建信息台，揭露中共迫害法轮功、活摘法轮功学员器官的罪行，同时征集支持“法办江
泽民”、“制止活摘器官”的签名。
图1-2：勃兰登堡门前广场上，法轮功学员揭露中共迫害
二零一六年六月十一日，阳光明媚，象往常一样，法轮功信息台吸引着众多路人。他们
大部分是来自德国各地区和世界各国的游客。
来自伊朗的一位女士，刚来柏林不久，经过信息台时，被中共活摘器官的罪行所震惊。
她迫切地想了解发生了什么事情，提出了许多问题，法轮功学员一一回答。她签下名字
之后，把所有资料都拿了一份，并表示感谢。
有些德国人说，他们今年看过德国电视台3sat播放的关于中共活摘法轮功学员器官的纪
录片，因此，看到信息台后，直接过来签字。有两位外地德国人，专注地看着揭露活摘
器官的横幅。法轮功学员走上前，问他们听说过这事情吗？其中一位说，听过，电视上
看到了。于是，两位认真地签下了自己的名字。
许多人问：中共为什么要迫害法轮功？学员说，法轮功信仰的“真善忍”与中共奉行的... 阅读全帖 |
|
t******l
发帖数: 10908 | 5 如果你后面说的那个数学家的理论是 super set，那根据伊的体系和传统体系的差别，
以及伊对哥德巴赫猜想的证明，应该可以导出对于通常体系下的对哥德巴赫猜想的证明
。。。最多就是证明的复杂度超过人脑肉算的复杂度，但这种情况可以把问题转化为等
价的 boolean satisfiable problem 让马工的 3SAT solver 电证找 proof path。
如果做不到以上这点，那还是没法知道是真的数学大发现大杀器，还是千老要吃饭型的
扯淡。。。 |
|
t*******r
发帖数: 22634 | 6 谁付我小时数工资？。。。没人付我小时数工资的话，我看我有没有兴趣改进了。。。
否则我不如把小时数投资去学 3SAT solver 理论啥的。。。 |
|
t*******r
发帖数: 22634 | 7 谁付我小时数工资？。。。没人付我小时数工资的话，我看我有没有兴趣改进了。。。
否则我不如把小时数投资去学 3SAT solver 理论啥的。。。 |
|
t******l
发帖数: 10908 | 8 或者从马工的 SAT problem ( Boolean Satisfiable Problem ) 的角度，你如果把
logistician 定义为 Boolean Expression，也就是不能存 state 的那种，那你就无法
counting days。。。你给 3SAT solver 输入一个 counter 进去？我不知道咋输入的
说。。。
当然，如果你允许输入 counter 的话，那罗素说了，我送一个阿发狗进去，跟
counter 有本质差别么？
当然我觉得这道题本质上是 pre-formal-logics 的脑筋急转弯题，经不起深究就是了。
：老掉牙的题了，推理很简单。不过为啥游客说的不是废话呢。简单一点，假设只有三
个蓝眼睛。
：命题一，每个人都知道存在蓝眼睛 |
|
t******l
发帖数: 10908 | 9 想了想，这个 logistician 应该是 simple binary logic function w/o states,
cannot store (出题人不喜欢的) constants, but allow counter 。。。
总之我觉得这就是 recreational math 脑筋急转弯，不能从 post-formal-logics
thinking 的角度深究就是了 。。
：或者从马工的 SAT problem ( Boolean Satisfiable Problem ) 的角度，你如果把
：logistician 定义为 Boolean Expression，也就是不能存 state 的那种，那你就无
法 counting days。。。你给 3SAT solver 输入一个 counter 进去？我不知道咋输入
的说。。。 |
|
A*********g
发帖数: 268 | 10 哎，早晨一起床，Summer Saving System又开始了。
各位在德国的同学，今天晚上Pro7播Independent Day，特地来告诉大家一下。德国电视
台还有奥地利的3Sat经常播一些不错的德语电影，咱们人在德国，还是应该多支持一下德
国国货，以后也许就没那么多机会看德国电影了。可以看一下这个节目预告的网站：
http://www.tvtoday.de/tv/programm/programm.php?sender=HS&uhrzeit=jetzt&sparte=
alle
上次看独立日，是我一个同学请我到图书馆的小录象去看，他说我挑一个德国片子，Schr
eckliches Maedchen（坏女孩），以为是言情片，我挑了独立日，因为有名嘛。先看独立
日，我看到5分钟就昏昏的睡去。
“醒醒醒醒，开始演坏女孩了”，没想到呀，这竟然是一部政治题材的作品，是一个非常
有独立精神和正义感的小姑娘调查她所在的城市潜伏的纳粹战犯，竟然都大权在握，包括
市长本人，最后虽然有确凿的证据，但是还是不了了之了，非常有哲理的一部片子。
“醒醒醒醒，坏女孩演完了，你该请我吃饭去了。”
呵呵，t |
|
|
wy
发帖数: 14511 | 12 有了Turing Machine的概念，偶们就可以定义NP问题了，
P Class: 就是可以在多项式时间内用决定性图灵机解决的
问题的集合。
NP class: 可以在多项式时间内用非决定性图灵机解决的问题
的集合，比如说上例就属于NP集。
一个立即的推论就是P blongs to NP.
同学们广泛知道的计算机界最伟大的一个open problem就是：
Is P=NP?
一个定义：
1. NP-completeness(NP完全）:
一个问题（程序）A in NP,如果所有其它的NP问题
都可以在多项式时间内降解到A,那么我们说A是一个
NP完全问题。这个定义的说明实在太费事，不详细说了，
只说一下它的意义：就是如果我们能够发现一个解决
A的算法属于P,那么我们可以立即下结论说NP==P!
NP完全问题不象大家想象的那样少，相反，非常多，
比如3SAT问题，vertex cover problem,blahblah. |
|
|
a*******h
发帖数: 123 | 14 胡乱评论一下.
很少看到有 hardness proof 是从整数规划归约的, 感觉约束条件里面整数乘以变量这
种项不容易 model.
3SAT还是结构简单多了,而且有无数种 specialization 也还是 hard. 其实他们文章里
面用的 gadgets 除了有一个所谓的 adapter 之外, 其他都是很常见的 gadgets. 我猜
他们论文被接受的原因应该是因为他们解决了计算几何里面几十年的 Open Problem,,
否则就凭一个 hardness proof 肯定中不了SoCG. |
|
o****e
发帖数: 92 | 15 They proved NPC of the Minimal *Manhattan* Network Problem
by polynomially reducing the well-know 3SAT problem to MMN |
|
m****m
发帖数: 2211 | 16 搞什么3SAT啊
要搞当然搞个简单的01背包啊
还看到过搞TSP的，也是瞎搞 |
|
m*******r
发帖数: 98 | 17 Intput:
a graph G(V,E), two vertices s and t, and k subsets of V: S1, S2,...,Sk
Output:
is there a path from s to t that covers at least one vertex from each
subset?
Show this problem is NP-complete.
Hint: reduce from 3SAT.
想了一个晚上没想出来，大家看看 |
|
m*******r
发帖数: 98 | 18
I constructed a graph which turns out to be the graph used to reduce 3SAT
to path with forbidden pairs.
I think the main idea is to construct vertices and subsets first, and
leave the freedom to choose s, t, and edges. Then choose a special setup
such that any path from s to t automatically avoids forbidden pairs.
Not able to find such setup yet... |
|
l******e
发帖数: 470 | 19 为啥要3sat来证明
就是个hamitonian path问题的推广 |
|
m*******r
发帖数: 98 | 20
我之前犯傻了，用3sat瞬间就证明完了
能用hamiltionian path来做吗？这个是directed graph, s1,s2,..sk 不是所有vectex
的一
个分割 |
|
