Konstruiere zwei Funktionen und die erfüllen

19

Konstruiere zwei Funktionen erfüllen:f,g:R+R+

  1. f,g sind stetig;
  2. f,g nehmen monoton zu;
  3. g O ( f )fO(g) und .gO(f)
Jessie
quelle
2
Haben Sie die Möglichkeit in Betracht gezogen, dass solche Funktionen möglicherweise nicht vorhanden sind?
16.
Wenn beide logarithmisch exponentiell sind, dann ist entweder oder . Die meisten in der Praxis vorkommenden Funktionen haben diese Form. f = O ( g ) g = O ( f )f,gf=O(g)g=O(f)
Yuval Filmus

Antworten:

16

Es gibt viele Beispiele für solche Funktionen. Der einfachste Weg, um zu verstehen, wie man an ein solches Beispiel kommt, ist es, es manuell zu konstruieren.

Beginnen wir mit der Funktion über die natürlichen Zahlen, da sie kontinuierlich zu den Realzahlen vervollständigt werden können.

Ein guter Weg, um sicherzustellen und ist , zu alternativen zwischen ihren Größenordnungen. Zum Beispiel könnten wir definiereng O ( f )fO(g)gO(f)

f(n)={nn is oddn2n is even

Dann könnten wir behave die entgegengesetzte auf die Quoten und Evens. Dies funktioniert jedoch bei Ihnen nicht, da diese Funktionen nicht monoton ansteigen.g

Die Wahl von war jedoch etwas willkürlich, und wir konnten die Größen einfach erhöhen, um eine Monotonie zu erzielen. Auf diese Weise können wir kommen mit:n,n2

f(n)={n2nn is oddn2n1n is even und g(n)={n2n1n is oddn2nn is even

Dies sind eindeutig monotone Funktionen. Außerdem verhält sich , da sich bei den ungeraden ganzen Zahlen wie verhält, während sich wie verhält und umgekehrt am Abend.f n 2 n g n 2 n - 1 = n 2 n / n = o ( n 2 n )f(n)O(g(n))fn2ngn2n1=n2n/n=o(n2n)

Jetzt müssen Sie sie nur noch zu den Reals vervollständigen (z. B. indem Sie lineare Teile zwischen die Ganzzahlen einfügen, aber das ist wirklich nebensächlich).

Nachdem Sie nun diese Idee haben, können Sie auch die trigonometrischen Funktionen verwenden, um geschlossene Formeln für solche Funktionen zu konstruieren, da und oszillieren und Spitzenwerte an wechselnden Punkten aufweisen.cossincos

Shaull
quelle
f(n)O(n2n)g(n)O(n2n)f(n)g(n)
f(n)n2ngO