由买买提看人间百态

topics

全部话题 - 话题: testcases
首页 上页 1 2 3 (共3页)
r*******e
发帖数: 971
1
来自主题: JobHunting版 - Leetcode oj 的"scramble string"
确实很难想通。
要不你直接用anagram的解法,看看那个testcase会挂掉。
h**6
发帖数: 4160
2
来自主题: JobHunting版 - 关于coding面试
口算testcase
c*******e
发帖数: 621
3
来自主题: JobHunting版 - 请问电话面试出题是怎么做的?
大部分拿http://collabedit.com/当白板用,有点小错没关系
少数给testcase要求run code
S*******C
发帖数: 822
4
来自主题: JobHunting版 - Array Length encoding求思路!
Array Length encoding: 给定binary数组(比如[1010]), 计算每个digit数量, 返回这
种形式([11011101]).
写到一半, 小哥说你再写代码么,我这里没显示, 后来复制+刷新+粘贴搞定(
collabedit的bug),虚惊一场. 期间讨论比较多,比如array resizing(后来用了
ArrayList), input的边界条件等, lz拙计的听力, 一路pardon过来......
follow up: 怎么设计testcase, 我说random生成0,1, 又问怎么知道输出是对的?这
里纠结了好久,一开始以为要再写一种方法判断正确性. 后来发现小哥的意思是random
生成的input如何通过output判断是不是正确的,我说生成好以后存起来或打出来,然
后和output对照, 小哥说make sense.(lz感觉这里好像是领会错意思了,还浪费了不少
时间, 求问大家这里小哥到底想问什么。。。)
j******n
发帖数: 8
5
来自主题: JobHunting版 - F onsite 求分析
+1, 个人觉得写code的过程中要不断sync up以避免critical bug, 一旦面试官提示有
bug就立刻run几个testcase来debug, 一直改到面试官说looks good为止. 当然这只是
个人浅见, 大牛们一遍bug free的大有人在. 再有就是人品不好被阴, 这个也只能面试
有的时候也是运气.
n*****5
发帖数: 984
6
来自主题: JobHunting版 - 微软 Bing Ads team 面经
跪谢板上国人内推orz。在吃饭的时候还有国人MM给我加油...还是挂了 lol
一轮电面
1.If database need to be scale up, how to scale up database tables.
What if sql querys can not handle what need to do?
2. How to test your query whether it is right or not. How to run the
testcase? ..
3. Word Break II
面试:
1 Code at computer : Pronunce 123 212 312 → into one hundred twenty-three
million ….
2. Design question : given series of jobs, if timeout figure out which job
may be the key point of the series job.
He suggested using heap to find ... 阅读全帖
t****m
发帖数: 140
7
来自主题: JobHunting版 - Cloudera 电面面经
1.白人小哥,扯背景发现是校友
小哥直接说let's start from a simple coding problem
判断string‘((【】))’里的各种类型的括号是不是match
小哥各种指导暗示,写完了之后跑了几个testcase, 都过了,小哥比我还高兴
把我的code夸了一番,说很concise,然后就提前结束了interview。。。
2.印度小哥
fibonacci number, iterative and recursive
结果在回答recursive 的time complexity 和 space complexity的时候脑子短路了没
答上来
印度小哥很高兴的结束了面试把电话挂了。。。
new grad 面试找工作五个月了没offer,天天上来爆面经攒人品,该刷的题都刷差不多
了,是不是找工作的方法不对,有没有前辈指点一下?
t****m
发帖数: 140
8
找工作到目前为止面试了十几家了
感觉面试官的态度还是比较容易看出来的
想放你过的面试官表现:
1.除非背景特别相关,之前的经历随便扯扯就好,会夸你之前做的project很有意思
2.面试的时候一看你卡住了,马上恰到好处的提醒
3.题目出的有一定难度,但是真的知道怎么做写起来不麻烦
4.如果看时间不够了,而你写完了code还在用脑子跑testcase,马上会说this looks
good,进入下一题
5.在你写完code之后一般会有总结性的comment, 像your code looks good、concise
, 或者把
你的思路总结一下,然后说you are going the right direction,如果你做的不好会
跟你说这题很难,没人能做出来别担心
不想放你过得面试官表现:
1.开始先长篇大论的扯淡,详细的介绍自己的project,能浪费一分钟就浪费一分钟,
然后在你介绍自己背景的时候质疑你之前做project的真实性
2.面试的时候看你卡住了,不给提示,再等两分钟看你说不出来直接爆答案
3.题目要看上去很简单,但是很多坑,列如corner case比较多,然后跟... 阅读全帖
t****m
发帖数: 140
9
来自主题: JobHunting版 - New Grad Onsite挂完了,真心求referral
Pocket Gems: 做手机游戏的,三轮电面,约了onsite,这家题目网上都有,而且目前
没变
据说这家很注重交流能力和culture fit,有些人题目答上来也挂了
Quantcast: 在线广告, 刚刚做完一轮四个小时的coding assignment后无消息
题目是类似于word search, 不同之处是这里search的不是2D array 而是类似于"围住
神经猫"
里面的六边形地图,而且要求search 多个word, 需要提高效率。 比如已经发现apple
了,再搜applebee就不用从头开始了
Zenefit:
online test过了,三小时两道题,第二道题只过了一个testcase也过了
题目都在网上
www.1point3acres.com/bbs/forum.php?mod=viewthread&tid=129788&fromuid=124132
http://www.1point3acres.com/bbs/thread-134442-1-1.html
Symantec:
题目很简单, remove duplicates in array lis... 阅读全帖
a***u
发帖数: 383
10
来自主题: JobHunting版 - Uber 电面 面经
下午刚面的,面试官是一个华裔abc, 人很nice。
题目是anagram的变种,就是给一个dictionary, 再输入一个word, 让我写个
function去找dictionary里面是否有这个word的anagram。
我先是想到了LC的anagram,就说把每个dictionary 里面的sort 一下然后存个hashmap
。她说行,开始编程。完事后面试官让我试不同的testcase,问复杂度并且,我说O(
nklgk). 她问能不能更efficent一点。我说用个对每个dictionary的word建立一个int
array,然后统计每个char的出现次数 这样应该是O(nk)。她问有没有别的方法,我就
说可以不用array, 用hashmap 统计(我实在想不到别的办法了)。面试官又问用矩阵
和hashmap的区别和各自优缺点。我胡扯一通,时间到了。听面试官的语气应该还有更
好的解法,希望版上大牛们能指导一下。总体上说面试官人很nice,也没为难我,经常
给提示。
x**********z
发帖数: 131
11
来自主题: JobHunting版 - Zenefits 面经 OA+Skype+onsite
今天接到HR的电话,被告知onsite挂了。。
其实也不打算去他们家,方向不match。但是郁闷的是挂在了一个闲扯的问题上,而且
是国人手里,哎。。。
先上面经:
OA zentest3
1, 一个字典。从一个word删除一个字母可以与另一个word相连。问字典中的词能组成
的最长路径。
Solution: 建图,然后DP
2, n-queens的变种。当时读题读了好久还是把题目理解错了,最后又几个testcases跑
不过。。
Skype:
小印,总说不要给我讲思路,写就行了。。
1,http://www.1point3acres.com/bbs/forum.php?mod=viewthread&tid=129807&page=1 第一题
2,two difference. 但是不让用hash table。Solution: 排序+双指针
Onsite:
1, 第一轮两个年轻国人,每人一道题
1.1, 首先是一个coding题,问给一个 Node* 数组,怎么判断是不是一个valid的
binary tree。
Solution: 算每个 node 的 indegree 和 o... 阅读全帖
t****m
发帖数: 140
12
Pocket Gems: 做手机游戏的,三轮电面,约了onsite,这家题目网上都有,而且目前
没变
据说这家很注重交流能力和culture fit,有些人题目答上来也挂了
Quantcast: 在线广告, 刚刚做完一轮四个小时的coding assignment后无消息
题目是类似于word search, 不同之处是这里search的不是2D array 而是类似于"围住
神经猫"
里面的六边形地图,而且要求search 多个word, 需要提高效率。 比如已经发现apple
了,再搜applebee就不用从头开始了
Zenefits:
online test过了,三小时两道题,第二道题只过了一个testcase也过了
题目都在网上
www.1point3acres.com/bbs/forum.php?mod=viewthread&tid=129788&fromuid=124132
http://www.1point3acres.com/bbs/thread-134442-1-1.html
Symantec:
题目很简单, remove duplicates in array li... 阅读全帖
p**o
发帖数: 1012
13
来自主题: JobHunting版 - onsite大概到什么水平才能通过g家
昨天刚挂,有点郁闷
面了五轮,一共写了八道题,基本都在leetcode middle到hard之间的难度,Hash
table,
tree 和graph的题比较多。基本上都给出了最优解,程序也都检查了,testcase也过了
,应该不太会错
,其中有几道题有些磕磕绊绊,问了面试官提示。面试官也都很nice.不知道完全不问
提示,自己独立给出答案会不会好一些。总之,面试挺累的,我觉得脑力已经到极限了
,但我觉得总体表现还可以。然后一周之内的HC meeting后,recuiter就打来电话把我
拒了,客气了几句,说it is a hard decision,要cutting cost什么的,一年之后我们
再联系什么的,总之就是套话安慰了几句。因为别人还在报offer,我觉得肯定还是我
自己的问题。
有点失落,因为觉得表现还可以,比较lucky,虽然题都没见过,却都写出来了,不知
道bar在
哪里,觉得再去刷题,短期内表现也不一定会有飞跃。拿到G offer的大牛们,能说下
,你们大概要面到什么水平吗?面经过两天有空会整理下放上来
b**********5
发帖数: 7881
14
来自主题: JobHunting版 - 在中国的, 印度的马工们
入职2个多月, 连testcase还要中国大妈帮你写的。。。除了摞,还会什么?
发信人: xyhfox740 (路人甲), 信区: JobHunting
标 题: 赞一下同组的老中同事
发信站: BBS 未名空间站 (Sat Jun 6 12:39:53 2015, 美东)
楼主new grad,进了texas一家挺大的公司,刚入职2个多月,公司中国人不多,几十人
吧。组里老板是国男,还有一个同事是国女。老板很不错,最主要的是这位国女大姐人
太nice了,完全不象版里吐槽的那些国女。真的是毫无保留的给你教各种技术知识,有
问必答。而且有一次楼主的environment出了问题,这位国女大姐花了整整一个小时帮
楼主调试。最近大姐出去pto了,走之前还把各种事项给楼主交待好,test case帮楼主
写好。真的是无以为报啊。而且公司的老中每天中午大家都一块吃饭聊天,天南海北什
么都聊。勾心斗角的神马都没有。所以楼主觉得湾区ny什么的可能竞争太激烈导致国人
各种窝里斗,还是二线城市舒服一点,工资尚可,工作节奏慢,work life balence好
,没有加班啥的。
x*******0
发帖数: 487
15
来自主题: JobHunting版 - 在中国的, 印度的马工们
老夫到现在还不会写,这怎么破,求牛肉姐指点迷津。。
[在 beefcurtain5 (beefcurtain5) 的大作中提到:]
:入职2个多月, 连testcase还要中国大妈帮你写的。。。除了摞,还会什么?

:...........
x*******0
发帖数: 487
16
来自主题: JobHunting版 - 在中国的, 印度的马工们
原来此照片中的女子真的是传说中的牛肉姐!老夫先撸为敬,大家随意。
[在 beefcurtain5 (beefcurtain5) 的大作中提到:]
:哦, 你遇到过, 给你一个project, 还主动帮你写testcase的么? 除非这人业余的
:时间, 舔着人家大姐的屁眼。。
:...........
b**********5
发帖数: 7881
17
来自主题: JobHunting版 - cloudera的codebility的 test
你是第二天过了么? 那个codility很不好, run的时候, 不run所有的testcase, 然
后我后来看了看网上, 都是要考虑什么overflow啊, corner cases, 但题目本身都
是assume valid input。。。submit后, 根本就看不到我submit的code。。。
b**********5
发帖数: 7881
18
来自主题: JobHunting版 - cloudera的codebility的 test
我跑了啊, 每个问题, run的时候, testcase就那么三四个, 都通过, 但submit后
, 就是0分了。。。
我HR也不回我了。。
z*********n
发帖数: 28
19
来自主题: JobHunting版 - 问一道面试题
今天刚做了几个马鬃的oa
题目看起来不难,在hackerank上做的。所以不能看test case。
总共9个,只能过8个,有一个死活不了。
题目是move robot
大意是输入指令是一个字符串 “NWES” N表示向北移1,W表示向西移1.
所以 “WN” 的结果是(-1,1)。 “WS”结果是 (-1,-1)
特殊字符X表示撤销上一次操作, 比如 WNX表示 W, 输出时(-1,0)
每个字符前可加数字,表示移动多步, 比如7N3W, 输出时(-3,7)
7N3WX输出时(0,7), X表示撤销上一次3W的操作
7N3WXX输出是 (0,0)
不知道大家有没见见过这道题, 我不清楚是自己理解有误还是代码问题,有一个
testcase总过不了。
马鬃给我两次oa,感觉都黑了。。
a*****s
发帖数: 1121
20
来自主题: JobHunting版 - workday onsite面经,已挂
上周五的onsitee,只刷过三道leetcode题目,硬着头皮上了。免得是大数据platform
组SMTS,挂了,不知道谁黑的。
一个俄国小哥:
比较热情, 先问了stack用linklist和array实现的优缺点,然后问了如何用二维数组
存储神经网络,比较耐心的引导类型,最后时间没有了,就只讨论了一下为什么这么做
。俺提出了一些可能的;
印度人:
上来很详细的问了以前的做的东西,HIVE如何转化成TEZ的,TEZ和MAPREDUCE的性能区
别,Slider提交任务需要那三个文件,我说就是三个json文件关于资源请求,可执行文
件等等,半年前作的实在记不清了,他解释说是metainfo.xml, 和两个json文件,俺
就极力说服他,please检查slider的apache JIRA buglist,现在俺还有几个ticket要
解决,他说他会。没让写code
一个国人伯克利小伙子:
随便问了问以前的项目,然后让做题, 给两个string,一个str1,一个str2,找出
str1里所有的str2
出现的第一个位置:比如ababab,ab那么返回数组[0,2,4]。先让写te... 阅读全帖
f*******r
发帖数: 976
21
来自主题: JobHunting版 - workday onsite面经,已挂
Move on. 祝LZ早日拿大offer

上周五的onsitee,只刷过三道leetcode题目,硬着头皮上了。免得是大数据platform
组SMTS,挂了,不知道谁黑的。
一个俄国小哥:
比较热情, 先问了stack用linklist和array实现的优缺点,然后问了如何用二维数组
存储神经网络,比较耐心的引导类型,最后时间没有了,就只讨论了一下为什么这么做
。俺提出了一些可能的;
印度人:
上来很详细的问了以前的做的东西,HIVE如何转化成TEZ的,TEZ和MAPREDUCE的性能区
别,Slider提交任务需要那三个文件,我说就是三个json文件关于资源请求,可执行文
件等等,半年前作的实在记不清了,他解释说是metainfo.xml, 和两个json文件,俺
就极力说服他,please检查slider的apache JIRA buglist,现在俺还有几个ticket要
解决,他说他会。没让写code
一个国人伯克利小伙子:
随便问了问以前的项目,然后让做题, 给两个string,一个str1,一个str2,找出
str1里所有的str2
出现的第一个位置:比如ababa... 阅读全帖
c********d
发帖数: 11593
22
来自主题: JobHunting版 - 碰到烙印QA怎么办啊
太难为你了,这事儿你老板要是不挺你的话的确比较挠头。你老板是脑子进水了吗,就
算没有这层同胞关系,你跟他是一条船上的,出了错胳膊肘往外拐把错往里揽是为哪桩
啊?如果你们组还有别的中国同事,尽可能跟他们搞好关系,私下里问问他们都是怎么
对付这个阿三QA的。
不管那个QA找你做什么,首先cc经理;你们老板真要神经病到要求你一个dev去帮QA写
testcase还包debug,那也只能认了,但是尽量事先跟他说好你的职责范围,平时多用
email报告自己做的任何事,能抄送给谁就抄送给谁,总算留证据。
V****r
发帖数: 925
23
代码是敲完了,testcase也都过了,但是对方说还可以进一步improve。
现在等feedback。
电面我的是我投的组的貌似小老板(烙印),存心黑的话就算给onsite我也不去了,浪
费时间自讨没趣。
I*******g
发帖数: 7600
24
来自主题: JobHunting版 - 最近公司onsite 都喜欢
在电脑上现场写程序, 好几个要求当场写出一个immutable object from scratch ,
比如 immutable HashMap等等。
然后他们拿 testcase来测试,
如果没有写出来,或者根本不能编译的,就让你马上滚蛋。不进行其他 Algorithm面试
了。
x*******1
发帖数: 28835
25
来自主题: JobHunting版 - 请教关于如何写TestCase
种类很多, unit test, conponent test 侧重不一样。 反正happy path,
malfunctional 都要模拟。 test-driven的开发还是有点道理的。
j******o
发帖数: 4219
26
来自主题: JobHunting版 - 请教关于如何写TestCase
all possible inputs, positive and negative
z*****i
发帖数: 366
27
来自主题: JobHunting版 - 请教关于如何写TestCase
关于TC的问题:
1. 分类 (classification)
unit test -> functional test -> integration test -> scenario test
越往右边TC的数目应该越少一些
2. 设计TC,还是要分类
1) positive TC - happy path
2) negative TC - 0, NULL, exception, overflow/underflow,
3) corner TC
3. 其他TC(基本就是靠嘴巴说)
1) Performance
2) Scalability
3) Load
4) Stress
5) Code coverage
6) Localization
7) Internationalization
8) Security

了?
c****m
发帖数: 34
28
来自主题: JobHunting版 - 请教关于如何写TestCase
赞楼上

发帖数: 1
29
来自主题: JobHunting版 - 请教关于如何写TestCase
赞层主给理了思路
w****8
发帖数: 33
30
因为项目需要,
需要找一个contractor做Verification工作,
三个月。
需要
1. 用UVM bring up testbench from scratch,
2. write testcases
3. documentation
4. migrate UVM testbench
所以需要有多年工作经验,或者你很自信你对UVM很熟。
工作地点:CA, SAN JOSE, H公司。
有意者可以发简历到[email protected]/* */
我会把你的简历转给我的manager。
有效期可能比较短,
因为其实HR已经开始在通过中介找人了。
谢谢

发帖数: 1
31
来自主题: JobHunting版 - uber senior offer
我面的时候要完全无bug写完比leetcode的hard还要难的题目,还要自己写一些
testcase跑过,是国人面的,可能他是搞ACM的吧
s*****d
发帖数: 68
32
来自主题: JobHunting版 - A/S家包裹请教
A家的面经已经有很多了,基本情况就是那样,coding的题目全部GD上有原题,一定要
在自己电脑上写一遍,能跑能过所有testcase,到时候听到原题不要紧张直接重写一遍
就好了
S家主要是有一个coding assignment,给一个星期的时间,不同方向的组会有不同的题
目,我的题目是在他们给的slack频道里实现一个游戏,自己搭服务器数据库什么的
过了这个assignment之后是hiring manager面一个小时,讨论一下经验啊skill sets啊
,有一些behavior问题,但是不多,主要还是类似你自己写的code里最大的bug是什么
之类的带点技术色彩的问题
然后onsite有四轮,没有任何coding,一轮设计,一轮跟技术相关的讨论,比如你觉得
哪些DB不错之类的,一轮跟测试相关的讨论,一轮纯聊天,估计是看文化风格合不合
s******e
发帖数: 52
33
来自主题: JobHunting版 - Digital/Mixed Signal Design Engineer 加州
有意者请给我发消息
Digital/Mixed Signal Design Engineer
Seeking a highly motivated and innovative digital/mixed signal design
engineer with strong theoretical and practical background in digital
circuits and FPGA design. Candidate with be part of a team responsible for
development of next generation AC/DC power management product and emulation
systems.
PRIMARY RESPONSIBILITIES
• Design and RTL coding of power management controller on FPGAs
from concept to production.
• Defining detailed... 阅读全帖
s**********g
发帖数: 14942
34
来自主题: JobHunting版 - 刷题神器
leetcode自带的不够用?
leetcode连testcase都帮你搭好了么不是
t****b
发帖数: 2484
35
来自主题: JobHunting版 - POJ 几千真走远了,正解是这样的
说POJ的街霸哥也就是个调侃吧 哪有人真去刷POJ的
对于新毕业生来说,FLAG里我面过FAG, 都不需要系统设计. Leetcode吃够了, 剩下的就
是运气和缘分了, 多面几家, 总有能拿到的.
leetcode能保证题目难度适中, 同时具有押题和原题的功能, 目前为止没有比lc更好的
题源. 刷LC基本就是刷面经, 况且还有testCase和最优解讨论.
个人觉得LC每周竞赛排名能进前两页, coding面试问题都不大.

发帖数: 1
36
来自主题: JobHunting版 - 大家刷题怎么debug
白板上run testcase 效果最好,跑过一次这道题就难忘了
t******l
发帖数: 10908
37
这种可能性是存在的。
另外过多过滤掉噪音高的题目、测试用例,也会导致 regression test suit 简单化傻
鼻化,而不能反映客户实际情况。
上面这个在马工测试里基本是公认的事实了。经常 regression test 的结果剧牛鼻,
但 customer 实际情况就捅篓子。因为 noisy testcase 常常被质量测试组偷偷拉下线
了。
t******l
发帖数: 10908
38
来自主题: Parenting版 - 如何提高小孩的阅读能力?
而从马工黑匣测试组的角度看,测试比如 Bloom' taxonomy 的 Remembering vs
Understanding 的 “有意义的先来后到的顺序”,这太容易了。。。测试组找了四个
testcase 来测一下 GRE 单词和阅读理解分数:(1) slightly dyslexia (2) control
group (3) moderate hyperlexia (4) severe hyperlexia 。。。 Bloom 一看,二话
不说,直接抄后门溜走。
<先发出来>
g*****g
发帖数: 34805
39
Technically, you need to establish automatic test suite that can
cover most testcases you can think of. The chance of introducing
regression bugs will be much lower and you'll have more confidence.
I don't think he feels you are incompetent. But if you are responsible
for a project, you need to weight risk and reward. And I can understand
his concern.

代码很复杂,都有30多年的历史了。现在的问题是每次有个什么bug发现了,让我先研
究,然后我研究出来后,就直接给修正了,测试通过后然后告诉他我能修正。 问题是
,每次他都问我,你是不是200
d**********1
发帖数: 329
40
来自主题: SanFrancisco版 - 【JOBS】01.16 -- 02.15
verification Engr
Masters degree (prefer) and 7 - 12 years LCD monitor/TV digital SOC design
verification related experience
Strong background in SOC verification. Expert on SOC system level
verification environment setup and implementation.
Extensive knowledge on System Verliog/OVM, Constraint Driven Verification (
CDV), Coverage Based Verification (CBV), Assertion Based Verification (ABV),
VMM.
Verification plan, testbench and testcases development
Audio/Video sub-system knowledge
Big plus to... 阅读全帖
s******e
发帖数: 52
41
来自主题: SanFrancisco版 - Digital/Mixed Signal Design Engineer 加州
有意者请给我发消息
Digital/Mixed Signal Design Engineer
Seeking a highly motivated and innovative digital/mixed signal design
engineer with strong theoretical and practical background in digital
circuits and FPGA design. Candidate with be part of a team responsible for
development of next generation AC/DC power management product and emulation
systems.
PRIMARY RESPONSIBILITIES
• Design and RTL coding of power management controller on FPGAs
from concept to production.
• Defining detailed... 阅读全帖
t******l
发帖数: 10908
42
来自主题: Go版 - 阿尔法克星狗啥时登场?
阿尔法克星狗的意思,就是如果对面不是阿尔法狗,臭子连天都没有关系。
但如果对面是阿尔法狗,立刻专门对准针对性地直接抄阿尔法狗的下三路。
原因是如果围棋的目标函数好比不是 convex,最多是 piece-wise
convex connect by concave section 的话,那当今的阿尔法狗目测
可能也只能通过 training 覆盖不超过 50% 的区域。
那么这样的话,有没有可能根据公开的阿尔法狗的深神网的函数,构造
一个阿尔法克星狗函数,然后用阿尔法狗去 train 阿尔法克星狗,生成
参数包,最终打造一条专门咬阿尔法狗的阿尔法克星狗。这克星狗专门
抄阿尔法狗的下三路,这样的棋局会不会更有观赏性?
这就好比软件算法级鲁棒性测试的时候,专门生成 synthesized testcase
的自动程序,直接攻被测试算法的下三路。
t*******r
发帖数: 22634
43
其实就有点像罗素悖论,你俩看同一个自然语言,结果看到是不同的意思。
这不奇怪,我一开始看楼主的,也没看明白。也争了一大通。不过后来发现
那是古典数学语言。码工多用现代数学集合论图论正则语言,或者类似正则
语言写法的东东,导致看古典数学转不过弯来。
楼主的证明其实没错,但是用到了素数的递归定义,实际上我认为是个
trivial 的证明。(由素数递归定义可以容易直接证明无限性,不需要
反证或归谬)。
老实说素数的递归定义并不显而易见,我觉得非码工用自然语言理解,很可能是
似懂非懂。说实话我一开始其实也理解有偏差,导致一开始写的那个 yacc/c
伪码里,把 if and only if 里的 only if 判断条件写错了。其实那个
不是笔误,是理解错误。但写正则语法就是有这个好处,写出来,testcase
跑对,也就基本理解对了。
t******n
发帖数: 2939
44
☆─────────────────────────────────────☆
l63 (l63) 于 (Thu May 23 00:34:22 2013, 美东) 提到:
假设素数只有有限个, 记为 p_1,p_2,...,p_k
考察 N = p_1*p_2*...*p_k + 1
可知: 对于任意i = 1,2,3,...,k, p_i 不能整除 N
由素数的定义:
a是素数 <=> a是大于1的自然数, 且a不被任何小于a的素数整除
可知: N是素数
这与素数只有p_1,p_2,...,p_k矛盾.
故假设不成立.
所以素数有无穷多个.
☆─────────────────────────────────────☆
l63 (l63) 于 (Thu May 23 00:37:03 2013, 美东) 提到:
在承认素数的这个等价定义 (即 a是素数 <=> a是大于1的自然数, 且a不被任何小于a
的素数整除) 的前提下, 居然有人会认为这个证明是错的, 或者是不完备的.
我实在不能理解.
求问一下大家, 是不是有的人的脑子天生有缺陷, 根本怎么教都不会明白... 阅读全帖
g*****g
发帖数: 34805
45
来自主题: Java版 - 我是不是得了某种综合症?
Use a unit test tool to automate your testcase.
g*****g
发帖数: 34805
46
来自主题: Programming版 - ask Big Niu industrial code 都是怎麼寫的
You can run all JUnit testcases as part of build. You can use
Maven to manage your build and Jerkins to do continous integration.
It's certainly automatic. For multithreading debuging, simple logging
and mock classes may be more effective IMHO.
t****t
发帖数: 6806
47
来自主题: Programming版 - printf("%s\n", NULL)的结果
你有什么想不通的, 不是都说了the testcase is invalid吗?
invalid的东西你为什么要去想通它?
l******d
发帖数: 530
48
来自主题: Programming版 - printf("%s\n", NULL)的结果
我之前是想不通为什么这个testcase是invalid的
b*******k
发帖数: 21
49
来自主题: Programming版 - Python擂台:算24点
Using the recursive approach:
#!/usr/bin/env python
def solve24(numbers, goal):
"""Give a set of non duplicate positive numbers, can we use +, -, *, /
to get the goal?
Return one solution or None."""
if len(numbers) == 0:
return None
if len(numbers) == 1:
if numbers[0] == goal:
return '%d' % numbers[0]
else:
return None
ops = [
('+', lambda a, b: a - b),
('-', lambda a, b: b - a),
('*', lambda a, b: a / b... 阅读全帖
g*****g
发帖数: 34805
50
这东西应该用DI的,真不行就写俩testcase让他的代码废掉呗。
首页 上页 1 2 3 (共3页)