Случайный трамвай посреди незнакомого города





, , . , , , . , , .



, ,



, , , 17. , ?



, 1 N , .



« » , . , , , , 34, "x2" 17. «»: 17. , - . , 17 34, "x1" "x2" — , , , .







- ? , , . , 30 . «30» — ? , 1000 , 999 30 , — 17. , 30- , 17- — ? , , , , , , , , - .





, , , .

, ,

, .



: , , , . , , , , , . , : . ?



, :



  1. .
  2. , , .
  3. , , . «1» «2», , «3», «4», «5» «6» — .
  4. , . , «», , «» — .


1) , . , , , 1). , , , 1) , .



, 2) «», , , , .



, . , , , 1/3, , , — 2/3. , 3) — , . , . , , , 1000 , , , 333−41000 ⋅1/3⋅2/3 , 333−60, . , 3), , .



, : , , 50%. , , , . , . 4) , , .



, , . , , , , 4. , , - .



«»







, , : , - , , , . , , , , . , , .



: « , ?»







« » , "x1" "x2".



, . , N . 1 N k, .



"x1" V N k. , k N, , V 2N. : V, k, , N/2. k N/2 N 50%, — . , "x1" () , .



, "x2". , k, V 2k. , 2N, , , N/2. , V N/2, k , N/4. N 4- 1/4, — . , "x2", , () 3/4 , .







, , , , N, V k , , . , . , , 0 π, . .



, N , . [0,N]. k , . , V N, , N , , . , , , N .



, "x1" - 50%, "x2" — 75% , , .









- . , , , , V , f(k), f() — , (0, +∞).



, k1, — k2, k1<k2. , , . , k1<k2 f(k1)<f(k2), , f() . , «» k1 k2 V1=f(k1) V1=f(k2) , , f() .



, ,

f(). , V ( ), N/2≤f(k)≤2N. k N, : 2k≤2N. , , k, N V 2k. , V 2k, , , V , «». , f(k), k>0

f(k)≥2k.







, .



, N, k — () , V=f(k) — N. , , V N? V, , — 2N, — N/2.



f() , f−1(v), . f() f(k)≥2k, f−1() : f−1(v)≤1/2v ( 1)





. 1



, k, V , ksup=f−1(2N). , f−1() ksup=f−1(2N)≤2N. , k, V , kinf=f−1(N/2). , V N ( ) , k kinf ksup. , psuccess(f, N), :

ksup− kinf N



:

psuccess(f, N)= f−1(2N)− f−1(N/2) N



, f , N¯ psuccess(f, N). , , f(k), :

ρ(f)=infN[ psuccess(f, N)]



, ρ(f), , φ(k) , :

infN[psuccess(φ, N)]=supf infN[psuccess(f, N)]

.

, , φ(k),

(∗)      infN[f−1(2N)−f−1(N/2)N]



,

(0,+∞), l(k)= 2k. , ? , , . .







, , — , f(k)= λ⋅k ( λ — ≥2) (*) . f(k)= λ⋅k f−1(v)=λ−1⋅v, psuccess, :

psuccess(N,λ)= λ−1⋅2N−λ−1⋅N/2N=32 ⋅ λ−1 



, psuccess N , λ. , f(k)= λ⋅k, λ≥2 (*), l(k)= 2k.



, , , , , , — φ ?



V Vcm= fcm(kcm), Vm km — , , :

Vm=1100Vcm=1100fcm(100⋅km)= fm(km)



A B, A μAB. V(k) A, B. fA(kA) — A, fB(kB) — B, :

fB(t)=μAB⋅fA(μAB−1⋅t)



, fA(t) fB(t) (t — ).



, , - , ? , ! , μ>0 φ(t), (∗), ψ(t)=μ⋅φ(μ−1⋅t) (∗). φ(t) (∗) , t>0 μ>0 :

φ(t)=μ⋅φ(μ−1⋅t)

μ=t, φ:

φ(t)=t⋅φ(t−1⋅t)=t⋅φ(1)



, : , φ(t) f(k)= λ⋅k, , (∗) l(k)= 2k. "x2"?



: x2



, , , l(k)= 2k, . , , .



f(k), f(k)≤2k, v0 , psuccess(f, v0).





. 2



f(−1)(v) A=(v0/2, f−1(v0/2)) B=(2v0, f−1(2v0)) ( 2), , Ov

f−1(2v0)−f−1(v0/2)3/2 ⋅ v0

2/3- psuccess(f, v0). : AB i(v). (v0/2, 2v0) i(v) , , psuccess(f, v0) 3/2- .



, f(k) l(k)= 2k psuccess, , "x2" .



:



  1. f(k)≥2k=l(k), f(−1)(v)≤l−1(v)=1/2⋅v f(−1)(v) l−1(v)
  2. psuccess(l, v) v 3/4, l−1(v) 1/2.


, , f(k) l(k). , ε>0 v : psuccess(f,v)≥3/4+ε.



- u0>0 f(−1)(v)

B0=(u0/2, f(−1)(u0/2)), B1=(2u0, f(−1)(u0)), B2=(8u0, f(−1)(8u0)), ...

, B0 B1B2...Bn... - I(v). u0/2, 2u0, 8u0,…  4 , , v0/2 2v0. , BnBn+1 I(v) 2/3⋅infv[psuccess(f, v)]≥2/3⋅(3/4+ε)=1/2+2/3⋅ε.



l−1(v) 1/2, I(v) 1/2 2/3⋅ε, I(v) u0, v l−1(v). ( 3)





. 3



, I(v) f(−1)(v), ( 1)) l−1(v). , l(k)=2k .



:



, , , OK, — . , , , l(k)=2k, . .



, f(k), , — l(k). f(−1)(v) l−1(v), f(−1)(v)≤l−1(v), v, f(−1)(v) l(−1)(v). u0 v. , , f(−1)(v)

B0=(2u0, f(−1)(2u0)), B1=(u0/2, f(−1)(u0/2)), B2=(u0/8, f(−1)(u0/8)), ...

B0 B1B2...Bn... ( 4). , - I(v). , , I(v) BnBn+1 2/3⋅infv[psuccess(f, v)]. f , infv[psuccess(f, v)] , infv[psuccess(l, v)]=3/4. , , I(v) 2/3⋅3/4=1/2.





. 4



Δ l(−1)(u0)−f(−1)(u0) : g(v)=l−1(v)−Δ. g(v) :



  1. u0 g(v) I(v)
  2. g(v) v 1/2


, I(v) g(v) v u0 0. I(v) g(v) . I(v) (0,u0) g(v), I(v) , g(v). , (0,u0) I(v)≤g(v).



g(v)=1/2⋅v +Δ, (0,2Δ) g(v) , I(v)≤g(v) I(v) . I(v) — f(−1)(v), , (f k), I(v) . , l(k)=2k, .





« » « ». ?



, « » ,

10 . , l(k)=2k - , , . , , , l(k)=2k+10. ?



, , . , , , «» «» . , « »?



.





2020

magnolia@bk.ru



All Articles