Theoretische Informatik

8
Gewinnstrategie im Spiel der Drillinge

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...

8
Ein Partitionsproblem mit Auftragsbeschränkungen

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...

8
Ist konvexe Optimierung in P?

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...

8
Typentheoretische Interpretation der Skolemisierung

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...