Das Spiel der Drillinge wird durch eine endliche Menge von Elementen X.XX und eine endliche Mehrfachmenge T.TT die Tripletts von Elementen enthält. Zwei Spieler wählen abwechselnd Elemente aus X.XX bis alle Elemente aufgenommen sind. Dann ist die Punktzahl jedes Spielers die Anzahl der Drillinge...
Die Cerny-Vermutung ist die Aussage, dass jeder Synchronisationsautomat mit Zuständen höchstens ein Synchronisationswort der Länge . Die beste aktuelle Obergrenze für die Länge eines Synchronisationsworts ist . Lassen Sie uns sagen , dass zwei Staaten verschmolzen mit einem Wort , wenn das Wort die...
Aus Wikipedia : V P.VP\mathsf{VP} f K. : Die Klasse VP ist das algebraische Analogon von P; es ist die Klasse von Polynomen mit Polynomgrad, die Polynomgrößenschaltungen über ein festes Feld .fffK.KK V N P.VNP\mathsf{VNP} f f : Die Klasse VNP ist das Analogon von NP. VNP kann als die Klasse von...
In den folgenden zwei Fragen Ursprünge und Anwendungen von Theorie A gegen Theorie B? und solide Anwendungen der Kategorietheorie in TCS? Viele Menschen teilten ihr Wissen und ihre Meinung über die Aufteilung dieser beiden Bereiche in theoretische CS. Ich bin ein Student der Mathematik mit...
In dem OrderedPartitionProblem besteht die Eingabe aus zwei Folgen von positiven ganzen Zahlen, und . Die Ausgabe ist eine Aufteilung der Indizes in zwei disjunkte Teilmengen und , so dass:nnn( aich)i ∈ [ n ](ai)i∈[n](a_i)_{i\in [n]}( bich)i ∈ [ n ](bi)i∈[n](b_i)_{i\in [n]}[ n ][n][n]ichIIJ.JJ ∑ich...
Betrachten Sie ein konvexes Optimierungsproblem im Formular f0(x1,…,xn)fi(x1,…,xn)→min≤0,i=1,…,mf0(x1,…,xn)→minfi(x1,…,xn)≤0,i=1,…,m\begin{align} f_0(x_1, \ldots, x_n) &\to \min \\ f_i(x_1, \ldots, x_n) & \leq 0, \quad i = 1, \ldots, m \end{align} wobei f0,f1,…,fmf0,f1,…,fmf_0, f_1, \dots, f_m...
Die jüngste Herstellung der Beziehungbs(f)=O(s(f)4)bs(f)=O(s(f)4)bs(f)=O(s(f)^4) geht durch Gotsman, Linial . Kann der gleiche Ansatz zu oder gibt es eine wesentliche Einschränkung des Ansatzes?O(s(f)2)O(s(f)2)O(s(f)^2)
Was ist die typentheoretische Interpretation / Äquivalent der Skolemisierung? Die Skolemisierung konvertiert einige Formeln in die Skolem-Normalform. Die beiden Formeln sind miteinander nicht zufriedenstellend. Oder, um es typtypisch auszudrücken: Es gibt ein Programm mit einem Typ, wenn es ein...