Theoretische Informatik

13
Beratung für Graduiertenschule in Informatik

Ich suche Ratschläge und Feedback. Hintergrund: Ich bin ein Student der Mathematik, der sich für theoretische Informatik interessiert (Komplexität der Berechnungen, Graphentheorie, Kombinatorik). Ich möchte in Informatik promovieren und mich auf Theorie konzentrieren. Mein Hintergrund liegt in...

13
Algorithmisches Vektorproblem

Ich habe ein algebraisches Problem im Zusammenhang mit Vektoren im Feld GF (2). Sei v1, v2, … , Vmv1,v2,…,vmv_1, v_2, \ldots, v_m (0,1) -Vektoren der Dimension nnn und m = nO ( 1 )m=nÖ(1)m=n^{O(1)} . Finden Sie einen polynomialen Zeitalgorithmus, der einen (0,1) -Vektor uuu mit der gleichen...

13
Stärkung der Submodularität

Eine Set-Funktion fff ist monoton submodular, wenn für alle , f ( A ) + f ( B ) ≥ f ( A ≤ B ) + f ( A ≤ B ) .A,BA,BA,Bf(A)+f(B)≥f(A∪B)+f(A∩B).f(A)+f(B)≥f(A∪B)+f(A∩B). f(A) + f(B) \geq f(A \cup B) + f(A \cap B). Eine stärkere Eigenschaft ist Unter impliziert diese Eigenschaft eine monotone...

13
One-Way-Quantenverifikation

Die Theorie der Clusterzustandsberechnung ist mittlerweile gut etabliert und zeigt, dass jede BQP-Schaltung so modifiziert werden kann, dass sie nur einzelne Qubit-Quantentore verwendet, die möglicherweise klassisch gesteuert werden, vorausgesetzt, sie liefert ausreichend einen als "Clusterzustand"...