Theoretische Informatik algebraic-topology

2

Derzeit verfügt Bitcoin über ein Proof-of-Work-System (PoW) mit SHA256. Andere Hash-Funktionen verwenden einen Proof-of-Work-System. Ist es möglich, ein Entscheidungsproblem in der Knotentheorie wie die Knotenerkennung zu verwenden und es zu einem Beweis der Arbeitsfunktion zu machen? Hat das auch schon jemand gemacht? Auch wenn wir diese Proof of Work-Funktion haben, …

23 cc.complexity-theory reference-request cr.crypto-security algebraic-topology

4

Aufsätze zum Zusammenhang zwischen rechnerischer Komplexität und algebraischer Geometrie / Topologie?

Ich fragte mich, welche Papiere ich lesen sollte, um diese Frage zu verstehen Eine unerwartete Verbindung zu anderen Bereichen der Mathematik wie der algebraischen Geometrie oder der höheren Kohomologie. Vielleicht ist sogar ein Bereich der Mathematik noch nicht erschlossen. Vielleicht wird jemand eine ganz neue Richtung für die Mathematik entwickeln, …

22 cc.complexity-theory reference-request gct algebraic-topology

1

Verbotene Minderjährige für beschränkte Gattungsgraphen

Es ist bekannt, dass und K 3 , 3 für ebene Graphen verbotene Minderjährige sind. Es gibt Hunderte verbotener Minderjähriger für Grafiken, die auf einem Torus eingebettet werden können . Die Anzahl verbotener Minderjähriger für Graphen, die auf der Oberfläche der Gattung g eingebettet werden können, ist eine Exponentialfunktion von …

16 graph-theory co.combinatorics graph-minor algebraic-topology

2

Ansätze zu GI inspiriert von Knotenproblemen

GI und Knotenproblem sind beide das Problem, die strukturelle Äquivalenz von mathematischen Objekten zu bestimmen. Gibt es irgendwelche Ergebnisse, die Verbindungen zwischen ihnen herstellen? Gute Zusammenhänge des Knotenproblems mit der statistischen Physik wurden über Knotenpolynome untersucht. Gibt es ähnliche Ergebnisse für G ichGichGI ? Es wäre besonders hilfreich zu wissen, …

14 cc.complexity-theory reference-request graph-theory graph-isomorphism algebraic-topology

2

Die Komplexität, einen Borsuk-Ulam-Punkt zu finden

Das Borsuk-Ulam-Theorem besagt, dass es für jede stetige ungerade Funktion ggg von einer n-Kugel in den euklidischen n-Raum einen Punkt x0x0x_0 so dass g(x0)=0g(x0)=0g(x_0)=0 . Simmons und Su (2002) beschreiben eine Methode zur Approximation des Punktes x0x0x_0 Verwendung von Tuckers Lemma . Es ist jedoch nicht klar, wie komplex ihre …

10 approximation-algorithms time-complexity topology algebraic-topology

2

Was sind einige interessante Anwendungen der homotopischen Algebra in der theoretischen Informatik?

Ich bin ein Homotopietheoretiker, der sich für Informatik interessiert. Ich möchte fragen, was einige interessante Anwendungen der homotopischen Algebra (Modellkategorien, Unendlichkeitskategorien, einfache Kategorien usw.) in der theoretischen Informatik sind.

9 big-list algebraic-topology

Als «algebraic-topology» getaggte Fragen