Theoretische Informatik

Fragen und Antworten für theoretische Informatiker und Forscher in verwandten Bereichen

1
#SAT auf # MONOTONE-2SAT reduzieren
Das Problem # MONOTONE-2SAT ist bekanntermaßen # P-vollständig. Dies bedeutet, dass #SAT darauf reduziert werden kann. Meine Frage lautet: Wenn eine # SAT- Instanz , welche Transformation konvertiert in die entsprechende # MONOTONE-2SAT-Instanz ?FFFF 'FFFF′F′F' Eine zweite Frage ist: Lassen‚die Anzahl der Lösungen von und lassen die Anzahl der Lösungen …
2
PCP-Theorem und Beweiskomplexität?
Es ist bekannt , dass , wenn P=NPP=NPP=NP dann CoNP=PCP[O(log(n)),O(1)]CoNP=PCP[O(log(n)),O(1)]CoNP= PCP[O(log(n)),O(1)] . Es ist auch bekannt, dass NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]. Es scheint, dass PCP uns nicht sagen kann, welche natürlichen Probleme nicht in NPNPNP . Ich frage mich, ob es möglich ist, die PCP-Charakterisierung zu verwenden, um CoNPCoNPCoNP von zu trennen NPNPNP. …
3
Ist das Problem der parametrisierten maximalen unabhängigen Klauseln in FPT ein Problem?
Problem mit parametrisierten maximalen unabhängigen Klauseln: Eingabe: Eine r-CNFSAT-Formel F mit n Variablen und m Klauseln, k Fragen: Gibt es mindestens k Klauseln, so dass sie voneinander unabhängig sind, dh keine Variable kommt mehr als einmal in allen diesen Klauseln zusammen vor. Parameter: k Ich möchte wissen, ob dieses Problem …
3
Referenzanforderung: Anwendung von Blockdesigns auf Softwaretests
Ich habe angefangen, Inzidenzstrukturen und kombinatorische Designs zu untersuchen (mögliche Motivation: einige Strukturen in der verallgemeinerten Selbstorganisation nach oben zu begrenzen), und der Wikipedia-Artikel gibt die folgende interessante, aber ungeklärte Aussage ab: Blockdesigns haben Anwendung auf Softwaretests. (Die Wikipedia-Seite mit dem Anspruch ist hier ). Mein Google-Fu findet keine gute …
4
Komplexität des Ehe-Matching-Problems?
Angenommen, Sie haben Männer und n Frauen. Jede Person hat m Attribute. Jede Person gibt eine Reihe von Attributen an, die ein möglicher Kandidat haben sollte. Ein Matching ist eine Menge von Paaren. Jedes Paar bindet einen Mann an eine Frau. Die Zufriedenheit eines Matchings ist die Anzahl der Attribute, …
2
Komplexität der Anpassung von Modellen an Daten
Angenommen, ist eine stetige Funktionf:R×R→Rf:R×R→Rf:\mathbf{R}\times \mathbf{R} \to \mathbf{R} x1…xnx1…xnx_1 \ldots x_n ist eine Menge realer Werte, die wir berechnen möchten argmina∑if(a,xi)argmina∑if(a,xi)\text{argmin}_a \sum_i f(a,x_i) mit vorgeschriebener Genauigkeit Gibt es einige Ergebnisse zur Schwierigkeit dieses Problems für verschiedene f? Angenommen, . Das Minimum unseres Problems ist jetzt der Mittelwert von x, einfach …
4
Heuristiken zur Abschätzung der Effizienz von reduzierten geordneten binären Entscheidungsdiagrammen?
Reduziertes bestellt Binary Decision Diagrams (ROBDD) ist eine effiziente Datenstruktur für die Darstellung von Booleschen Funktionen mehreren Variablen . Ich möchte eine Vorstellung davon bekommen, wie effizient sie sind.f( x1, x2, . . . , xn)f(x1,x2,...,xn)f(x_1,x_2,...,x_n) Zum Beispiel wissen wir für die Datenkomprimierung, dass Daten mit niedriger Entropie (einige Symbole …
6
Wurden Verallgemeinerungen der maximalen Gewichtsanpassung untersucht?
Eine Möglichkeit, die maximale Gewichtsübereinstimmung anzuzeigen, besteht beispielsweise darin, dass jeder Scheitelpunkt ein Dienstprogramm , das dem Gewicht der Kante entspricht, an der es übereinstimmt, und ansonsten Null.vvvfv=w(ev)fv=w(ev)f_v= w(e_v) könnte eine maximale Gewichtsanpassung dann als Maximierung des Ziels .∑vfv∑vfv\sum_v f_v Wurden Verallgemeinerungen der maximalen Gewichtsanpassung untersucht, die allgemeinere Zielfunktionen unter …
1
Prozessmodellierung mit feinkörnigen Ortsvorstellungen
Ist jemandem ein prozessalgebraischer (oder verwandter) Formalismus bekannt, der feinkörnige Standortinformationen erfasst? Ich bin mit Umgebungen und Bigraphen vertraut, die offensichtlich ein Standortmodell haben, aber was ist mit Versuchen, konkretere Standortinformationen so zu modellieren, dass der Standort eines Agenten in einem (realen oder virtuellen) Koordinatenraum ausgedrückt wird? Es scheint mir, …
3
Ist Deolalikars 2010er Beweis, dass
Es gab vor kurzem ein beanspruchtes Beweis dafür , dass P.≠ N.P.P.≠N.P.P \ne NP . Nicht lange nach seiner Veröffentlichung wurden einige Probleme mit diesem Beweis aufgeworfen . Also ... ist der Beweis richtig oder nicht? (Bitte beantworten Sie dies nur, wenn Sie Beweise haben ... diese Frage kann einige …
8
Der beste Weg, um festzustellen, ob eine Liste von Bytes zufällig ist?
Gibt es da draußen einen Algorithmus, der einen Wert zurückgeben kann, der einen Grad an Zufälligkeit anzeigt? Ich glaube, es heißt Datenentropie . Ich habe kürzlich diesen Artikel gelesen: http://faculty.rhodes.edu/wetzel/random/mainbody.html Würde sein Ansatz, Münzwürfe zu analysieren, für Bytes gelten? Sollte ich wieder auf die Bitebene fallen, wo es wieder wahr …
5
Algorithmus zum Invertieren einer bijektiven Funktion.
Gibt es einen verallgemeinerten Algorithmus zum Finden der Umkehrfunktion einer beliebigen bijektiven Funktion? Damit dieser Algorithmus nützlich ist, muss er eventuell angehalten werden, sobald die richtige Antwort gefunden wurde. Abgesehen von der Anforderung, dass die Lösung irgendwann gefunden werden muss, gibt es keine zeitlichen Einschränkungen hinsichtlich der Zeit, die zum …
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.