麻省理工教授出的一道数学题，竟被一个清洁工给解出来了_腾讯视频
三倍流畅播放
1080P蓝光画质
新剧提前看
1080P蓝光画质
纯净式无框播放器
三倍流畅播放
扫一扫 手机继续看
下载需先安装客户端
{clientText}
客户端特权:
3倍流畅播放
当前播放至 {time}
扫一扫 手机继续看
美国大兵变身间谍伯恩
科恩兄弟重拍经典西部片
光头达蒙掀起终极暴动
景甜搭档马特·达蒙怒打怪兽
为了寻找打败上古妖兽饕餮的方法，马特·达蒙不惜亲自去活捉一只
因家园而战为荣，因欲望而战为耻
[电影]谍影重重
细读经典：冷血、腹黑的经典犯罪电影《天才瑞普利》
最后一刻马特达蒙救女伴技能全开，与顶级杀手直接生死搏命
为什么别的国家的海边住的是居民，而不是所谓的富豪大款？
杰森·伯恩再次现身，精彩逃脱FBI追捕
据说这部电影要拍第六部 这部电影绝佳暴爽 经典之作百看不厌
文艺眼中的金融危机
盟军夺宝队
从纳粹的魔爪下抢救艺术品
达蒙上演年度最燃飚车戏
缅怀南非前总统曼德拉
马特·达蒙《谍影重重5》剪辑片段
美国穷人活得也特别惨！为了站进富人堆什么事都肯干，能翻身吗？
吉米秀搞笑短片《帅哥俱乐部》笑场花絮 马特·达蒙笑得太夸张
不愧是顶级特工，马特达蒙谍影重重精彩剪辑
马特达蒙主持脱口秀，本阿弗莱克和“三代教父”加西亚前来捧场
机场跟拍好莱坞巨星马特·达蒙，一下签了这么多名，一点架子都没
男主因为买不起房子，便做了缩小手术，去小人国买一栋超豪华别墅
速看《盖瑞》一部用简单的镜头讲生动的故事的电影
平凡人拥有通灵超能力
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要
副标题要不要小明.小林和小颖共解出100道数学题.每人都解出了其中的60道.如果将其中只有1人解出的题叫做难题.2人解出的题叫做中档题.3人都解出的题叫做容易题.那么难题比容易题多 道.——精英家教网——
暑假天气热？在家里学北京名师课程，
小明.小林和小颖共解出100道数学题.每人都解出了其中的60道.如果将其中只有1人解出的题叫做难题.2人解出的题叫做中档题.3人都解出的题叫做容易题.那么难题比容易题多 道. 【】
题目列表(包括答案和解析)
（;青州市模拟）继“三鹿奶粉”，“瘦肉精”，“地沟油”等事件的发生之后，食品安全问题屡屡发生，引起了国务院的高度重视．为了加强食品的安全，某食品安检部门调查一个海水养殖场的养殖鱼的有关情况，安检人员从这个海水养殖场中不同位置共捕捞出100条鱼，称得每条鱼的重量（单位：kg），并将所得数据进行统计得下表．若规定超过正常生长的速度为1.0～1.2kg/年的比重超过15%，则认为所饲养的鱼有问题，否则认为所饲养的鱼没有问题．
[1.00，1.05）
[1.05，1.1）
[1.10，1.15）
[1.15，1.2）
[1.20，1.25）
[1.25，1.30）
2（Ⅰ）根据数据统计表，估计数据落在[1.20，1.30）中的概率约为多少，并判断此养殖场所饲养的鱼是否存在问题？（Ⅱ）上面捕捞的100条鱼中间，从重量在[1.00，1.05）和[[1.25，1.30）的鱼中，任取2条鱼来检测，求恰好所取得鱼重量[1.00，1.05）和[[1.25，1.30）各有1条的概率．
数学单选题，每个题都有4个选项，其中只有一个是正确的．一次数学测验中，共出12道选择题，每题5分．同学甲和乙都会做其中的9道题，另外3道题，甲只能随意猜；乙有两道题各能排除一个错误选项，另一题能排除两个错误选项．求：（1）同学甲和乙选择题都得55分的概率；（2）就选择题而言，乙比甲多得10分的概率．
甲、乙两人独立解答某道题，解不出来的概率分别为a和b，那么甲、乙两人都解出这道题的概率是（&& ）&& & A．1-ab&&&&& & B．（1-a）（1-b）&&&&&& C．1-（1-a）（1-b）&&& D．a（1-b）+b（1-a）&
数学单选题，每个题都有4个选项，其中只有一个是正确的．一次数学测验中，共出12道选择题，每题5分．同学甲和乙都会做其中的9道题，另外3道题，甲只能随意猜；乙有两道题各能排除一个错误选项，另一题能排除两个错误选项．求：（1）同学甲和乙选择题都得55分的概率；（2）就选择题而言，乙比甲多得10分的概率．
继“三鹿奶粉”，“瘦肉精”，“地沟油”等事件的发生之后，食品安全问题屡屡发生，引起了国务院的高度重视．为了加强食品的安全，某食品安检部门调查一个海水养殖场的养殖鱼的有关情况，安检人员从这个海水养殖场中不同位置共捕捞出100条鱼，称得每条鱼的重量（单位：kg），并将所得数据进行统计得下表．若规定超过正常生长的速度为1.0～1.2kg/年的比重超过15%，则认为所饲养的鱼有问题，否则认为所饲养的鱼没有问题．
[1.00，1.05）
[1.05，1.1）
[1.10，1.15）
[1.15，1.2）
[1.20，1.25）
[1.25，1.30）
2（Ⅰ）根据数据统计表，估计数据落在[1.20，1.30）中的概率约为多少，并判断此养殖场所饲养的鱼是否存在问题？（Ⅱ）上面捕捞的100条鱼中间，从重量在[1.00，1.05）和[[1.25，1.30）的鱼中，任取2条鱼来检测，求恰好所取得鱼重量[1.00，1.05）和[[1.25，1.30）各有1条的概率．
精英家教网新版app上线啦！用app只需扫描书本条形码就能找到作业，家长给孩子检查作业更省心，同学们作业对答案更方便，扫描上方二维码立刻安装！
请输入姓名
请输入手机号视频：《暗杀教室》这道数学题有谁会解
&gt日韩动漫如何编写程序以解决这道数学题？ - 知乎117被浏览<strong class="NumberBoard-itemValue" title="1分享邀请回答import sys
import itertools
from z3 import *
# Create solver
s = Solver()
# Create Z3 integer variables for array
arr=[ Int("z_%s" % (i+1)) for i in range(10) ]
# Add cell constraints
for x in range(10):
s.add(And(1 &= arr[x], arr[x] &= 10))
# Add distinct constraints
s.add(Distinct(arr))
# Add Problem constraints
s.add((arr[0]+arr[1]+arr[2])*(arr[8]+arr[9])==(arr[3]+arr[4]+arr[5])*(arr[6]+arr[7]))
# Check if constraints have been satisfied
if s.check() == sat:
m = s.model()
print "({}+{}+{})/({}+{}+{})=({}+{})/({}+{})".format(*map(m.evaluate,arr))#
print "Failed to solve"
Z3会给出其中的一个解，例如：(2+4+6)/(3+7+8)=(9+1)/(5+10)Z3并不是枚举出所有的解，而是算出其中任意满足以上条件的解。如果要枚举出来更多解，就需要另外动态加去重的约束条件。去重的约束既可以是只要完全不同就可以，也可以是通过数学变化如果能够互相推导，就算重复的。当然这时候就要问了，一个拿Python One-liner就能解的题目，为什么要拿这么复杂的工具呢？其实拿Z3解决这道小学数学题的确有点杀鸡用牛刀，大炮打蚊子的感觉……但如果问题换做是例如八皇后，著名的爱因斯坦问题，涂色问题，一样程序不需要太大变换，只要给出约束，就能得到结果（可以参见这里：）。而换做如果纯用Python，针对每一种不同的问题都需要去好好思考一下如何去构造算法，One-liner估计就够呛了。所以，Z3是一个只要你能够用程序定义出题目，就自动给你出答案，而不用你去关心到底算法是具体怎么执行的神器……扩展阅读：598 条评论分享收藏感谢收起#include &iostream&
#include &vector&
#include &algorithm&
using namespace std;
int main(int argc, char const *argv[])
std::vector&int& v = {1,2,3,4,5,6,7,8,9,10};
double a = v[0]+v[1]+v[2];
double b = v[3]+v[4]+v[5];
double c = v[6]+v[7];
double d = v[8]+v[9];
double r = a/b-b/d;
if (a*d == b*c)
// cout&&a/b&&'='&&b/d&&
cout&&"("&&v[0]&&"+"&&v[1]&&"+"&&v[2]
&&")/"&&"("&&v[3]&&"+"&&v[4]&&"+"&&v[5]&&") == ("
&&v[6]&&"+"&&v[7]&&")"&&"/"&&"("&&v[8]&&"+"&&v[9]&&")"&&endl;
} while (next_permutation(v.begin(), v.end()));
提了一个问题：如何避免重复的解呢？所有的container，除了unordered之外，都语义化的正确的实现了==操作符，所以，我们可以简单的用set做到这件事。把每种结果用长度为4的vector保存，vector的每个元素是一个set，set中存各个加数。#include &iostream&
#include &vector&
#include &set&
#include &algorithm&
using namespace std;
int main(int argc, char const *argv[])
vector&int& v = {1,2,3,4,5,6,7,8,9,10};
set&vector&set&int&&& result;
int count = 0;
double a = v[0]+v[1]+v[2];
double b = v[3]+v[4]+v[5];
double c = v[6]+v[7];
double d = v[8]+v[9];
double r = a/b - b/d;
if (a*d == b*c)
// cout&&a/b&&'='&&b/d&&
cout&&"("&&v[0]&&"+"&&v[1]&&"+"&&v[2]
&&")/"&&"("&&v[3]&&"+"&&v[4]&&"+"&&v[5]&&") == ("
&&v[6]&&"+"&&v[7]&&")"&&"/"&&"("&&v[8]&&"+"&&v[9]&&")"&&endl;
set&int& s1 = {v[0], v[1], v[2]};
set&int& s2 = {v[3], v[4], v[5]};
set&int& s3 = {v[6], v[7]};
set&int& s4 = {v[8], v[9]};
vector&set&int&& r = {s1,s2,s3,s4};
result.insert(r);
} while (next_permutation(v.begin(), v.end()));
cout&&"total "&&count&&" (duplication included)."&&endl;
cout&&"total "&&result.size()&&" (duplication not included)."&&endl;
for (auto r : result) {
vector&int& v1;
copy(r[1-1].begin(), r[1-1].end(), back_inserter(v1));
vector&int& v2;
copy(r[2-1].begin(), r[2-1].end(), back_inserter(v2));
vector&int& v3;
copy(r[3-1].begin(), r[3-1].end(), back_inserter(v3));
vector&int& v4;
copy(r[4-1].begin(), r[4-1].end(), back_inserter(v4));
cout&&"("&&v1[0]&&"+"&&v1[1]&&"+"&&v1[2]
&&")/"&&"("&&v2[0]&&"+"&&v2[1]&&"+"&&v2[2]&&") == ("
&&v3[0]&&"+"&&v3[1]&&")"&&"/"&&"("&&v4[0]&&"+"&&v4[1]&&")"&&endl;
65 条评论分享收藏感谢收起