Chapter 393: Project Progress

Chapter 393

In the end, Cheng Nuo still did not resist Jiangli's bitter request, and reluctantly agreed to participate in the Go competition half a month later.

If Cheng Nuo can reach the final, it will take three days.

But fortunately, there is no need to stay there around the clock, and if you make adjustments, it will not have a big impact on Cheng Nuo's arrangement.

When he thought of the International Congress of Mathematicians to be held a month later, Cheng Nuo was excited!

Although Professor Fresnel gave Cheng Nuo a three-day vacation, Cheng Nuo returned to the office the day after the school started.

"What, don't have a few more days off?" Professor Fresnel asked Cheng Nuodao with a smile in the office.

Cheng Nuo shook his head, "No need, I'm full of energy now." Professor, if there is anything I can do, please leave it to me!"

Cheng Nuo held his head high, and his appearance was completely like he was ravaging me with project tasks.

This time it was Professor Fresnel's turn not to be calm.

Could it be that there were too many tasks and too much pressure for Cheng Nuo some time ago, which made this child tremble.

Professor Fresnel stood up with a rare kind smile on his face, "Cheng Nuo, we have plenty of time for this project now, the two-month deadline, and now it has only been less than half a month, and we have completed one-third of the progress. You don't have to work yourself too hard, and in two days, you'll come back to the task assigned to you!"

After hearing this, Cheng Nuo became even more anxious.

Indeed, at the current pace, there is a good guarantee that the project will be completed within the two-month deadline. But the problem is that a month later, both he and Professor Fresnel will be away for more than ten days.

Senior Hull is obviously not the kind of assistant who can support a big project alone.

Therefore, it is necessary to speed up the progress of the project, otherwise what if Professor Fresnel insists that he stay in the laboratory at that time?

No matter what, Cheng Nuo didn't want to be absent from this feast of mathematics.

Cheng Nuo's expression suddenly became serious, "Professor, you and Senior Hull are both working on the front line of scientific research, and you can forget to sleep and eat in order to complete the project as soon as possible, and I, as a member of the project team, how can I relax alone." Please allow me to devote myself to the study of the great cause of scientific research!"

Cheng Nuo said so, what else could Professor Fresnel do. had to assign Cheng Nuo a moderately difficult task first.

Cheng Nuo received the task and left beautifully.

Fresnel looked at Cheng Nuo's back humming a little song and leaving, and his eyes revealed a deep worry.

............

The intensity of the task has increased a lot compared to before, but Cheng Nuo seems to be full of energy.

Under the temptation of the mathematicians' conference in front, Cheng Nuo naturally revealed 12% of his energy to the research of the project.

If you can successfully complete the project in a month's time, it should not be a problem to apply for a ten-day vacation from Professor Fresnel.

Let's talk about the current progress of the Riemann manifold project.

The tasks of the first stage are basically completed, and the basic concepts, the derivation of the relationship between the necessary optimality conditions of Fritz John and the Lipschitz function, and the properties of the Lipschitz function have all been obtained.

Now it is the second phase.

As early as when Professors Hull and Fresnel were tackling the first phase, Cheng Nuo had already completed part of the second phase because the work was too advanced. The new task he got today still belongs to the second stage.

Regarding the generalized gradient problem of the Lipsehitz function on the Riemann manifold, he needs to derive a number of theorems based on the content of the first stage.

This is one of the two most central tasks of the second phase.

Among them, the difficult Professor Fresnel left it to himself, and the first-level difficulty fell to Cheng Nuo.

Faced with this task, Cheng Nuo didn't feel like he had no clue at the beginning of the previous task, but his mood was not very relaxed.

Because of this task, in terms of complexity, I am afraid that it is more than the sum of the three tasks he has done before.

He must be prepared for a protracted battle.

The derivation of the theorem is of course not a superposition of imaginative formulas, the first step is to determine the general content of the theorem that needs to be made, and then carry out the step-by-step formula derivation.

It took a while to calculate on scratch paper before opening a document and typing on the keyboard.

[Theorem 1::M-R satisfies the local Lipschitz condition near the point ∈ M, (U,φ) is a coordinate card containing the point z, and the generalized direction derivative of the direction v∈LM along the direction at the point z is defined as:

f(x,v)=lim(y→φ(x))supf*φ^(-1)(y+tφx(v))-f*φ^(-1)(y)/t=(f*φ^(-1))(φ(x);φ*x(v).】

[Theorem 2: Let the mapping f:M-R satisfy the local Lipschitz condition near the point z∈M.]

(i) Mapping f*φ^(-1)(y): M→R is finite, homogeneous, and additive, and fully satisfies |f(x,v)≤L|v|

(ii) f(x,v) satisfies the Lipschitz condition at TxM as a function of v

(iii)f(x,-v)=-f(x,v)

(iv)......】

[Theorem 3: ......]

Each theorem is followed by a whole host of proof steps.

This is quite a huge amount of work, and Cheng Nuo is not arrogant enough to think that it can be done in a day or two.

Busy day by day, facing the boring formula characters every day, Cheng Nuo is never tired of it.

Ten days later, Cheng Nuo packaged and sent a total of 24 theorems and their proof steps to Professor Fresnel, and then consciously asked him for the next stage of work.

Another five days later, Cheng Nuo received a new task less than half of the completion, and was urgently summoned by Jiang Li to the headquarters of the MIT Chess and Card Club.

"I remember tomorrow is the start of the tournament and I will be there on time, so you don't need to remind me of this. Cheng Nuo sat on the chair and said to Jiang Li, the president of the current chess and card club.

"I'm in such a hurry to come to you, and that's not what I'm talking about. Jiang Li smiled bitterly.

"What's that?"

"I just got news from the organizing committee of this competition that there will be a special player to participate in this Go competition!"

"Who's that?"

"Alpha Zero!"

"Robots?!, this is cheating!"

Jiang Li shrugged, "No way, Alpha Zero has just been developed, although it defeated Alpha Dog, but the people in the R&D team still want Alpha Zero to participate in a few more matches with humans to test its performance." ”

"Doesn't that mean that the winner of this competition has already been decided? Cheng Nuo smiled, "But it doesn't matter much, you let me participate in the competition and I didn't go to the championship, so I don't need to be so sad." ”

"It's just that I don't know which unlucky person will run into that robot in the first round. ”

"Uh......" Jiang Li hesitated, "I have sad news, do you want to hear it?" ”

"You speak. Cheng Nuo said.

"The unlucky person you are talking about is yourself. Jiang Li opened his mouth and said, "The match table has come out, and your opponent in the first round is the robot Alpha Zero." ”

Cheng Nuo: "......"

This is really a sad story!

..................

PS: Although it's a bit old-fashioned, I still have to say, I wish you all the Mid-Autumn Festival!!