Chapter 390 (2/2)
Because this task, in terms of complexity, is probably more than the sum of the three tasks he has done before.
He needs to be ready for a protracted war.
The first step is to determine the general content of the theorem, and then to deduce the formula step by step.
It took a long time to swish and calculate on the scratchpad before opening a document and typing on the keyboard.
Let the function R: M-R satisfy the local Lipschitz condition near the point work ∈ m, (U, φ) is the coordinate card containing point Z, and the generalized directional derivative of V ∈ LM along the direction V ∈ LM at the point Z is defined as:
F (x, V) = LIM (Y → φ (x)) supF * φ ^ (- 1) (y + T φ x (V)) - f * φ ^ (- 1) (y + T φ x (V)) - f * φ ^ (- 1) (y) t = (f * φ ^ (- 1)) (φ (x); φ * x (V).]
(II) f (x, V) as a function of V satisfies Lipschitz condition
(III) f (x, - V) = - f (x, V)
(IV) 】
[Theorem 3 】
each theorem is followed by a lot of proof steps.
This is a very large workload, Cheng Nuo is not arrogant enough to think that it can be done in one or two days.
Busy day by day, every day in the face of the boring formula characters, Cheng Nuo is not tired.
Ten days later, Cheng Nuo packed the 24 theorems and their proof steps and sent them to Professor Fresnel. Then he asked him for the next stage of work.
Another five days later, Cheng Nuo received a new task, less than half of which was called by Jiang Li to the headquarters of MIT chess and card club.
”I remember tomorrow is the start of the match and I'll be there on time, so you don't have to remind me again and again.” Cheng Nuo sat in his chair and said to the current chess and card club Changjiang Li.
”That's not what I'm talking about when I come to you in such a hurry.” Jiang Li said with a bitter smile.
”What's that about?”
”I just got the news from the organizing committee that there will be a special player in this go contest!”
”Special player? Who is that? ”
”Alpha zero!”
”Robot?! It's cheating
Jiang Li shrugged, ”no way. Soon after the alpha zero was developed, although it beat the alpha dog, the people in the research and development group still want to let alpha zero participate in several more competitions with humans to test its performance.”
”That doesn't mean that the champion of this competition has been decided.” Cheng Nuo ha ha smile, ”but it doesn't matter, you let me participate in the competition is not running to the champion, not so sad.”
”It's just that I don't know which hapless person it is. I'll run into that robot in the first round.”
”Er...” Jiang Li hesitated for a moment, ”I have a sad news, do you want to listen to it?”
”Say it.” Cheng Nuo road.
”The unfortunate man you are talking about is yourself.” Jiang Li opened his mouth and said, ”the table has come out. Your opponent in the first round is the robot alpha zero.”
Cheng Nuo:
This is really a sad story!
………………
PS: although some old-fashioned, but I still want to say, I wish you Mid Autumn Festival bull force!!