Was ist für einen ungerichteten Graphen und eine gegebene Menge von Eckpunkten der asymptotisch schnellste bekannte Algorithmus zum Finden eines einfachen Pfades, der alle Elemente von . Was ist, wenn der Weg so kurz wie möglich sein
Set ist gegeben. Für jedes Element haben wir das Gewicht und kosten . Das Ziel besteht darin, die Teilmenge der Größe , die die folgende Zielfunktion maximiert:
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...
Ich bin neu auf dieser Seite und diese Frage ist sicherlich nicht auf Forschungsniveau - aber na ja. Ich habe einen kleinen Hintergrund in Software-Engineering und fast keinen in CSTheory, aber ich finde es attraktiv. Um es kurz zu machen, ich möchte eine detailliertere Antwort auf Folgendes, wenn...
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...
Sei ein ungerichteter Graph. Eine Zerlegung von V in disjunkte Teilmengen V i wird als Hamilton-Zerlegung von G bezeichnet, wenn der durch jede Menge V i induzierte Teilgraph entweder ein Hamilton-Graph ist oder aus einer einzelnen Kante mit | besteht V i | = 2
Ich versuche, Suffixbäume zu verwenden, um Zeichenfolgenfolgen zu vergleichen. Ich habe Implementierungen / Theorie für das längste häufige Problem mit Unterzeichenfolgen unter Verwendung von Suffixbäumen gefunden. Was ich jedoch suche, ist eine Diskussion des damit verbundenen Problems - "alle...
Does bedeuten E = N E
Ich weiß, dass ich für einen ungewichteten zweigliedrigen Graphen die minimale Scheitelpunktabdeckung finden kann, indem ich zuerst die maximale Übereinstimmung finde und sie unter Verwendung des Königschen Theorems in eine Scheitelpunktabdeckung verwandle. Gibt es eine Modifikation, die verwendet...
Die Berechnung einer nichtdeterministischen Turing-Maschine (NTM) ist bekanntermaßen als ein Baum von Konfigurationen darstellbar, der auf der Startkonfiguration basiert. Jeder Übergang im Programm wird durch einen Vater-Kind-Link in diesem Baum dargestellt. Ähnliche Bäume können auch zur...
Es ist bekannt, dass die Analysemaschine von Charles Babbage eine Architektur hatte, die stark an die moderne Von Neumann-Architektur erinnert. Bemerkenswert ist auch, dass die Tabellen zur Darstellung eines Programms für Babbages Analysemaschine ( http://www.fourmilab.ch/babbage/figures/menat3.png...
Wikipedia schreibt: FPT enthält die mit festen Parametern verfolgbaren Probleme, die in der Zeit für eine berechenbare Funktion gelöst werden können . Typischerweise wird diese Funktion als einzelnes Exponential betrachtet, wie z. B. aber die Definition lässt Funktionen zu, die noch schneller...
Die Entscheidung über den Homomorphismus des Graphen ist im Allgemeinen NP-vollständig. Gibt es Ergebnisse, die dieses Problem untersuchen, wenn die zugrunde liegenden Graphen eine algebraische Struktur aufweisen (z. B. die Entscheidung über Homomorphismen von Cayley- oder Cayley-Coset-Graphen zu...
Bei der Betrachtung von Interaktionen in Netzwerken ist es normalerweise sehr schwierig, die Dynamik analytisch zu berechnen , und es werden Näherungen verwendet. Mittelfeldnäherungen ignorieren normalerweise die Netzwerkstruktur vollständig und sind daher selten eine gute Annäherung. Eine beliebte...
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...
Gibt es eine bekannte Konstruktion eines linearen Fehlerkorrekturcodes (mit vernünftigen Parametern), so dass bei Angabe eines Booleschen Vektors gibt es auch einen Booleschen Vektor zurück whp? (obwohl es vorbei ist )ECC:Fnq→FmqECC:Fqn→Fqm\mathsf{ECC}:\mathbb{F}_q^n \to
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...