Betrachten Sie eine bestimmte rationale Zahl und lass eine positive ganze Zahl sein. Gibt es eine Möglichkeit, die bessere rationale Annäherung zu finden? von zwischen all dem Bruch so dass mit nicht unbedingt teilerfremd? Ich habe eine intuitive Idee, aber das ist nicht wirklich nützlich, wenn ist groß und ich bin mir nicht einmal sicher, ob es im Allgemeinen richtig funktioniert.
Ich erkläre diese Idee mit einem konkreten Beispiel.
Vermuten und lass Der „genaue“ Zustand bedeutet, dass es eine ganze Zahl gibt so dass Verwenden Ich finde, dass der genaue Zustand wann realisiert wird Dann Wenn ich die bessere Annäherung an meine Einschränkung will, sollte ich sie bekommen der nächste Teiler von Zu von oben und unten, die sind Und Die entsprechende Näherung sind Und und durch eine einfache Prüfung sehen wir das ist die bessere Näherung.
Diese Strategie kann ein großes Problem haben, wenn ist riesig: insbesondere wenn seine Faktorisierung unbekannt ist oder wenn er viele Teiler hat. Gibt es eine Möglichkeit, dieses Problem ziemlich einfach zu behandeln? Ich weiß, dass es einige Strategien gibt, die das Abschneiden der fortgesetzten Brüche verwenden, aber die Einschränkung des Produkts scheint nicht gut zu sein, um auf diese Weise behandelt zu werden.
Zum Beispiel, wie kann ich das Problem wann lösen Und ?
. . . Also wollen wir einen Teiler von nahe bei .
. Protokolle nehmen, wollen wir mit , , ..., . Dies ist ein ganzzahliges Programmierproblem. Es gibt effiziente Techniken, um Lösungen zu finden (aber ich kenne sie nicht gut genug, um ins Detail zu gehen). Sicherlich gibt es Algorithmen zum Auffinden ganzzahliger Beziehungen wie PSLQ, die zum Tragen kommen könnten. Siehe zunächst https://en.wikipedia.org/wiki/Integer_relation_algorithm