Wo finde ich Diagramme, die für Probleme im wirklichen Leben relevant sind? Zwei mir bekannte Repositories sind: Sparse Matrix Collection der Universität Florida Bodlaenders TreewidthLib
Quantencomputer eignen sich sehr gut für Sampling-Verteilungen, von denen wir nicht wissen, wie man mit klassischen Computern Samples erstellt. Wenn zum Beispiel f eine Boolesche Funktion (von bis ) ist, die in Polynomzeit berechnet werden kann, können wir mit Quantencomputern effizient nach der...
Ich interessiere mich für das Problem, identische Kopien von (zweidimensionalen) Rechtecken in ein konvexes (zweidimensionales) Polygon ohne Überlappungen zu packen. In meinem Problem dürfen Sie die Rechtecke nicht drehen und können davon ausgehen, dass sie parallel zu den Achsen ausgerichtet sind....
Diese Frage wurde von Cross Validated migriert, da sie über Theoretical Computer Science Stack Exchange beantwortet werden kann. Vor 8 Jahren migriert . Ich habe ein ziemlich einzigartiges Problem zu lösen und hoffe, dass mir jemand hier einen Einblick geben kann, wie ich es am besten angehen...
Das Nicht alle Gleich SAT-Problem (NAE SAT) fragt bei einer Menge von Klauseln über eine Menge von booleschen Variablen, so dass jede Klausel höchstens Literale enthält, ob eine Wahrheitszuordnung der Variablen existiert, so dass Jede Klausel enthält mindestens ein wahres und mindestens ein...
Aus heutiger Sicht passt diese Frage nicht zu unserem Q & A-Format. Wir erwarten, dass die Antworten durch Fakten, Referenzen oder Fachwissen gestützt werden, aber diese Frage wird wahrscheinlich Debatten, Argumente, Abstimmungen oder erweiterte Diskussionen hervorrufen. Wenn Sie der Meinung...
Kann jemand eine gute und aktuelle Umfrage zum Zählen von Problemen und / oder Problemen, die #P sind, vorschlagen.
Ich habe mich gefragt, welche Tools die Leute auf diesem Gebiet (theoretische Informatik) verwenden, um Präsentationen zu erstellen. Da ein Großteil der Informatik nicht nur Artikel schreibt, sondern auch Präsentationen hält, dachte ich, dass dies eine wichtige weiche Frage sein würde. Dies ist...
Inspiriert von den umfangreichen Hierarchien in der Komplexitätstheorie, habe ich mich gefragt, ob solche Hierarchien auch für Typsysteme vorhanden sind. Die beiden Beispiele, die ich bisher gefunden habe, ähneln jedoch eher Checklisten (mit orthogonalen Merkmalen) als Hierarchien (mit immer...
Ich lehne kürzlich meine Arbeiten aus Zeitschriften (dh TALG) ab, nur weil es keinen signifikanten Unterschied zwischen der Journal- und der Proceedings-Version (dh SODA-Version) gibt. Der Hauptgrund für mich, eine Zeitschrift einzureichen, ist der gründliche Überprüfungsprozess. Abgesehen davon...
Ist es für eine Sprache, die schließlich in Anweisungen auf Systemebene kompiliert / umgewandelt werden kann, praktisch erforderlich, dass es sich um eine kontextfreie Grammatik handelt? Beispiel: Sind alle Programmier- / Skriptsprachen kontextfrei? Java basiert auf CFGs, aber ist es tatsächlich...
Es ist bekannt, dass der Hamilton-Zyklus (kurz Schinken) NP-vollständig und der planare Schinken-Zyklus NP-vollständig ist. Der Beweis für den Planaren Schinkenzyklus stammt nicht aus dem Schinkenzyklus. Gibt es ein nettes Gadget, das bei einem gegebenen Graphen G alle Kreuzungen durch ein planares...
Man betrachte einen konvexen Körper , der im Ursprung zentriert und symmetrisch ist (dh wenn dann ). Ich möchte einen anderen konvexen Körper so dass und das folgende Maß minimiert werden:KKKx∈Kx∈Kx\in K−x∈K−x∈K-x\in KLLLK⊆LK⊆LK\subseteq L xf(L)=E(xT⋅x−−−−−√)f(L)=E(xT⋅x)f(L)=\mathbb{E}(\sqrt{x^T...
Inspiriert von dieser Frage , was sind die Hauptprobleme und bestehenden Lösungen, die im Bereich (theoretischer) verteilter Systeme verbessert werden müssen. So etwas wie Mitgliedschaftsprotokolle,
Ich versuche herauszufinden, wie nahe und wirklich sind, wenn und eine Konstante ist, die nicht von n abhängt (also ). Meine Schätzung ist, dass whp, aber ich konnte es nicht beweisen.t w ( G )tw(G)tw(G)E[ t w ( G ) ]E[tw(G)]E[tw(G)]G ∈ G ( n , p = c / n )G∈G(n,p=c/n)G \in G(n,p=c/n)c >...
In der Quantenverarbeitung sind wir häufig an Fällen interessiert, in denen eine Gruppe von speziellen Einheitsoperatoren G für ein d-dimensionales System entweder die gesamte Gruppe SU (d) genau oder nur eine Näherung liefert, die durch eine dichte Abdeckung von SU (d) gegeben ist. Eine Gruppe...
Das Problem "Anhalten" gibt an, dass es unmöglich ist, ein Programm zu schreiben, mit dem festgestellt werden kann, ob ein anderes Programm anhält, und zwar für alle möglichen Eingabeprogramme . Ich kann jedoch sicherlich ein Programm schreiben, das die Laufzeit eines Programms wie folgt berechnen...
Wir wissen , dass Maximum Unabhängiges Set (MIS) ist schwer innerhalb eines Faktors von angenähert für jedes ε > 0 , es sei denn P = NP. Für welche speziellen Klassen von Graphen sind bessere Approximationsalgorithmen bekannt?n1−ϵn1−ϵn^{1-\epsilon}ϵ>0ϵ>0\epsilon > 0 Für welche Graphen sind...
Es gibt eindeutig eine Reduzierung von CLIQUE auf k-Color, da beide NP-Complete sind. Tatsächlich kann ich einen erstellen, indem ich eine Reduktion von CLIQUE auf 3-SAT mit einer Reduktion von 3-SAT auf k-Color zusammensetze. Ich frage mich, ob es eine vernünftige direkte Reduzierung zwischen...
Kürzlich habe ich mehrere Artikel über arxiv gesehen, die sich auf ein Beweissystem beziehen, das als Quadratsumme bezeichnet wird. Kann jemand erklären, was ein Quadratsummenbeweis ist und warum solche Beweise wichtig / interessant sind? In welcher Beziehung stehen sie zu anderen algebraischen...