Wenn ein gemischter Graph mit den Kanten und den Bögen , finden Sie in eine Übereinstimmung , die die Anzahl der Bögen in minimiert , wobei aus indem übereinstimmende Eckpunkte zusammengezogen und entfernt werden parallele Bögen.E A E G / M G / M
Angenommen, ist eine boolesche Sprache mit endlichen Zeichenfolgen über { 0 , 1 } . Sei L n die Anzahl der Strings in L mit der Länge n . Für eine Funktion d ( n ) von den positiven ganzen Zahlen zu den positiven reellen Zahlen hat L die obere Dichte d ( n ), wenn L n ≤ 2 n d ( n ) für alle...
Ich suche nach dem vollständigen Text des Cliquenergebnisses von Moon und Moser 1965 über Cliquen in Graphen (es gibt Graphen mit einer Anzahl maximaler Cliquen, die in exponentiell sind ). Die Paywall meiner Universität hat keinen Zugriff auf das jeweilige Journal. (Tatsächlich liefert die...
Ich suche nach online verfügbaren Vorlesungsskripten oder anderen Ressourcen, die eine gute Einführung in die parallele Programmierung bieten, genau wie das parallele Analogon der Grundkurse in der Informatik. Mein Fokus liegt auf Folgendem: Während ich über Divide & Conquer, gierige...
Gibt es einen Polynom-Zeit-Algorithmus, um - falls vorhanden - eine überspannende Spinne eines gegebenen Graphen ? Eine Spinne ist ein Baum mit höchstens einem Knoten mit einem Grad größer als 2: Ich weiß, dass verschiedene Gradbedingungen auf (im Wesentlichen ausreichend große Knotengrade) die...
Der Algorithmus von Deutsch ist eine bekannte Quantenberechnung mit nur einer Bewertung von . Wenn wir durch ersetzen, scheint das Problem etwas anders zu werden. Meine Frage ist: Gibt es eine Quantenalgorithmus den Wert der Berechnung (oder UND wenn Sie bevorzugen) mit nur einer Auswertung von ....
Auf meiner Suche nach Forschungsarbeiten über Typensysteme für imperative Sprachen finde ich nur Lösungen für eine Sprache mit veränderlichen Referenzen, aber ohne echte imperative Kontrollstrukturen wie zusammengesetzte Operatoren, Schleifen oder Bedingungen. Es ist also nicht klar, wie eine...
Ich bin mit der Theorie hinter VC-Dimension ziemlich vertraut, aber ich schaue jetzt auf die jüngsten (letzten 10 Jahre) Fortschritte in der statistischen Lerntheorie: (lokale) Rademacher-Durchschnittswerte, Massarts Finite-Klassen-Lemma, Deckungszahlen, Verkettung, Dudleys Theorem,...
Sei ein Graph mit (positiv) gewichteten Kanten. Ich möchte das Voronoi-Diagramm für eine Menge von Knoten / Stellen S definieren , um einem Knoten v ∈ S den Teilgraphen R ( v ) von G zuzuordnen, der von allen Knoten induziert wird, die genau näher an v liegen als an jedem anderen Knoten in S , der...
Was ist die derzeit beste Grenze für die Durchführung von Abfragen zur Zählung des Halbraumbereichs an einer Reihe von dimensionalen Punkten, ausgedrückt in Form eines Zeit / Raum-Kompromisses. Gemäß Matouseks wegweisender Arbeit von 1993 (Satz 6.2, Bereichssuche mit effizienten hierarchischen...
In der Arbeit Zu zwei Problemen der Informationstheorie geben Erdõs und Rényi Untergrenzen für die Mindestanzahl von Wägungen an, die zur Bestimmung der Anzahl falscher Münzen in einem Satz von Münzen erforderlich sind .nnn Formeller: Die falschen Münzen haben ein geringeres Gewicht als die...
JBV schlug vor, einige Kommentare in eine Frage umzuwandeln. Eine weitere Frage [1] betrifft Anwendungen des QM-Computing. Eine Antwort [2] war "die Quantenmechanik effizient simulieren". Anscheinend geht diese Idee auf Feynmans frühes Schreiben zu diesem Thema zurück; obwohl ich keine Referenz...
Vor ein paar Jahren bin ich auf die folgende linke Regel für Gleichheit in der sequentiellen Berechnung gestoßen: s≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢Cs≐t⇝θθ(Γ)⊢θ(C)Γ,s≐t⊢C \frac{s \doteq t \leadsto \theta \qquad \theta(\Gamma) \vdash \theta(C)} {\Gamma, s \doteq t \vdash C} Hier berechnet s≐t⇝θs≐t⇝θs \doteq t...
Sei eine Menge von gegenseitig unverzerrten Basen (MUB) in C n , dh jedes B i ist eine orthonormale Basis und für v ∈ B i ist w ∈ B j , i ≠ j wir haben | ⟨ V | w ⟩ | = 1B.= { B.1, … , B.k}}B={B1,…,Bk}\mathcal{B} = \{B_1, \dots, B_k\}C.nCn\mathbb{C}^nB.ichBiB_iv ∈ B.ich, w ∈ B.j, i ≠ jv∈Bi,w∈Bj,i≠jv...
Die einfachsten Darstellungen für Diagramme verwenden Adjazenzmatrizen / -listen, was bedeutet, dass jeder Knoten und jede Kante explizit dargestellt wird. Die Bedeutung impliziter Darstellungen für Diagramme mit starken Regelmäßigkeiten ist seit langem bekannt. Zum Beispiel untersuchten Galperin...
Sei . Ich muss einfache Graphen G des Umfangs g erzeugen, so dass die Menge aller g- Zyklen eine doppelte Kantenabdeckung von G bildet ( dh jede Kante wird von genau zwei g- Zyklen geteilt), und so, dass der Schnittpunkt von zwei beliebigen g- Zyklen sind entweder ein Scheitelpunkt, eine Kante oder...
Vor kurzem habe ich eine anständige Anzahl von CoLT-Artikeln gelesen. Obwohl ich nicht mit den einzelnen Arbeiten zu kämpfen habe (zumindest nicht mehr als ich normalerweise mit anderen theoretischen Arbeiten zu kämpfen habe), habe ich nicht das Gefühl, dass ich das gesamte Gebiet gut verstehe....
Ich suche nach Referenzen über die Komplexität des Booleschen Formelausgleichsproblems . Speziell, War bekannt, dass Boolesche Formeln in ausgeglichen werden können ?AC0AC0\mathsf{AC^0} Gibt es einen einfachen Beweis dafür, dass der Boolesche Formelausgleich in ?AC0AC0\mathsf{AC^0} Mit "einfach"...
Ich schreibe meine Masterarbeit in CS und arbeite mit Alias-Analyse. Das, was mich interessiert, ist die intraprozedurale, flusssensitive Must- und May-Alias-Analyse für Java-ähnliche Sprachen. Ich suche nach Texten, die die Grundlagen dieses Themas detailliert beschreiben, aber nichts wirklich...
Ich habe von einem Ergebnis mit ungefährer Grafikfarbe gehört, kann aber die Quelle nicht finden. Das Ergebnis ist: Für jede Konstante existiert ein ausreichend großes k, so dass das Färben eines k- färbbaren Graphen mit h k- Farben NP-hart ist.hhhkkkkkkhkhkhk Könnte mich bitte jemand auf das...