Die Aufgabe besteht darin, einen nicht trivialen Faktor einer zusammengesetzten Zahl zu finden.
Schreiben Sie Code, der einen nicht trivialen Faktor einer zusammengesetzten Zahl so schnell wie möglich findet, sofern Ihr Code nicht länger als 140 Byte ist. Die Ausgabe sollte nur der gefundene Faktor sein.
Ihr Code kann Eingaben und Ausgaben auf jede beliebige Weise annehmen, einschließlich beispielsweise als Argumente für eine Funktion.
Testfälle, in denen alle Faktoren aufgelistet sind (Sie müssen nur einen ausgeben)
187: 11 17
1679: 23 73
14369648346682547857: 1500450271 9576890767
34747575467581863011: 3628273133 9576890767
52634041113150420921061348357: 2860486313 5463458053 3367900313
82312263010898855308580978867: 264575131106459 311111111111113
205255454905325730631914319249: 2860486313 71755440315342536873
1233457775854251160763811229216063007: 1110111110111 1000000000063 1111111999999
1751952685614616185916001760791655006749: 36413321723440003717 48112959837082048697
Ich werde Ihre Antwort nicht für den folgenden schwierigen Testfall bewerten, der für das Testen von Interesse sein kann:
513231721363284898797712130584280850383: 40206835204840513073 12764787846358441471
Ergebnis
Ihre Punktzahl ist die kombinierte Zeit, um alle oben genannten Testfälle mit einer Strafe von 10 Minuten für jede fehlgeschlagene Faktorisierung zu faktorisieren (alle auf die nächste Sekunde gerundet). Ihr Code sollte auch für andere Ganzzahlen funktionieren, das heißt, Sie sollten diese Antworten nicht nur hartcodieren.
Ich werde Ihren Code nach 10 Minuten stoppen.
Erhalten zwei Personen die gleiche Punktzahl, gewinnt die erste Antwort.
Beschränkungen
Ihr Code kann keine eingebauten oder Bibliotheksfunktionen verwenden, die eine Ganzzahlfaktorisierung durchführen. Sie können davon ausgehen, dass die Eingabe weniger als 256 Bit dauert. Alle Eingabenummern werden zusammengesetzt.
Wie werde ich mal?
Ich werde buchstäblich time ./myprog
auf meinem Ubuntu-System laufen , um das Timing zu erledigen. Geben Sie daher bitte auch ein vollständiges Programm an, das alle von Ihnen definierten Funktionen enthält.
Ein Hinweis für kompilierte Sprachen
Die Kompilierungszeit auf meinem Computer darf nicht länger als 1 Minute dauern.
Ist das überhaupt möglich?
Wenn Sie die Platzbeschränkungen ignorieren, kann jeder in weniger als 2 Sekunden auf meinem Computer mit reinem Python-Code + pypy berücksichtigt werden.
Was ist ein nicht-trivialer Faktorisierungsalgorithmus?
Pollards Rho-Algorithmus ist schnell und eignet sich zum Golfen. Natürlich gibt es auch viele andere Möglichkeiten, eine ganze Zahl zu faktorisieren.
Noch schneller ist das quadratische Sieb . Es sieht nach einer ernsthaften Herausforderung aus, dies in 140 Bytes zusammenzufassen.
Führende Ergebnisse
- SEJPM , 10 Minuten Strafe für den letzten Testfall + 16 Sekunden in Haskell
2 ** 1024
?2
oder2, 2
?Antworten:
Haskell,
100979189877267 BytesProbieren Sie es online!
-3 Bytes dank @flawr
-6 Bytes dank @flawr nochmal
-2 Bytes dank @flawr nochmal
-2 Bytes dank optimiertem Parametersatz
-1 Bytes dank @flawrs nochmal
-14 Bytes dank Anforderung Dank @AndersKaseorg müssen Sie nur einen Faktor
-5 Byte ausgeben
Dies funktioniert für die ersten 5 Testfälle in nicht wahrnehmbarer Zeit.
Bei dem größten Testfall tritt wahrscheinlich eine Zeitüberschreitung auf.
Im Allgemeinen gibt dies normalerweise einen nicht-trivialen Faktor in der Zeit zurück, der proportional zur Quadratwurzel des kleinsten Faktors ist.
Es funktioniert nicht bei jeder Eingabe, da das Polynom nicht variiert und die Erkennung des Ausnahmefalls in 140 Bytes schwierig ist.
Es wird auch nicht die vollständige Faktorisierung ausgegeben, sondern ein nicht trivialer Faktor und die Division der Eingabe durch diesen Faktor.
Die Faktoren werden auch nicht nach Größe sortiert.
Die verwendete Methode ist Pollard-Rho-Factoring mit dem Standard-Startwert 2 (mit dem
x^2+1
einmal angewendeten Standard- Polynom) und dem Nicht-Standard-Polynom-Konstantenfaktor 7 (weil1
mit 1679 nicht funktioniert) für alle weiteren Auswertungen.Vollständiges Programm (
factor.hs
):Kompilieren als
$ ghc factor.hs
(mussghc
installiert sein).Führen Sie so
$ ./factor <number>
.Beispiellauf:
Ungolfed-Code:
Berechnet den nicht trivialen Faktor durch Aufrufen
g
mit Anfangswerten. Das Polynom wird hier auf 2 vor- und auf das Ergebnis (5) erneut angewendet, so dass die Eingabe ing
(in einer "where" -Klausel ) immer leicht für den gcd-Test verwendet werden kann.g
(golfed version using infix#
) versucht dann, einen nicht-trivialen Faktord
(in der where-Klausel in der nicht-golfed-Version, in der golfed-Klausel) als Differenz zwischen den beiden Eingaben zu berechneng
, falls dies erfolgreich ist, und gibt diesen Faktor zurück , sonst erneut versuchen. Hier kann esn
als Ausgabe generiert werden, wenna==b
und daher nur ein trivialer Faktor zurückgegeben wird. Die richtige Vorgehensweise wäre, entweder die Startwerte bei diesem Ereignis zu variieren oder das Polynom zu ändern.quelle
|1<2=s a#(s$s b)
könnte durch ersetzt werden,|c<-s b=s a#s c
denke ich :) (auch: warumabs
, dab
das immer nicht negativ ist. (Vielleicht haben Sie das gemeintabs$b-a
,gcd
akzeptieren aber negative Argumente und führen immer zu einem nicht negativen Ergebnis.) Dies führt zu weniger als einem halben Tweet!Pari / GP , 137 Bytes, ~ 5 Sekunden
Verwenden der integrierten elliptischen Kurvenoperationen von GP (und einiger hinterhältiger Parameterabstimmungen) :
ecm
ist eine Funktion, die einen Faktor zurückgeben soll. Probieren Sie es online!Prüfung:
Ungolfed:
Die Behandlung der Faktoren 2 und 3 benötigt leider viele Bytes. Bytes, die zum Hinzufügen einer Stufe 2 hätten verwendet werden können:
quelle
Axiom, 137 Bytes, 9 Minuten
über der Funktion p (), die p-1-Algorithmus zum Faktorisieren implementieren würde, unter dem, was in eine Datei zum Testen auf p () -Funktion kopiert werden soll
Ergebnisse hier:
quelle
Axiom, 10 Minuten + 31 Sekunden
z () ist die Funktion rho, eine 137-Byte-Funktion; ungolfed z () und nenne es rho (). Es wird angenommen, dass gcd (0, n) = n ist, sodass die Schleife stoppt und bei Fehler n zurückkehrt.
Ergebnisse (z () ist in Ordnung für alle bis auf die letzte Nummer 1751952685614616185916001760791655006749 bleiben unberücksichtigt (10 Minuten))
quelle
Python 3 ,
10099 Bytes,45 4039 Sekunden + 10 Minuten StrafeProbieren Sie es online!
Verwendet Pollard-Rho mit dem Anfangswert 2 und dem Polynom x ^ 2 + 1.
quelle
pow
(mit dem 3. Argument) verwenden, um Ihre Ausführungsgeschwindigkeit zu verbessern.