Gibt es eine bessere als lineare Untergrenze für Factoring und diskretes Log?

19

Gibt es Referenzen, die Details zu Schaltkreisuntergrenzen für bestimmte schwierige Probleme liefern, die in der Kryptographie auftreten, wie z. B. Integer Factoring, Prim / Composite Discrete Logarithm Problem und seine Variante über Punktgruppen elliptischer Kurven (und ihre höherdimensionalen abelschen Varietäten) und das Allgemeine verstecktes Untergruppenproblem?

Speziell hat eines dieser Probleme mehr als eine lineare Komplexitätsuntergrenze?

vs
quelle
9
Sie wissen natürlich, dass für <i> jede </ i> explizite Funktion keine niedrigere Grenze als 5n für die Schaltungskomplexität bekannt ist, nicht nur für die von Ihnen erwähnten. Sie sollten also die Frage angeben. Bessere Grenzen sind nur für eingeschränkte Schaltungen bekannt. Vielleicht finden Sie einige Teilantworten auf der Homepage von <a href=" web.science.mq.edu.au/~igor "rel="nofollow"> Igor Sparlinski. </a>
Stasys
8
Nun, ich bin mir nicht ganz sicher, was Sie unter "dieser interessanten Tatsache" verstehen. Wie der aktuelle Stand der Schaltungskomplexität aussieht, zeigt mein anstehendes Buch thi.informatik.uni-frankfurt.de/~jukna/BFC-book . Benutzer: Freund Passwort: catchthecat
Stasys
1
@Stasys, ich erinnere mich, dass ein Student aus Russland vor zwei Jahren in der Prager Herbstschule über die untere Grenze der Form 7n + O (1) gesprochen hat, aber ich kann mich an keine weiteren Details erinnern.
Kaveh
12
Kaveh, dies ist eine (7/3) nc Untergrenze, nicht 7n. Es wurde von Arist Kojevnikov und Sasha Kulikov aus Petersburg bewiesen. Der Vorteil ihres Beweises ist seine Einfachheit, nicht numerisch. Später gaben sie einen einfachen Beweis der 3n-o (1) -Untergrenze für allgemeine Schaltkreise (alle Fanin-2-Gatter sind erlaubt). Wenn auch für sehr komplizierte Funktionen - affine Dispergierer. Die Artikel sind online unter: logic.pdmi.ras.ru/~kulikov/papers . Tatsächlich wurde von Redkin (1973) fest gebundenes 7n-7 für die Paritätsfunktion gezeigt, jedoch nur, wenn nur NICHT- und UND-Gatter zulässig sind. Wenn auch ODER erlaubt ist, dann ist seine Grenze 4n-4 (auch eng!).
Stasys
5
@StasysJukna: Eine Kombination Ihrer Kommentare ist als Antwort angemessen.
Suresh Venkat

Antworten:

26

@ Suresh: Nach deinem Rat, hier ist meine "Antwort". Der Status der unteren Schaltkreisgrenzen ist ziemlich bedrückend. Hier sind die "aktuellen Rekorde":

  • 4n4 für Schaltkreise über und für Schaltkreise über und computing ; Redkin (1973). Diese Grenzen sind eng. {,,¬}7n7{,¬}{,¬}n(x)=x1x2xn
  • 5no(n) für Schaltungen über die Basis mit allen Fanin-2-Gattern mit Ausnahme der Parität und ihrer Negation; Iwama und Morizumi (2002).
  • ( 7 / 3 ) n - O ( 1 ) 3 - n - O ( 1 )3no(n) für allgemeine Schaltungen über die Basis mit allen Fanin-2-Toren; Blum (1984). Arist Kojevnikov und Sasha Kulikov aus Petersburg haben einen einfacheren Beweis für eine Untergrenze gefunden. Der Vorteil ihres Beweises ist seine Einfachheit, nicht numerisch. Später gaben sie einen einfachen Beweis der -Untergrenze für allgemeine Schaltkreise (alle Fanin-2-Gatter sind erlaubt). Wenn auch für sehr komplizierte Funktionen - affine Dispergierer. Die Artikel sind hier online . (7/3)no(1)3no(1)
  • { , , ¬ }n3o(1) für Formeln über ; Hastad (1998). {,,¬}
  • 2 Ω ( n 2 / log 2 n ) Ω ( n 3 / 2 / log n )Ω(n2/logn) für allgemeine Fanin- Formeln, für deterministische Verzweigungsprogramme und für nicht deterministische Verzweigungsprogramme; Nechiporuk (1966). 2Ω(n2/log2n)Ω(n3/2/logn)

Also, Ihre Frage "Haben speziell diese Probleme mehr als eine lineare Komplexitätsuntergrenze?" bleibt weitestgehend offen (bei Stromkreisen). Mein Appell an alle jungen Forscher: Vorwärts, diese "Barrieren" sind nicht unzerbrechlich! Aber versuchen Sie, "unnatürlich" im Sinne von Rasborow und Ruditsch zu denken.

Stasys
quelle
Handelt es sich um Hastads Papier von 1998? nada.kth.se/~johanh/monotoneconnect.pdf Ich glaube nicht, dass die Bindung "nicht" beinhaltet. Außerdem ist der Exponent quadratisch.
T ....
@JA: Nein, dies ist eine andere Veröffentlichung seines gleichen Jahres, J. Håstad, The Shrinkage Exponent is 2, SIAM Journal on Computing, 1998, Bd. 27, S. 48-64.
Stasys
(3+Ω(1))n