Theoretische Informatik

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

2
Eingeschränkte monotone 3CNF-Formel: Zählen zufriedenstellender Zuordnungen (sowohl Modulo
Betrachten Sie eine monotone 3CNF-Formel mit den folgenden zusätzlichen Einschränkungen: Jede Variable erscheint in genau Klauseln.222 Bei beliebigen Klauseln teilen sie höchstens 1 Variable.222111 Ich würde gerne wissen, wie schwer es ist, die zufriedenstellenden Aufgaben einer solchen Formel zu zählen. Update 06/04/2013 12:55 Ich würde auch gerne wissen, wie schwer …
2
Fast universelles String-Hashing im
Hier sind zwei Familien von Hash - Funktionen auf Strings :x⃗ =⟨x0x1x2…xm⟩x→=⟨x0x1x2…xm⟩\vec{x} = \langle x_0 x_1 x_2 \dots x_m \rangle pppxi∈Zpxi∈Zpx_i \in \mathbb{Z_p}h1a(x⃗ )=∑aiximodpha1(x→)=∑aiximodph^1_{a}(\vec{x}) = \sum a^i x_i \bmod pa∈Zpa∈Zpa \in \mathbb{Z}_p∀x≠y,Pa(h1a(x)=h1a(y))≤m/p∀x≠y,Pa(ha1(x)=ha1(y))≤m/p\forall x \neq y, P_a(h^1_a(x) = h^1_a(y)) \leq m/p Für gilt für . Lemire und Kaser zeigten in "Stark …
2
Ist adiabatisches Quantencomputing so leistungsfähig wie das Schaltungsmodell?
Ein Großteil der Quantencomputerliteratur konzentriert sich auf das Schaltungsmodell. Adiabatisches Quantencomputing basiert nicht auf der Anwendung einer Folge von Einheitsoperatoren, sondern auf der Änderung eines zeitabhängigen Hamilton-Operators. Ich suche nach einem Einblick in eines der folgenden Dinge. Ist adiabatisches Quantencomputing so leistungsfähig wie das Schaltungsmodell oder ist es von Natur …
3
Finden Sie den Rest eines großen festen Polynoms, wenn es durch ein kleines unbekanntes Polynom geteilt wird
Angenommen, wir arbeiten in einem endlichen Feld. Über diesem Feld erhalten wir ein großes festes Polynom p (x) (von beispielsweise Grad 1000). Dieses Polynom ist im Voraus bekannt und wir dürfen in der "Anfangsphase" mit vielen Ressourcen rechnen. Diese Ergebnisse können in relativ kleinen Nachschlagetabellen gespeichert werden. Am Ende der …
1
Die Vorträge in Konferenzen und Workshops verstehen
Ich bin ein Doktorand aus Indien. Ich bin sehr daran interessiert, an den Workshops, Konferenzen und eingeladenen Dozenten von prominenten Professoren teilzunehmen. Am Ende des Gesprächs werden wie gewohnt einige Leute Fragen stellen und der Sprecher wird sie beantworten. Mein Problem ist jedoch, dass ich die meisten Fragen und Antworten …
1
Auf
Wir wissen, dass L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P} . Aus Savitchs Theorem,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2L≠PL≠P\mathcal L\neq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal PL2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal PL2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P Darüber hinaus ist es eine offene Frage , ob ein -Problem vorliegt oder nicht, das nicht -vollständig ist, und eine solche Existenz würde , da jedes Problem für . Aber wissen wir wirklich …
2
Was ist der Vorteil von Krivines Notation?
Ich habe gesehen, dass einige Leute Krivines Notation für die Funktionsanwendung verwenden, wenn sie die Syntax für den Kalkül präsentieren. Zum Beispiel ist der λ- Term λ f . λ x . λ y . f x y (mit der normalen Konvention, dass die Funktionsanwendung nach links assoziiert, bedeutet also …
2
Formale Darstellung einer Abstraktionshierarchie
Einführung Ich schreibe meine Doktorarbeit über Abstract Delta Modeling (ADM), eine abstrakte algebraische Beschreibung von Modifikationen (bekannt als Deltas ), die auf Produkte (wie in "Softwareprodukten") einwirken können . Dies kann verwendet werden, um eine Reihe verwandter Produkte (eine „Produktlinie“) als einfaches Kernprodukt und eine Reihe von bedingt angewendeten Deltas …
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.